SCC: A Service Centered Calculus
We seek for a small set of primitives that might serve as a basis for formalising and programming service oriented applications over global computers. As an outcome of this study we introduce here SCC, a process calculus that features explicit notions of service definition, service invocation and session handling. Our proposal has been influenced by Orc, a programming model for structured orchestration of services, but the SCC’s session handling mechanism allows for the definition of structured interaction protocols, more complex than the basic request-response provided by Orc. We present syntax and operational semantics of SCC and a number of simple but nontrivial programming examples that demonstrate flexibility of the chosen set of primitives. A few encodings are also provided to relate our proposal with existing ones.
KeywordsOperational Semantic Parallel Composition Service Invocation Site Call Service Orchestration
Unable to display preview. Download preview PDF.
- 1.Abramsky, S.: The lazy lambda calculus. In: Research Topics in Functional Programming, pp. 65–116. Addison-Welsey, Reading (1990)Google Scholar
- 4.Bartoletti, M., Degano, P., Ferrari, G.: Types and effects for secure service orchestration. In: Proc. of CSFW 2006 (to appear, 2006)Google Scholar
- 7.Bruni, R., Melgratti, H., Montanari, U.: Nested commits for mobile calculi: extending join. In: Proc. of IFIP TCS 2004, pp. 367–379. Kluwer Academics, Dordrecht (2004)Google Scholar
- 14.Lapadula, A., Pugliese, R., Tiezzi, F.: A calculus for orchestration of web services. Technical report, University of Florence (2006)Google Scholar
- 16.Misra, J., Cook, W.R.: Computation orchestration: A basis for wide-area computing. Journal of Software and Systems Modeling (to appear, 2006) A preliminary version of this paper appeared in the Lecture Notes for NATO summer school, held at Marktoberdorf in (August 2004)Google Scholar
- 17.Sensoria Project. Public web site, http://sensoria.fast.de/