Choreography Automata

被引：15
|
作者：
Barbanera, Franco [1 ]
Lanese, Ivan [2 ]
Tuosto, Emilio [3 ,4 ]
机构：
[1] Univ Catania, Dept Math & Comp Sci, Catania, Italy
[2] Univ Bologna, Focus Team, INRIA, Bologna, Italy
[3] Gran Sasso Sci Inst, Laquila, Italy
[4] Univ Leicester, Leicester, Leics, England
来源：
COORDINATION MODELS AND LANGUAGES, COORDINATION 2020 | 2020年 / 12134卷
基金：
欧盟地平线“2020”;
关键词：
CONVERSATION PROTOCOLS; SPECIFICATION; VERIFICATION; FORMALISM;
D O I：
10.1007/978-3-030-50029-0_6
中图分类号：
学科分类号：
摘要：
Automata models are well-established in many areas of computer science and are supported by a wealth of theoretical results including a wide range of algorithms and techniques to specify and analyse systems. We introduce choreography automata for the choreographic modelling of communicating systems. The projection of a choreography automaton yields a system of communicating finite-state machines. We consider both the standard asynchronous semantics of communicating systems and a synchronous variant of it. For both, the projections of well-formed automata are proved to be live as well as lock- and deadlock-free.
引用
收藏
页码：86 / 106
页数：21
相关论文
共 50 条
  • [1] Corinne, a Tool for Choreography Automata
    Orlando, Simone
    Di Pasquale, Vairo
    Barbanera, Franco
    Lanese, Ivan
    Tuosto, Emilio
    FORMAL ASPECTS OF COMPONENT SOFTWARE (FACS 2021), 2021, 13077 : 82 - 92
  • [2] From Orchestration to Choreography through Contract Automata
    Basile, Davide
    Degano, Pierpaolo
    Ferrari, Gian-Luigi
    Tuosto, Emilio
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (166): : 67 - 85
  • [3] Web Services Choreography and Orchestration in Reo and Constraint Automata
    Meng, Sun
    Arbab, Farhad
    APPLIED COMPUTING 2007, VOL 1 AND 2, 2007, : 346 - 353
  • [4] Relating two automata-based models of orchestration and choreography
    Basile, D.
    Degano, P.
    Ferrari, G. L.
    Tuosto, E.
    JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2016, 85 (03) : 425 - 446
  • [5] 'CHOREOGRAPHY'
    MUSKE, C
    VIRGINIA QUARTERLY REVIEW, 1978, 54 (04) : 696 - 697
  • [6] On Choreography
    Allsopp, Ric
    Lepecki, Andre
    PERFORMANCE RESEARCH, 2008, 13 (01) : 1 - U7
  • [7] Choreography
    不详
    BALLETTANZ, 2007, (8-9): : 10 - 11
  • [8] THE NATIONAL-CHOREOGRAPHY-PROJECT GRANTS FOR CHOREOGRAPHY
    TAUB, E
    BALLET NEWS, 1984, 6 (02): : 6 - 6
  • [9] SHOCK OF THE NEW CHOREOGRAPHY + NATIONAL-CHOREOGRAPHY-PROJECT
    LOBENTHAL, J
    DANCE MAGAZINE, 1985, 59 (01): : 18 - 18
  • [10] Choreography and Coding
    Dorbian, Iris
    DANCE MAGAZINE, 2023, 97 (03): : 66 - 66
12345