可复用MOF元建模框架的研究

在MDA场景下,元模型是实现平台无关模型和平台相关模型转换的核心.提出通过元层模型和模型层模型的Down-Up机制给出可复用的MOF元建模框架.元建模框架由MOF BootStrap模型自举,并且内置MOF Model,此框架可在任意多层元建模中复用.此外,给出了模型工程模型和模型迁移剪枝算法,并提出了采用模型工程统一对象空间实现模型实例复用的方法.此框架的研究对于指导具体建模工具的实现有重要意义.     

基于元元模型的多维元数据管理研究与实现

分析了目前元数据管理的研究现状和存在的问题;按照OMG的MOF规范,建立了统一的MOF元元模型,对不同领域的元模型进行统一描述;提出了一个高度可集成可扩展的元数据管理框架和元模型建模规范;介绍了主题与元模型的相容约束规则以及主题与元数据的访问约束规则;通过采用对元数据按主题进行动态分类的方式,实现了对元数据的多维管理.     

UML模型到N层Web模型的模型驱动转换

模型驱动架构(MDA)是由对象管理组织(OMG)提出的应用模型技术进行软件开发的方法和标准体系,其核心理念是平台无关模型建模和平台特定模型转换。通过编程实现基于元对象机制2.0(MOF2.0)查询/视图/转换(QVT)标准定义开发的框架,该框架可以将元模型转换为特定N层应用程序类,实现主要程序功能,从而大大提高开发效率。验证了通过编程实现模型驱动转换的灵活性和功能实现的多样性,包括XML文件对模型规范的描述以及生成代码的完整性。     

基于MDA的设计模式建模与模型转换

MDA(model driven architecture)的一个重要意图是将模型作为软件开发的基本单元,以进一步提高软件开发的抽象层次.为此,MDA划分了3种抽象级的模型,并通过建立高抽象级的模型和向低抽象级模型及代码的转换来构造可运行的应用程序.在MDA的框架下,将设计模式作为一种独立的建模和转换单元能够在较高的抽象层次上充分支持复用并提高建模粒度,从而进一步发挥设计模式的优点,提高软件开发效率、降低生产成本.然而,要在MDA的框架下将设计模式作为完整的开发单元来使用,必须解决以模式为单元的建模及转换两个具体问题.针对单元化模式建模的问题,通过扩展MOF(meta object facility)的方式定义了模式单元元模型,并提供了基于此元模型的单元化建模支撑机制,以分离业务模型与模式模型的方式解决了该问题.针对单元化模式模型转换问题,在模式单元元模型的基础上定义了向EJB平台的转换规则.该转换规则使用QVT标准描述,支持单元化的模式模型转换,并具有良好的复用性.     

基于MDA的UML模型转换:从功能模型到实现模型

MDA（Model Drive Architecture）是OMG（Object Management Group）提出的解决系统集成问题的新途径,它以UML、MOF、CWM为核心,定义软件开发过程中的模型组织管理框架。本文探讨了MDA框架下在元模型层定义模型转换的方法。引入模型转换规则描述语言,给出模型转换规则应遵循的部分原则。以CORBA平台为例说明在元模型层用既定语言定义模型转换规则,从功能模型到实现模型的模型转换方法。基于以上方法构建相应的工具原型。     

基于工作流模式的元建模研究

把另一个工作流语言系统纳入到模型驱动架构中来,是该系统开发由理论逐步走向应用的途径,为了实现这个构思,提供了基于的工作流模式的建模方法。通过对于工作流元建模开发架构进行的认知与分解,确定了另一个工作流语言系统在该架构中最适合的阶段和层次。在此基础上,建立了基于工作流模式的元建模框架,利用图的语言,设计了基于结构及特点分析的模型转换的框架。该方法有利于提高软件开发的效率并具有交互性和可复用性。     

面向服务的本体元建模理论与方法研究

为实现互联网上异种异构的复杂信息资源有序化组织和互操作性服务与共享的目标。文章研究了语义服务的元计算问题。提出了本体元建模理论和方法．首先定义了本体UML承诺、提倡本体UML表达。给出了本体的元机制;论述了元建模中的“元”概念。给出了元层次停止准则、模型转换机制;然后提出了本体建模和MOF元模型设施相融合的体系结构,给出了以用户为中心的复杂信息资源服务应用模式SCDL为本体元建模方法的体系化提供了基础．还介绍了作者在国际ISO SC32标准MMFI for Ontology Registry研究中的应用成果．最后给出了HL7领域本体与元模型设计的应用．本体元建模为语义服务计算的实现。提供了一条可行的路径．     

基于构件技术的应用框架元模型的研究

从应用框架构造和组成的角度,使用UML(unified modeling language,统一建模语言)符号体系,提出了框架元模型,给出了框架内部组成元素的语义,特别是对扩展点的表示和实现机制进行了详细的讨论.最后以电信综合营业系统框架为例,给出了框架元模型的一个实例,并给出了应用框架的复用方法.     

基于可扩展端口技术的实时领域分层递阶建模方法

在采用模型驱动的开发(MDD)方法对复杂实时系统进行建模设计时,单层的建模方法难以完成对控制系统的清晰和完整描述。针对上述问题提出了一种分层递阶机制的实时多层建模方法,该方法使用可扩展输入端口和输出端口对现有元模型技术进行扩展,采用可扩展标记语言(XML)实现端口的描述,利用基于信道的端口消息传递机制完成不同层模型之间通信。实际实时控制系统建模结果表明,与单层模型相比,分层递阶的建模方法能够有效实现模型驱动设计方法在实时领域内对并行多任务和复杂交互行为的描述,从而提高实时领域模型的可读性和可复用性。     

基于SOA的遗留系统再工程的研究与应用

遗留系统的再工程是企业信息化建设必须解决的问题,在基于SOA的企业遗留系统复用框架的基础上,给出了通过Web Services技术将遗留系统从数据层、业务层、应用层进行封装的模型,并结合B/S结构的Web应用程序开发现状,实现了SSH框架下的遗留系统再工程过程。     

基于本体论相互属性的Web资源元数据模型

要使Web资源支持资源的自动发现，首先需要对Web资源提供必要的描述。Web资源的元数据模型——资源描述框架只能表示资源之间的二元关系，多元关系必须转化为二元关系后才能表示。然而多元关系与其转化为多个二元关系后所具有的语义是不相同的。针对资源描述框架存在的上述问题，该文引入本体论相互属性的概念，避免了不恰当地使用多个二元关系表示多元关系。同时给出了Web资源元数据本体模型的XML标记库，使得描述Web资源的本体模型可以在Web网络上传输，并被搜索引擎解析和理解。     

分类元框架——一个自适应的互操作性软构件分类体系

文章分析了当前软构件(SoftwareComponent)分类、注册体系所存在的问题,分析了国际上现有标准并抽出其共性,从元建模方法入手,提出了一个简单明了、自适应的、开放性软构件注册分类框架——分类元框架的方法;给出了该注册框架的结构图;举例说明了该注册框架的使用过程;最后,比较分析了该注册框架的性能,认为它在一定程度上解决了当前软构件分类体系中存在的问题。     

中间件的体系结构研究

介绍了一种可配置且具有开放性的中间件体系结构模型、该体系结构模型是一种独立于语言且具有反身映射性的结构模型，它包含有：元空间(每一对象具有一个元空间)、元模型(用元模型去构建元空间)、对象图(用对象图表示组合组件)．通过使用构造元空间的组件框架来实现该结构模型．Open COM结构模型是对Microsoft的分布式组件技术进行了扩展，具有可配置性、开放性、反身映射性，语言独立性、系统独立性等特点．     

对象约束语言及其在精化PIM中的应用

为了应用精确、完备的PIM自动进行模型转换、校验及编译,分析了OCL元模型与UML元模型间的关系,在此基础上对OCL在精确化平台无关模型(PIM)方面的应用进行了研究,指出OCL面临的挑战,并对OCL的研究方向提出了几点建议。对象约束语言OCL可以对模型中的元素进行约束和查询,可以在MOF的任意一层上定义模型语言,还可以通过各种方法定义模型的转换规则。     

An algebraic semantics for MOF

In model-driven development, software artifacts are represented as models in order to improve productivity, quality, and cost effectiveness. In this area, the meta-object facility (MOF) standard plays a crucial role as a generic framework within which a wide range of modeling languages can be defined. The MOF standard aims at offering a good basis for model-driven development, providing some of the building concepts that are needed: what is a model, what is a metamodel, what is reflection in the MOF framework, and so on. However, most of these concepts are not yet fully formally defined in the current MOF standard. In this paper we define a reflective, algebraic, executable framework for precise metamodeling based on membership equational logic (mel) that supports the MOF standard. Our framework provides a formal semantics of the following notions: metamodel, model, and conformance of a model to its metamodel. Furthermore, by using the Maude language, which directly supports mel specifications, this formal semantics is executable. This executable semantics has been integrated within the Eclipse modeling framework as a plugin tool called MOMENT2. In this way, formal analyses, such as semantic consistency checks, model checking of invariants and LTL model checking, become available within Eclipse to provide formal support for model-driven development processes.     

Generating instance models from meta models

Meta modeling is a wide-spread technique to define visual languages, with the UML being the most prominent one. Despite several advantages of meta modeling such as ease of use, the meta modeling approach has one disadvantage: it is not constructive, i.e., it does not offer a direct means of generating instances of the language. This disadvantage poses a severe limitation for certain applications. For example, when developing model transformations, it is desirable to have enough valid instance models available for large-scale testing. Producing such a large set by hand is tedious. In the related problem of compiler testing, a string grammar together with a simple generation algorithm is typically used to produce words of the language automatically. In this paper, we introduce instance-generating graph grammars for creating instances of meta models, thereby overcoming the main deficit of the meta modeling approach for defining languages.

WF-net模型到PNML的转换方法研究与实现

Petri网标记语言PNMI是一种基于XM工的支持不同Petri网工具之间文件交换的标准格式,对于解决不同Petri网变种之间的互操作性问题具有重要意义。工作流网WF-net是用于工作流系统建模和定性、定量分析的重要形式化技术之一。工作重点是将WF-net模型转换为PNML格式。首先,在标准PNML元模型的基础上,通过元素扩展提出WF-net的PNML元模型。然后,依据元模型,提出WF-net模型中各元素到PNMI格式的转换规则,包括起始/结束库所转换、四种触发器转换和四种分支/合并结构转换。最后设计并实现了WF-net描述到PNML描述自动转换的工具软件。这些工作为Petri网标准交换格式的制定做了有力的探索。     

基于本体的工作流元模型研究

提出使用本体来描述工作流元模型,通过综合目前在工作流元模型方面的研究成果,提炼出工作流元模型的概念,建立可扩展、可理解、可维护的工作流元模型本体,实现在模型层次上的扩展,同时建立工作流的本体知识库,为以后的工作流模型的分析建模、模型的自动验证、以及工作流管理系统之间的互操作奠定坚实的基础。     

基于OODB技术的GIS空间查询和空间分析模型研究*

给出了空间数据和属性数据的数据结构,在此基础上采用面向对象数据库(OODB)技术中的对象组织和管理思想,采用数据模板和方法模板技术建立面向对象的数据访问模型,并在此基础上建立了一种面向对象的空间查询和空间分析模型。首次采用方法元库的设计思想来解决面向对象数据库中各对象方法的定义问题,方法元库中具有丰富的方法元,能够满足各对象复杂方法的构造需要。