Session-based Choreography with Exceptions
Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Standard
Session-based Choreography with Exceptions. / Carbone, Marco.
In: Electronical Notes in Theoretical Computer Science, Vol. 241, 2009, p. 35-55.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Harvard
APA
Vancouver
Author
Bibtex
}
RIS
TY - JOUR
T1 - Session-based Choreography with Exceptions
AU - Carbone, Marco
N1 - Paper id:: ISSN:1571-0661
PY - 2009
Y1 - 2009
N2 - Choreography has recently emerged as a pragmatic and concise way of describing communication-based systems such as web services and financial protocols. Recent studies have investigated the transition from the design stage of a system to its implementation providing an automatic way of mapping a choreograhy into executable code. In this work, we focus on an extension of choreography with a communication-based (interactional) exception mechanism by giving its formal semantics. In particular, we discuss through some examples how interactional exceptions at choreography level can be implemented into end-point code.
AB - Choreography has recently emerged as a pragmatic and concise way of describing communication-based systems such as web services and financial protocols. Recent studies have investigated the transition from the design stage of a system to its implementation providing an automatic way of mapping a choreograhy into executable code. In this work, we focus on an extension of choreography with a communication-based (interactional) exception mechanism by giving its formal semantics. In particular, we discuss through some examples how interactional exceptions at choreography level can be implemented into end-point code.
M3 - Journal article
VL - 241
SP - 35
EP - 55
JO - Electronic Notes in Theoretical Computer Science
JF - Electronic Notes in Theoretical Computer Science
SN - 1571-0661
ER -
ID: 1037897