ITU

Session-based Choreography with Exceptions

Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-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 JournalJournal articleResearchpeer-review

Harvard

APA

Vancouver

Author

Bibtex

@article{b4b358f0e62311dea523000ea68e967b,
title = "Session-based Choreography with Exceptions",
abstract = "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.",
author = "Marco Carbone",
note = "Paper id:: ISSN:1571-0661",
year = "2009",
language = "English",
volume = "241",
pages = "35--55",
journal = "Electronic Notes in Theoretical Computer Science",
issn = "1571-0661",
publisher = "Pergamon Press",

}

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