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...
Guardado en:
Publicado: |
2008
|
---|---|
Materias: | |
Acceso en línea: | https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03029743_v5052LNCS_n_p67_Bruni http://hdl.handle.net/20.500.12110/paper_03029743_v5052LNCS_n_p67_Bruni |
Aporte de: |
id |
paper:paper_03029743_v5052LNCS_n_p67_Bruni |
---|---|
record_format |
dspace |
spelling |
paper:paper_03029743_v5052LNCS_n_p67_Bruni2023-06-08T15:28:27Z Multiparty sessions in SOC 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) 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. 2008 https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03029743_v5052LNCS_n_p67_Bruni http://hdl.handle.net/20.500.12110/paper_03029743_v5052LNCS_n_p67_Bruni |
institution |
Universidad de Buenos Aires |
institution_str |
I-28 |
repository_str |
R-134 |
collection |
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) |
topic |
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) |
spellingShingle |
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) Multiparty sessions in SOC |
topic_facet |
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) |
description |
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. |
title |
Multiparty sessions in SOC |
title_short |
Multiparty sessions in SOC |
title_full |
Multiparty sessions in SOC |
title_fullStr |
Multiparty sessions in SOC |
title_full_unstemmed |
Multiparty sessions in SOC |
title_sort |
multiparty sessions in soc |
publishDate |
2008 |
url |
https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03029743_v5052LNCS_n_p67_Bruni http://hdl.handle.net/20.500.12110/paper_03029743_v5052LNCS_n_p67_Bruni |
_version_ |
1768542268273197056 |