9、《元模型在情境方法工程中的应用与发展》

《元模型在情境方法工程中的应用与发展》

1. 元建模的应用与发展

元建模在众多领域有着广泛的应用。早期，它在MetaPHOR项目中作为元模型发挥作用，特别是在MetaEdit工具中得以实现。近年来，元建模在业务流程和服务组合之间的桥梁搭建中也有应用，例如Cortes Cornax等人使用了一套名为“编排”的元模型，其中包括领域元模型、分析元模型和设计元模型。

2. 迈向形式化的步骤

为了在建模和元建模中引入更多形式化内容，人们尝试为图1.8所示的非形式化多层结构添加规则。其中，广泛采用的是图1.11所示的四级（MOF2）架构。该架构基于严格的元建模定义层级，层与层之间仅允许“实例-of”关系，且同一层内不存在“实例-of”关系。在严格元建模中，较低层（Mx）的实体是较高层（Mx + 1）实体的实例，理想情况下是一种类型 - 实例关系，类似于“分类”关系。较高层实体定义内涵，较低层实体定义外延。

这种四级结构对UML等建模语言有诸多益处，但也带来了一些问题。例如，在引入过程建模和执行时，以及将其用于更注重本体的建模时，会出现问题。解决这些问题对情境方法工程（SME）有一定影响，因为SME的所有元素都需要元建模基础来确保其形式化规范。部分形式化讨论涉及使用数学集合论和/或范畴论来形式化表示元建模和SME的各个方面。

当前元建模的思想是类型 - 实例建模的扩展。在建模中，我们通常用类来建模一组实例，类定义类型。例如，BankAccount类型/类有Brian’sAccount、Jolita’sAccount和Pär’sAccount等实例。如果考虑类模型中的众多类，如BankAccount，它们可被视为某个集合的实例，当为该概念添加内涵定义时