Designing a BPEL Orchestration Engine Based on ReSpecT Tuple Centres

Electronic Notes in Theoretical Computer Science

Volumn 154, Issue 1 SPEC. ISS., 2006, Pages 139-158

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

^a UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

Multiagent Systems; Orchestration; Tuple Centres; Web Services; Worflow

Indexed keywords

COMPUTER SCIENCE; LINGUISTICS; MULTI AGENT SYSTEMS; SEMANTICS; WEBSITES;

BPEL SPECIFICATIONS; ORCHESTRATION; TUPLE CENTRES; TUPLE SPACES; WORFLOW;

COMPUTER PROGRAMMING;

EID: 33646185603     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2005.12.037     Document Type: Article

References (15)

1. In: Bergstra J.A., Ponse A., and Smolka S.A. (Eds). Handbook of Process Algebra (2001), North-Holland
2. 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 2884 (2003) 124-138
3. Butler M., and Ferreira C. A process compensation language. Integrated Formal Methods. IFM2000. Lecture Notes in Computer Science 1945 (2000) 61-76
4. Christensen E., Curbera F., Meredith G., and Weerawarana S. Web Services Description Language (wsdl) 1.1 (2001). http://www.w3.org/TR/wsdl
5. 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) 169-177
6. Gelernter D. Generative communication in Linda. ACM Transactions on Programming Languages and Systems 7 (1985) 80-112
7. Koshkina M., and van Breugel F. Modelling and verifying web service orchestration by means of the Concurrency Workbench. SIGSOFT Softw. Eng. Notes 29 (2004) 1-10
8. 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 105 (2004) 133-145 Elsevier Science B.V
9. Omicini A., and Denti E. Formal ReSpecT. In: Dovier A., Meo M.C., and Omicini A. (Eds). Declarative Programming - Selected Papers from AGP'00. Electronic Notes in Theoretical Computer Science 48 (2001) 179-196 Elsevier Science B.V
10. Omicini A., and Denti E. From tuple spaces to tuple centres. Science of Computer Programming 41 (2001) 277-294
11. Omicini A., and Zambonelli F. Coordination for Internet application development. Autonomous Agents and Multi-Agent Systems 2 (1999) 251-269 special Issue: Coordination Mechanisms for Web Agents
12. Peltz C. Web Services orchestration and choreography. IEEE Computer 36 (2003) 46-52
13. Ricci A., Omicini A., and Denti E. Virtual enterprises and workflow management as agent coordination issues. International Journal of Cooperative Information Systems 11 (2002) 355-379
14. 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/
15. Viroli M. Towards a formal foundational to orchestration languages. Workshop on Formal Models for Web Services. (WS-FM2004). Electronic Notes in Theoretical Computer Science 105 (2004) 51-71 Elsevier Science B.V