Time and exceptional behavior in multiparty structured interactions

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedings

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.

OriginalsprogEngelsk
TitelWeb Services and Formal Methods - 8th International Workshop, WS-FM 2011, Revised Selected Papers
Antal sider16
Publikationsdato15 jun. 2012
Sider48-63
ISBN (Trykt)9783642298332
DOI
StatusUdgivet - 15 jun. 2012
Begivenhed8th International Workshop on Web Services and Formal Methods, WS-FM 2011 - Clermont-Ferrand, Frankrig
Varighed: 1 sep. 20112 sep. 2011

Konference

Konference8th International Workshop on Web Services and Formal Methods, WS-FM 2011
LandFrankrig
ByClermont-Ferrand
Periode01/09/201102/09/2011
NavnLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Vol/bind7176 LNCS
ISSN0302-9743

ID: 235144479