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 条

[1] Choreography Automata
Barbanera, Franco
Lanese, Ivan
Tuosto, Emilio
COORDINATION MODELS AND LANGUAGES, COORDINATION 2020, 2020, 12134 : 86 - 106
[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] The surgical ensemble: choreography as a simulation and training tool
Satava, Richard M.
Hunter, Anne Marie
SURGICAL ENDOSCOPY AND OTHER INTERVENTIONAL TECHNIQUES, 2011, 25 (09): : 3080 - 3086
[6] SOURCE AS A TOOL IN AUTOMATA
BAVEL, Z
INFORMATION AND CONTROL, 1971, 18 (02): : 140 - &
[7] A Tool for Choreography Analysis Using Collaboration Diagrams
Bultan, Tevfik
Ferguson, Chris
Fu, Xiang
2009 IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES, VOLS 1 AND 2, 2009, : 856 - +
[8] The surgical ensemble: choreography as a simulation and training tool
Richard M. Satava
Anne Marie Hunter
Surgical Endoscopy, 2011, 25 : 3080 - 3086
[9] Tool for Diagnosis of Stochastic Automata
Kristofik, Stefan
Flochova, Jana
2020 6TH INTERNATIONAL CONFERENCE ON EVENT-BASED CONTROL, COMMUNICATION, AND SIGNAL PROCESSING (EBCCSP), 2020,
[10] Typestates to Automata and back: a tool
Trindade, Andre
Mota, Joao
Ravara, Antonio
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2020, (302): : 25 - 42

← 1 2 3 4 5 →