SCC: A service centered calculus

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4184 LNCS, Issue , 2006, Pages 38-57

  Boreale, M ^a   Bruni, R ^a   Caires, L ^a   De Nicola, R ^a   Lanese, I ^a   Loreti, M ^a   Martins, F ^a   Montanari, U ^a   Ravara, A ^a   Sangiorgi, D ^a   Vasconcelos, V ^a   Zavattaro, G ^a  

^a EU Integrated Project SENSORIA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

DATA STRUCTURES; FORMAL LOGIC; NETWORK PROTOCOLS; SEMANTICS;

NONTRIVIAL PROGRAMMING; PROGRAMMING SERVICES; SESSION HANDLING MECHANISM;

COMPUTER SYSTEMS PROGRAMMING;

EID: 33845218651     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11841197_3     Document Type: Conference Paper

References (18)

1. S. Abramsky. The lazy lambda calculus. In Research Topics in Functional Programming, pages 65-116. Addison-Welsey, 1990.
2. L. Acciai and M. Boreale. Xpi: a typed process calculus for xml messaging. In Proc. of FMOODS'05, volume 3535 of Lect. Notes in Comput. Sci., pages 47-66. Springer, 2005.
3. H. Barendregt. The lambda calculus, its syntax and semantics. North-Holland, 1984.
4. M. Bartoletti, P. Degano, and G. Ferrari. Types and effects for secure service orchestration. In Proc. of CSFW'06, 2006. To appear.
5. A. L. Brown, C. Laneve, and L. G. Meredith. Piduce: A process calculus with native xml datatypes. In Proc. of EPEW'05/WS-FM'05, volume 3670 of Lect. Notes in Comput. Sci., pages 18-34. Springer, 2005.
6. R. Bruni, M. Butler, C. Ferreira, T. Hoare, H. Melgratti, and U. Montanari. Comparing two approaches to compensable flow composition. In Proc. of CONCUR '05, volume 3653 of Lect. Notes in Comput. Sci., pages 383-397. Springer, 2005.
7. R. Bruni, H. Melgratti, and U. Montanari. Nested commits for mobile calculi: extending join. In Proc. of IFIP TCS'04, pages 367-379. Kluwer Academics, 2004.
8. N. Busi, R. Gorrieri, C. Guidi, R. Lucchi, and G. Zavattaro. Choreography and orchestration conformance for system design. In Proc. of COORDINATION'06, volume 4038 of Lect. Notes in Comput. Sci., pages 63-81. Springer, 2006.
9. W. R. Cook, S. Patwardhan, and J. Misra. Workflow patterns in orc. In Proc. of COORDINATION'06, volume 4038 of Lect. Notes in Comput. Sci., pages 82-96. Springer, 2006.
10. G. Ferrari, R. Guanciale, and D. Strollo. Jscl: a middleware for service coordination. In Proc. of FORTE'06, Lect. Notes in Comput. Sci. Springer, 2006. To appear.
11. S. J. Gay and M. J. Hole. Types and subtypes for client-server interactions. In Proc. of ESOP'99, volume 1576 of Lect. Notes in Comput. Sci., pages 74-90. Springer, 1999.
12. K. Honda, V. T. Vasconcelos, and M. Kubo. Language primitives and type discipline for structured communication-based programming. In Proc. of ESOP'98, volume 1381 of Lect. Notes in Comput. Sci., pages 122-138. Springer, 1998.
13. C. Laneve and G. Zavattaro. Foundations of web transactions. In Proc. of FOSSACS'05, volume 3441 of Lect. Notes in Comput. Sci., pages 282-298. Springer, 2005.
14. A. Lapadula, R. Pugliese, and F. Tiezzi. A calculus for orchestration of web services. Technical report, University of Florence, 2006.
15. R. Milner. Functions as processes. Math. Struct, in Comput. Sci., 2(2):119-141, 1992.
16. J. Misra and W. R. Cook. Computation orchestration: A basis for wide-area computing. Journal of Software and Systems Modeling, 2006. To appear. A preliminary version of this paper appeared in the Lecture Notes for NATO summer school, held at Marktoberdorf in August 2004.
17. Sensoria Project. Public web site. http://sensoria.fast.de/.
18. W. M. P. van der Aalst, A. H. M. ter Hofstede, B. Kiepuszewski, and A. P. Barros. Workflow patterns. Distributed and Parallel Databases, 14(1):5-51, 2003.