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 条
  • [21] Bionic Choreography
    XING WEN
    China Today, 2011, (10) : 72 - 73
  • [22] Hanover choreography
    Dodge, Laura
    DANCING TIMES, 2013, 104 (1240): : 78 - 78
  • [23] Choreography Revisited
    Su, Jianwen
    Sun, Yutian
    WEB SERVICES AND FORMAL METHODS, WS-FM 2013, 2014, 8379 : 13 - 25
  • [24] A Choreography of Lines
    Royaards, Merijn
    ARCHITECTURE AND CULTURE, 2014, 2 (02) : 145 - 146
  • [25] CRITICISM OF CHOREOGRAPHY
    CHRISTOUT, MF
    CORPS ECRIT, 1987, (23): : 135 - 139
  • [26] Protein choreography
    Mara C. Duncan
    Gregory S. Payne
    Nature, 2005, 438 : 571 - 573
  • [27] Prolific choreography
    Nagel, Marcel
    Mechatronik, 2015, 123 (12): : 28 - 29
  • [28] Cultured Choreography
    Gold, Sylviane
    DANCE MAGAZINE, 2016, 90 (02): : 24 - 24
  • [29] A CHOREOGRAPHY OF CORPSES
    Hunkins, Ann
    MANOA-A PACIFIC JOURNAL OF INTERNATIONAL WRITING, 2007, 19 (02): : 105 - 107
  • [30] CHOREOGRAPHY BY BALANCHINE
    THOM, RA
    DANCE MAGAZINE, 1996, 70 (06): : 72 - 73
12345