17、UML模型约束建模与模型到文本转换的可追溯性

UML模型约束建模与模型到文本转换的可追溯性

1. UML模型约束建模

在UML模型的约束建模中，有几个关键方面需要关注。首先是模型的细化评估。存在这样一个模型，它并不确保每个同时被构造型为 «isRefinable» 和 «unit» 的动作都有一个支持细化的类，反之亦然。其中，构造型为 «match» 的依赖关系是有向的。在该模型里，仅保证每个被构造型为 «isRefinable» 和 «unit» 的动作有一个有效的类。若要验证对称关系，需声明另一个模型来检查C_Unit是否与K_Unit匹配。

为了支持这种评估方法，使用了一个工具。该工具会将规则评估结果以图的形式呈现，图中的节点代表模型元素。以过滤器模型及其细化模型为例，考虑可能导致错误评估的情况以突出约束传播。比如，给处理单元Adder添加一个名为p5的额外输出端口，同时保持细化模型不变。评估结果图显示，模型不满足规则，顶层节点AFilter无效，这是由于约束从节点p5传播到AFilter所致。输出端口p5有效，因为它无法与操作匹配，导致从K_Unit到p5的非存在条件不满足，进而使K_Filter无效。

接下来是组合操作。在一个过度简化的控制器系统中复用之前的过滤器，该过滤器产生的值会触发控制过程在空闲状态和控制状态这两个状态之间的变化。整个建模系统存在异构交互，一方面是具有数据驱动语义的过滤器，另一方面是具有事件驱动语义的有限状态机模型。为了实现它们之间的交互，引入了触发元素，该元素使用新的构造型 «Adapter» 进行建模，它扩展了Action元类。

组合定义方面，基于组件的建模方法为元素组合提供了思路。把可连接元素定义为被构造型为 «in» （涵盖所需服务概念）或 «out» （涵盖提供服务概