42、ComMA：复合组件的运行时验证

ComMA：复合组件的运行时验证

1. 引言

现代高科技系统是由多个交互组件组成的复杂实体，这些组件通常由不同供应商提供。组件接口缺乏精确和明确的规范，常常会在组件集成过程中引发问题。对于已部署系统进行组件更新时，也可能会因交互协议和时间行为的意外变化而产生问题。

为了解决这些问题，ComMA（组件建模与分析）方法和工具应运而生，用于支持组件及其接口的精确建模。ComMA提供了多种特定领域语言，用于指定客户端 - 服务器接口以及使用多个接口的组件模型。

以下是ComMA的主要特点和优势：
- 易于工业应用 ：建模语言使用熟悉的工程符号，如基于状态的行为规范、常见的时间属性模式以及软件架构描述概念，并且根据工业用户的需求和反馈进行迭代开发。
- 自动生成工件 ：ComMA工具可以从模型自动生成UML图、基于预定义Word模板的文档、监控基础设施和测试用例等。
- 强大的监控功能 ：能够检查实现是否符合接口和/或组件模型，自动生成的监控器会检查组件执行期间观察到的消息执行跟踪，是否符合行为模型以及时间和数据约束。

2. 接口建模与监控

2.1 ComMA接口建模

接口具有一个签名，定义了从客户端到服务器的同步和异步调用（分别称为命令和信号），以及从服务器到客户端的异步通知。这些与命令的回复一起，构成了客户端和服务器之间可以交换的消息，被称为接口事件或消息。

以管理系统中真空的 IVacuum 接口为例，其签名如下：