UML中的用例建模

UML是目前面向对象程序设计中的一种标准的建模技术。在UML中,建立用例模型的作用在于捕获高层次的,以用户为中心的系统功能需求。本文在介绍UML的基础上,通过实例详细探讨了在UML中正确建立、使用用例模型的策略。     

UML建模实例分析

本文介绍了UML的定义及其与过程的关系,并结合电梯管理系统实例,探讨了例图、类图、状态图和交互图的基本概念,分析了UML建模的基本思想和过程。文中各个模型是在可视化建模工具Rose２０００上开发的。用户可以采用图形化方式刻画系统的需求和设计,自动生成对应的软件框架,根据实际要求填写代码。它可以指导软件的分析、设计、编码。UML建模实例分析$长沙国防科技大学计算机学院!(410073)@王建军     

基于UML的CORBA/Java分布式应用系统的领域模型设计

探讨了一种借助UML构建的基于CORBA/Java的分布式应用系统建模方法以及相关技术.研究设计了分布式应用系统的软件模型,使用UML建模方法完成了系统分析、设计和建立领域模型的全过程.通过一个具体实例给予详细说明,实例表明,利用UML对复杂的软件系统建模,有助于实现软件的重组和复用,为快速、高效地构建系统提供了一种可行的解决方案.     

基于UML的图书馆管理系统的分析与设计

利用 Rational Rose对图书馆管理系统进行UML建模,建立了系统类图,用户用例图,用户顺序图和系统活动图等.通过对图书馆管理系统的实例建模,详细地阐述了基于UML的建模过程.     

UML在新闻发布CMS系统中的应用

以一个新闻发布CMS系统为例,展示了如何使用UML进行面向对象的分析与设计。通过实例展现基于UML在CMS系统设计中静态建模和动态建模的过程,使得用户可以更好地认识UML在面向对象的分析设计中起的作用。     

基于UML 的销售合同管理系统

以销售合同管理系统项目的开发为背景,探讨了UML在销售合同管理系统分析中的应用问题,在对系统进行需求分析的基础上,采用StarUML建模工具构建了系统的用户需求模型、对象结构模型、行为模型。     

UML技术在面向Agent系统分析中的应用研究

基于Agent的软件系统因其智能性、自律性近来发展迅速，面向Agent系统分析已成为软件工程中的一个研究热点。根据Agent系统的特点，应用UML技术和面向对象方法，提出了一种基于UML的面向Agent的系统分析方法，同时为适应对AO系统的表示，对UML进行了适当的扩展，并通过实例给出了模型的表示以及系统分析的过程。     

UML在高校财务绩效管理系统设计中的应用

统一建模语言UML(Unified Modeling Language)是面向对象软件开发方法的重要技术.在对UML进行了简要的介绍和概括后,结合财务绩效管理模型实例,对UML的技术进行了研究.在对系统进行需求分析的基础上,采用建模工具构建了系统的用户需求模型、对象结构模型和行为模型,对面向对象软件项目的开发具有一定的指导作用.     

基于UML的仿真应用系统映射方法研究

基于组件的仿真应用系统设计方法在视图建模时往往存在标准不统一的问题,提出了仿真应用系统向统一建模语言UML映射的解决思路,仅用两种视图实现了系统的完整建模,完成了系统静态组成结构向UML复合结构图的映射以及系统动态行为向UML活动图的映射。参考模型驱动架构MDA的开发过程,对完成映射的系统进行了代码自动生成,实现了用户的零编码。最后,通过某一海军作战仿真实例证明,此方法达到了基于组件的仿真应用系统视图建模标准化的目的,提高了系统的一致性。     

使用NetBeans IDE实现UML建模

NetBeans IDE是当前市场上最流行的、开源且免费的集成开发工具。使用NetBeans不仅可以开发Java程序,还提供了对UML的全面支持。利用NetBeans UML建模模块,可以创建八种类型的UML图,极大地方便了开发人员编写程序。本文首先介绍了NetBeans和UML的基本知识;其次着重介绍了如何在NetBeans IDE中实现UML建模;最后,通过创建一个酒店系统的用例图实例加深理解。     

基于UML的电子商务系统的分析和设计

随着商业软件的发展，传统的系统分析设计的方法已不能很好地适应现在的要求。该文通过介绍eBox电子商务系统的分析和设计，介绍了UML的概念和如何在系统分析设计中应用UML，实践表明在应用软件开发中应用UML对提高应用软件的开发效率和质量有很大的帮助，它很好地解决了现存的问题。UML在软件开发中具有很广阔的应用前景。     

基于UML的软件形式化需求分析与验证

针对软件开发中传统的需求分析方法所存在的需求描述不完整、具有二义性和不一致性问题,提出一种形式化需求分析方法。介绍根据用户需求采用形式化方法获取软件需求说明书并设计软件的统一建模语言（UML）模型的过程,及对该UML模型进行形式化描述,采用形式化验证技术对形式化后的UML模型进行需求验证,以确保设计的UML模型的正确性。实验结果表明,形式化的需求分析方法克服了传统需求分析方法中存在的问题。     

UML在网络安全监控系统建模中的应用

本文首先介绍了UML的特性,然后运用UML对网络安全监控系统中的数据采集系统进行了可视化的建模,建立了系统的需求模型和设计模型的各种视图,最后总结了用UML进行系统需求分析和设计的优越性.     

Tools for secure systems development with UML

For model-based development to be a success in practice, it needs to have a convincing added-value associated with its use. Our goal is to provide such added-value by developing tool-support for the analysis of UML models against difficult system requirements. Towards this goal, we describe a UML verification framework supporting the construction of automated requirements analysis tools for UML diagrams. The framework is connected to industrial CASE tools using XMI and allows convenient access to this data and to the human user. As a particular example, we present plugins for verifying models defined using the security extension UMLsec of UML. The verification framework allows advanced users of the UMLsec approach to themselves implement verification routines for the constraints of self-defined stereotypes. In particular, we focus on an analysis plug-in that utilizes the model-checker Spin to verify security properties of cryptography-based systems.     

UML在地质灾害管理信息系统设计中的具体应用

简要介绍了基于UML的软件工程,并以地质灾害管理信息系统为例,说明UML在GIS软件开发过程中的需求分析、系统设计和系统实现这3个阶段的具体应用,突出了UML对提高GIS系统的开发效率和质量所具有的重要作用。     

一种扩展UML/UP的需求分析方法

UML是面向对象分析和设计的工业标准;UP(Unified Process,统一过程)是使用UML作为建模语言的软件工程过程.UML和UP结合在一起成为一种很强大的软件工程方法学.UML/UP作为方法学,在需求方面存在两大不足:需求表达能力不强;需求表达与后续的系统分析和设计有较大的鸿沟.分析了需求工程中用例和场景分析以及用例图示的高层设计方法.在此基础上,提出了在需求方面增强了UML/UP方法.     

Object analysis patterns for embedded systems

Some of the most challenging tasks in building a software system are capturing, refining, and analyzing requirements. How well these tasks are performed significantly impacts the quality of the developed software system. The difficulty of these tasks is greatly exacerbated for the software of embedded systems as these systems are commonly used for critical applications, have to operate reliably for long periods of time, and usually have a high degree of complexity. Current embedded systems software development practice, however, often deals with the (requirements) analysis phase in a superficial manner, instead emphasizing design and implementation. This research investigates how an approach similar to the well-known design patterns, termed object analysis patterns, can be applied in the analysis phase of embedded systems development, prior to design and coding. Specifically, our research explores how object-oriented modeling notations, such as the Unified Modeling Language (UML), can be used to represent structural and behavioral information as part of commonly occurring object analysis patterns. This work also investigates how UML-based conceptual models of embedded systems, based on the diagram templates in the object analysis patterns, can be automatically analyzed using the Spin model checker for adherence to properties specified in linear-time temporal logic (LTL) using a previously developed UML formalization framework. We have applied these patterns to several embedded systems applications obtained from the automotive industry. This paper describes one of our case studies and illustrates how our approach facilitates the construction of UML-based conceptual models of embedded systems and the analysis of these models for adherence to functional requirements.     

UML状态机的形式语义

许多大型系统在进行分析和设计时,均采用UML作为需求描述语言,尤其是一些对安全性要求较高的系统,更是广泛采用UML的动态行为描述机制--状态机来描述协议及控制机制.但是,由于UML没有形式化的动态语义,不利于对其所描述的需求进行形式化验证和证明.为了解决这一问题,采用以下方法为UML状态机构建形式语义.把UML状态机中的状态映射到一种项代数上,用归纳的状态项表示状态机的状态.然后,把状态项映射到一种加标记的变迁系统LTS上,LTS-状态是状态机的状态项,LTS-变迁是UML状态机的微步.最后,用Plotk     

基于UML的嵌入式指纹识别系统软件建模

标准建模语言UML是广泛使用的可视化面向对象系统的建模方法。该文介绍了使用UML对嵌入式指纹识别系统进行面向对象软件分析与建模设计的过程。论述了利用UML的各种标准符号进行需求分析、系统整体设计的整个过程。     

可视化建模及其在教务管理系统开发中的应用

综合教务管理系统的设计是一项复杂的系统工程,为了保证系统的顺利完成,可利用UML(Unified Modeling Language)进行系统的建模设计。文章演示了在系统的开发中如何使用UML进行需求分析和模型设计,可视化的模型促进了开发人员与用户双方的交流,保证了系统开发的顺利进行。