Navegar

Colección

Datos Estadísticas

Artículo

Bruni, R.; Lanese, I.; Melgratti, H.; Tuosto, E. "Multiparty sessions in SOC" (2008) 10th International Conference on Coordination Models and Languages, COORDINATION 2008. 5052 LNCS:67-82
El editor solo permite decargar el artículo en su versión post-print desde el repositorio. Por favor, si usted posee dicha versión, enviela a
Consulte el artículo en la página del editor
Consulte la política de Acceso Abierto del editor

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. © 2008 Springer-Verlag Berlin Heidelberg.

Registro:

Documento: Artículo
Título:Multiparty sessions in SOC
Autor:Bruni, R.; Lanese, I.; Melgratti, H.; Tuosto, E.
Ciudad:Oslo
Filiación:Dipartimento di Informatica, Università di Pisa, Italy
Dipartimento di Scienze dell'Informazione, Università di Bologna, Italy
Departamento de Computación, Universidad de Buenos Aires, Argentina
Department of Computer Science, University of Leicester, United Kingdom
Palabras clave:Calculations; Computer networks; Flow interactions; Functions; Linguistics; Metropolitan area networks; Network protocols; Programmable logic controllers; Telecommunication networks; coordination models; Feature interactions; Heidelberg (CO); In order; international conferences; Languages (traditional); model interactions; Multiparty sessions; process calculus; Service-Oriented (SO) applications; Springer (CO); Structured communication; Differentiation (calculus)
Año:2008
Volumen:5052 LNCS
Página de inicio:67
Página de fin:82
DOI: http://dx.doi.org/10.1007/978-3-540-68265-3_5
Título revista:10th International Conference on Coordination Models and Languages, COORDINATION 2008
Título revista abreviado:Lect. Notes Comput. Sci.
ISSN:03029743
Registro:https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03029743_v5052LNCS_n_p67_Bruni

Referencias:

  • Acciai, L., Boreale, M., A type system for client progress in a service-oriented calculus (2008) LNCS, 5065. , Festschrift in Honour of Ugo Montanari, on the Occasion of His 65th Birthday, Springer Verlag, Heidelberg to appear
  • Bonelli, E., Compagnoni, A., Multipoint session types for a distributed calculus (2007) LNCS, 4912, pp. 240-256. , TGC, Springer Verlag, Heidelberg
  • 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, 4184, pp. 38-57. Springer, Heidelberg (2006); Boreale, M., Bruni, R., De Nicola, R., Loreti, M., Sessions and pipelines for structured service programming (2008) LNCS, 5051. , FMOODS, Springer, Heidelberg to appear
  • Bruni, R., Lanese, I.: PRISMA: A mobile calculus with parametric synchronization. In: Montanari, U., Sannella, D., Bruni, R. (eds.) TGC 2006. LNCS, 4661, pp. 132-149. Springer, Heidelberg (2007); Bruni, R., Mezzina, L., (2008) Types and deadlock freedom in a calculus of services, sessions and pipelines, , submitted
  • Caires, L., Vieira, H.T., Seco, J.C., The conversation calculus: A model of service oriented computation (2008) LNCS, 4960. , ESOP, Springer, Heidelberg
  • Carbone, M., Honda, K., Yoshida, N.: Structured communication-centred programming for web services. In: De Nicola, R. (ed.) ESOP 2007. LNCS, 4421, pp. 2-17. Springer, Heidelberg (2007); Carbone, M., Maffeis, S., On the expressive power of polyadic synchronisation in pi-calculus (2003) Nord. J. Comput, 10 (2), pp. 70-98
  • 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, 3705, pp. 299-318. Springer, Heidelberg (2005); Ene, C., Muntean, T., A broadcast-based calculus for communicating systems (2001) IPDPS, , IEEE Computer Society Press, Los Alamitos
  • Ferrari, G., Guanciale, R., Strollo, D., Tuosto, E., Coordination Via Types in an Event-Based Framework (2007) LNCS, 4574, pp. 66-80. , Derrick, J, Vain, J, eds, FORTE 2007, Springer, Heidelberg
  • Gay, S., Hole, M.: Types and Subtypes for Client-Server Interactions. In: Swierstra, S.D. (ed.) ESOP 1999. LNCS, 1576, pp. 74-90. Springer, Heidelberg (1999); Hoare, C., A model for communicating sequential processes (1980) Construction of Programs, , On the, Cambridge University Press, Cambridge
  • Honda, K., Types for dyadic interaction (1993) LNCS, 715, pp. 509-523. , Best, E, ed, CONCUR 1993, Springer, Heidelberg
  • Honda, K., Vasconcelos, V., Kubo, M.: Language primitives and type disciplines for structured communication-based programming. In: Hankin, C. (ed.) ESOP 1998. LNCS, 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 (2005) LNCS, 3454, pp. 220-235. , Jacquet, J.-M, Picco, G.P, eds, COORDINATION 2005, Springer, Heidelberg
  • Lanese, I., Vasconcelos, V., Martins, F., Ravara, A., Disciplining orchestration and conversation in service-oriented computing. In: SEFM (2007) 305-314. IEEE Computer Society Press, p. 2007. , Los Alamitos
  • Mezzina, L.G., How to infer finite session types in a calculus of services and sessions (2008) LNCS, 5052. , COORDINATION 2008, Springer, Heidelberg
  • Milner, R., A Calculus of Communication Systems (1980) LNCS, 92. , Springer, Heidelberg
  • Milner, R., Parrow, J., Walker, J.: A calculus of mobile processes, I and II. Inform. and Comput. 100(1), 1-40, 41-77 (1992); Web Services Business Process Execution Language, , http://docs.oasis-open.org/wsbpel/2.0/wsbpel-specification-draft.pdf, Version 2.0, Working Draft
  • Software Engineering for Service-Oriented Overlay Computers, , http://sensoria.fast.de, Sensoria Project, Public Web Site
  • http://www.w3.org/TR/2005/CR-ws-cdl-10-20051109, World Wide Web Consortium. Web Services Choreography Description Language Version 1.0. Working draft 17 December 2004

Citas:

---------- APA ----------
Bruni, R., Lanese, I., Melgratti, H. & Tuosto, E. (2008) . Multiparty sessions in SOC. 10th International Conference on Coordination Models and Languages, COORDINATION 2008, 5052 LNCS, 67-82.
http://dx.doi.org/10.1007/978-3-540-68265-3_5
---------- CHICAGO ----------
Bruni, R., Lanese, I., Melgratti, H., Tuosto, E. "Multiparty sessions in SOC" . 10th International Conference on Coordination Models and Languages, COORDINATION 2008 5052 LNCS (2008) : 67-82.
http://dx.doi.org/10.1007/978-3-540-68265-3_5
---------- MLA ----------
Bruni, R., Lanese, I., Melgratti, H., Tuosto, E. "Multiparty sessions in SOC" . 10th International Conference on Coordination Models and Languages, COORDINATION 2008, vol. 5052 LNCS, 2008, pp. 67-82.
http://dx.doi.org/10.1007/978-3-540-68265-3_5
---------- VANCOUVER ----------
Bruni, R., Lanese, I., Melgratti, H., Tuosto, E. Multiparty sessions in SOC. Lect. Notes Comput. Sci. 2008;5052 LNCS:67-82.
http://dx.doi.org/10.1007/978-3-540-68265-3_5