统一建模语言UML轻松入门
——UML基本概念
来源:天极软件
  20 世纪80 年代,随着面向对象技术成为研究的热点,先后出现了几十种面向对象的软件开发方法。其中,Booch、OMT 和OOSE等方法得到了广泛的认可。然而,采用不同方法进行建模不利于开发者之间的交流。而UML则统一了Booch、OMT 和OOSE 的表示方法,而且对其作了进一步的发展。1997 年,UML 被国际对象组织OMG采纳为面向对象的建模语言的国际标准,它溶入了软件工程领域的新思想、新方法和新技术。UML不限于支持面向对象的分析与设计,还支持从需求分析开始的软件开发的全过程。数年来,UML凭借其简洁明晰的表达方式、超凡脱俗的表达能力,一路杀将出来,为业界所广泛认同!目前,在多数大型企业的正规化开发流程中,开发人员普遍使用UML进行模型的建立。作为一名软件开发人员,我们必须学会UML。因为UML就是那个统一的"文字",统一的"度"、"量"、"衡",不理解UML,作为软件设计统一王国的国民,将是艰难而痛苦的。

  作曲家会将其脑袋中的旋律谱成乐曲,建筑师会将其设计的建筑物画成蓝图,这些乐曲、蓝图就是模型(Model),而建构这些模型的过程就称为建模(Modeling)。软件开发如同音乐谱曲及建筑设计,其过程中也必须将需求、分析、设计、实现、布署等各项工作流程的构想与结果予以呈现,这就是软件系统的建模。

  那么为什么要建模呢?经典答案是:建立大厦和建立狗窝的区别是建设狗窝不需要设计,要生产合格的软件就要有一套关于体系结构、过程和工具的规范。

  OMG官方发布的UML的当前最高版本为2.0,可以从[url]http://www.uml.org/[/url]上下载。

  UML由图和元模型组成,图是语法,元模型是语义。UML主要包括三个基本构造块:事物(Things)、关系(Relationships)和图(Diagrams)。本次连载我们将对UML的这些基本组成部分及UML工具和应用进行介绍,使读者对UML形成初步的整体印象。在其后的几次连载里,再以数个实例对这些内容逐步展开。

  1.1 UML的基本构造块

  1.1.1事物

  事物是是实体抽象化的最终结果,是模型中的基本成员,UML中包含结构事物、行为事物、分组事物和注释事物。

  (1)结构事物(Structural things)

  结构事物是模型中的静态部分,用以呈现概念或实体的表现元素,是软件建模中最常见的元素,共有以下七种:

  类(Class):类是指具有相同属性、方法、关系和语义的对象的集合;

  接口(Interface):接口是指类或组件所提供的服务(操作),描述了类或组件对外可见的动作;

  协作(Collaboration):协作描述合作完成某个特定任务的一组类及其关联的集合,用于对使用情形的实现建模;

  用例(Use Case):用例定义了执行者(在系统外部和系统交互的人)和被考虑的系统之间的交互来实现的一个业务目标;

  活动类(Active Class):活动类的对象有一个或多个进程或线程。活动类和类很相象,只是它的对象代表的元素的行为和其他的元素是同时存在的;

  组件(Component):组件是物理的、可替换的部分,包含接口的集合,例如COM+ 、JAVA BEANS等;

  结点(Node):结点是系统在运行时存在的物理元素,代表一个可计算的资源,通常占用一些内存和具有处理能力。

  (2)行为事物(Behavioral things)

  行为事物指的是UML模型中的动态部分,代表语句里的"动词",表示模型里随着时空不断变化的部分,包含两类:

  交互(ineraction):交互是由一组对象之间在特定上下文中,为达到特定的目的而进行的一系列消息交换而组成的动作;

  状态机(state machine):状态机由一系列对象的状态组成。

  (3)分组事物(Grouping things)

  可以把分组事物看成是一个"盒子",模型可以在其中被分解。目前只有一种分组事物,即包(package)。结构事物、动作事物甚至分组事物都有可能放在一个包中。包纯粹是概念上的,只存在于开发阶段,而组件在运行时存在。

  (4)注释事物(Annotational things)

  注释事物是UML模型的解释部分。

  1.1.2关系

  关系是将事物联系在一起的方式,UML中定义了四种关系:

  (1)依赖(Dependencies):两个事物之间的语义关系,其中一个事物发生变化会影响另一个事物的语义;

  (2)关联(Association):一种描述一组对象之间连接的结构关系,如聚合关系(描述了整体和部分间的结构关系);

  (3)泛化(Generalization):一种一般化-特殊化的关系;

  (4)实现(Realization) :类之间的语义关系,其中的一个类指定了由另一个类保证执行的契约。

  1.1.3图

  图是事物集合的分类,UML中包含多种图:

  (1)类图(Class Diagram):类图描述系统所包含的类、类的内部结构及类之间的关系;

  (2)对象图(Object Diagram):对象图是类图的一个具体实例;

  (3)包图(Package Diagram):包图表明包及其之间的依赖类图;

  (4)组件图(Compoment Diagram,也称构件图):组件图描述代码部件的物理结构以及各部件之间的依赖关系;

  (5)部署图(Deployment Diagram):部署图定义系统中软硬件的物理体系结构;

  (6)用例图(Usecase Diagram):用例图从用户的角度出发描述系统的功能、需求,展示系统外部的各类角色与系统内部的各种用例之间的关系;

  (7)顺序图(Sequence Diagram):顺序图表示对象之间动态合作的关系;

  (8)协作图(Collaboration Diagram):合作图描述对象之间的协作关系;

  (9)状态图(Statechart Diagram):状态图描述一类对象的所有可能的状态以及事件发生时状态的转移条件;

  (10)活动图(Activity Diagram):活动图描述系统中各种活动的执行顺序。

  上述十种图可归纳为五类,如表1.1。

  表1.1 UML图分类

类型 包含
静态图 类图、对象图、包图
行为图 状态图、活动图
用例图 用例图
交互图 顺序图、协作图
实现图 组件图、部署图