Service oriented computing from a process algebraic perspective

Journal of Logic and Algebraic Programming

Volumn 70, Issue 1, 2007, Pages 3-14

  Bravetti, Mario ^a   Zavattaro, Gianluigi ^a  

^a UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

Process calculi; Service composition; Service oriented computing

Indexed keywords

ALGEBRA; DISTRIBUTED COMPUTER SYSTEMS; MATHEMATICAL OPERATORS; TELECOMMUNICATION SYSTEMS; WORLD WIDE WEB;

COMMUNICATION LATENCY; PROCESS CALCULI; SERVICE COMPOSITION; SERVICE ORIENTED COMPUTING;

COMPUTATION THEORY;

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

References (21)

1. Baeten J.C.M., and Middelburg C.A. Process Algebra with Timing. EATCS Monograph (2002), Springer Verlag
2. M. Berger, K. Honda, The two-phase commit protocol in an extended π-calculus, in: EXPRESS'00, Proceedings of the 7th International Workshop on Expressiveness in Concurrency, vol. 39 of ENTCS, 2000.
3. L. Bocchi, Compositional nested long running transactions, in: FASE'04, Proceedings of the Fundamental Approaches to Software Engineering, LNCS, vol. 2984, 2004, pp. 194-208.
4. Bocchi L., Laneve C., and Zavattaro G. A calculus for long running transactions. FMOODS'03, Proceedings of the 6th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems. LNCS vol. 2884 (2003), Springer-Verlag 124-138
5. Bravetti M., Gorrieri R., Lucchi R., and Zavattaro G. Quantitative information in the tuple space coordination model. Theor. Comput. Sci. 346:1 (2005), Elsevier pp. 28-57.
6. M. Bravetti, R. Gorrieri, A complete axiomatization for observational congruence of prioritized finite-state behaviors, in: U. Montanari, J.D.P. Rolim, E. Welzl (Eds.), Proceedings of the 27th International Colloquium on Automata, Languages and Programming (ICALP 2000), LNCS, vol. 1853, pp. 744-755, Geneva (Switzerland), July 2000.
7. Bravetti M., Lucchi R., Zavattaro G., and Gorrieri R. Web services for E-commerce: guaranteeing security access and quality of service. Proceedings of the 19th ACM Symposium on Applied Computing (SAC'04), special track on E-Commerce Technologies (2004), ACM Press, Nicosia (Cyprus) 800-806
8. R. Bruni, M. Butler, C. Ferreira, T. Hoare, H. Melgratti, U. Montanari. Reconciling two approaches to compensable flow composition, in: CONCUR'05, Proceedings of the 16th International Conference on Concurrency Theory, LNCS, vol. 3653, 2005, pp. 383-397.
9. R. Bruni, H. Melgratti, U. Montanari, Theoretical foundations for compensations in flow composition languages, in: POPL'05, Proceedings of the 32nd Annual ACM SIGPLAN - SIGACT Symposium on Principles of Programming Languages, 2005.
10. Butler M., and Ferreira C. An operational semantics for StAC, a language for modelling long-running business transactions. COORDINATION'04, Proceedings of the 6th International Conference on Coordination Models and Languages. LNCS vol. 2949 (2004), Springer-Verlag 87-104
11. M. Butler, T. Hoare, C. Ferreira, A trace semantics for long-running transactions, in: Proceedings of 25 Years of CSP, London, 2004.
12. G. Castagna, R. De Nicola, D. Varacca, Semantic subtyping for the pi-calculus, in: LICS'05, Proceedings of Logic in Computer Science, June 2005.
13. Gelernter D. Generative Communication in Linda. ACM Trans. Program. Languages Syst. 7 1 (1985) 80-112
14. Igarashi A., and Kobayashi N. A generic type system for the pi-calculus. Theor. Comput. Sci. 311 1-3 (2004) 121-163
15. Laneve C., and Zavattaro G. Foundations of web transactions. FOSSACS'05, Proceedings of the 8th Foundations of Software Science and Computational Structures. LNCS vol. 3441 (2005), Springer-Verlag 282-298
16. Microsoft BizTalk Server. Available from: , Microsoft Corporation.
17. Microsoft Corporation, XLANG: Web Services for Business Process Design. Available from: .
18. OASIS, Web Services Business Process Execution Language Version 2.0, Working Draft. Available from: .
19. R. Segala, Modeling and Verification of Randomized Distributed Real-Time Systems, Ph.D. Thesis, Department of Electrical Engineering and Computer Science, Massachusetts Institute of Technology, 1995.
20. Universal Description, Discovery and Integration for Web Services (UDDI) V3 Specification.
21. W3C,WebServicesChoreographyDescriptionLanguageVersion1.0.Availablefrom:.