基于元对象机制的多视图企业模型一致性问题.pdfVIP

No．7 第42卷第7期 机械工程学报 v01．42 2006年7月 Jul． 2006 CHINESEJOURNALOFMECHANICALENGINEERING 基于元对象机制的多视图企业 模型一致性问题木 赵或 范玉顺 (清华大学自动化系北京 100084) 摘要：模型驱动的企业集成要求企业模型具有精确的、形式化的、一致的表达，现有研究中多视图企业模型一致 性的定义依赖于具体的建模框架，刚性的视图一致性维护方法制约了视图配置的开放性。在分析多视图企业建模 框架中模型一致性问题的特点和原因基础上，借用软件工程中元对象机制(MOF)的思想，将产生一致性问题的视 图间语义约束元化到元元模型层，并给出了视图的形式化定义。这种视图及一致性定义及维护方法具有通用性和 严格性，同时使得建模框架中视图的配置具有良好柔性。 关键词：企业建模视图一致性元对象机制(MOF)模型驱动 中图分类号：THl66 并依赖支持其方法的工具在软件中刚性的维护视图 O前言 间的一致性，而并没有统一的、形式化的一致性定 义及维护机制。实际上，随着模型驱动方法中企 在制造业信息化工程中，企业建模一直发挥着 业建模作用的核心化，各种模型使用场合对视图的 重要的作用，基于企业模型的现状分析、业务过程 要求也越来越丰富且个性化、动态化，缺乏柔性的 重构和信息系统设计等方面都已经有了丰富的研究 视图间～致性的维护制约着建模框架的精确性和开 成果和大量的实践经验，但是模型的应用都仅局限 放性。 在相对很窄的范围之内，模型还只能看作是为需求 分析、初步设计服务的辅助工具。而随着企业集成 想和方法，将不同建模框架(即MOF中的元模型) 的程度越来越高，为了提高企业系统的柔性以及系 的视图及视图一致性概念抽象到一个公共的抽象层 统与需求之间的一致性，模型驱动的企业集成成为 一种新的集成方式[1刁】。在这种集成方式中，模型不 提出视图在建模框架中并不是用来划分概念的，而 再仅仅是辅助分析设计的一些图形或者公式，它将 是用来组织概念的。这样在一个建模框架中，视图 驱动着整个信息化工程从业务需求一直到IT实施， 可以根据需要柔性的添加、删除和更改，且不影响 来实现信息系统对企业集成的支持，模型可以看作 整个企业模型的一致性。 整个工程生命周期的执行语言。 模型驱动的企业集成对企业建模提出了新的要 1 元对象机制(MOF)简介 求，由于需要具有可执行的功能，企业模型要有精 确的、形式化的、一致的表达。目前已经有许多较 软件工程中，为统一定义各种建模语言及模型 m{magement 间的转换关系，OMG(Object 为成熟的企业建模框架，例如CIMOSA、ARIS和 象管理组织)试图提出各建模语言(元模型)的公共抽 zachmall等，这些建模框架共同的特点就是采用多 象(元元模型)来统一建模语言的表达，继而可以统