Published March 29, 2022
| Version 1
Software
Open
Contract Automata Runtime Environment (v. February 2022)
Description
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.
Notes
this repository contains the following versions of the repositories:
https://github.com/ContractAutomataProject/CARE/tree/60032cdd1a8c70667c66273ada7e95f3a42eb8b7
https://github.com/ContractAutomataProject/CARE_Example/tree/ee938f97549d02f34a202585be9a3dacf3c3403e
Files
CARE-88b8fb5adf24a5d15ad1d1a80e0675944e8b0319.zip
Files
(5.9 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:6611685d2edde6fcb7d69261f0539ca9
|
376.8 kB | Preview Download |
|
md5:9927a467e8c644e1d87789ae0eecf12c
|
5.5 MB | Preview Download |
Additional details
Related works
- Is supplement to
- Working paper: 10.48550/arXiv.2203.14122 (DOI)