UML(Unified Modeling Language的缩写)统一建模语言,是用来对软件密集系统进行可视化建模的 一种语言。UML为面向对象开发系统的产品进行说明、可视化、和编制文档的一种标准语言。
统一建模语言 (UML)是非专利的第三代建模和规约语言。 UML是在开发阶段,说明,可视化,构建和书写一个面向对象软件密集系统的制 品的开放方法。UML展现了一系列最佳工程实践,这些最佳实践在对大规模,复杂系统进行建模方面,特别是在软件架构层次已经被验证有效。
UML可以贯穿软件开发周期中的每一个阶段。被OMG采纳作 为业界的标准。
UML最适于数据建模,业务建模,对象建模,组件建模。
UML作为一种模型语言,它使开发人员专注于建立产品的模型和结构,而不是选用什么程序语言和 算法实现。当模型建立之后,模型可以被UML工具转化成指定的程序语言代码。
IBM的Rational Rose和MS的Visio都是UML工具。
作为一种建模语言,UML的定义包括UML语义和UML表示法两个部分。
(1) UML语义 描述基于UML的精确元模型定 义。元模型为UML的所有元素在语法和语义上提供了简单、一致、通用的定义性说明,使开发者能在语义上取得一致,消除了因人而异的最佳表达方法所造成的影 响。此外UML还支持对元模型的扩展定义。
(2) UML表示法 定义UML符号的表示法,为开发者或开发工具使用这些图形符号和文本语法为系统建模提供了标准。这些图形符号和文字所表达的是应用级的模型,在语义上它是 UML元模型的实例。
标准建模语言UML的重要内容可以由下列五类图(共9种图形)来定义:
第一类是用例图 ,从用户角度描述系统功能,并指出各功能的操作者。
第二类是静态图 (Static diagram), 包括类图、对象图和包图。 其中类图描述系统中类的静态结构。不仅定义系统中的类,表示类之间的联系如关联、依赖、聚合等,也包括类的内部结构(类的属性和操作)。类图描述的是一种 静态关系,在系统的整个生命周期都是有效的。
对象图是类图的实例,几乎使用与类图完全相同的标识。他们的不同点在于对象图显示类的多个对象 实例,而不是实际的类。一个对象图是类图的一个实例。由于对象存在生命周期,因此对象图只能在系统某一时间段存在。
包由包或类组成,表示包与包之间的关系。包图用于描述系统的分层结构。
第三类是行为图(Behavior diagram), 描述系统的动态模型和组 成对象间的交互关系。其中状态图描述类的对象所有可能的状态以及事件发 生时状态的转移条件。通常,状态图是对类图的补充。在实用上并不需要为所有的类画状态图,仅为那些有多个状态其行为受外界环境的影响并且发生改变的类画状 态图。
而活动图描述满足用例要求所要进行的活动以及活动间的约束关系,有利于识别并行活动。
第四类是交互图(Interactive diagram), 描述对象间的交互 关系。其中顺序图显示对象之间的动态合作关系,它强调对象之间消息发送的顺序,同时显示对象之间的交互;合作图描述对象间的协作关系,合作图跟顺序图相 似,显示对象间的动态合作关系。除显示信息交换外,合作图还显示对象以及它们之间的关系。如果强调时间和顺序,则使用顺序图;如果强调上下级关系,则选择 合作图。这两种图合称为交互图。
第五类是实现图 ( Implementation diagram )。 其中 构件图描述代码部件的物理结构及各部件之间的依赖关系。一个部件可能是一个资源代码部件、一个二进制部件或一个可执行部件。它包含逻辑类或实现类的有关信 息。部件图有助于分析和理解部件之间的相互影响程度。
配置图定义系统中软硬件的物理体系结构。它可以显示实际的计算机和设备(用节点表示)以及它们 之间的连接关系,也可显示连接的类型及部件之间的依赖性。在节点内部,放置可执行部件和对象以显示节点跟可执行软件单元的对应关系。
从应用的角度看,当采用面向对象技术设计系统时,首先是描述需求;其次根据需求建立系统的静态 模型,以构造系统的结构;第三步是描述系统的行为。其中在第一步与第二步中所建立的模型都是静态的,包括用例图、类图(包含包)、对象图、组件图和配 置图等五个图形,是标准建模语言UML的静态建模机制。其中第三步中所建立的模型或者可以执行,或者表示执行时的时序状态或交互关系。它包括状态图、活动 图、顺序图和合作图等四个图形,是标准建模语言UML的动态建模机制。因此,标准建模语言UML的主要内容也可以归纳为静态建模机制和动态建模机制两大类。
UML的应用领域
UML的目标是以面向对象图的方式来描述任何类型的系统,具有很宽的应用领域。其中最常用的是建立软件系统的模型,但它同样可以用于描述非软件领域的系 统,如机械系统、企业机构或业务过程,以及处理复杂数据的信息系统、具有实时要求的工业系统或工业过程等。总之,UML是一个通用的标准建模语言,可以对 任何具有静态结构和动态行为的系统进行建模。
此外,UML适用于系统开发过程中从需求规格描述到系统完成后测试的不同阶段。在需求分析阶 段,可以用用例来捕获用户需求。通过用例建模,描述对系统感兴趣的外部角色及其对系统(用例)的功能要求。分析阶段主要关心问题域中的主要概念(如抽象、 类和对象等)和机制,需要识别这些类以及它们相互间的关系,并用UML类图来描述。为实现用例,类之间需要协作,这可以用UML动态模型来描述。在分析阶 段,只对问题域的对象(现实世界的概念)建模,而不考虑定义软件系统中技术细节的类(如处理用户接口、数据库、通讯和并行性等问题的类)。这些技术细节将 在设计阶段引入,因此设计阶段为构造阶段提供更详细的规格说明。
编程(构造)是一个独立的阶段,其任务是用面向对象编程语言将来自设计阶段的类转换成实际的代 码。在用UML建立分析和设计模型时,应尽量避免考虑把模型转换成某种特定的编程语言。因为在早期阶段,模型仅仅是理解和分析系统结构的工具,过早考虑编 码问题十分不利于建立简单正确的模型。
UML模型还可作为测试阶段的依据。系统通常需要经过单元测试、集成测试、系统测试和验收测 试。不同的测试小组使用不同的UML图作为测试依据:单元测试使用类图和类 规格说明;集成测试使用部件图和合作图;系统测试使用用例图来验证系统的行为;验收测试由用户进行,以验证系统测试的结果是否满足在分析阶段确定的需求。
总之,标准建模语言UML适用于以面向对象技术来描述任何类型的系统,而且适用于系统开发的不 同阶段,从需求规格描述直至系统完成后的测试和维护。
UML 2.0 中一共定义了13 种图示(diagrams)。为方便了解,可分类成右侧的结构。
结构图(Structure diagrams) 强调的是系统式的建模:
类图 (Class Diagram)
组件图(Component diagram)
复合结构图(Composite structure diagram)
部署图(Deployment diagram)
对象图(Object diagram)
包图(Package diagram)
行为图(Behavior diagrams) 强调系统模型中触发的事件:
活动图(Activity diagram)
状态机图 (State Machine diagram)
用例图 (Use Case Diagram)
交互图(Interaction diagrams), 属于行为图形的子集合,强调系统模型中的资料流程:
通信图(Communication diagram]]
交互概述图(Interaction overview diagram) (UML 2.0)
序列图(顺序图)(Sequence diagram)
时间图(UML Timing Diagram) (UML 2.0)
协定状态机是状态机的子变种。它用来塑造网络通讯协定模型。
1 类图/Class diagram
显示系统中的类和包,提供系统构件及其相互关系。静态结构建模
2 用例图/Use-case diagram
用例图从用户的角度描述系统功能的使用者和主要的系统操作流程。显示用例与参与者及其相互关系。系统功能建模
3 协作图/Collaboration diagram
从对象组织结构的角度显示用例中特定情形的操作流程。动态行为建模
4 顺序图/Sequence diagram
按时间顺序显示用例中特定情形的操作流程。动态行为建模
5 状态图/Statechart diagram
显示系统中类的对象所有可能的状态以及事件发生时状态的转换条件。动态行为建模
6 活动图/Activity diagram
描述满足用例要求所需进行的活动以及活动间的关系的图。动态行为建模
7 构件图/Component diagram
描述代码构件的物理结构以及构件之间的依赖关系。组件图有助于分析和理解组件之间的影响程度。静态结构建模
8 部署图/Deployment diagram
描述系统中的物理结构。静态结构建模