基于领域元模型的PLM-ERP数据集成研究

分析了现有PLM-ERP数据集成方法,提出了一种基于领域元模型的集成PLM-ERP数据的方法.通过领域元模型描述PLM-ERP系统间的元数据映射信息和集成业务规则.领域元模型经过解析和验证后,执行异构数据转换,可以实现PLM-ERP系统交换和共享数据.领域元模型集成方法具有可重用性,减少PLM-ERP数据集成开发工作量,低耦合性、通用性的特点.     

AGR元模型到组织抽象模型的建模方法

将目标驱动思想引入AGR中,提出一种从AGR元模型到多Agent系统（MAs）组织抽象模型的建模方法。对AGR进行综述,给出该方法的具体步骤和形式化过程。应用于某智能故障诊断系统的结果表明,该建模方法有利于设计人员直接利用AGR元模型构建MAS组织抽象模型,可适用于各种AGR扩展。     

信息模型驱动的信息系统开发与元信息系统

信息系统开发经历了以计算为中心、数据为中心、对象为中心(数据与处理一体化)和正在发展的以模型为中心的四个阶段。以模型为中心的阶段的出现,使信息系统开发成为一个由信息模型(Information Model)驱动的过程,信息模型将贯穿于信息系统的分析、设计、实现、配置、维护和管理的各个阶段,从而需要一个基于信息模型的、辅助和管理信息系统开发与运行过程的信息系统,即元信息系统。     

支持领域复用的过程元模型

过程的复用问题如同软件本身的复用性，具有同样重要的意义．提出了一种支持领域复用的过程元模型．借鉴OO技术中的类继承概念，以表示领域业务过程间的共性以及抽象-特化父子关系；通过参数化模板机制的使用，增强过程的抽象表示能力．据此设计了独立于具体平台的过程定义语言，通过映射机制可转换为特定的过程定义语言如WSFL、WPDL等，从而可被各种工作流引擎执行．实现了过程建模工具PM Builder．     

信息系统中PIM功能元模型的构建研究

为了解决传统信息系统不能随着需求的改变而及时改变的问题，OMG提出了模型驱动体系（MDA）。平台无关模型（PIM）是模型驱动体系中最重要的一环，为了更好地建立信息系统的平台无关模型，提出了从信息系统的功能角度入手构建PIM。首先介绍了MDA框架下的信息系统开发过程，然后从模型构建的一般性要求出发，结合MDA框架下的信息系统开发的特点，提出了MDA框架下的信息系统开发过程的PIM功能元模型构建方法。为了验证了构建方法的正确性，最后基于XML语言实现了PIM功能元模型的构建。     

信息系统中PIM功能元模型的构建研究

为了解决传统信息系统不能随着需求的改变而及时改变的问题,OMG提出了模型驱动体系(MDA)。平台无关模型(PIM)是模型驱动体系中最重要的一环,为了更好地建立信息系统的平台无关模型,提出了从信息系统的功能角度入手构建PIM。首先介绍了MDA框架下的信息系统开发过程,然后从模型构建的一般性要求出发,结合MDA框架下的信息系统开发的特点,提出了MDA框架下的信息系统开发过程的PIM功能元模型构建方法。为了验证了构建方法的正确性,最后基于XML语言实现了PIM功能元模型的构建。     

RGPS过程层元模型正确性验证

利用Web服务本体描述语言对RGPS过程层元模型进行描述,建立Promela模型。基于线性时序逻辑,以及Spin检测工具的偏序规约和on-the-fly等优化技术对Promela模型进行正确性验证,设计并实现RGPS过程层元模型正确性验证平台。通过城市交通系统实例证明该验证方法的正确性和有效性。     

面向本体的MIS领域分析方法

Domain engineering is a reuse technology of large-grain size,it focuses the analysis,design and implementa-tion within a specific domain.This paper focuses the first phase of domain engineering,discusses a new approach of domain analysis-ontology-oriented MIS domain analysis method and introduces the implementation of the prototype system which supports this method.     

元模型支持下的模型转换

模型转换是MDA的核心思想,包括模型到代码的转换和模型到模型的转换。文章所提出的模型转换方法用元模型表示转换规则,通过基于图转换的模型转换,最终得到目标模型的元模型表达。元模型支持下的模型转换可以对转换规则进行精确的描述,使转换具有明确的语义,更便于工具实现。     

模型驱动构架中基于元模型的设计模式单元的组建和转换

设计模式种类繁多而且在不断变化,要在模型驱动构架（MDA）下真正做到从思想和实现上均能应用设计模式,需要解决其实例化后的模式消失问题,保证模式的独立性,并且可以将这个过程适用到多种设计模式中去。针对以上两个问题,采取一种基于元模型的设计模式单元的建模方法,从元模型层面划分基本操作为不可分的原子,组合出完整的不包含业务逻辑部分的设计模式单元元模型,使多种模式单元元模型的组合构建和业务、模式逻辑相分离在经过一次转换过程后同时实现。     

净化软件开发模型的研究

介绍了软件工程及ISO9001质量管理和质量保证标准关于软件开发和测试方法的指导性原则，提出了净化软件系统的开发模型，结合成功开发基于C／S结构的网络管理系统和信息管理系统等大型软件系统的实践，详细，论述了净化软件设计，测试方法及其开发文档的编写方法。     

基于n元语法模型的领域语音指令识别

本文采用一种音素匹配法结合改进了的n元语法模型的方法,时语音指令进行理解.指令按照结构划分类别,通过提取其中关键要素来获取指令语义.音素匹配法可以提取指令中部分或全部要素;对于指令中未识别的要素则根据已正确识别的部分,采用改进的n元语法模型进行推测.实验表明该方法取得了较好的效果,并在原有的基础上有一定的提高.     

嵌入式系统硬件抽象层的建立及软件的可移植性设计

在阐述嵌入式系统软件设计方法的基础上,介绍嵌入式系统底层软件可移值性设计和硬件抽象层的建立;举例说明利用此思想的嵌入式软件的设计及测试过程。     

面向领域资源的智能元搜索技术研究

如何快速、有效地从互联网中获取特定领域资源信息,已成为当前研究热点之一。本文提出并构建了一种基于元搜索技术的领域资源检索系统,介绍了其中的关键技术,包括：领域资源模型构造、查询请求与调用、查询结果处理等。最后以计算机教学资源检索为例进行了实例验证。     

基于元模型的QoS管理模型

将元模型的思想应用于Qos管理,分析了定义Qos元模型所需的基本元素,研究了基于XML的元模型实现和应用方法,从而建立起开放的、可扩展的Qos表示体系。利用Qos表示体系,抽象出Qos空间、Qos水平及Qos状态的概念,在此基础上,结合模糊逻辑格运算,探讨了Oos适配管理的实现方式和具体算法。     

工作流互操作问题元模型研究

元对象设施是对象管理组近年来提出的最为重要的标准之一。本文在工作流管理联盟和对象管理组两大组织发布的标准基础上,通过对前人工作的分析与研究提出利用元数据体系构筑工作流元模型以解决互操作问题,并给出这一元模型的体系架构。     

支持快速构建领域应用系统的业务过程模型研究

针对基于业务基础平台快速构建领域应用系统,建立了业务过程模型BPM4DBL(business process model for dynamic business logic).模型中包括活动和规则元素,可以描述领域应用中宏观实体和微观知识结构;给出了模型中元素的构建步骤和原则,并定义了模型向XPDL(XML process definition language)和BPEL4WS(bussiness process execution language for Web service)的映射规则,从而支持领域应用系统的快速构建.最后给出了一个具体的应用实例.     

自动生成GEF图形编辑器的研究与实现

针对当前GEF编辑器开发难度大、开发周期长的问题,设计了一个能够自动生成GEF图形编辑器的MDA工具GEG的体系结构。它利用EMF的代码自动生成方法JET和JMerge,以及EMF.edit提供的适配器机制,生成了一个完整的基于Eclipse平台的图形编辑器插件。在系统设计和实现过程中,引入了配置元模型和视图元模型。     

面向构件与方面的MDA软件开发新模型初探

以面向对象为基础的基于构件(CBSD)的软件开发方法、面向方面(AOSD)方法以及基于模型递进驱动(MDA)的软件设计与开发方法各具优点,分别从不同角度很好地解决了软件开发中遇到的不同问题,却各有不足.在对CBSD、AOSP以及MDA等方法的研究基础上,提出了一种新的面向构件与方面的MDA软件开发模型,该方法通过计算模型、构件与方面模型、系统实现模型这3种逐步递进的模型来进行复杂系统的软件设计与开发.给出的应用实例表明该开发模型能有效降低复杂系统的开发难度,提高开发效率以及系统的复用性.     

使用EMF开发基于模型的Eclipse插件

长期以来，由Rational Rose等可视化对象建模工具得到的模型只能用于软件设计过程，这是因为没有一个很好的集成开发环境可以将这些模型自动转化成代码，而EMF的出现终于改变了这一不利局面。本文介绍如何借助EMF跨越存在于设计和实现间的鸿沟，由软件模型直接得到相应的实现代码，在今后的文章中你还将看到更多有关EMF的详细介绍和高级特性。