基于UML的软件体系结构的定量评估

软件体系结构是软件开发过程的关键制品,应该尽早地分析和评估其质量.目前研究的软件体系结构评估主要集中在基于场景的评估方法,其特点是定性的、主观的、无需专用的体系结构描述语言.本文提出以统一建模语言UML作为软件体系结构描述语言以及度量的软件体系结构的定量评估.针对UML的可视化、多视图、半形式化以及一致地应用在整个软件开发活动的特性,提出一组UML度量,从UML图所表达的信息含量、可视化影响以及图形建模元素之间的关联性这三个方面度量软件体系结构.分析并讨论这组UML度量在评估软件体系结构的规模、复杂性和结构性等质量属性方面的应用.     

Model-Based Verification and Validation of Properties

One of the key issues in software development, like in all engineering problems, is to ensure that the product delivered meets its specification. Verification and validation are well-established techniques for ensuring the quality of a product within the overall software development lifecycle. With models being expressed in the Unified Modeling Language, the application of verification and validation is complicated. Firstly, concerning verification, a UML model is typically not the input language of a verification tool. Secondly, with regards to validation, a UML model is also not directly executable.In this paper, we show how verification and validation can be achieved for UML models. Within our approach, graph transformation techniques are applied for automated translation of UML models into a language understood by a verification tool or directly into an implementation. By the use of such semantic-preserving transformations, both verification and validation can be lifted up to the model level, allowing for a seamless integration of verification and validation into a UML-based development process.     

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

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

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

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

基于UML和RUP的软件开发实例分析

UML是功能强大的可视化建模语言，RUP是先进实用的软件开发过程，二者的结合已在软件产业界得到广泛应用。本文以一个宿舍管理系统为例，描述了基于UML和RUP的软件开发全过程，重点阐述了用UML进行系统建模和RUP进行管理的过程。     

一种适用于UML语言的软件开发过程MFDP

本文概要介绍了一种适用于最新的面向对象可视化建模语言ＵＭＬ的软件开发过程ＭＦＤＰ的组织结构，剖析了ＭＦＤＰ的主要特点，研究了ＵＭＬ在ＭＦＤＰ各个阶段的应用。本文旨在将国外软件工程领域最新的研究成果引进到国内并推动代表软件开发技术发展主流方向的可视化建模语言ＵＭＬ在我国的推广和使用。     

基于UML和XYZ/E的ATM系统体系结构描述

本文提出了将可视化建模语言UML和时序逻辑语言XYZ/E相结合来描述软件体系结构的方法。首先给出了该方法的基本框架,然后对XYZ/E进行扩展,使之能够显式地表示软件体系结构的基本元素,并定义了UML活动图的形式语义,最后,通过银行ATM实例进一步说明了该方法的可行性,对可视化和形式化相结合描述软件体系结构的研究具有一定的推动作用。     

基于xUML的MDA模型驱动架构研究

当前UM L建模技术逐渐被很多企业接受、认可,但由于用它建造的系统模型不可执行,难以对模型正确性进行验证,阐述了基于eX ecutab le UM L的面向对象的系统建模技术和方法,结合目前OMG组织提出的模型驱动架构MDA概念,建立高层抽象的可执行模型,引进模型的执行和验证概念,进行前期设计验证,减小项目的实施风险。     

UML建模在办公自动化(OA)系统设计中的应用

UML是一种面向对象的可视化图形建型语言,通过不同的模型从不同的角度对系统的需求分析建模,使软件开发人员能方便通信并准确合理地进行设计。本文介绍了UML的概念、OA系统的基本功能以及UML在OA系统设计中的应用。     

UML建模在办公自动化（OA）系统设计中的应用

UML是一种面向对象的可视化图形建型语言，通过不同的模型从不同的角度对系统的需求分析建模，使软件开发人员能方便通信并准确合理地进行设计。本文介绍了UML的概念、OA系统的基本功能以及UML在OA系统设计中的应用。     

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

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

用UML进行图书管理系统分析与设计

随着社会信息量积累速度的加快,图书资料的系统管理的现代化工作十分迫切。目前传统图书馆纷纷向数字图书馆转变和过渡,在这个转变过程中可以借助UML的信息化技术,以实现对信息资源最有效的利用和共享。     

基于UML建模的摄像头阅卷系统的分析

统一建模语言（UML）是一个通用的、基于面向对象的可视化建模语言,UML适用于各种软件的开发和各种应用领域以及各种开发工具。以构建学校摄像头阅卷系统为例,用统一建模语言进行了系统需求分析和系统设计,介绍了系统构建思路,建立了反映系统静态结构和动态行为的各种框图。     

基于UML的软件体系结构建模方法的研究

软件体系结构是软件工程中的一个重要领域。对软件体系结构的分析和设计已成为决定软件系统（特别是大型软件系统）成功的重要因素。体系结构描述语言ADL能以一种比较直接、精确的方式来描述软件体系结构,但它很难与主流开发方式集成。UML是一种应用广泛的对象建模语言,已被工业界广泛接受。本文介绍了一种UML与ADL集成的方法,对软件系统的开发具有较大的实用价值。     

UML建模在资料室管理系统设计中的应用

UML是一种面向对象的可视化图形模型语言,通过不同的模型从不同的角度对系统的需求分析建模,使参与软件开发的各方人员能方便通信,并准确合理地进行设计,介绍了UML的概念、优越性及其在资料室管理系统中的应用。     

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

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

From UML/SPT models to schedulability analysis: approach and a prototype implementation using ATL

Model Driven Architecture (MDA) is a software development approach promoted by the OMG. MDA is based on two key concepts, models and model transformations. Several kinds of models are generally used throughout the development process to specify a software system and to support its analysis and validation. UML and its extensions, such as the UML profile for real-time systems (UML/SPT), are commonly used to define the structure and the behavior of software systems while other models, such as performance models or schedulability models, are more suitable for performance or schedulability analysis, respectively. In this paper we discuss a model transformation enabling the derivation of schedulability analysis models from UML/SPT models. As a proof of concepts, we present a prototype implementation of this model transformation using ATL. We provide a definition of the source and target metamodels using the metamodel specification language KM3 and we specify the transformation in an ATL module. We discuss the merits and limitations of our approach and of its implementation.     

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

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

基于UML的文档管理系统研究

统一建模语言UML（Unified Modeling Language）是面向对象软件开发方法的重要技术。UML可以对大型复杂的系统的各种成分可视化，说明并构造系统模型，以及建立各种所需的文档。本文以文档管理系统为例，介绍了Intranet／Web体系结构的信息系统站点的构建，以及基于ASP和ISAPI的动态Web页面发布技术，并对基于Intranet和Web技术应用的一些典型问题进行了分析。     

数字区调遥感图像处理系统的架构分析

遥感图像处理是目前计算机辅助区域地质调查(简称数字区调)的重要内容之一。论文通过对国土资源部资助的RS_Orthomapper遥感图像处理软件架构的分析,建立了其核心架构模型,并通过对旧版本系统的重构和优化,形成了一个可在区域地质调查领域实际应用的软件系统。