A core calculus for correlation in orchestration languages

Journal of Logic and Algebraic Programming

Volumn 70, Issue 1, 2007, Pages 74-95

  Viroli, Mirko ^a  

^a UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

Orchestration languages; Process algebras; Web Services

Indexed keywords

ALGEBRA; CORRELATION THEORY; DIFFERENTIATION (CALCULUS); FORMAL LOGIC; ROUTERS; WORLD WIDE WEB;

FORMAL FRAMEWORK; ORCHESTRATION LANGUAGES; PROCESS ALGEBRAS; SPAWN SERVICE INSTANCES;

COMPUTER PROGRAMMING LANGUAGES;

EID: 33750444208     PISSN: 15678326     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jlap.2006.05.006     Document Type: Article

References (21)

1. Meredith L.G., and Bjorg S. Contracts and types. Comm. ACM 46 10 (2003) 41-47
2. Peltz C. Web Services orchestration and choreography. IEEE Comput. 36 10 (2003) 46-52
3. Tony Andrews et al., Specification: Business Process Execution Language for Web Services version 1.1, , 2003.
4. A. Arkin, Business Process Modelling Language, , 2002.
5. Milner R. Communication and Concurrency (1989), Prentice Hall
6. Milner R. Communicating and Mobile Systems: The π-calculus (1999), Cambridge University Press
7. Viroli M. Towards a formal foundational to orchestration languages. Workshop on Formal Models for Web Services (WS-FM2004). Electron. Notes Theor. Comput. Sci. vol. 105 (2004), Elsevier Science B.V. 51-71
8. Koshkina M., and van Breugel F. Modelling and verifying web service orchestration by means of the Concurrency Workbench. SIGSOFT Softw. Eng. Notes 29 5 (2004) 1-10
9. Butler M., and Ferreira C. An operational semantics for StAC, a language for modelling long-running business transactions. Coordination Models and Languages, 6th International Conference, COORDINATION 2004. Lecture Notes in Computer Sci. vol. 2949 (2004), Springer 87-104
10. Igarashi A., Pierce B.C., and Wadler P. Featherweight Java: A minimal core calculus for Java and GJ. ACM Trans. Program. Lang. Syst. 23 (2001) 396-450
11. Wright A.K., and Felleisen M. A syntactic approach to type soundness. Inform. and Comput. 115 1 (1994) 38-94
12. Igarashi A., and Pierce B.C. On inner classes. 14th European Conference on Object-Oriented Programming (ECOOP2000). Lecture Notes in Computer Sci. vol. 1850 (2000), Springer 129-153
13. Ancona D., Lagorio G., and Zucca E. A formal framework for Java separate compilation. 16th European Conference on Object-Oriented Programming (ECOOP 2002). Lecture Notes in Computer Sci. vol. 2347 (2002), Springer-Verlag 609-636
14. Igarashi A., and Viroli M. On variance-based subtyping for parametric types. 16th European Conference on Object-Oriented Programming (ECOOP 2002). Lecture Notes in Computer Sci. vol. 2347 (2002), Springer-Verlag 441-469
15. E. Christensen, F. Curbera, G. Meredith, S. Weerawarana, Web Services Description Language (wsdl) 1.1, , 2001.
16. Plotkin G.D. The origins of structural operational semantics. J. Log. Algebr. Program. 60-61 (2003) 3-15
17. 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 Sci. vol. 2884 (2003), Springer 124-138
18. Mazzara M., and Lucchi R. Framework for generic error handling in business processes. Workshop on Formal Models for Web Services (WS-FM2004). Electron. Notes Theor. Comput. Sci. vol. 105 (2004), Elsevier Science B.V. 133-145
19. R. Farahbod, U. Glässer, M. Vajihollahi, Abstract operational semantics of the Business Process Execution Language for Web Services, Tech. Rep. TR 2004-03, April 2004. Available from: .
20. Bocchi L. Compositional nested long running transactions. Fundamental Approaches to Software Engineering, 7th International Conference, FASE 2004. Lecture Notes in Computer Sci. vol. 2984 (2004), Springer 194-208
21. Cardelli L., and Gordon A.D. Mobile ambients. Theoret. Comput. Sci. 240 1 (2000) 177-213