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:
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_03029743_v5052LNCS_n_p67_Bruni
Aporte de:
id todo:paper_03029743_v5052LNCS_n_p67_Bruni
record_format dspace
spelling todo:paper_03029743_v5052LNCS_n_p67_Bruni2023-10-03T15:19:01Z Multiparty sessions in SOC Bruni, R. Lanese, I. Melgratti, H. Tuosto, E. 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. SER info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by/2.5/ar 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)
Bruni, R.
Lanese, I.
Melgratti, H.
Tuosto, E.
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.
format SER
author Bruni, R.
Lanese, I.
Melgratti, H.
Tuosto, E.
author_facet Bruni, R.
Lanese, I.
Melgratti, H.
Tuosto, E.
author_sort Bruni, R.
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
url http://hdl.handle.net/20.500.12110/paper_03029743_v5052LNCS_n_p67_Bruni
work_keys_str_mv AT brunir multipartysessionsinsoc
AT lanesei multipartysessionsinsoc
AT melgrattih multipartysessionsinsoc
AT tuostoe multipartysessionsinsoc
_version_ 1807323710398398464