本文是搜集整理学习使用,信息来源:gd_沐辰 - 博客园 (cnblogs.com)
统一建模语言(UML)是一种通用的可视化建模语言,可以用来描述、可视化、构造和文档化软件密集型系统的各种工件。
UML是独立于过程的,它适用于各种软件开发方法、软件生命周期的各个阶段、各种应用领域以及各种开发工具。
注:UML不是一种程序设计语言,其描述的模型可以和各种编程语言相联系。
用例图是用来描述系统功能的技术,表示一个系统中用例与参与者及其关系的图,主要用于需求分析阶段。
用例图的基本组成元素:参与者、用例、元素之间的关系。
参与者的表示:
通过对参与者进行关注和分析,我们可以把重点放在如何与系统交互这一问题上,便于进一步确定系统的边界。另外,参与者也决定了系统需求的完整性。
确定参与者可以从以下几个角度来考虑:
主要业务参与者:主要从用例的执行中获得好处的关联人员。
主要系统参与者:直接同系统交互以发起或触发业务或系统事件的关联人员。
外部服务参与者:响应来自用例的请求的关联人员。
外部接收参与者:从用例中接收某些价值或输出的非主要的关联人员。
当系统中的几个参与者既扮演自身的角色,同时也有更一般化的角色时,可以通过建立泛化关系来进行描述。
与类相似,父参与者可以是抽象的,即不能创建一个父参与者的直接实例,这就要求属于抽象父参与者的外部对象一定能够属于其子参与者之一。
用例是类元提供的一个内聚的的功能单元,表明系统与一个或多个参与者之间信息交换的顺序,也表明了系统执行的动作。
简单来说,用例就是某一个参与者在系统中做某件事从开始到结束的一系列活动的集合,以及结束时应该返回的可观测、有意义的结果,其中也包含可能的各种分支情况。
用例与用例图被广泛使用于系统的需求建模阶段,并在系统的整个生命周期中被不断细化。
用例表示如下:
一个用例可以隶属一个或多个参与者,一个参与者也可以参与一个或多个用例。用例与参与者之间存在关联关系。
主参与者与次参与者:通常来说主参与者是用例的重要服务对象,而次参与者处于一种协作地位。
用例的特征保证用例能够正确地捕捉功能性需求,同时也是判断用例是否准确的依据。
用例之间的关系有:泛化关系、依赖关系(包含、扩展)
与参与者的泛化关系相似,用例的泛化关系将特化的用例与一般化的用例联系起来。子用例继承了父用例的属性、操作和行为序列,并且可以增加属于自己的附加属性和操作。父用例同样可以定义为抽象用例。
用例之间的泛化关系表示为一根实线三角箭头,箭头指向父用例一方。如下图:
包含指的是一个用例(基用例)可以包含其他用例(包含用例)具有的行为,其中包含用例中定义的行为将被插入基用例定义的行为中。
包含的两个基本约束:
包含表示为一个虚线箭头附加上《include》的构造型,箭头从基用例指向包含用例。
扩展指的是一个用例(扩展用例)对另一个用例(基用例)行为的增强。
扩展使用一个附加了《enxtend》构造型的虚线箭头表示,箭头指向基用例。
注意:扩展与包含的箭头方向是相反的,这表明扩展取决于扩展用例而非基用例,扩展用例决定扩展的执行时机,基用例对此一无所知。
扩展用例的使用包括四个部分:
根本区别,包含是无条件执行,扩展是有条件执行。图的起点不同,终点也不同。
特性 |
include |
extend |
作用 |
增强基用例的行为 |
增强基用例的行为 |
执行过程 |
包含用例一定会执行 |
扩展用例可能被执行 |
对基用例的要求 |
在没有包含用例的情况下,基用例可以是也可以不是良构的 |
在没有扩展用例的情况下,基用例一定是良构的 |
表示法 |
箭头指向包含用例 |
箭头指向基用例 |
基用例对增强行为的可见性 |
基用例可以看到包含用例,并决定包含用例的执行 |
基用例对扩展用例一无所知 |
基用例每执行一次,增强行为的执行次数 |
只执行一次 |
取决于条件(0到多次) |
一个完整的用例模型应该不仅仅包括用例图部分,还要有完整的用例描述部分。
一般的用例描述主要包括以下几部分内容:
前置条件指的是用例执行前系统和参与者应处于的状态。前置条件是用例的入口限制,它便于我们在进行系统分析及设计的时候注意到,在何时何地才可以合法地触发这个事件。
后置条件是用例执行完毕后系统处于的状态。后置条件是对用例执行完毕后系统状况的总结,用来确保用户理解用例执行完毕后的结果,并非其他用例的触发器。
前置条件与后置条件分别是用例在开始和结束时的必要条件。
事件流是对用例在使用场景下的交互动作的抽象,应该包括用例何时以及怎样开始和结束,用例何时与参与者交互,该行为的基本流和可选择的流。
基本事件流:描述的是用例中最核心的事件流,是用例大部分时间所进行的场景。
扩展事件流:描述的是用例处理过程中的一些分支或异常情况。
补充约束用来描述用例在系统功能之外的内容,例如非功能需求、业务规则等等。
数据需求:与该用例相关的一些数据项的说明。
业务规则:与业务相关的逻辑和操作规则。
非功能性需求:例如性能、支持的并发量等。
设计约束:是从多个角度对用例或系统的约定。
用例名称 |
提交订单 |
用例编号 |
UC002 |
参与者 |
会员 |
用例描述 |
该用例描述一个系统会员提交一份订单的行为 |
触发器 |
当订单被提交时,用例触发。 |
前置条件 |
提交订单的一方需要完成登录操作 |
后置条件 |
如果订单中的商品有库存,则发货;否则提示用户当前缺货 |
基本事件流 |
1 参与者将订单信息提交至系统。 2 系统验证用户信息及订单信息合法后作出响应。 3 对于订单中的每种产品,系统根据订单中的数量检查产品库存数量。 4 系统统计订单中产品的总价格。 5 系统从会员的系统账户余额中扣除相应金额。 6 系统生成并保存订单信息并将订单发送至分销中心。 7 系统生成订单确认页面并发送给会员。 |
扩展事件流 |
A-2 如果订单信息非法,系统通知会员并提示重新提交订单。 A-3 如果订单中产品数量超过产品库存量,则提示会员库存不足,暂无法购买,取消订单同时终止用例。 A-5 如果会员账户余额不足,系统给出相应提示,取消订单并终止用例。 |
结论 |
当会员收到系统发送的订单确认页面或其他异常信息时,用例结束。 |
数据需求 |
D-1 订单信息包括订单号、参与者的会员账户名、商品种类数量、商品种类名称以及每种商品的数量。 |
业务规则 |
B-1 只有当订单中商品信息确认无误后才能要求会员进行支付。 |
某学校的网上选课系统主要包括如下功能:
管理员通过系统管理界面进入,建立本学期要开的各种课程,将课程信息保存在数据库中并可以对课程进行改动和删除。
学生通过客户机浏览器根据学号和密码进入选课界面,在这里学生可以进行三种操作:查询已选课程,选课以及付费。
同样,通过业务层。这些操作结果存入数据库中。
步骤:
参与者:学生、教务人员、数据库
用例:选课、查询、支付课时费用、登陆、修改课程、添加课程、删除课程
关系:关联关系、泛化关系
类图的定义:是显示一组类、接口、协作以及它们之间关系的图。
类图主要包含7种元素:类、接口、协作、依赖关系、泛化关系、实现关系、关联关系。
类图:包、子系统,用来把模型元素聚集成更大的组块。
类图:约束、注解
可见性:描述了该属性在那些范围内可以被使用。
可见性 |
英文限定符 |
UML标准图示 |
Rose图示 |
说明 |
公有 |
public |
+ |
其他类可以访问 |
|
私有 |
private |
- |
只对本类可见,不能被其他类访问 |
|
保护 |
protected |
# |
对本类及其派生类可见 |
类型:属性的数据类型,可以系统固有,也可以用户自定义。属性的类型决定了该属性的所有可能取值的集合。
可见性:同样描述该操作在那些范围内可以使用,与属性的可见性相同。
参数列表:是一些按照顺序排列的属性定义了操作的输入。例如:oper(out arg1:int, arg2:double=3.2)
返回类型即回送调用对象消息的类型。void关键字表示无返回值。
特性是对操作性质的约束说明。
职责是类的契约或责任。当创建一个类时,就声明了这个类的所有对象具有相同种类的状态和相同种类的行为。在较高的抽象层次上,这些相应的属性和操作正式要完成类的职责的特征。
类的职责是自由形式的文本,在非正式的类图中,可以将职责列在类图操作下的另一分割栏中。
UML中最常用的四种关系,即关联关系、泛化关系、依赖关系和实现关系。
注意要点
关联名称:放在关联路径的旁边,但远离关联端。
角色:放在靠近关联端的部分,表示该关联端连接的类在这一关联关系中担任的角色。角色名上也可使用可见性修饰符号。
多重性:放在靠近关联端的部分,表示在关联关系中源端的一个对象可以与目标类的多少个对象之间有关联。
导航性:一个布尔值,用来说明运行时刻是否可能穿越一个关联。
限定符:是二元关联上的属性组成的列表的插槽,其中的属性值用来从整个对象集合里选择一个唯一的关联对象或者关联对象的集合。
约束:关联间的约束关系。
现实例子
比如客户和订单,每个订单对应特定的客户,每个客户对应一些特定的订单;再例如公司和员工,每个公司对应一些特定的员工,每个员工对应一特定的公司。(表示有关联,也可以表示多重性)
派生关联:属于一种派生元素。它不增加语义信息,只是一种可以由两个或两个以上的基础关联推算出来的虚拟关联。
两种特殊的关联关系:聚合关系与组合关系
1.聚合关系:描述“整体-部分”的关联关系
聚合关系没有改变整体与部分之间整个关联的导航含义,也与整体和部分的生命周期无关。(部分与整体相互独立)
2.组合关系:描述“整体-部分”的关联关系
组合关系中的部分要完全依赖于整体。
关联与聚合的区别
聚合与组合的区别
聚合关系:涉及的两个对象处于不平等的层次上,一个代表整体,一个代表部分。比如:电脑和它的显示器、键盘、主板以及内存就是聚集关系,因为主板是电脑的组成部分。
组合关系:代表整体的对象负责代表部分对象的生命周期。公司不存在,部门也没有意义了。再例如:人和五脏六腑、四肢的关系。
泛化关系定义为一个较普通的元素与一个较特殊的元素之间的类元关系。其中描述一般的元素称为父,描述特殊的元素称为子。(子类是父类的继承,则父类就是子类的泛化。)
通过泛化对应的继承机制使子类共享父类的属性和操作,小了模型的规模,同时也防止了模型的更新所导致的定义不一致的意外。
泛化关系的特征:
泛化关系的两种情况
依赖关系表示的是两个元素之间语义上的连接关系。对于两个元素X和Y,如果元素X的变化会引起对另一个元素Y的变化,则称元素Y依赖于X。其中,X被称为提供者,Y被称为客户。
现实例子:
比如说你要去拧螺丝,你是不是要借助(也就是依赖)螺丝刀(Screwdriver)来帮助你完成拧螺丝(screw)的工作。
对于类图而言,主要有以下需要使用依赖的情况:
实现关系用来表示规格说明与实现之间的关系。在类图中,实现关系主要用于接口与实现该接口的类之间。
一个类可以实现多个接口,一个接口也可以被多个类实现。
实现关系的两种表示法: