Document - A clean and efficient implementation of choreography synthesis for behavioural contracts

2021

Conference article Open Access

A clean and efficient implementation of choreography synthesis for behavioural contracts

Basile D., Ter Beek M. H.

Service computing Contract automata Controller synthesis Orchestration Choreography

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.

Source: COORDINATION 2021 - 23rd IFIP WG 6.1 International Conference on Coordination Models and Languages, pp. 225–238, Online conference, 14-18/06/2021

Metrics

Back to previous page

Cite as

BibTeX entry

@inproceedings{oai:it.cnr:prodotti:454603,
	title = {A clean and efficient implementation of choreography synthesis for behavioural contracts},
	author = {Basile D. and Ter Beek M. H.},
	doi = {10.1007/978-3-030-78142-2_14},
	booktitle = {COORDINATION 2021 - 23rd IFIP WG 6.1 International Conference on Coordination Models and Languages, pp. 225–238, Online conference, 14-18/06/2021},
	year = {2021}
}