Corinne, a Tool for Choreography Automata

被引：7
|
作者：
Orlando, Simone [1 ]
Di Pasquale, Vairo [1 ]
Barbanera, Franco [2 ]
Lanese, Ivan [3 ]
Tuosto, Emilio [4 ]
机构：
[1] Univ Bologna, Bologna, Italy
[2] Univ Catania, Dept Math & Comp Sci, Catania, Italy
[3] Univ Bologna, Focus Team, INRIA, Bologna, Italy
[4] Gran Sasso Sci Inst, Laquila, Italy
来源：
FORMAL ASPECTS OF COMPONENT SOFTWARE (FACS 2021) | 2021年 / 13077卷
基金：
欧盟地平线“2020”;
关键词：
D O I：
10.1007/978-3-030-90636-8_5
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Choreography automata are a model of choreographies envisaging high-level views of the behaviour of communicating systems as finite-state automata. The behaviour of each participant of a choreography can be obtained via a projection operation from a choreography automaton. The system of participants obtained by projection is well-behaved if the choreography automaton satisfies some well-formedness conditions. We present Corinne, a tool allowing one to render, compute projections of and compose choreography automata, as well as to check well-formedness conditions.
引用
收藏
页码：82 / 92
页数：11
相关论文
共 50 条
  • [41] AN INTERVIEW WITH CORINNE COOKE
    Cooke, Corinne
    Douglass, Paul
    STEINBECK REVIEW, 2007, 4 (01) : 95 - 100
  • [42] Lisa Corinne Davis
    Nadelman, C
    ARTNEWS, 2005, 104 (09): : 170 - 170
  • [43] A literary analysis of 'Corinne'
    Gengembre, G
    REVUE D HISTOIRE LITTERAIRE DE LA FRANCE, 2001, 101 (01): : 160 - 160
  • [44] A Tool for the Automation of Efficient Multi-Robot Choreography Planning and Execution
    Wete, Eric
    Greenyer, Joel
    Kudenko, Daniel
    Nejdl, Wolfgang
    Flegel, Oliver
    Eisner, Dennes
    ACM/IEEE 25TH INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, MODELS 2022 COMPANION, 2022, : 37 - 41
  • [45] OPINION IN STAEL 'CORINNE'
    GENGEMBRE, G
    GOLDZINK, J
    EUROPE-REVUE LITTERAIRE MENSUELLE, 1987, 64 (693-94) : 48 - 57
  • [46] TAGS:: a software tool for simulating transducer automata
    Esmoris, A
    Chesnevar, CI
    González, MP
    INTERNATIONAL JOURNAL OF ELECTRICAL ENGINEERING EDUCATION, 2005, 42 (04) : 338 - 349
  • [47] Cellular Automata Modeling as a Tool in Corrosion Management
    Reinoso-Burrows, Juan C.
    Toro, Norman
    Cortes-Carmona, Marcelo
    Pineda, Fabiola
    Henriquez, Mauro
    Madrid, Felipe M. Galleguillos
    MATERIALS, 2023, 16 (17)
  • [48] Timed finite automata: a simulation modeling tool
    Wu, J.H.
    Hsia, T.C.
    Kung Yeh Kung Chieng Hsueh K'an/Journal of the Chinese Institute of Industrial Engineers, 12 (02): : 103 - 116
  • [49] THE PROFOUND ERA OF CORINNE MERCADIER
    Para, Jean-Baptiste
    EUROPE-REVUE LITTERAIRE MENSUELLE, 2013, (1005) : 340 - 342
  • [50] KOVARSKA,CORINNE,CHOCHEM - OBITUARY
    KONER, P
    DANCE MAGAZINE, 1991, 65 (01): : 30 - 30
12345