Multiparty sessions in SOC

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...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Bruni, R., Lanese, I., Melgratti, H., Tuosto, E.
Formato: SER
Materias:
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)
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_03029743_v5052LNCS_n_p67_Bruni
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires
Descripción
Sumario: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.

Ejemplares similares