UML在软件开发中的应用与实践

统一建模语言(UML)是一个通用可视化的建模语言，用来对软件系统的制品进行定义、图形化、构造和文档化。系统被建模成离散的对象集合．这些对象之间相互交互并最终完成满足外部使用者要求的动作。对系统从几个分离但有联系的视角进行建模。便于不同用途的理解。UML不是编程语言，UML工具可提供代码生成器把UML转换成不同的编程语言。也可把已有的程序通过反向工程构造模型。     

扩展UML在语义Web建模中的应用研究

随着语义Web的研究与发展,语义Web的建模很可能成为主要的瓶颈。近年来,作为概念建模语言的UML为语义Web建模,已经成为一个重要的研究主题。简要分析了统一建模语言（UML）和本体论Web语言（OWL）的目标、原理和语义,对相似部分采用了直接的映射,对于不兼容部分,通过扩展UML,达到对OWL建模的目的。     

可视化语言文法形式化描述综述

可视化是人机交互的主要形式,可视化语言是计算机科学中一个重要研究领域,文法为可视化语言提供了一种有价值的形式化描述方法。本文基于可视化语言的特征,介绍了可视化语言文法形式化描述体系的基本理论,分析了几种典型形式模型,并探讨了当前的主要研究内容和面临的挑战。     

图文法EGG在设计模式中的应用

对图变换和可视化语言的研究激发并促进了图文法的研究和发展。作为一维字符文法的扩展,图文法可以形式化描述二维空间中的对象,如图像、图形和表格等,为它们的定义、生成、变换及分析提供理论和技术上的支持。设计模式是可复用面向对象软件的基础,通常以二维图的形式来表示。为了与用户多样化的需求相适应,设计模式经常需要在不改变系统基本结构的情况下进行演化。本文讨论了图文法EGG及其形式化方法在设计模式的演化中的应用,聚焦在图变换和图解析两方面。前者用EGG格式的产生式作为图重写式来指导图的每一次变换,以确保相应设计模式演化每一步的正确性;后者用EGG文法机制来对图进行归约,以检查随意演化后的设计模式是否合法。     

扩展UML活动图在工作流建模中的应用*

针对UML对数据和信息流描述缺乏充分表达业务工作流程的问题,借助新创建的活动图,提出了基于扩展UML活动图的工作流过程建模方法。应用实例表明,扩展的UML活动图对工作流程的语义表达更丰富,更准确地描述工作流建模所需表达的内容,以满足工作流过程建模的要求。     

UML在软件开发中的应用与实践

统一建模语言(UML)是一个通用可视化的建模语言,用来对软件系统的制品进行定义、图形化、构造和文档化。系统被建模成离散的对象集合,这些对象之间相互交互并最终完成满足外部使用者要求的动作。对系统从几个分离但有联系的视角进行建模,便于不同用途的理解。UML不是编程语言,UML工具可提供代码生成器把UML转换成不同的编程语言,也可把已有的程序通过反向工程构造模型。     

UML语言及其在人力资源管理系统建模中的应用

UML(Unified Modding Language)是一种面向对象的标准建模语言。文中介绍了UML的主要内容和基于UML的建模过程；并以人力资源管理系统为例，描述了如何运用UML语言进行系统的建模，包括需求分析、领域分析、结构设计、详细设计、实现、测试和配置。通过采用UML语言进行系统的分析和设计，建立系统的静态模型和动态模型，解决了领域专家、软件设计人员和客户之间交流的难题，从而加速了开发的进程，提高了代码的质量，并且支持动态的业务需求。     

图论思想与UML应用（上）

UML 是什么?是统一建模语言。本文就从语言和思维的关系谈起,说明UML对思维具有反作用——是促进思维还是阻碍思维,全凭UML的使用者对UML内涵的掌握程度。那么,如何达到“UML促进思维”的境界呢?本文结合实例,说明图论思想在UML应用中的意义,希望能对读者有所启发。     

R语言在实验数据可视化与统计检验中的应用

在实验研究过程中,使用统计检验方法对实验数据进行分析处理具有重要的现实意义。在众多的统计软件中,R语言因其使用灵活、功能强大、开源免费等优点得到了广泛使用。本文通过应用R语言检验实验数据的差异性,介绍其数据检验路径,有助于读者了解和掌握R语言的功能和用法。     

一种图文法制导的软件体系结构开发环境Artemis-GADE

图形化、集成化的软件体系结构开发环境对于推动软件体系结构相关技术的研究和应用具有重要的意义.提出了一种基于图文法的可视化编辑环境生成机制.对于给定的软件体系结构风格的图文法描述,可以自动生成相应的图文法制导的体系结构编辑工具.与常见的基于Meta-Model的开发环境相比,这种图文法制导的开发方式更多地利用了相应软件体系结构风格的内在语义,从而提高了环境的易用性和可靠性. 设计并实现了一个原型系统Artemis-GADE(graph grammar-directed architecture development environment),初步验证了上述途径的可行性.     

组态软件脚本语言的设计与实现

讨论的是组态软件内嵌的脚本语言的开发,首先对脚本语言进行需求分析并给出了有关模型.然后,给出了脚本语言解释器的结构、模型并设计了有关解释算法.最后还设计了脚本语言系统与组态软件编辑系统、运行系统的接口及其与实时数据库和组态图形系统的连接方法.     

基于图文法的动态软件体系结构支撑环境

使用类型化的属性图及其图文法来直观而形式地刻画软件体系结构和体系结构风格,用图转换来刻画动态体系结构的重配置行为.基于这种刻画,构建了一个动态软件体系结构支撑环境.该环境一方面,通过一个基于图文法的编辑器来支持体系结构图模型的可视化构造和操纵;另一方面,基于内置运行时体系结构技术实现了体系结构图模型在具体系统中的物理实施,并使得图模型上的图转换操作可以自动映射到实际系统的动态重配置上.再加上一系列的辅助设施,形成了一个较为完整的基于图文法的动态软件体系结构支撑环境.     

探讨基于UML的软件体系结构开发方法

在软件工程领域中,必须对软件体系结构进行系统准确的开发,才能保证软件系统的独特性、科学性与智能性。ADL作为一种常用的描述语言,虽然在一些体系结构语言中能够进行一定的定义与开发,但目前仍然很难和主流的开发方法集成在一起。而随着软件技术的不断发展,UML已经逐渐被工业界认可。从UML软件系统的4种模型入手,利用实例的分析方法,从而使大家能对UML的相关技术有进一步的了解。     

面向对象的软件工程与统一建模语言UML

通过评述软件工程的两个发展阶段 ,重点介绍了面向对象的开发方法。统一建模语言 UML是一种基于面向对象方法学的规范可视化建模语言 ,论文对其组成、特征和建模过程进行了描述。     

基于逻辑的软件演化操作语言及结构化操作语义

由于使用环境和新技术的不断变化,软件演化的控制变得日趋复杂.为了提高软件演化活动的可视化和形式化支持程度,结合谓词逻辑和软件演化,提出了一种软件演化操作语言SEOL(Software Evolution Operational Language)描述软件演化,给出了SEOL的语法和结构化操作语义描述,并指出了软件演化操作语义等价分析方法.结合软件代码演化和软件模型演化实例,说明了SEOL的应用.与已有的软件演化操作描述相比,SEOL在易用性、可重用性和形式化分析方面有明显的改善,为软件演化的管理、分析和实施奠定了基础.     

一种基于MDA的容错软件开发工具框架设计

针对软件的高容错性、可靠性等要求，该文给出一种基于模型驱动体系结构开发技术的软件开发工具的框架结构，阐述了如何在工具中扩展对容错软件开发的支持。使用该工具可减少软件容错性描述的困难，提高软件开发的效率。     

软件体系结构的属性图文法描述及其约束验证*

在前人工作的基础上,使用了一种利于约束检查和属性刻画的属性图文法,该方法形式地描述了体系结构及其演化;接着给出了一个算法检查演化动作是否会破坏体系结构约束.在对属性图文法系统AGG的图形解析器进行定制和改进的基础上,设计并实现了体系结构自动检查器.该检查器已应用于面向体系结构的服务集成开发平台Artemis-ARC系统中.