A Clean and Efficient Implementation of Choreography Synthesis for Behavioural Contracts

被引：8

作者：

Basile, Davide ^{[1
]}

ter Beek, Maurice H. ^{[1
]}

机构：

[1] ISTI CNR, Formal Methods & Tools Lab, Pisa, Italy

来源：

COORDINATION MODELS AND LANGUAGES, COORDINATION 2021 | 2021年 / 12717卷

关键词：

Service Computing; Contract Automata; Controller Synthesis; Orchestration; Choreography; SUPERVISORY CONTROL; ORCHESTRATION;

D O I：

10.1007/978-3-030-78142-2_14

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

The Contract Automata Tool is an open-source tool for the specification, composition and synthesis of coordination of service contracts, including functionalities to deal with modalities and configurations. We discuss an implementation of the abstract parametric synthesis algorithm firstly introduced in our COORDINATION 2019 paper, comprehending most permissive controller, orchestration and choreography synthesis. The tool's source code has been redesigned and refactored in Java 8, and we show the resulting gain in computational efficiency.

引用

页码：225 / 238

页数：14

共 41 条

[1]

Ahrendt W, 2016, LECT NOTES COMPUT SC, V10001, P1, DOI 10.1007/978-3-319-49812-6

[2]

[Anonymous], 2006, Java Concurrency in Practice

[3]

[Anonymous], About us

[4]

Atampore F, 2016, INT WORKS DISCRETE, P28, DOI 10.1109/WODES.2016.7497822

[5]

Autili Marco, 2017, Software Engineering for Self-Adaptive Systems III. Assurances. International Seminar. Revised Selected and Invited Papers: LNCS 9640, P282, DOI 10.1007/978-3-319-74183-3_10

[6] CHOReVOLUTION: Service choreography in practice [J].

Autili, Marco ;

Di Salle, Amleto ;

Gallo, Francesco ;

Pompilio, Claudio ;

Tivoli, Massimo .

SCIENCE OF COMPUTER PROGRAMMING, 2020, 197

[7] Compliance in Behavioural Contracts: A Brief Survey [J].

Bartoletti, Massimo ;

Cimoli, Tiziana ;

Zunino, Roberto .

PROGRAMMING LANGUAGES WITH APPLICATIONS TO BIOLOGY AND SECURITY: ESSAYS DEDICATED TO PIERPAOLO DEGANO ON THE OCCASION OF HIS 65TH BIRTHDAY, 2015, 9465 :103-121

[8] Relating two automata-based models of orchestration and choreography [J].