Time and Exceptional Behavior in Multiparty Structured Interactions
Time and Exceptional Behavior in Multiparty Structured Interactions
复制标题
DOI：
10.1007/978-3-642-29834-9_5
复制
发表时间：
2011-09
期刊：
影响因子：
--
通讯作者：
Hugo A. López;Jorge A. Pérez
中科院分区：
文献类型：
--
作者：
Hugo A. López;Jorge A. Pérez
会话演算(CC)是一种多方交互的模型，它用会话的概念扩展了π演算--会话是参与者可以进行交流的可能的分布式媒介。在这里，我们研究了基于会话的结构化通信模型中时间和异常行为的相互作用。我们提出了C3，这是CC的一种变体，其中对话既有标准行为，也有特殊行为。异常行为可以由时间流逝(超时)或由对话中止的明确信号来触发。通过提供一个来自医疗保健场景的令人信服的例子，我们认为时间和异常行为的结合导致了更有意义的结构化通信模型。
The Conversation Calculus (CC) is a model of multiparty interactions which extends theπ-calculus with the notion ofconversation—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, atimedvariant 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.