Time and Exceptional Behavior in Multiparty Structured Interactions

Hugo A. López; Jorge A. Pérez

doi:10.1007/978-3-642-29834-9_5

Time and Exceptional Behavior in Multiparty Structured Interactions

Hugo A. López, Jorge A. Pérez

Fundamental Computing

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

7 Citations (Scopus)

Abstract

The Conversation Calculus (CC) is a model of multiparty interactions which extends the π-calculus with the notion of conversation—a possibly distributed medium in which participants may communicate. Here we study the interplay of time and exceptional behavior for models of structured communications based on conversations. We propose C3, a timed variant of the CC in which conversations feature both standard and exceptional behavior. The exceptional behavior may be triggered either by the passing of time (a timeout) or by an explicit signal for conversation abortion. By presenting a compelling example from a healthcare scenario, we argue that the combination of time and exceptional behavior leads to more meaningful models of structured communications.

Original language	English
Title of host publication	Web Services and Formal Methods - 8th International Workshop, WS-FM 2011, September 1-2, 2011, Revised Selected Papers
Editors	M. Carbone, JM. Petit
Place of Publication	Berlin
Publisher	Springer
Pages	48-63
Number of pages	16
DOIs	https://doi.org/10.1007/978-3-642-29834-9_5
Publication status	Published - 2011
Event	8th International Workshop, WS-FM 2011 - Clermont-Ferrand, France Duration: 1-Sept-2011 → 2-Sept-2011

Conference

Conference	8th International Workshop, WS-FM 2011
Country/Territory	France
City	Clermont-Ferrand
Period	01/09/2011 → 02/09/2011

Access to Document

10.1007/978-3-642-29834-9_5

http://dx.doi.org/10.1007/978-3-642-29834-9_5

Handle.net

Persistent link

Cite this

@inproceedings{f557b161c7b44fff856c0cd46ce2f29e,

title = "Time and Exceptional Behavior in Multiparty Structured Interactions",

abstract = "The Conversation Calculus (CC) is a model of multiparty interactions which extends the π-calculus with the notion of conversation—a possibly distributed medium in which participants may communicate. Here we study the interplay of time and exceptional behavior for models of structured communications based on conversations. We propose C3, a timed variant of the CC in which conversations feature both standard and exceptional behavior. The exceptional behavior may be triggered either by the passing of time (a timeout) or by an explicit signal for conversation abortion. By presenting a compelling example from a healthcare scenario, we argue that the combination of time and exceptional behavior leads to more meaningful models of structured communications.",

author = "L{\'o}pez, {Hugo A.} and P{\'e}rez, {Jorge A.}",

year = "2011",

doi = "10.1007/978-3-642-29834-9_5",

language = "English",

pages = "48--63",

editor = "M. Carbone and { Petit}, { JM.}",

booktitle = "Web Services and Formal Methods - 8th International Workshop, WS-FM 2011, September 1-2, 2011, Revised Selected Papers",

publisher = "Springer",

note = "8th International Workshop, WS-FM 2011 ; Conference date: 01-09-2011 Through 02-09-2011",

}

López, HA & Pérez, JA 2011, Time and Exceptional Behavior in Multiparty Structured Interactions. in M Carbone & JM Petit (eds), Web Services and Formal Methods - 8th International Workshop, WS-FM 2011, September 1-2, 2011, Revised Selected Papers. Springer, Berlin, pp. 48-63, 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, 01/09/2011. https://doi.org/10.1007/978-3-642-29834-9_5

Time and Exceptional Behavior in Multiparty Structured Interactions. / López, Hugo A.; Pérez, Jorge A.
Web Services and Formal Methods - 8th International Workshop, WS-FM 2011, September 1-2, 2011, Revised Selected Papers. ed. / M. Carbone; JM. Petit. Berlin: Springer, 2011. p. 48-63.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Time and Exceptional Behavior in Multiparty Structured Interactions

AU - López, Hugo A.

AU - Pérez, Jorge A.

PY - 2011

Y1 - 2011

N2 - The Conversation Calculus (CC) is a model of multiparty interactions which extends the π-calculus with the notion of conversation—a possibly distributed medium in which participants may communicate. Here we study the interplay of time and exceptional behavior for models of structured communications based on conversations. We propose C3, a timed variant of the CC in which conversations feature both standard and exceptional behavior. The exceptional behavior may be triggered either by the passing of time (a timeout) or by an explicit signal for conversation abortion. By presenting a compelling example from a healthcare scenario, we argue that the combination of time and exceptional behavior leads to more meaningful models of structured communications.

AB - The Conversation Calculus (CC) is a model of multiparty interactions which extends the π-calculus with the notion of conversation—a possibly distributed medium in which participants may communicate. Here we study the interplay of time and exceptional behavior for models of structured communications based on conversations. We propose C3, a timed variant of the CC in which conversations feature both standard and exceptional behavior. The exceptional behavior may be triggered either by the passing of time (a timeout) or by an explicit signal for conversation abortion. By presenting a compelling example from a healthcare scenario, we argue that the combination of time and exceptional behavior leads to more meaningful models of structured communications.

U2 - 10.1007/978-3-642-29834-9_5

DO - 10.1007/978-3-642-29834-9_5

M3 - Conference contribution

SP - 48

EP - 63

BT - Web Services and Formal Methods - 8th International Workshop, WS-FM 2011, September 1-2, 2011, Revised Selected Papers

A2 - Carbone, M.

A2 - Petit, JM.

PB - Springer

CY - Berlin

T2 - 8th International Workshop, WS-FM 2011

Y2 - 1 September 2011 through 2 September 2011

ER -

Time and Exceptional Behavior in Multiparty Structured Interactions

Abstract

Conference

Access to Document

Handle.net

Fingerprint

Cite this