Time and Exceptional Behavior in Multiparty Structured Interactions

  • Hugo A. López
  • Jorge A. Pérez
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7176)

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Hugo A. López
    • 1
  • Jorge A. Pérez
    • 2
  1. 1.PLS, IT University of CopenhagenDenmark
  2. 2.CITI - Departamento de InformáticaFCT - New University of LisbonPortugal

Personalised recommendations