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

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