统一建模语言（Unified Modeling Language， UML）是用于系统的可视化建模语言，它将OMT、 OOSE 和 Booch 方法中的建模语言和方法有机地融合在一起，是国际统一的软件建模标准。
1、UML 的结构
UML 由构造块、公共机制和架构三个部分组成。
（1）构造块。构造块也就是基本的 UML 建模元素（事物）、关系和图。 建模元素：包括结构事物（类、接口、协作、用例、活动类、组件、节点等）、行为事物（交互、状态机）、分组事物（包）、注释事物。关系：包括关联关系、依赖关系、泛化关系、实现关系。图： UML 2.0 包括 14 种不同的图，分为表示系统静态结构的静态模型（包括类图、对象图、包图、构件图、部署图、制品图），以及表示系统动态结构的动态模型（包括对象图、用例图、顺序图、通信图、定时图、状态图、活动图、交互概览图）。
（2）公共机制。公共机制是指达到特定目标的公共 UML 方法，主要包括规格说明、修饰、公共分类和扩展机制 4 种 。
规格说明：规格说明是元素语义的文本描述，它是模型的重要组成部分。 修饰： UML 为每一个模型元素设置了一个简单的记号，还可以通过修饰来表达更多的信息。 公共分类：包括类元与实体（类元表示概念，而实体表示具体的实体）、接口和实现（接口用来定义契约，而实现就是具体的内容）两组公共分类。 扩展机制：包括约束（添加新规则来扩展元素的语义）、构造型（用于定义新的 UML建模元素）、标记值（添加新的特殊信息来扩展模型元素的规格说明）。
（3）架构。
定义是：系统的组织结构，包括系统分解的组成部分、它们的关联性、交互、机制和指导原则，这些提供系统设计的信息。
逻辑视图：以问题域的语汇组成的类和对象集合。目标对象最终用户。 进程视图：可执行线程和进程作为活动类的建模，它是逻辑视图的一次执行实例。 目标对象系统集成人员。 实现视图：对组成基于系统的物理代码的文件和组件进行建模。 目标对象开发人员 部署视图：把组件物理地部署到一组物理的、可计算的节点上。 目标对象系统安装人员。 用例视图：最基本的需求分析模型。 目标对象需求分析人员。
2、用例图基础
（1）参与者。参与者代表与系统接口的任何事物或人，它是指代表某一种特定功能的角色 。
（2）用例。用例是对系统行为的动态描述，它可以促进设计人员、开发人员与用户的沟通，理解正确的需求，还可以划分系统与外部实体的界限，是系统设计的起点。
（3）包含和扩展。两个用例之间的关系可以主要概括为两种情况。一种是用于重用的包含关系，用构造型<<include>>或者<<use>>表示；另一种是用于分离出不同的行为，用构造型<<extend>>表示。
包含关系：当可以从两个或两个以上的原始用例中提取公共行为，或者发现能够使用一个组件来实现某一个用例的部分功能是很重要的事时，应该使用包含关系来表示。所提取出来的公共行为称为抽象用例。包含关系的例子如图 8-13 所示。
扩展关系：如果一个用例明显地混合了两种或两种以上的不同场景，即根据情况可能发生多种事情。
4．类图和对象图基础 在面向对象建模技术中，将客观世界的实体映射为对象，并归纳成一个个类。类、对象和它们之间的关联是面向对象技术中最基本的元素。对于一个想要描述的系统，其类模型和对象模型揭示了系统的结构。
类之间的关系
① 依赖关系。有两个元素 X、Y，如果修改元素 X 的定义可能会引起对另一个元素 Y 的定义的修改，则称元素 Y 依赖于元素 X。在 UML 中，使用带箭头的虚线表示依赖关系。在类中，依赖由多种原因引起，如：一个类向另一个类发消息；一个类是另一个类的数据成员；一个类是另一个类的某个操作参数。 使用带箭头的虚线表示依赖关系。
② 泛化关系。泛化关系描述了一般事物与该事物中的特殊种类之间的关系，也就是父类与子类之间的关系。继承关系是泛化关系的反关系，也就是说子类是从父类中继承的，而父类则是子类的泛化。在 UML 中，使用带空心箭头的实线表示，箭头指向父类。 使用带空心箭头的实线表示，箭头指向父类。
③ 关联关系。关联表示两个类之间存在某种语义上的联系。例如，一个人为一家公司工作，一家公司有许多办公室。就认为人和公司、公司和办公室之间存在某种语义上的联系。
关联关系提供了通信的路径，它是所有关系中最通用的、语义最弱的 。