43、复合组件的运行时验证

复合组件的运行时验证

1. 复合组件概述

复合组件的模型可定义其内部组件结构，包括子组件（部件）及其交互。例如，有一个名为Imaging的组件模型，它代表一个捕获标本图像的系统，该模型包含四个部件，分别是ui、imageAcquisition、imageProcessing和display，这些部件是其他组件模型的实例，且它们自身可能还有内部结构。

在图像采集过程中，系统需要真空环境和特定温度水平。图像由源产生的光束穿过材料后被探测器捕获，探测器将数据发送进行进一步处理、存储，可能还会在显示器上可视化。imageAcquisition.control部件负责协调这一过程，先确保真空和合适的温度，然后启动采集过程，其类型为之前引入的Control组件。

组件通过端口连接，在相关图示中，提供端口用实心方块表示，所需端口用虚线方块表示。消息从所需端口ui.iControlPort1通过连接传输到提供端口imageAcquisition.iControlPort2，该端口又与control.iControlPort3相连，使得消息能进一步传输到control部件。这样，一系列连接定义了消息传输的完整路径。

以下是ImageAcquisition组件的文本语法规范示例：

component ImageAcquisition
    provided port IControl
        iControlPort2
    required port
        IProcessing
        iProcessingPort
    parts
        Control
            control