A Runtime Environment for Contract Automata

03/26/2022
by   Davide Basile, et al.
0

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.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset