2022
Report
Open Access
A runtime environment for contract automata
Basile D., Ter Beek M. H.
Contract-based Applications Contract Automata Runtime environment
Realising contract-based applications from formal specifications with formal guarantees requires to show the adherence of a specification, the contract, to its implementation. Contract automata have been introduced for specifying contract-based applications and synthesising their orchestrations as finite state automata. This paper introduces CARE, a newly developed library for implementing applications specified via contract automata, providing a runtime environment to coordinate services implementing contracts.
Source: ISTI Working papers, pp.1–8, 2022
Back to previous page
BibTeX entry
@techreport{oai:it.cnr:prodotti:465708,
title = {A runtime environment for contract automata},
author = {Basile D. and Ter Beek M. H.},
institution = {ISTI Working papers, pp.1–8, 2022},
year = {2022}
}
0000-0002-7196-6609