基于XML Schema与扩展的UML建模算法的设计

主要研究扩展的UML与XML Schema的建模方法,并设计一种基于XML Schema到扩展的UML的建模算法。利用该法,开发基于XML文档后勤管理系统。     

XML Schema到UML类图的转换方法

提出一种从XML Schema到UML类图的转换规则和算法,该方法将逻辑层的XML Schema模式文档映射为自定义的逻辑层UML类图,然后以图形化的概念层UML类图表现出来,从而有利于用户对XML模式文档的理解。本文的工作基本包含了XML Schema的各个方面,并给出了实现这一方法的工具。     

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

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

基于XML的UML时序图向Petri网的转换

针对统一建模语言（UML）时序图与Petri网间转换的问题,提出基于消息的UML时序图向Petri网转换的映射算法。以XMI,XPDL,XSLT为核心,建立基于可扩展标记语言（XML）的实现该映射算法的3层转换方案。结合XML应用环境要求,建立映射处理流程,并通过实例对方案可行性进行了验证。     

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

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

一种利用UML创建XML Schema词汇表的方法

描述了一种使用UML的建模语言来创建可扩展标记语言方案(XML Schema)词汇表的方法，从而使得XML Schema词汇表的创建能够可视化、标准化地进行。     

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

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

基于UML的XML建模方法

针对由业务模型直接定义XML Schema存在较多的困难，提出了一种把UML技术用于XML Schema建模的方法。该方法通过领域建模定义了3层模型，即概念层模型、逻辑层模型和实现层模型，分别对应于业务模型的分析、设计及实现阶段，并对各层模型之间的转换方法进行了有效的探讨。     

基于Schema的XML文档到关系数据库的转换

XML已成为Internet数据表示和数据交换的标准,XML在不同的领域得到了广泛的应用,越来越多的数据采用XML格式表示,因此如何有效存储和查询XML数据已成为研究的热点问题。对基于XML Schema的XML文档在关系数据库中的存储进行了说明,提出了相应的存储方法,并实现了XML文档到关系数据库的转换。     

XML DTD到XML Schema的转换工具及实现

本文比较了XML DTD和XML Schema的优缺点。关重论述了XML DTD到XML Schema转换工具的实现意义以及转换工具的实现方法。     

基于本体的UML类图语义推理

统一建模语言(UML)是一个半形式化的语言,其语义部分是采用自然语言描述的,使得它在建模过程中会产生语义不一致等问题。在详细比较UML类图与本体的基础上,提出了一种UML类图的形式化方法;首先将UML类图转换为相应的本体;然后根据本体提供的推理算法(Tableau)对转换得到的本体进行推理,检测其中的不一致性从而修改UML类图,最后达到精确UML类图。     

UML类模式在数据库中的应用

关系模型是当前成熟的、普遍应用的数据库设计技术,随着面向对象技术的迅猛发展,UML对建模符号进行了统一,在面向对象方法作出了重要贡献,将UML静态设计模型与关系数据库设计相结合,提出一套完整的对象-关系映射方法,并进行相应规范化,满足3NF,在创建数据库方面具有很大优越性.     

基于OWL本体的UML类图推理

分析UML模型一致性检测的研究意义,以及UML类图推理的研究现状,提出一种基于OWL本体的UML类图推理方案.研究UML类图向OWL本体转换的映射规则,给出UML类图包含关系、可满足性、等价关系和相离关系的判断方法及其推理规则.利用Jena推理机制实现了UML类图包含关系、可满足性、等价关系和相离关系的推理.     

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

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

XML Schema Modeling through UML Class Diagram

A three-step XML Schema modeling method is presented, namely first establishing a diagram of conceptual modeling, then transforming it to UML class diagram and finally mapping it to XML Schema. A case study of handling furniture design data is given to illustrate the detail of conversion process.     

基于XML的分布式防火墙异常规则发现算法

分析了分布式防火墙(DFW)规则异常产生的原因,定义了规则的四种相关性:完全无关、完全匹配、包含匹配、部分相关,然后对四种类型规则异常进行了规范的定义,包括阴影异常、虚假异常、冗余异常和关联异常,并运用基于XML的规则模型设计了基于XML的异常规则发现算法.通过FPA软件实现了本算法,对查全率和性能进行了分析.     

用UML设计XML文档模式

XML是新一代的置标语言,它定义了一种描述数据、交换数据的标准。W3CXMLSchema是定义和描述XML文档结构的模式语言。UML是一种得到广泛应用的标准对象建模语言。文章以B2C中的电子定单为例,描述了用UML设计XML文档模式的方法。