Engineering a BPEL orchestration engine as a multi-agent system

Science of Computer Programming

Volumn 66, Issue 3, 2007, Pages 226-245

  Viroli, Mirko ^a   Denti, Enrico ^a   Ricci, Alessandro ^a  

^a UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

Coordination models; Languages process algebra; Multiagent systems; Orchestration languages

Indexed keywords

COMPUTER PROGRAMMING; DATA FLOW ANALYSIS; FORMAL LANGUAGES; MULTI AGENT SYSTEMS; SEMANTICS; WEB SERVICES;

COORDINATION MODELS; LANGUAGES PROCESS ALGEBRA; ORCHESTRATION ENGINE; ORCHESTRATION LANGUAGES;

SEARCH ENGINES;

EID: 34249302002     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.scico.2007.01.008     Document Type: Article

References (33)

1. Peltz C. Web Services orchestration and choreography. IEEE Computer 36 10 (2003) 46-52
2. Andrews T., et al. Specification: Business Process Execution Language for Web Services version 1.1 (2003). http://www-106.ibm.com/developerworks/webservices/library/ws-bpel/
3. van der Aalst W., and van Hee K. Workflow Management: Models, Methods, and Systems (2004), The MIT Press
4. Cámara J., Canal C., Cubo J., and Vallecillo A. Formalizing WSBPEL business processes using process algebra. In: Carlos C., and Viroli M. (Eds). Proceedings of the 4th International Workshop on the Foundations of Coordination Languages and Software Architectures. FOCLASA 2005. Electronic Notes in Theoretical Computer Science vol. 154(1) (2006), Elsevier Science B.V. 159-173
5. Koshkina M., and van Breugel F. Modelling and verifying web service orchestration by means of the Concurrency Workbench. SIGSOFT Software Engineering Notes 29 5 (2004) 1-10
6. Butler M., and Ferreira C. A process compensation language. Integrated Formal Methods IFM2000. Lecture Notes in Computer Science vol. 1945 (2000), Springer 61-76
7. Viroli M. Towards a formal foundational to orchestration languages. Workshop on Formal Models for Web Services. WS-FM2004. Electronic Notes in Theoretical Computer Science vol. 105 (2004), Elsevier Science B.V. 51-71
8. Viroli M. A core calculus for correlation in orchestration languages. Web Services and Formal Methods. Journal of Logic and Algebraic Programming 70 1 (2007) 74-95 (special issue)
9. Jennings N.R. An agent-based approach for building complex software systems. Communication of the ACM 44 4 (2001) 35-41
10. Ricci A., Omicini A., and Denti E. Virtual enterprises and workflow management as agent coordination issues. International Journal of Cooperative Information Systems 11 3-4 (2002) 355-379
11. Ricci A., and Viroli M. Coordination artifacts: A unifying abstraction for engineering environment-mediated coordination in MAS. Informatica 29 (2005) 433-443
12. Nardi B.A. Context and Consciousness: Activity Theory and Human-Computer Interaction (1996), MIT Press
13. Gelernter D. Generative communication in Linda. ACM Transactions on Programming Languages and Systems 7 1 (1985) 80-112
14. Dastani M., Arbab F., and de Boer F.S. Coordination and composition in multi-agent systems. In: Dignum F., Dignum V., Koenig S., Kraus S., Singh M.P., and Wooldridge M. (Eds). 4rd International Joint Conference on Autonomous Agents and Multiagent Systems. AAMAS 2005, 25-29 July, 2005, Utrecht, The Netherlands (2005), ACM
15. Picco G.P., Murphy A.L., and Roman G.-C. LIME: Linda meets mobility. Proceedings of the 1999 International Conference on Software Engineering. ICSE'99, 16-22 May, Los Angeles, CA, USA (1999), ACM 368-377
16. Omicini A., and Denti E. From tuple spaces to tuple centres. Science of Computer Programming 41 3 (2001) 277-294
17. Joy B., Gosling J., Steele G., and Bracha G. The Java Language Specification. third edition (2005), Addison-Wesley, New York
18. Mazzara M., and Lucchi R. A pi-calculus based semantics for WS-BPEL. Web Services and Formal Methods. Journal of Logic and Algebraic Programming 70 1 (2007) 96-118 (special issue)
19. Milner R. Communication and Concurrency (1989), Prentice Hall
20. Erl T. Service-Oriented Architecture-Concepts, Technology, and Design (2005), Prentice Hall PTR
21. Christensen E., Curbera F., Meredith G., and Weerawarana S. Web Services Description Language (wsdl) 1.1 (2001). http://www.w3.org/TR/wsdl
22. Olderog E.-R. Nets, Terms and Formulas: Three Views of Concurrent Processes and Their Relationships (1991), Cambridge University Press
23. E. Best, R. Devillers, M. Koutny, A unified model for nets and process algebras, pp. 873-944 (Chapter 14)
24. Acu B., and Reisig W. Compensation in workflow nets. Petri Nets and Other Models of Concurrency-ICATPN 2006, 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Proceedings. Turku, Finland, 26-30 June, 2006. Lecture Notes in Computer Science vol. 4024 (2006), Springer 65-83
25. Reisig W. Modeling- and analysis techniques for web services and business processes. Formal Methods for Open Object-Based Distributed Systems. 7th IFIP WG 6.1 International Conference, FMOODS 2005, Proceedings, Athens, Greece, 15-17 June, 2005. Lecture Notes in Computer Science vol. 3535 (2005), Springer 243-258
26. A. Omicini, E. Denti, From tuple spaces to tuple centres, Science of Computer Programming 41 (3)
27. Omicini A., and Denti E. Formal ReSpecT. Declarative Programming-Selected Papers from AGP'00. ENTCS vol. 48 (2001), Elsevier Science B.V. 179-196
28. Omicini A., and Zambonelli F. Coordination for Internet application development. Coordination Mechanisms for Web Agents. Autonomous Agents and Multi-Agent Systems 2 3 (1999) 251-269 (special issue)
29. Tucson home page. http://tucson.sourceforge.net/, 2002
30. Denti E., Natali A., and Omicini A. On the expressive power of a language for programming coordination media. Proc. of the 1998 ACM Symposium on Applied Computing. SAC'98 (1998), ACM 169-177
31. E. Denti, A. Natali, A. Omicini, On the expressive power of a language for programming coordination media, in: 1998 ACM Symposium on Applied Computing, SAC'98, Atlanta, GA, 1998, pp. 169-177
32. Mazzara M., and Lucchi R. Framework for generic error handling in business processes. Workshop on Formal Models for Web Services. WS-FM2004. Electronic Notes in Theoretical Computer Science vol. 105 (2004), Elsevier Science B.V. 133-145
33. Bocchi L., Laneve C., and Zavattaro G. A calculus for long-running transactions. Formal Methods for Open Object-Based Distributed Systems. FMOODS 2003. Lecture Notes in Computer Science vol. 2884 (2003), Springer 124-138