Session-based Choreography with Exceptions

    Publikation: Artikel i tidsskrift og konference artikel i tidsskriftTidsskriftartikelForskningpeer review

    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.
    OriginalsprogEngelsk
    TidsskriftElectronical Notes in Theoretical Computer Science
    Vol/bind241
    Sider (fra-til)35-55
    Antal sider21
    ISSN1571-0661
    StatusUdgivet - 2009

    Emneord

    • Choreography
    • web servicesm
    • Interactional Exceptions

    Fingeraftryk

    Dyk ned i forskningsemnerne om 'Session-based Choreography with Exceptions'. Sammen danner de et unikt fingeraftryk.

    Citationsformater