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.
Multiparty Sessions in SOC / R. BRUNI; I. LANESE; H. MELGRATTI; E. TUOSTO. - STAMPA. - 5052:(2008), pp. 67-82. (Intervento presentato al convegno 10th International Conference on Coordination Models and Languages tenutosi a Oslo, Norvegia nel 4-6/6/2008) [10.1007/978-3-540-68265-3_5].
Multiparty Sessions in SOC
LANESE, IVAN;
2008
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.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
