Document - Contract automata library

2022

Journal article Open Access

Contract automata library

Basile D., Ter Beek M. H.

Controller synthesis Software quality Service composition Software Behavioural contracts

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 (Print) 221 (2022). doi:10.1016/j.scico.2022.102841

Publisher: North-Holland, Amsterdam , Paesi Bassi

Metrics

Back to previous page

Cite as

BibTeX entry

@article{oai:it.cnr:prodotti:469592,
	title = {Contract automata library},
	author = {Basile D. and Ter Beek M. H.},
	publisher = {North-Holland, Amsterdam , Paesi Bassi},
	doi = {10.1016/j.scico.2022.102841},
	journal = {Science of computer programming (Print)},
	volume = {221},
	year = {2022}
}