Contract automata runtime environment (v.1.0.0 - February 2022)

Basile D.

Contract automata  Runtime environment  Contract applications  Behavioural type  Behavioural contract 

This document links the zenodo repository of CARE. Contract Automata Runtime Environment (v. February 2022) CARE is a library for implementing applications specified via contract automata. CARE provides a runtime environment to coordinate the CARE services that are implementing the contracts of the synthesised orchestration. Thus, CARE is the missing piece between specifications through contract automata and their implementations, so making explicit the low-level interactions realising the prescribed actions.

Metrics