Advertisement
Published in:
2012 | OriginalPaper | Chapter
Time and Exceptional Behavior in Multiparty Structured Interactions
Authors : Hugo A. López, Jorge A. Pérez
Published in: Web Services and Formal Methods
Publisher: Springer Berlin Heidelberg
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
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
C
3, 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.