Foundations of Web transactions

Lecture Notes in Computer Science

Volumn 3441, Issue , 2005, Pages 282-298

  Laneve, Cosimo ^a   Zavattaro, Gianluigi ^a  

^a UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT THEORY; DIFFERENTIATION (CALCULUS); MATHEMATICAL MODELS;

NETWORK LEVEL; PROCESS REDUCTIONS; WEB TRANSACTIONS;

WORLD WIDE WEB;

EID: 24644473737     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-31982-5_18     Document Type: Conference Paper

References (17)

1. R. M. Amadio, I. Castellani, and S. Sangiorgi. On bisimulations for the asynchronous π-calculus. Theoretical Computer Science, 195(2):291-324, 1998.
2. T. Andrews and et.al. Business Process Execution Language for Web Services. Version 1.1. Specification, BEA Systems, IBM Corp., Microsoft Corp., SAP AG, Siebel Systems, 2003.
3. M. Berger. Basic theory of reduction congruence for two timed asynchronous π-calculi. In CONCUR '04: Proceedings of the 15th International Conference on Concurrency Theory, volume 3170 of LNCS, pages 115-130. Springer-Verlag, 2004.
4. M. Berger and K. Honda. The two-phase commitment protocol in an extended pi-calculus. In EXPRESS '00: Proceedings of the 7th International Workshop on Expressiveness in Concurrency, volume 39.1 of ENTCS. Elsevier Science Publishers, 2000.
5. L. Bocchi, C. Laneve, and G. Zavattaro. A calculus for long running transactions. In FMOODS'03, Proceedings of the 6th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems, volume 2884 of LNCS, pages 124-138. Springer-Verlag, 2003.
6. R. Bruni, C. Laneve, and U. Montanari. Orchestrating transactions in join calculus. In CONCUR 2002: Proceedings of the 13th International Conference on Concurrency Theory, volume 2421 of LNCS, pages 321-337. Springer Verlag, 2002.
7. M. Butler and C. Ferreira. An operational semantics for StAC, a language for modelling long-running business transactions. In COORDINATION'04, Proceedings of the 6th International Conference on Coordination Models and Languages, volume 2949 of LNCS, pages 87-104. Springer-Verlag, 2004.
8. M. Butler, T. Hoare, and C. Ferreira. A trace semantics for long-running transactions. In Proceedings of 25 Years of CSP, London, 2004.
9. E. Christensen, F. Curbera, G. Meredith, and S. Weerawarana. Web Services Description Language (WSDL 1.1). W3C Note, 2001.
10. C. Fournet and G. Gonthier. A hierarchy of equivalences for asynchronous calculi. In ICALP '98, Proceedings of the 25th International Colloquium on Automata, Languages, and Programming, volume 1443 of LNCS, pages 844-855. Springer-Verlag, 1998.
11. K. Honda and M. Tokoro. On asynchronous communication semantics. In Proceedings of Object-Based Concurrent Computing (ECOOP '91), volume 612 of LNCS, pages 21-52. Springer Verlag, 1992.
12. N. Kavantzas, G. Olsson, J. Mischkinsky, and M. Chapman. Web Services Choreography Description Languages. Oracle Corporation, 2003.
13. F. Leymann. Web Services Flow Language (wsfl 1.0). Technical report, IBM Software Group, 2001.
14. M. Little. Web services transactions: Past, present and future. Proceedings of the XML Conference and Exposition, Philadelphia, USA, 2003.
15. R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes. Information and Computation, 100(1):1-77, 1992.
16. OASIS. Introduction to UDDI: Important features and functional concepts. Organization for the Advancement of Structured Information Standards, 2004.
17. S. Thatte. XLANG: Web services for business process design. Microsoft Corporation, 2001.