AIR平台与Petri网本体：技术融合与应用拓展
1. AIR平台核心组件解析
AIR平台以元模型为基础构建，元模型是描述问题领域的关键，它能支持创建特定领域问题的模型。元模型由MOF描述，位于M2（元模型）层。为利用UML工具的广泛支持，可添加对应的UML概要文件，它是UML元模型的标准扩展，能使UML支持新的概念，还可添加到其他UML概要文件或元模型的映射，实现多种模型对一个问题的建模。
AIR将领域模型存储在基于MOF的模型库中，MOF规范定义了实现存储元数据（如模型）的框架。标准XML技术用于将元模型转换为元数据API，为框架提供实现。以下是相关的关键信息：
-元数据交换标准：OMG定义了平台独立的元数据交换标准XMI，它将基于MOF的元模型和模型序列化为纯文本（XML），实现数据的标准交换和跨平台读取。
-Java实现：存储库的Java实现基于Java元数据交换（JMI），可根据序列化到XMI的MOF元模型生成符合JMI的特定元模型接口，用于访问Java元数据存储库。数据可序列化为XMI与其他支持MOF元数据的存储库交换。
-存储库实现选择：JMI元数据存储库的参考实现是Unisys的CIM，但更新不及时。AIR使用NetBeans MDR作为元数据存储库，因其通用实现JMI接口且不断改进。
然而，基于MOF版本1的JMI规范实现较困难，Eclipse建模框架（EMF）成为更受欢迎的解决方案。EMF基于ECore，与MOF类似但更简单易实现。未来，MOF2标准有望解决多标准问题，定义了CMOF和EMOF两个规范。AI
