基于UML的学生网上选课系统建模

本文讨论了面向对象技术的基本概念和UML建模语言,分析了高校学生网上选课的特点,结合软件工程和面向对象技术,设计了基于UML用例图和顺序图等的学生网上选课系统模型,并运用UML的活动图描述了学生网上选课的工作流程。     

建设工程施工图审查信息系统的分析与设计

以建设工程施工图审查信息系统的开发为原型,针对目前信息系统开发中遇到的问题,采用UML建模技术完成本系统的分析与设计。结合UML用例图、活动图、时序图、类图来详细分析UML在信息系统分析、设计等阶段中的建模应用。基于文中设计方案所完成的系统已投入实际运行,实践证明,文中的研究对加快系统开发速度,提高系统可靠性起到了良好的作用,达到了预期效果。     

UML活动图到时间Petri网的映射方法

UML被广泛应用于嵌入式实时系统等领域的建模,而嵌入式实时系统对时间响应的要求非常严格,UML缺乏对系统时间约束的描述和形式化语义。因此,提出了一种结合MARTE与UML带有时间约束的UML活动图模型,并定义相应的映射规则,将该活动图模型映射到时间Petri 网模型,最后通过实例验证了该映射方法的正确性和实用性。     

基于UML模型和OCL约束的类间交互测试用例生成方法研究

 面向对象所具有的类、封装、继承、动态连接等特性,使得面向对象测试步骤的划分以及测试策略的选择有别于传统的测试思想.本文针对面向对象软件的特点,采用基于模型的软件测试方法,对UML(United Model Language)设计模型中的顺序图添加OCL(Object Constraints Language)约束,做类间交互的软件测试.本文提出执行图EG生成算法,将顺序图SD转换为执行图EG,解决UML2.0顺序图新增特性中的alt、loop、opt、break四种常见组合片段及其嵌套和多态性问题;为得到最小完备的测试路径,本文提出了EG的遍历策略和测试路径生成算法;最后,根据测试路径确定测试场景,并删除无效场景,生成测试用例.经实验验证,此方法可以基于UML顺序图与OCL约束进行系统地测试.     

基于UML的需求分析方法在电力遥测信息系统中的应用

文中介绍了基于UML面向对象的需求分析方法在电力遥测信息系统中的应用，针对电力遥测系统功能行为描述不清、在遥测需求变化时，不能及时响应和追踪等问题，采用原型法、螺旋模型和嵌入式系统快速面向对象过程模型相结合的需求分析方法，使用了UML统一建模语言，创建了用例图、活动图和状态转换图，使用户操作流程、系统子功能模块以及设备节点的信息视图化，提高了系统分析效率。在需求分析阶段使用概念测试，总结出了概念测试用例，有利于及时发现和纠正需求定义中的错误，减少了后期需求变更的维护成本。基于UML的需求分析方法最终生成了需求规格说明书，建立了需求基线，为项目系统的设计奠定了基础。     

UML中的类与类图的认识及使用

UML在系统分析与设计中得到广泛的应用.在UML的九种图中,类图是逻辑视图的重要组成部分,用于对系统的静态结构建模,是最重要、使用最普遍的图之一.文章主要说明类与类图的特点及不同阶段类图的使用.     

基于UML顺序图及类图的功能点度量

在所有的功能规模度量方法中，国际功能点用户组的功能点分析（Function Point Analysis）方法得到了广泛的应用和业界的认可。但该方法为手工操作，因其主观性使估算结果因人而异，重复性差。针对这些情况，提出了一种改进方法，使用UML（Unified Modeling Language）建模技术中的顺序图及类图，定义了从UML中计算FPA的映射规则，进行功能点分析，从而较客观、自动化的度量功能点。     

面向方面动态行为建模研究

静态模型和动态模型从不同角度反映了系统的结构与行为。横切关注点的静态模型反映了系统的静态结构,为进一步开发提供了静态视图;动态模型则描述了系统结构元素的动态特性及行为,描绘了参与用例的所有对象之间的交互,通过对象问交互实现系统的功能。由于面向对象系统的动态建模通常由UML交互图表示,所以本文在UML交互图基础上,建立面向方面横切关注点的动态模型。     

基于UML的聋人高等教育网站的构建

面向对象技术是软件工程领域中的重要技术,统一建模语言UML则是近几年国际上比较流行的面向对象的标准建模语言.建模是开发优秀软件所有活动的核心部分.采用统一建模语言UML对聋人高等教育网站系统进行需求收集、分析与设计,用Microsoft的UML绘图软件Visio绘制系统的类图、用例图、活动图和泳道图为系统建立静态和动态模型.     

面向方面动态行为建模研究

静态模型和动态模型从不同角度反映了系统的结构与行为.横切关注点的静态模型反映了系统的静态结构,为进一步开发提供了静态视图;动态模型则描述了系统结构元素的动态特性及行为,描绘了参与用例的所有对象之问的交互,通过对象间交互实现系统的功能.由于面向对象系统的动态建模通常由UML交互图表示,所以本文在UML交互图基础上,建立面向方面横切关注点的动态模型.     

一种UML2．0模型动态特性的一致性验证方法

近年来，UML已经被广泛应用于软件的分析和设计，然而，由于软件系统的复杂性，在UML模型中，难免会引入不同图表间特别是动态视图之间的不一致性。提出了一种用于验证UML2．0模型状态图和顺序图一致性的方法。首先，用XYZ／E来形式化描述状态图并将其转化为Promela输入语言；然后，用LTL来表示顺序图间的相互作用；最后利用模型检测工具Spin通过检查Promela描述的状态图是否满足LTL公式来达到检测模型一致性的目的。     

基于UML的无线网络镜像模型

镜像能够复现真实的网络环境,帮助开发人员定位系统中的错误以及发现潜在的问题。作为软件工程的标准建模语言,UML可以用于对实际问题进行建模和分析。使用UML对无线网络设备进行建模,并利用UML活动图给出了实际网络微缩镜像算法。基于此方法可以快速地构造高仿真的网络镜像,既压缩了网络规模又能保持网络的重要特征。     

Dependence analysis for UML class diagrams

Though Unified Modeling Language (UML) has been widely used in software development, the major problems confronted lie in comprehension and testing. Dependence analysis is an important approach to analyze, understand, test and maintain programs. A new kind of dependence analysis method for UML class diagrams is developed. A set of dependence relations is definedcorresponding to the relations among classes. Thus, the dependence graph of UML class diagram can be constructed from these dependence relations. Based on this model, both slicing and measurement coupling are further given as its two applications.     

一个基于UML协作图的集成测试用例生成方法

UML协作图描述了系统的一个协作过程中参与对象之间的结构关系和交互行为,确认它们是否被正确实现是集成测试的工作.本文提出了一个基于UML协作图生成集成测试用例的方法,将表示设计的协作图作为测试模型,首先通过遍历每条消息的直接后继识别协作图中的表示用例实现的所有可能的场景路径,然后在遍历每条场景路径的过程中获取相应协作执行的路径条件、参数变量和预期方法调用序列,最后使用范畴-划分方法确定场景路径上的输入、输出、环境条件的合理组合作为覆盖该场景路径的测试用例,用于测试一个协作场景路径上的交互行为.该方法,集成了白盒方法和黑盒方法,在覆盖所有的测试需求的前提下,生成的测试用例较少.     

Modeling UML sequence diagrams using extended Petri nets

Unified modeling language (UML) sequence diagrams combined with the UML profile for modeling and analysis of real-time and embedded (MARTE) systems are used to represent systems?? requirements. To enhance formal analysis abilities, sequence diagrams annotated with MARTE stereotypes are mapped into timed colored Petri nets with inhibitor arcs (TCPNIA). The mapping rules for the fragments of sequence diagrams and MARTE stereotypes are proposed respectively. They are proposed both in graphical and formal forms. The soundness of mapping rules is analyzed. The data related issues are handled through colored properties in TCPNIA models, guard functions and operational functions. A mapping rule for state invariant is proposed based on data related information. Through state invariant, complicated control relations can be expressed. Formal definitions for morphing and substitution in TCPNIA models are given. They provide modular and hierarchical modeling methods for TCPINA models. To show the applicability and feasibility of our method, an application example in vehicular ad hoc networks (VANETs) domain is studied.     

教务管理信息系统的数据库建模

数据库建模是数据库应用系统开发的关键步骤。在传统的结构化系统设计中,将需求分析阶段得到的ER图转化为关系数据库模型,而ER图仅仅着眼于数据。为了提高开发效率。采用面向对象的系统分析和设计方法,用系统分析阶段所获得的UML类图为基础进行数据库的逻辑结构设计,把类图转化为关系数据库模型。UML类图不但对数据建模,而且能对行为建模,这些行为在物理数据库中被设计成触发器和存储过程。在此以已开发的教务管理信息系统的数据库建模为例,讨论基于UML类图的数据库建模的方法与过程,该系统主要实现学生学籍管理和成绩管理。     

利用UML模型设计EJB组件

利用UML模型来研制EJB组件是目前比较先进的方法。给出了从UML模型到EJB组件模型的转换过程，并以漏洞检测中间件的开发为例，介绍了利用UML模型设计和开发EJB组件的相关技术和开发过程。     

从UML状态图到PVS规范的自动转换、验证

将UML(统一建模语言)图形转换成形式化规范是一种精确化UML语义、扩大形式化软件方法适用范围的有效途径.PVS是一种通用高阶逻辑形式化规范语言,具有很强的描述能力以及丰富的定理证明、模型验证工具支持.本文论证了使用.PVS来对UML进行形式化的优势,并且给出了UML的状态图到PVS规范的转换模型与规则.