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

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

UML类图的形式规约与精化研究

UML由于其广泛的应用和直观的图形化符号,成为了模型驱动工程的重要组成部分。但UML本身缺乏精确的形式语义定义,缺少对其模型精化关系的形式化规范定义,对UML模型进行形式验证变得尤为困难。UML类图作为描述系统结构的静态模型,不具备完整的形式语义。从UML类图的机械语义中抽取出形式规约,将UML类图中的结构和形式规约转换成定理证明器Coq中的机械语义定义。此外,还提出了类图的结构精化操作,将模型间的精化关系在Coq中进行形式化定义,并且对精化操作的原子操作进行机械验证,保证其精化前后系统的结构和语义保持一致。将UML和形式化方法相结合,为可验证的软件设计精化框架提供了理论依据。     

一种支持MDA的UML类图到RDB模型的转换方法

UML被MDA用来描述各种模型,成为建模语言事实上的标准。但是,由于UML类图中缺少对关系数据库的实现的约束,使得类图转换到的关系数据库模型不唯一,不能充分体现设计者对数据库的设计意图。这不利于MDA中PIM模型和关系PSM模型的双向转换。为解决以上问题,本文提出一种通过添加构造型和OCL约束来扩展UML类图的方法,以加强类图中数据之间的关系及约束,使PIM模型能够唯一地转换到PSM模型。最后,采用QVT模型转换方法将扩展后的UML类图转换到关系数据库模型,并结合例子给出了UML类图的关联、继承、组合和聚合关系等到关系数据库模型的转换规则和方法。利用本方法可以使UML类图到关系数据库模型的转换结果唯一。     

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

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

基于UML活动图的Web服务合成动态行为建模方法研究

描述了利用UML进行Web服务合成的建模方法,包括静态结构建模和动态行为建模两个方面,针对Web服务合成的动态行为建模部分,详细说明了利用UML活动图进行建模时需要注意的问题,如活动图的控制流模式与Web服务合成控制流模式的语义对应关系,所支持的数据模式,以及为了方便模型转换对活动图actions元素的概念扩展,给出了动态行为建模方法,并给出了基于OCL的转换规则以及UML活动图元素到BPEL4WS元素的映射关系,最后通过订单管理案例对所述方法进行验证,为Web服务合成提供了新的思路。     

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

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

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

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

层次序列索引的大规模动态标签图子图查询

标签图常用于智能交通网、生物信息网等新兴领域的建模。子图查询作为图数据分析的关键问题，引起了研究者的广泛关注。对现有子图查询算法的研究发现，随着图数据规模增大且频繁更新，传统子图查询算法普遍存在查询效率低，存储开销大，忽略顶点标签信息等问题。为此，提出了一种支持大规模动态标签图子图查询的层次序列索引（Dynamic Hierarchical Sequence，DHS），该索引提取数据图中带有顶点编号的层次拓扑序列关系以实现子图查询；针对图的动态变化，提出了更新点拓扑扩展式索引维护策略，仅从局部变化顶点及边开始进行增量式更新，大大降低了重建索引造成的巨大开销；提出了基于DHS索引的子图查询方法，仅需将查询图与数据图的层次序列进行匹配即可获得候选集，并在其上利用关系匹配策略获得最终查询结果。实验证明提出的方法在保证高效查询的同时降低了索引的创建及维护时间，提高了子图查询效率。     

XML模式到UML类图的转换规则

提出了一套从XML模式到UML类图的转换规则,以便于对XML模式进行快速的图形化建模,从而有利于用户对XML模式的理解。该文的转换工作基本上包括了XML模式的全部模块,几乎所有的XML模式都可以通过已提出的规则进行转换,作者已通过大量的实验加以证实。     

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

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

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

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

从功能规格说明到设计规格说明的自动转换

本文介绍了算法自动设计的研究背景与设计思想,提出了一种算法设计自动化模型及其形式化的软件规格说明语言表示,并详细讨论了一些常用算法设计方法的自动实现技术.     

AutoCAD二维图形数据转换到XML的一种实现方法

摘要随着网络的迅猛发展,CAD软件强化网络功能的趋势越来越明显。本文提出了一种将常用的AutoCAD二维图形数据转换成当前最流行的网络标记语言XML格式的方法。鉴于矢量图形文件的特点,通过ObjectARX获取图形实体的各种属性数据。再利用DOM技术为这些数据创建XML文件。     

SDO2JSON:一种业务数据模型到表现层模型的转换方法

企业为适应自身业务的发展和组织结构的变化需要不断改进原有的业务流程,而一旦业务层定义的数据模型发生变化势必会影响到表现层内容的展示,为此需要付出更大的成本重新调整表现层来对齐新的业务流程。针对这一问题,提出一种能反映表现层内容随业务层数据模型变化而动态更新的方法。在此基础上,开发出一种敏捷的从服务数据模型到脚本模型的转换工具,并将此工具应用在基于SOA架构的企业信息系统开发过程中,大大降低了业务流程重组过程中的维护成本。     

从软件功能实例规格说明到软件功能形式规格说明的自动转换

软件功能形式规格说明的获取是软件自动化领域中十分重要的问题。本文采用概念学习与前件推导机制相结合的方法完成从软件功能实例规格说明到软件功能形式规格说明的自动转换,并能在某种意义下保证转换结果具有一定的合理性。     

基于示例学习的特征空间变换方法

特征空间是人工智能领域中经常用的基本概念之一，人工智能领域中的许多问题可以可以通过特征空间变换的方法化简和求解。文中提出了一种基于示例学习的特征空间变换方法。     

Mathematica在横向程序变换中的应用

本文讨论用Ｍａｔｈｅｍａｔｉｃａ的两大核心工作机制即模式匹配和规则来实现横向程序变换,以两类不同的递归程序变换的抽象模式为例,本文设计了相应的Ｍａｔｈｅｍａｔｉｃａ程序包将非尾递归的程序变换成为相应的尾递归形式,然后利用Ｍａｔｈｅｍａｔｉｃａ３．０提供的ＭａｔｈＬｉｎｋ机制,在ＶＢ５．０的环境下实现它们的应用。     

一种模型转换分类方法及其在QVT中的应用

针对模型驱动的软件开发过程中潜在的交互性和一致性问题,介绍了一种模型转换分类的方法MTCM.根据模型和模型所描述的系统以及使用的建模语言的不同对模型转换进行细粒度的分类,然后按照此分类方法对OMG组织提出的模型转换标准QVT(查询/视图/转换)进行研究,并通过一个经典的模型转换实例即从UML模型到RDBMS模型的转换进行验证.分析得出结论,MTCM方法有助于提高模型转换的准确性和高效性.     

基于动态变换技术的数据库加密方法研究

随着信息技术的发展,数据库在信息管理的应用已非常广泛。为了确保数据库的安全,提出基于内层加密函数对数据库表的动态变换加密技术,动态变换加密能使当前行、列数据的加密密钥做到互不干扰。由于经济类财务数据以数值型数据为主,把明文转化为密文后,密文还是数值,与原数据表述物品的数量、金额的方式无差别,因而从数据外观判断不了数据的真实性与合法性,该技术既对数据进行了加密,同时也扰乱了破解者的视线,做到更深层次地保护数据库的目的。