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.
A clean and efficient implementation of choreography synthesis for behavioural contracts
Basile D;ter Beek MH
2021
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.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_454603-doc_175300.pdf
non disponibili
Descrizione: A clean and efficient implementation of choreography synthesis for behavioural contracts
Tipologia:
Versione Editoriale (PDF)
Dimensione
1.41 MB
Formato
Adobe PDF
|
1.41 MB | Adobe PDF | Visualizza/Apri Richiedi una copia |
|
prod_454603-doc_175301.pdf
accesso aperto
Descrizione: Postprint - A clean and efficient implementation of choreography synthesis for behavioural contracts
Tipologia:
Versione Editoriale (PDF)
Dimensione
404.75 kB
Formato
Adobe PDF
|
404.75 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
