Contributo in atti di convegno, 2023, ENG, 10.1007/978-3-031-27481-7_31
Basile D.; ter Beek M.H.
CNR-ISTI, Pisa, Italy; CNR-ISTI, Pisa, Italy
Contract automata have been introduced for specifying applications through behavioural contracts and for synthesising their orchestrations as finite state automata. This paper addresses the realisation of applications from contract automata specifications. We present CARE, a new runtime environment to coordinate services implementing contracts that guarantees the adherence of the implementation to its contract. We discuss how CARE can be adopted to realise contract-based applications, its formal guarantees, and we identify the responsibilities of the involved business actors. Experiments show the benefits of adopting CARE with respect to manual implementations.
FM'23 - 25th International Symposium on Formal Methods, pp. 550–567, Lübeck, Germany, 6-10/3/2023
Contract automata, Runtime environment, Formal Methods, Orchestration
Ter Beek Maurice Henri, Basile Davide
ISTI – Istituto di scienza e tecnologie dell'informazione "Alessandro Faedo"
ID: 478831
Year: 2023
Type: Contributo in atti di convegno
Creation: 2023-03-08 10:48:52.000
Last update: 2023-08-01 21:15:26.000
CNR authors
External links
OAI-PMH: Dublin Core
OAI-PMH: Mods
OAI-PMH: RDF
DOI: 10.1007/978-3-031-27481-7_31
URL: https://link.springer.com/chapter/10.1007/978-3-031-27481-7_31
External IDs
CNR OAI-PMH: oai:it.cnr:prodotti:478831
DOI: 10.1007/978-3-031-27481-7_31
Scopus: 2-s2.0-85151062879
ISI Web of Science (WOS): 000999132100031