一种基于精化检查的构件系统演化策略
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
