Skip to Main content Skip to Navigation
New interface
Conference papers

A Clean and Efficient Implementation of Choreography Synthesis for Behavioural Contracts

Abstract : 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.
Complete list of metadata

https://hal.inria.fr/hal-03387846
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Wednesday, October 20, 2021 - 9:02:36 AM
Last modification on : Friday, August 5, 2022 - 3:00:24 PM
Long-term archiving on: : Friday, January 21, 2022 - 7:18:19 PM

File

 Restricted access
To satisfy the distribution rights of the publisher, the document is embargoed until : 2024-01-01

Please log in to resquest access to the document

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Davide Basile, Maurice H. ter Beek. A Clean and Efficient Implementation of Choreography Synthesis for Behavioural Contracts. 23th International Conference on Coordination Languages and Models (COORDINATION), Jun 2021, Valletta, Malta. pp.225-238, ⟨10.1007/978-3-030-78142-2_14⟩. ⟨hal-03387846⟩

Share

Metrics

Record views

13