Time and exceptional behavior in multiparty structured interactions

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

Standard

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, Revised Selected Papers. 2012. s. 48-63 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 7176 LNCS).

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

Harvard

López, HA & Pérez, JA 2012, Time and exceptional behavior in multiparty structured interactions. i Web Services and Formal Methods - 8th International Workshop, WS-FM 2011, Revised Selected Papers. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), bind 7176 LNCS, s. 48-63, 8th International Workshop on Web Services and Formal Methods, WS-FM 2011, Clermont-Ferrand, Frankrig, 01/09/2011. https://doi.org/10.1007/978-3-642-29834-9_5

APA

López, H. A., & Pérez, J. A. (2012). Time and exceptional behavior in multiparty structured interactions. I Web Services and Formal Methods - 8th International Workshop, WS-FM 2011, Revised Selected Papers (s. 48-63). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Bind 7176 LNCS https://doi.org/10.1007/978-3-642-29834-9_5

Vancouver

López HA, Pérez JA. Time and exceptional behavior in multiparty structured interactions. I Web Services and Formal Methods - 8th International Workshop, WS-FM 2011, Revised Selected Papers. 2012. s. 48-63. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 7176 LNCS). https://doi.org/10.1007/978-3-642-29834-9_5

Author

López, Hugo A. ; Pérez, Jorge A. / Time and exceptional behavior in multiparty structured interactions. Web Services and Formal Methods - 8th International Workshop, WS-FM 2011, Revised Selected Papers. 2012. s. 48-63 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 7176 LNCS).

Bibtex

@inproceedings{c87fa02a5b974da29cb7ec0cf76ca42d,
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 = "2012",
month = jun,
day = "15",
doi = "10.1007/978-3-642-29834-9_5",
language = "English",
isbn = "9783642298332",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "48--63",
booktitle = "Web Services and Formal Methods - 8th International Workshop, WS-FM 2011, Revised Selected Papers",
note = "8th International Workshop on Web Services and Formal Methods, WS-FM 2011 ; Conference date: 01-09-2011 Through 02-09-2011",

}

RIS

TY - GEN

T1 - Time and exceptional behavior in multiparty structured interactions

AU - López, Hugo A.

AU - Pérez, Jorge A.

PY - 2012/6/15

Y1 - 2012/6/15

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.

UR - http://www.scopus.com/inward/record.url?scp=84862133396&partnerID=8YFLogxK

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

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

M3 - Article in proceedings

AN - SCOPUS:84862133396

SN - 9783642298332

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 48

EP - 63

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

T2 - 8th International Workshop on Web Services and Formal Methods, WS-FM 2011

Y2 - 1 September 2011 through 2 September 2011

ER -

ID: 235144479