Abstract
Service oriented applications feature interactions among several participants over the network. Mechanisms such as correlation sets and two-party sessions have been proposed in the literature to separate messages sent to different instances of the same service. This paper presents a process calculus featuring dynamically evolving multiparty sessions to model interactions that spread over several participants. The calculus also provides primitives for service definition/invocation and for structured communication in order to highlight the interactions among the different concepts. Several examples from the SOC area show the suitability of our approach.
Research supported by the EU Project FET-GC II IST-2005-16004 Sensoria by the UK project HiDeA4SOC and by the Italian FIRB project TOCAI.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Acciai, L., Boreale, M.: A type system for client progress in a service-oriented calculus. In: Festschrift in Honour of Ugo Montanari, on the Occasion of His 65th Birthday. LNCS, vol. 5065, Springer Verlag, Heidelberg (to appear, 2008)
Bonelli, E., Compagnoni, A.: Multisession session types for a distributed calculus. In: TGC 2007. LNCS, vol. 4912, pp. 240–256. Springer Verlag, Heidelberg (2008)
Boreale, M., Bruni, R., Caires, L., De Nicola, R., Lanese, I., Loreti, M., Martins, F., Montanari, U., Ravara, A., Sangiorgi, D., Vasconcelos, V., Zavattaro, G.: SCC: A Service Centered Calculus. In: Bravetti, M., Núñez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol. 4184, pp. 38–57. Springer, Heidelberg (2006)
Boreale, M., Bruni, R., De Nicola, R., Loreti, M.: Sessions and pipelines for structured service programming. In: FMOODS 2008. LNCS, Springer Verlag, Heidelberg (to appear, 2008)
Bruni, R., Lanese, I.: PRISMA: A mobile calculus with parametric synchronization. In: Montanari, U., Sannella, D., Bruni, R. (eds.) TGC 2006. LNCS, vol. 4661, pp. 132–149. Springer, Heidelberg (2007)
Bruni, R., Mezzina, L.: Types and deadlock freedom in a calculus of services, sessions and pipelines (submitted, 2008)
Caires, L., Vieira, H.T., Seco, J.C.: The conversation calculus: A model of service oriented computation. In: ESOP 2008. LNCS, vol. 4960, Springer, Heidelberg (2008)
Carbone, M., Honda, K., Yoshida, N.: Structured communication-centred programming for web services. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol. 4421, pp. 2–17. Springer, Heidelberg (2007)
Carbone, M., Maffeis, S.: On the expressive power of polyadic synchronisation in pi-calculus. Nord. J. Comput. 10(2), 70–98 (2003)
Dezani-Ciancaglini, M., Yoshida, N., Ahern, A., Drossopoulou, S.: A distributed object-oriented language with session types. In: De Nicola, R., Sangiorgi, D. (eds.) TGC 2005. LNCS, vol. 3705, pp. 299–318. Springer, Heidelberg (2005)
Ene, C., Muntean, T.: A broadcast-based calculus for communicating systems. In: IPDPS 2001, IEEE Computer Society Press, Los Alamitos (2001)
Ferrari, G., Guanciale, R., Strollo, D., Tuosto, E.: Coordination Via Types in an Event-Based Framework. In: Derrick, J., Vain, J. (eds.) FORTE 2007. LNCS, vol. 4574, pp. 66–80. Springer, Heidelberg (2007)
Gay, S., Hole, M.: Types and Subtypes for Client-Server Interactions. In: Swierstra, S.D. (ed.) ESOP 1999. LNCS, vol. 1576, pp. 74–90. Springer, Heidelberg (1999)
Hoare, C.: A model for communicating sequential processes. In: On the Construction of Programs, Cambridge University Press, Cambridge (1980)
Honda, K.: Types for dyadic interaction. In: CONCUR 1993. LNCS, vol. 715, pp. 509–523. Springer, Heidelberg (1993)
Honda, K., Vasconcelos, V., Kubo, M.: Language primitives and type disciplines for structured communication-based programming. In: Hankin, C. (ed.) ESOP 1998. LNCS, vol. 1381, pp. 22–138. Springer, Heidelberg (1998)
Honda, K., Yoshida, N., Carbone, M.: Multiparty asynchronous session types. In: POPL 2008, pp. 273–284. ACM, New York (2008)
Lanese, I., Tuosto, E.: Synchronized Hyperedge Replacement for heterogeneous systems. In: Jacquet, J.-M., Picco, G.P. (eds.) COORDINATION 2005. LNCS, vol. 3454, pp. 220–235. Springer, Heidelberg (2005)
Lanese, I., Vasconcelos, V., Martins, F., Ravara, A.: Disciplining orchestration and conversation in service-oriented computing. In: SEFM 2007, pp. 305–314. IEEE Computer Society Press, Los Alamitos (2007)
Mezzina, L.G.: How to infer finite session types in a calculus of services and sessions. In: COORDINATION 2008. LNCS, vol. 5052, Springer Verlag, Heidelberg (2008)
Milner, R.: A Calculus of Communication Systems. LNCS, vol. 92. Springer, Heidelberg (1980)
Milner, R., Parrow, J., Walker, J.: A calculus of mobile processes, I and II. Inform. and Comput. 100(1), 1–40, 41–47 (1992)
OASIS. Web Services Business Process Execution Language Version 2.0, Working Draft, http://docs.oasis-open.org/wsbpel/2.0/wsbpel-specification-draft.pdf
Sensoria Project. Software Engineering for Service-Oriented Overlay Computers. Public Web Site, http://sensoria.fast.de/
World Wide Web Consortium. Web Services Choreography Description Language Version 1.0. Working draft (17 December 2004), http://www.w3.org/TR/2005/CR-ws-cdl-10-20051109/
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bruni, R., Lanese, I., Melgratti, H., Tuosto, E. (2008). Multiparty Sessions in SOC. In: Lea, D., Zavattaro, G. (eds) Coordination Models and Languages. COORDINATION 2008. Lecture Notes in Computer Science, vol 5052. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-68265-3_5
Download citation
DOI: https://doi.org/10.1007/978-3-540-68265-3_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-68264-6
Online ISBN: 978-3-540-68265-3
eBook Packages: Computer ScienceComputer Science (R0)