2022
Journal article
Open Access
Contract automata library
Basile D, Ter Beek Mh
Service composition Controller synthesis Behavioural contracts Software quality
Contract automata facilitate the specification, composition, and synthesis of behavioural contracts, comprehending modalities and configurations. Contract automata are supported by a software API called Contract Automata Library. This paper accompanies the software artefact by discussing its architecture, showing some usage examples and presenting recent improvements of the software in terms of quality, availability, usability, and documentation.
Source: SCIENCE OF COMPUTER PROGRAMMING, vol. 221 (issue 102841)
Back to previous page
BibTeX entry
@article{oai:it.cnr:prodotti:469592,
title = {Contract automata library},
author = {Basile D and Ter Beek Mh},
year = {2022}
}
0000-0002-7196-6609