论文标题
部分可观测时空混沌系统的无模型预测
A Runtime Environment for Contract Automata
论文作者
论文摘要
已引入合同自动机，用于通过行为合同指定应用程序，并将其编排作为有限状态自动机综合。本文介绍了从合同自动机规范中实现应用程序。我们提供护理，这是一个新的运行时环境，以协调实施合同的服务，以保证实施其合同。我们讨论如何采用护理来实现基于合同的申请，其正式保证，并确定所涉及的业务参与者的责任。实验表明，在手动实施方面采用护理的好处。
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.
