A Clean and Efficient Implementation of Choreography Synthesis for Behavioural Contracts - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2021

A Clean and Efficient Implementation of Choreography Synthesis for Behavioural Contracts

Résumé

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.
Fichier principal
Vignette du fichier
509400_1_En_14_Chapter.pdf (443.9 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03387846 , version 1 (20-10-2021)

Licence

Paternité

Identifiants

Citer

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⟩
26 Consultations
19 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More