24、软件建模与本体技术的融合应用

软件建模与本体技术的融合应用

1. 语言语义与模型服务

在软件建模领域，语言语义的定义是一个关键问题。例如，Ecore元建模语言并未提供形式语义的定义，许多建模语言的语义往往隐于建模工具之中。若要为语言定义特定的形式语义，需在元模型规范中精确界定，或者通过将软件模型转换为逻辑表示的方式来实现。

语言用户在建模过程中需要多种服务，以实现高效建模并验证模型进度，即便模型尚未完成。当前建模方法面临着一些挑战，主要包括工具支持（如调试器、测试引擎）、与其他语言的互操作性以及形式语义的明确性。

具体而言，语言用户有以下需求：
- 一致性检查 ：当用户想要验证语言元模型所施加的所有限制和约束是否成立时，他们需要使用服务来检查M1模型的一致性。例如，流程建模语言的用户需要检查其模型是否与元模型及其约束一致。
- 动态分类 ：模型元素具有最具体的类型至关重要。语言用户应能够选择模型元素并调用动态分类服务，该服务可根据元模型中的对象描述动态确定模型对象所属的类。例如，对语言了解不全面的用户可能想知道ObjectFlow边的目标节点可以是哪些类型。
- 模型元素查询 ：用户可以通过不同方式描述概念，查询模型仓库中现有的模型元素，从而促进流程模型（部分）的重用。

2. 连接软件语言与本体技术的方法

连接软件模型和本体主要有两种通用方法，它们的区别在于定义的模型层次以及在软件模型上应用的层次。

方法	定义层次