论文标题
基于组件的系统进化的基于完善检查的策略
A refinement checking based strategy for component-based systems evolution
论文作者
论文摘要
我们提出了基于CSP的组件模型（BRIC）的继承和改进关系，该模型支持基于组成规则的建设性设计，该规则保留经典的并发性能，例如死锁自由。所提出的关系允许扩展功能，同时保留行为特性。在称为收敛的行为关系之上定义了可扩展性的概念，该概念将输入与输出及其传达的上下文区分开来，从而使扩展可以用不同的目的重用现有事件。我们使用FDR4工具来制定可扩展性验证的策略，并通过自主医疗机器人案例研究来说明我们的结果。
We propose inheritance and refinement relations for a CSP-based component model (BRIC), which supports a constructive design based on composition rules that preserve classical concurrency properties such as deadlock freedom. The proposed relations allow extension of functionality, whilst preserving behavioural properties. A notion of extensibility is defined on top of a behavioural relation called convergence, which distinguishes inputs from outputs and the context where they are communicated, allowing extensions to reuse existing events with different purposes. We mechanise the strategy for extensibility verification using the FDR4 tool, and illustrate our results with an autonomous healthcare robot case study.
