11、面向方面设计类模型的组合指令解析

面向方面设计类模型的组合指令解析

1. 组合后模型分析与问题解决

在模型组合完成后，我们可以依据期望的属性对组合模型进行正式分析，以此来发现设计错误。例如，我们可以根据格式良好性规则分析模型，找出格式错误的部分，或者依据期望的语义属性（如“只有文件所有者才能删除文件”）进行分析。在相关工作中，我们开发了一种在组合过程中发现语义问题的技术。在该方法中，待验证的语义属性被用于组合过程，以生成证明义务。要确定组合模型具有规定的语义属性，就需要解除这些证明义务。

当发现问题时，有些情况可以使用组合指令来解决。此时，我们需要识别出一组合适的指令，并使用它们来组合特定上下文的方面模型和主模型。而在其他情况下，则可能需要进行更重大的更改。比如，可能需要确定方面模型的另一个变体，或者对主模型进行重大重构。

2. 组合指令的分类与应用示例

组合指令可以分为模型指令和元素指令。模型指令用于确定多个方面模型与主模型的组合顺序，而元素指令用于确定方面模型与主模型的组合方式。元素指令又可以根据其在组合过程中的应用时间进行分类：
- 预合并指令 ：在模型合并之前，用于对模型进行简单修改。例如，我们可以重命名模型元素、删除模型元素，或者替换模型元素（删除并添加模型元素），这些操作可以在主模型或特定上下文的方面模型中进行。
- 合并指令 ：用于覆盖模型元素的合并规则。例如，我们可以指定一个模型中的某个元素完全替换另一个模型中的元素。
- 后合并指令 ：在可能经过修改的主模型和特定上下文的方面模型合并后，对生成的模型进行简单修改。重命名、添加、删除