55、交互式模型推导与OCL引擎基准测试

交互式模型推导与OCL引擎基准测试

1. 交互式模型推导概述

交互式模型推导是在自动自适应指导下构建模型和元模型的过程，这些指导针对可能的建模步骤。模型推导的用途可分为保真性、保完整性和保语义性三类，这与建模和元建模活动相关。之后，针对两种语言提出了指导算法。开发过程严谨，利用了逻辑约束和推理算法。通过为特征模型实现原型并在现有示例上进行测试，证明了这种方法的可行性。

主流工具采用交互式支持技术，但该领域仍存在一个核心问题：如何为由元模型（如MOF或EMF）定义的任意语言以及一组具有合理表达能力的约束（如OCL的大型可判定子集）提供通用且强大的详尽有效指导。其他人在解决此问题时，保留了表达能力强的语言，但依赖可能不终止的搜索，而我们选择了不同的路线，考虑了更简单的语言和更强大的算法。未来，我们打算研究支持更丰富语言的可能性。

此外，尽管强调交互式支持的重要性，但在某些情况下，自动执行多个编辑操作仍然很有用。这引发了一系列有趣的问题，从人机交互问题（如何呈现操作序列的选择）到优化问题（如何高效发现感兴趣的序列）。

2. OCL引擎基准测试

2.1 OCL的重要性

对象约束语言（OCL）是建模和转换语言（如UML、MOF和QVT）的核心元素，因此模型驱动工程（MDE）方法依赖于OCL。OCL不仅在受OMG影响的领域存在，还存在于Eclipse建模框架（EMF）中。所以，OCL的质量及其在工具中的实现对于模型驱动开发的成功至关重要。然而，到目前为止，还没有提出用于衡量OCL质量属性的基准测试。

2.2 OCL基准测试的概念

提出了一个全面的OCL基准测试概念，该基准测试分为几