Contract automata have been introduced for specifying applications through behavioural contracts and for synthesising their orchestrations as finite state automata. This paper addresses the realisation of applications from contract automata specifications. We present CARE, a new runtime environment to coordinate services implementing contracts that guarantees the adherence of the implementation to its contract. We discuss how CARE can be adopted to realise contract-based applications, its formal guarantees, and we identify the responsibilities of the involved business actors. Experiments show the benefits of adopting CARE with respect to manual implementations.

翻译：合约自动机已引入用于通过行为契约规范应用，并综合其编排为有限状态自动机。本文探讨了从合约自动机规范实现应用的方案。我们提出CARE这一新型运行时环境，用于协调实现契约的服务，确保实现与其契约的一致性。本文论述了如何采用CARE实现基于契约的应用及其形式化保证，并明确了相关业务参与者的责任。实验表明，与人工实现相比，采用CARE具有显著优势。