量化迭代和增量软件过程的一组UML度量

迭代和增量把软件开发分成可以重复的不同活动的流程,是现代软件开发过程的基本特征。迭代地执行每个流程就相应地增加软件产品,直至完成产品的开发。为定量地指导和管理迭代式增量软件开发,提出了基于UML模型的一组软件度量。这组度量针对UML的可视化以及一致地应用在多个软件开发活动的特性,对UML各种图所表达的信息量、可视化大小以及复杂性三个方面度量软件制品,进而度量迭代的增量。分析并通过案例讨论了这组度量的有效性及其在软件项目管理中的应用。     

软件体系结构评估技术

作为在软件生命周期早期保障软件质量的重要手段之一,软件体系结构评估技术是软件体系结构研究中的一个重要组成部分.将现有的软件体系结构评估方法划分为3类:基于场景的评估方法、基于度量和预测的评估方法以及特定软件体系结构描述语言的评估方法.按照软件体系结构评估技术的评价框架,分别从评估方法的目标、质量属性、关键技术等方面对这3类方法的特点进行介绍和对比.最后分析了现有研究中存在的不足并进一步探讨了软件体系结构评估技术的研究趋势.     

建模样式:一种评估软件体系结构非功能属性的方法

软件体系结构设计是软件过程中最为重要的环节之一.在设计阶段完成对软件体系结构非功能属性的评估,对于高质量软件产品的开发非常重要.通过对统一建模语言(UML)的扩展,提出了“建模样式”用于在软件设计阶段对软件体系结构非功能属性进行评估,并结合“可用性链”建模样式在分析软件体系结构“单消息分发-多消息处理”可用性中的应用,给出了建模样式的使用示例.同时,针对建模样式的应用,还提出了“建模知识库”用于管理和维护建模样式,提供各建模样式中标签的参考值.基于UML的建模样式以及建模知识库的使用,可以简化对软件体系结构非功能属性评估的复杂度和工作量,使其可以为软件开发人员所用,并融入到高质量软件开发过程中.     

UML与软件体系结构描述语言之间的转换机制研究

形式化描述和可视化描述是目前主要的两类软件体系结构描述方法,形式化描述以体系结构描述语言ADL为代表,可视化描述以统一建模语言UML为代表。目前软件体系结构描述领域的热点之一是研究这二者之间的结合,转换是其中一种重要的方式。基于此,本文对UML和基于时序逻辑的体系结构描述语言XYZ/ADL之间的转换问题进行了研究,定义了二者之间的转换规则。     

基于场景的面向方面软件体系结构度量方法

软件体系结构的评估为提高软件质量、控制系统复杂性提供保证,但多数单纯基于场景或基于度量的评估技术普遍存在度量角度单一的问题.针对该问题,结合场景技术提出了一种支持面向方面软件体系结构的度量方法.通过一组度量指标对体系结构进行度量并量化其结构特征;引入场景更细粒度地刻画体系结构的质量属性,考察场景在体系结构中的映射程度.最后对某保险案例的体系结构设计方案进行对比与选择,验证了方法的可行性及实用价值.两种技术的结合为更全面地进行面向方面软件体系结构的评估提供支持与参考.     

基于UML和Z的需求分析到软件体系结构的映射

结合可视化建摸工具UML和形式化描述语言Z描述了从需求分析到软件体系结构的映射方案,并以一个实例说明其映射过程。     

面向方面的体系结构描述语言AC2-ADL

体系结构描述语言(ADL)是基于体系结构的软件开发的基础,传统的ADL由于缺乏对混杂与分散在软件体系结构多个单元中的各种设计决策的描述能力,导致软件体系结构设计方案难以理解、难以演化和难以重用.通过设计面向方面的软件体系结构描述语言AC2-ADL,使用方面组件明确地描述系统的横切关注点;并引入方面连接件以及抽象出软件体系结构语境中的注入点,呈现结构之间复杂的交互,以解决不同关注点的分散和交织等问题,试图为设计和描述面向方面的软件系统的软件体系结构提供一种有效的解决方案.研究结合电子商务领域的网上拍卖系统,讨论了该语言的主要应用过程,具有一定的参考作用.     

软件体系结构层次的适应性度量技术研究

软件适应特定变化的能力对软件开发和维护都具有重要的影响.软件适应性(Software Flexibility)是反映软件适应变化能力的一项重要质量特征.实践说明软件体系结构设计在很大程度上决定了软件的适应性.在软件体系结构层次上量化地度量软件适应性,有助于设计人员改善和比较软件体系结构的设计方案,并可以辅助设计人员评价软件体系结构的质量.本文首先定义了软件适应性的因素-准则-度量模型(FCM模型);然后在此基础上提出了一种利用变化影响图(CIG)对软件适应性进行度量的方法.     

软件体系结构的研究

体系结构传统上被称为软件结构，是软件开发方法学提出后自然形成的。体系结构作为系统的骨架，是软件开发过程的重要产品和系统性重用的主要资产，软件开发特别是基于重用的软件开发，必须以体系结构为中心，并且要从多个视角来研究体系结构。本文通过介绍软件体系结构的概念，说明体系结构在软件开发中的重要性，并介绍一种体系结构描述语言UML（Unified Modeling Language)和体系结构六视图模型。     

基于UML和Z的软件体系结构求精方法及其应用

论文探讨了如何将可视化建模语言UML和形式化描述语言Z集成而得到一种新的求精方法,寻求一种在软件体系结构求精过程中UML到Z的映射与转换机制。最后通过使用这个新的求精方法对一个实例求精来描述整个求精过程。     

形式化与可视化相结合的软件体系结构描述方法研究

软件体系结构是软件工程领域中一个重要的研究内容,研究软件体系结构的首要问题是如何描述一个软件系统的体系结构模型。本文通过集成XYZ/ADL与UML两种描述方法在软件体系结构中的应用,寻求一种基于时序逻辑理论的形式化方法与面向对象的可视化方法相结合的软件体系结构描述新途径。着重研究XYZ/ADL与UML在电梯控制系统体系结构建模中的应用问题,并运用基于构件的求精方法对该系统的主要组件进行了求精。     

OCL-Based Automated Validation Method for UML Specifications

The paper is devoted to the validation of visual software models. The aim of the validation is to verify whether the models match the visual project language, which is a dialect of a standard visual modeling language (UML, SDL, etc.) created with regard to specific features of the particular project on software development. In the paper, an architecture of a validator designed for both interactive and batch modes is suggested. An approach to specifying visual project languages by means of OCL constraints imposed on the UML metamodel with the subsequent automated generation of validators in accordance with the architecture described is suggested. Results of approbation of the validator and the validator generator in the framework of an industry project are presented.     

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

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

UML在图书馆管理系统建模中的应用

统一建模语言(UML)是一种可视化的面向对象的建模语言,可用于对软件系统进行描述和构造软件的系统结构.本文介绍了UML的主要内容,并以图书馆管理系统为实例,探讨了应用UML建模机制,对系统的需求分析、详细设计及实现的不同阶段的建模过程.     

有限状态机在导弹防御系统分析中的应用

介绍了有限状态机的基本概念,基于UML详细分析了导弹防御系统的作战过程.由于UML状态机无法直接运行而实现系统状态的动态转换,研究了基于有限状态机理论的图形化建模与仿真工具Stateflow.在分析了导弹防御系统作战过程中各子系统状态以及状态转换的基础上建立了Stateflow状态机模型,并与Matlab其它建模和仿真工具有机结合,建立了导弹防御系统的仿真模型,该模型可实现不同条件下系统性能的分析与评估.     

UML可视化建模系统的模型一致性检查机制

ＵＭＬ标准建模语言是面向对象技术领域中的重要成果,使用ＵＭＬ解决现实世界中的问题是当前该领域的研究热点。ＵＭＬ集成支持环境既可提高建模的效率,也可在一定程度上保证所建模型间的一致性;通过模拟动态模型的行为,可在建模的早期发一模型中存在的问题;代码生成,逆向变换系统将模型和程序代码有机地统一起来。     

可视化语言技术在软件开发中的应用

可视化语言技术比一维文本语言在描述软件组成方面具有优越性.由于图表和图形概念在系统建模中的广泛使用,可视化语言可以应用于需求分析、设计、测试和维护等软件开发的各个阶段.除了具有直观易见的特点之外,图文法在计算机上的精确建模和验证能力,为设计可视化语言提供了一个坚实的理论基础.讨论了可视化语言的形式理论基础,回顾了相关的可视化图形编程环境.特别提出了一种空间图文法,并且用该图文法定义了统一建模语言的行为语义.基于空间图文法,开发了一种基于模式驱动的框架,以帮助软件架构与设计.     

基于UML的临床路径诊治系统的分析建模

临床路径诊治系统不同于一般的管理信息系统,在系统的实时性、可靠性、规范性等方面要求更高,许多传统的分析及设计工具已难以满足新要求,而UML是一种易于表达、功能强大的面向对象标准建模语言,它将逐渐成为面向对象软件系统分析设计的必备工具。文章以RationalRose作为UML建模的工具,主要通过用例图、活动图和时序图对“心脑血管疾病的临床路径诊治系统”进行描述。由于系统采用了UML建模技术,从而使得软件结构更加合理,提高了软件开发的效率。     

UML语言的建模应用

统一建模语言（UML）是一个通用的可视化建模语言,用于对软件进行描述、可视化处理、构造和建立软件系统。UML适用于各种软件开发方法、软件生命周期的各个阶段、各种应用领域以及各种开发工具。UML标准并没有定义一种标准的开发过程,但它适用于迭代式的开发过程。它是为支持大部分现存的面向对象开发过程而设计的。