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.
Contract automata runtime environment (v.1.0.0 - February 2022)
Basile D
2022
Abstract
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.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
