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

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

PKUMoDEL:模型驱动的开发和语言家族支持环境

OMG发布的UML语言家族和MDA架构促进了模型驱动软件开发的思想成为现实.建模语言版本升级或者面向不同领域的语言家族新增成员的不断出现,要求模型驱动开发环境除了使得模型成为软件开发生命周期中的主体之外,还应该具有元模型的定义和操纵能力.模型驱动的开发和语言家族支持环境PKUMoDEL是基于MOF的元建模环境和基于UML2.0的建模环境的集成体,很好地解决了诸如元模型的定义、扩展和评估、建模工具的自适应和演化、不同类型工具之间的集成、模型复用、从模型到运行环境的直接映射和部署等问题.     

模型驱动的业务流程建模工具

业务流程管理与面向服务架构为企业的高效整合提供了解决方案。基于模型驱动开发理论,提出一个精炼的业务流程元模型,解决模型间的转换问题,探讨模型实例控制流结构和语义的校验方法,根据模型驱动架构设计并实现基于该元模型的流程建模工具。     

MDA概念和技术在仿真系统开发中的应用研究

模型驱动架构(MDA)集成了统一建模语言(UML)、元对象机制(MOF)、可扩展标记语言(XML)和基于XML的元数据交换(XMI)等一系列标准,强调模型在软件开发中的重要作用.简要分析了建模与仿真和软件工程领域的若干典型模型开发与运行过程,将仿真系统的开发过程划分为需求工程、分析、设计、实现和试验五个主要阶段;探讨了模型驱动架构(MDA)的概念和技术(包括模型、建模技术、模型变换技术、代码自动生成技术等)在仿真系统开发各个阶段的应用;以交通仿真为例,给出了部分建模与仿真结果,展示了仿真系统开发过程与MDA相结合的可行性,表明了在MDA工具的支持下,MDA概念和技术的应用可以提高仿真系统的开发效率.     

基于MOF的模型协同工作研究

系统的不同方面和抽象的不同层次需要不同的语言,构建系统时必然存在多种语言描述的不种模型。采用MOF统一方法描述不同类型的建模结构,运用基于XMI bus的数据交换将MOF和XML很好地结合在一起,极大降低了MOF技术壁垒,使得异构环境下的工具和各种模型间的交互变得简单高效,具有良好的协同工作能力。基于MOF的模型协同解决方案在工作流中得到了应用。     

基于MOF面向方面建模工具的研究与实现

建模在软件开发中起着非常重要的作用,其有效性和准确性关系到软件系统的开发效率及扩展.该文结合MOF及面向方面的理论,建立了两阶段面向方面建模的理论模型,提出了一种基于MOF面向方面建模工具(MAMT)的设计和实现方法;并针对MAMT中方面模型给出了转换定义;同时提出一种新的模型转换语言AOMTL,来处理含有方面概念的模...     

AADL建模工具的设计

设计一种架构分析与设计语言(AADL)建模工具,便于用户建立AADL模型.基于模型驱动体系结构思想,在Eclipse插件开发平台上开发可扩展的插件集合AADL模型设计工具.用户根据该工具建立的嵌入式系统AADL架构模型,通过XML文档保存,分析与验证工具以第三方插件的形式集成到该工具中,提取系统的AADL架构模型.通过应用实例验证了该工具的有效性.     

移动用户界面概念模型到代码的转换方法研究

针对移动用户界面需在多种平台上重复开发的问题,借鉴模型驱动架构（Model Driven Architecture,MDA）思想,研究模型驱动的移动用户界面开发方法。用Mobile IFML（Interaction Flow Modeling Language）表示移动用户界面概念模型,即平台无关的移动用户界面模型。在此基础上,重点研究移动用户界面概念模型到特定平台用户界面代码的转换,定义了映射规则并设计了转换算法,最后基于Eclipse平台实现了一个支持代码生成的工具原型。用户借助该工具可方便地设计移动用户界面概念模型,随后概念模型可自动或半自动地转换为特定平台用户界面代码。     

MDA模型转换的OCL扩展

模型驱动架构(MDA)是继CORBA,UML之后由OMG推出的重要的软件开发方法学.MDA的核心是模型转换,模型转换语言又是实施模型转换的关键.本文从MOF元模型的角度首先对OCL进行动态特性的扩展,使其具备表达动态行为语义的能力;然后通过扩展相关关键字,定义了一个完整的模型转换程序框架;并提出创建中间转换对象实现了模型转换的可追溯性以及源模型和目标模型转换的同步性.     

基于Agent的模型转换及其支撑软件工具ODAMTransformer

模型驱动开发技术通过不同抽象层次模型的建立和转换,可有效提高软件开发的效率和质量。本文将模型驱动开发思想引入到面向Agent软件工程,研究了基于Agent的模型转换技术,并将它集成到面向Agent的软件开发方法学ODAM中。ODAM将基于组织抽象所建立起来的模型视为平台无关模型,将基于特定平台所建立起来的模型视为平台相关模型,支持模型驱动的软件开发。本文选取JADE作为目标系统的开发平台,建立了ODAM元模型和JADE元模型间的映射关系,提出了从ODAM组织模型到JADE模型、从JADE模型到程序代码的模型转换规则,开发了相应的支撑软件工具ODAMTransformer,通过案例分析和演示展示了技术和工具的可行性和有效性。     

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

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

Structuring and configuration of CIM systems for branch-specific medium-sized enterprises

Strong international competition makes it necessary for an enterprise to reduce organizational overhead and costs. This goal can be reached by integrating of the available islands of automation. This integration would be facilitated greatly if there were a generally agreed upon architectural structure in which the software modules of the various vendors could operate. CIMOSA (computer integrated manufacturing—open system architecture) aims at providing such an architectural structure and strives to become a European standard. An important part of CIMOSA consists of the enterprise model. In this article the results of a project are described which is aimed at the validation of CIMOSA in a typical SME (small and medium-sized enterprise) environment. In a first step, the CIMOSA partial and particular models for SMEs were developed. The authors developed a coarse model of the order management and a detailed model of the future concept of the CAD/PPC interface. In order to master the increasing complexity of the planning of software systems of an enterprise, new planning methods and tools are required. Thus in the second part, an integrated approach to software system planning and selection based on CIMOSA enterprise models was developed. The underlying idea of the approach is the conversion of the planning problem into an equivalent constraint satisfaction problem. The conversion process can be accomplished fully automatically. To interconnect a real system, in a lot of cases, it is required to configure data conversion modules. In the third part, the article focuses on a configuration system which allows a straightforward configuration of the data conversion modules.     

基于现有软件进行中文简繁体转换的方法

本文简单介绍中文简繁体转换方式的演变历程，详细描述在现有转换工具的基础上进行简繁体转换的过程和方法．全面分析现有转换工具目前存在的各种问题和导致这些问题的可能原因，完整说明准备和优化转换对照表的过程、方法、原则和须考虑的事项．以及对转换过程进行改进和优化的方法。     

基于现有软件进行中文简繁体转换的方法

本文简单介绍中文简繁体转换方式的演变历程,详细描述在现有转换工具的基础上进行简繁体转换的过程和方法,全面分析现有转换工具目前存在的各种问题和导致这些问题的可能原因,完整说明准备和优化转换对照表的过程、方法、原则和须考虑的事项,以及对转换过程进行改进和优化的方法。     

Integrating MOF-Compliant Analysis Results

With the increasing maturity of model-driven tools and methods, new model-based analysis methods are developed to support specific stakeholder concerns during software lifecycle. This multiplication of models and their related analysis tools calls for solution addressing the integration of MOF-based analysis methods. Current research works on integration of analysis methods have already addressed the extraction of the needed input data as well as the control and the integration of the tools supporting the analysis execution. However, little attention has been paid to the integration of analysis results back into initial model. We propose an MOF-based framework enabling the integration of analysis results that a) defines a meta-model capturing the integration requirements, b) provides an MOF meta-model extension mechanism with support for upward compatibility; and c) automatically generates a model transformation for model integration. We illustrate the use of our framework by integrating a reliability analysis methods and a fault tolerant reconfiguration method on the ABC/ADL Software Architecture. We applied the resulting analysis composition onto the ECPerf JEE system.     

智能化流程控制的软件动态集成

基于组件的软件开发解决了软件集成中模块的复用问题,但在模块的拼装上采用的仍是传统结构化编程方式,这种方式极大限制了软件集成技术优势的发挥。论文首先提出了一种新的知识库系统模型,该模型所采用的方法摆脱了知识库系统应用对专家系统开发工具的依赖,实现了知识库与数据库的结合,然后针对这个问题从模块组装角度提出了一种基于知识库的软件动态集成方法。     

An update method for digital twin multi-dimension models

Digital twin, as an effective means to realize the fusion between physical and virtual spaces, has attracted more and more attention in the past few years. Based on ultra-fidelity models, more accurate service, e.g. real-time monitoring and failure prediction, can be reached. Against the background, some scholars studied the related theories and methods on modeling to depict various features of physical objects. Some scholars studied how to use Internet of Things to realize the connections and interactions, thereby keeping the consistency between the virtual and physical spaces. During this process, a new question arises that how to update the models once digital twin models are inconsistent with the practical situations. To solve the problem, this paper proposed a general digital twin model update framework at first. Then, the update methods for multi-dimension models are further explored. The cutting tool is the core component of machine tools which are the key equipment in industry. The precise cutting tool models are essential for realizing the digitalization and servitization of machine tools. Therefore, this paper takes a cutting tool as the application object to discuss how to conduct physics model update based on the proposed framework and methods. Through model update, a more accurate and updated tool wear model could be obtained, which contributes to the prognostics and health management for machine tools.