基于QVT的模型转换方法研究

针对不同模式之间规则不能重用甚至无法描述嵌套模式的问题．提出一种基于扩展MOF元模型与扩展QVT语言相结合的模型转换方法。该方法通过扩展MOF元模型解决模型之间规则不能重用问题．通过扩展QVTRelations可以增强规则语言的有效性,为模型建立和模型转换提供一种更有效的途径。在一个股票交易系统的转换应用实例中验证该方法的正确性。     

一种基于MOF技术的网络建模研究与实现

基于模型驱动架构方法极大提高了软件的开发效率,而模型之间的转换是开发基于模型驱动架构应用工具的关键技术。采用MOF技术建立不同类型模型结构,运用XMI Bus的数据交换技术将MOF和XML很好地结合在一起,极大降低了模型转换的壁垒,使得异构环境下的工具和各种模型间的交互变得简单。本文研究了MOF的相关技术,最后运用该技术实现了网络中的建模过程。     

模型驱动构架中模型信息交换研究

模型是OMG提出的模型驱动构架中的核心。探讨怎样利用XMI标准为不同模型之间搭起信息交换的桥梁是该文的重点。介绍了模型驱动构架,讨论了模型信息交换的必要性。接着探讨了怎样利用XMI标准描述遵从MOF规范的模型,提出了模型差异的概念,并给出了基于XMI标准的实现。     

基于描述逻辑的元数据存储库系统的结构完整性检测

存储库系统的元数据组织方式呈现出分层、多级并且动态变化的复杂结构;存储库系统标准对确保结构完整性规定得并不充分,上述两个原因使得基于元对象设施(MOF)标准建立元数据结构的过程中经常会发生结构完整性被违背的现象,从而严重影响存储库系统的稳定性.然而MOF是以图形的方式表示元数据,缺乏精确的语义,所以如何对基于MOF的存储库系统进行结构完整性检测成为一个棘手的问题.本文采用了描述逻辑的方法来解决该问题.该方法是基于描述逻辑家族的一种特殊的形式逻辑,我们研究了如何将MOF框架的不同层次形式化进描述逻辑知识库,以及如何利用描述逻辑提供的查询推理能力自动检测冲突.对利用该方法实现的结构完整性检测原型系统进行性能评测,取得了令人满意的结果.     

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

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

基于SP/MC网络模型的分布式交易系统设计和实现

本文提出了基于SP/MC的网络模型。描述了一种基于该模型的分布式交易系统的设计和实现。介绍了该系统的总体设计架构和分布式结构,然后描述了系统如何实现各种分布式特性及一些通用服务的实现,如:异构系统接入,负载均衡,延迟重连。最后通过多次实测数据,展现了基于SP/MC网络模型的性能和基于该模型的交易系统性能。     

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

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

专用芯片功能测试任务流建模

基于对专用芯片功能测试系统中测试任务过程的分析,参考工作流管理联盟提出的过程元模型,提出一个包含过程模型、数据模型、测试资源模型的三维测试任务流模型。分别从不同角度描述了测试任务流的各种属性。     

基于Agent的个性化分类邮件系统研究

该文提出了一个基于agent的个性化邮件分类系统的框架及各个组成部分的功能描述。在该系统中,对邮件分类管理建立在用户模型和邮件内容模型的基础上,其中用户模型描述了一段时间内相对稳定的用户分类需求。该文还分析了实现该系统的关键技术,如用户模型和邮件内容模型的建立,个性化分类和排序等,最后提出个性化检索过程和进一步的研究工作。     

一种基于角色访问控制的新模型

本文在充分研究基于角色访问控制模型的基础上，提出了一种基于角色的访问控制新模型（WRBAC）－－基于业务工作流和角色的访问控制，并给出了这种模型的非形式化描述和形式化描述，最后介绍了基于这种模型的实例系统。     

元建模技术研究进展

随着UML(unified modeling language)与MDA(model driven architecture)的兴起和流行,模型已经成为软件开发的核心制品,而模型重要性的提升使得建模语言以及定义建模语言的元模型逐渐成为软件开发中的一个核心要素.软件开发往往涉及多个领域,而不同的领域往往需要不同的建模语言及其建模工具.但是,手工地为不同的建模语言开发建模工具代价高昂.元建模技术是解决这个问题的方法之一,通过元建模,可以根据领域需要定制合适的元模型以定义领域建模语言,进而自动生成支持该建模语言的建模工具.大量的工程实践表明,与领域建模以及MDA相结合,元建模可以大幅度地提高软件开发效率,基于元建模的MDA比基于通用建模语言的MDA更具潜力.在最近的几年中,元建模及其相关技术发展迅猛,不但在技术上取得了长足的进步,而且在产业界也开始出现大规模的商业应用.总结了元建模的现有研究成果,分析和比较了现有元建模工具,探讨了元建模的可能发展方向.对元建模中存在的问题进行分析,并指出了可能的解决途径.     

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.     

Managing heterogeneous multi-system tasks to support enterprise-wide operations

The computing environment in most medium-sized and large enterprises involves old main-frame based (legacy) applications and systems as well as new workstation-based distributed computing systems. The objective of the METEOR project is to support multi-system workflow applications that automate enterprise operations. This paper deals with the modeling and specification of workflows in such applications. Tasks in our heterogeneous environment can be submitted through different types of interfaces on different processing entities. We first present a computational model for workflows that captures the behavior of both transactional and non-transactional tasks of different types. We then develop two languages for specifying a workflow at different levels of abstraction: the Workflow Specification Language (WFSL) is a declarative rule-based language used to express the application-level interactions between multiple tasks, while the Task Specification Language (TSL) focuses on the issues related to individual tasks. These languages are designed to address the important issues of inter-task dependencies, data formatting, data exchange, error handling, and recovery. The paper also presents an architecture for the workflow management system that supports the model and the languages. Recommended by: Omran Bukhres and e. Kühn     

Towards Symbolic Analysis of Visual Modeling Languages

Graph transformation has recently become more and more popular as a general, rule-based visual specification paradigm to formally capture the operational semantics of modeling languages based on metamodeling techniques as demonstrated by benchmark applications focusing on the formal treatment of the Unified Modeling Language (UML). In the paper, we enable model checking-based symbolic verification for such modeling languages by providing a meta-level transformation of well-formed model instances into SAL specifications [4]. We also discuss several optimizations in the translation process that makes our approach efficient and independent of the SAL framework.     

基于XML的单件制造企业异构BOM 数据交换集成研究

为实现单件制造企业产品生命周期中BOM信息的共享和集成,研究了BOM的演进过程,提出了基于XML进行异构BOM信息的交换集成,进行了BOM的UML关系建模和相应XMLSchema模式的转换,并分析了XML与RDBMS之间数据信息交换的方法,为异构BOM信息的集成提供了一种实现方法。     

基于JSON的异构Web平台的设计与实现

随着互联网覆盖领域的不断扩大以及编程语言的不断更新和迅速发展,Web平台需要兼顾越来越多的异构情况。JSON具有语言独立性和平台无关性的特点,与其他轻量级的数据交换格式相比有着显著优势,逐渐成为目前Web平台理想的数据交换格式。Java和Python作为Web开发中两种长期占据主要使用比例的编程语言,越来越多地被开发者在同一个系统中使用。目前如何通过独立数据格式将前后端以及不同的开发语言之间进行连接就成为了一个典型问题。针对这个问题,实现了一种基于JSON的异构平台。在基于Java和Python两种语言进行Web异构平台开发的基础上,以JSON数据格式作为异构平台的统一交换格式以实现前后端的数据通信,同时将JSON数据作为Java和Python的连接方式,得到了较好的效果,并通过一个实验室管理系统的核心功能作为应用示例进行了具体说明。     

Modeling events as entities in object-oriented conceptual modeling languages

Most current conceptual modeling languages and methods do not model events as entities. We argue that, at least in object-oriented (O-O) languages, modeling events as entities provides substantial benefits. We show that a method for behavioral modeling that deals with event and entity types in a uniform way may yield better behavioral schemas. The proposed method makes extensive use of language constructs such as constraints, derived types, derivation rules, type specializations and operations, which are present in all complete O-O conceptual modeling languages. The method can be adapted to most O-O languages. In this paper we explain its adaptation to the UML.