Contributo in atti di convegno, 2023, ENG, 10.1007/978-3-031-27481-7_31

A runtime environment for contract automata

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

Keywords

Contract automata, Runtime environment, Formal Methods, Orchestration

CNR authors

Ter Beek Maurice Henri, Basile Davide

CNR institutes

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

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