一种UML模型到XML模型的转换方法

为了把UML模型用XML描述出来,可以从模型转换的角度来考虑这个问题,把XML描述结果当作XML模型考虑。利用集合的概念定义了一个UML源模型,并用构造树的形式描述了UML基本模型元素的结构。根据构造树的描述定义目标XML模型的XML Schema。提出了一种基于对模型元素实例集合的扫描和对模型元素构造树遍历的方法来进行UML模型到XML模型的自动转换。     

基于关系树模型实现XML数据转换

目前在同一行业内使用着多种XML模式语言，因此XML数据转换已成为数据交换的研究热点。当前一些转换模型不能清晰而有力地描述转换语义，为此我们提出了一种关系树模型，它能有效地把XML层次化的特点和成熟的关系理论结合在一起，能处理XML元数据而不是XML实例，并支持DTD和W3C XML模式语言。基于这一模型的转换语义不仅能进行简单元素的映射，而且也能提供复杂关系代数运算的能力，例如整合。这种转换语义中还提供算术运算，极限运算，统计运算和关系演算等多种运算，增加了该模型的转换能力。     

XML数据库的树模型抽象及其查询

在XML的树模型基础上，提出查询是一个有序的带标记树、数据库是一个有序的带标记树集合的思想，对于查询的回答是一个或几个从查询树结点到数据库结点的同态映射；对一般意义下的XML树模型进行了形式化改造，并且基于改造后的XML树模型构造了查询；最后，阐述了这一工作的意义。     

基于模型检查的XML树模式优化动作生成

针对XML数据查询的核心操作-树模式查询,提出基于XML Schema约束来优化树模式查询的方法。该方法提出了统一的优化规则描述语言ORS的语法与语义。ORS描述的优化规则中包括对树模式条件的描述、对XML Schema条件的描述以及在满足前两个条件下应该输出的动作。根据ORS语言描述的优化规则以及待处理的树模式,系统会自动输出该树模式的优化动作。该方法一方面简化了树模式优化的过程,另一方面把模型检查技术运用到XML树模式查询优化上,利用时态逻辑公式描述优化规则中的约束条件,利用模型检查的方法提取XML Schema的约束,对ORS语法和语义的严格定义确保了生成的优化动作的正确性。     

MDA中从PIM到PSM的模型转换

基于在MDA中PIM到PSM的模型转换实现，提出了用UML描述PIM的一种有效性补充(E-)LOTOS，试图达到在模型映射前实现对模型的有效逻辑验证；对模型转换的基础理论进行了探索，分析了目前在MDA中实现从PIM到PSM模型转换的主要途径和困难；最后展望了模型转换的实现前景。     

基于XML的Web数据库技术

探讨了两种将关系数据转换的XML文档的语言描述及其实现技术，一种是利用RXL（Relational to XML Transformation Language)语言来定义一个关系数据库的XML视图，该XML视图的虚的，应用再利用XML查询语言XML-QL在虚的视图上构造一个查询，抽取XML视图中的数据片断并对抽取的部分进行 物化，实现将关系数据转换为XML文档。另一种是利用并扩展SQL的功能来描述这种转换，嵌套的SQL表达式被利用来描述嵌套，扩展的SQL函数被利用来描述XML元素构造，实现将关系数据构造成XML文档。     

基于XMI的UML模型到XML文档转换的实现

为了充分利用软件开发过程中处在需求分析阶段的UML(Unified Modeling Language)模型图的信息,在分析XMI(XML Metadata Interchange)文档特点基础上,实现了把UML模型转换成基于XML Schema规范的XML文档。从转换的必要性出发,详述了基于XMI的这种模型转换过程及基于XML Schema规范的XML文档的生成规则。     

基于元模型的XML Schema到UML类图的转换

依据XML Schema文档以及XMI规范定义了与转换相关的XML Schema的元模型,并建立了它和UML元模型之间的映射关系,在此基础上提出了基于XMI和OCL的转换规则,对转换空间进行了分析,并且结合实例进行了说明。     

基于XML的电子病历数据模式研究

研究提出了基于XML的电子病历数据的建模方法:首先,抽象出电子病历系统中主要数据概念,并将其数据结构和关系图形化,建立其概念模型;然后,根据建立的概念模型到UML的映射机制,建立电子病历数据UML对象模型;最后,根据定义的UML模型到XML Schema的映射机制,实现UML方法描述的信息数据对象模型到XML Schema的转换,从而建立了基于XML Schema的电子病历数据模式.     

基于QVT的模型转换研究与分析

模型转换是MDA的关键技术之一,变换工具通过输入源模型,执行变换定义,输出目标模型来实现模型的自动转换,从而将软件开发的焦点从编码迁移到建模上.QVT是OMG提出的用于书写变换定义的标准规范,介绍了QVT的组成和构架,给出了一个用QVT实现的可从UML模型转换到RDBMS模型的变换定义,最后对模型转换技术给软件工业带来的影响进行了分析和总结.     

一种基于规则的模型转换方法*

尽管模型驱动开发(MDD)代表软件工程的发展方向,但是目前MDD还缺乏一套完整的转换规则描述方法和相应的实现机制,难以实现模型的自动转换。为此定义了一个平台独立模型到平台相关模型的转换框架,采用UML活动图说明模型转换的实现机制;基于OCL定义了转换规则的表示法,并结合UML模型到Java模型的转换给出了转换规则的定义。最后在一个具体的实例中验证了此方法的合理性和易用性。     

基于XML的机载航电系统仿真模型结构化描述

通过分析机载航电系统仿真模型存在的问题,给出了XML数据模型描述的方法和特点,提出了以想定任务需求为仿真建模的驱动数据的方法,基于XML技术设计了想定任务-飞机-机载装备三层描述关系。分别给出了想定任务和航电系统仿真模型的组成、结构化语言描述、有向树模型及XML技术描述的方法,并在此基础上形成规范的系统接口,为系统建模平台的建设提供重要的技术基础。最后,根据有向树和XML技术的特点,以节点和元素为基本单元,设计了XML文件数据访问的操作函数,形成系统建模平台的基础资源,利用设计的XML任务描述文件给出了航电系统仿真应用平台的设计架构。分析表明该方法用于航电系统仿真平台的建设将很大程度上提高仿真模型资源的重用性和共享性。     

基于XML的UML模型向AADL模型的自动转换

UML已经成为复杂系统建模的工业标准,并可借助代码自动生成工具实现从分析到编码的开发过程自动化;AADL具有精确的语义和严格的语法规范,可用于描述嵌入式实时系统的软、硬件体系结构,并能分析系统的功能及非功能属性。 UML和AADL模型的基本元对象有相互对应关系,并且两种模型的表示都能够采用标准的XML的交换格式。为充分发挥两种语言的优势,文中研究了UML模型向AADL模型的自动转换,以XML为媒介实现两种模型的元对象的对应转换,最终达到两种模型的转换,使用户在设计阶段能够结合运用AADL、UML工具的优点对系统进行分析。     

基于π演算的时序图的建模

UML建模方式广为开发人员使用,但其非形式化的描述方法缺少对所描述内容的形式建模过程,本文通过运用πI演算描述UML中的时序图,能够对UML图形所涉及的数据和操作行为进行建模,为UML的动态描述图形提供一种建模的途径,本文提出用树形结构来组织对象的属性和操作,使得在πI演算能对类和对象的表示和处理。     

面向嵌入式软件开发的UML到Simulink模型转换方法

模型驱动开发及其关键技术模型转换是近年来软件工程领域研究的热点。在嵌入式软件开发早期,不仅需要对设计模型进行静态分析,更需要对其进行动态仿真,验证系统设计的正确性。如何把设计模型和仿真模型无缝连接起来是工业部门亟待解决的问题。深入调研了UML和Simulink模型转换研究现状,详细分析了模型驱动开发中模型转换的相关技术,提出了一种UML到Simulink的模型转换方法,设计了UML元模型、Simulink元模型,撰写了UML元模型到Simulink元模型的映射规则。最后选取自动驾驶仪系统的飞行控制软件作为案例,验证了该方法的正确性。该方法能实现UML和Simulink两种异构模型同构化,提高嵌入式软件开发效率,丰富并且完善模型驱动开发,也为飞行控制系统、高速铁路控制、机载航电系统等嵌入式软件开发提供了技术支持。