Working paper, 2022, ENG

A runtime environment for contract automata

Basile D.; ter Beek M.H.

CNR-ISTI, Pisa, Italy; CNR-ISTI, Pisa, Italy

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.

Keywords

Contract-based Applications, Contract Automata, Runtime environment

CNR authors

Ter Beek Maurice Henri, Basile Davide

CNR institutes

ISTI – Istituto di scienza e tecnologie dell'informazione "Alessandro Faedo"

ID: 465708

Year: 2022

Type: Working paper

Creation: 2022-03-29 10:28:55.000

Last update: 2022-03-30 18:56:17.000

External links

OAI-PMH: Dublin Core

OAI-PMH: Mods

OAI-PMH: RDF

URL: https://arxiv.org/abs/2203.14122

External IDs

CNR OAI-PMH: oai:it.cnr:prodotti:465708