UML(Unified Modeling Language)是一种统一的建模语言，它是一个支持模型化和软件系统开发的图形化语言。UML为软件开发的所有阶段提供模型化和可视化支持，包括需求分析、规格、构造和配置。UML规范用来描述建模的概念有类、对象、关联、职责、行为、接口、用例、包、顺序、协作以及状态。
UML分为以下几类：
1. 用例图：描述系统中参与者(Actor)、用例(Use Case),边界以及它们之间的关系构成的用于描述系统功能的视图。
2. 静态图：类图、包图和对象图，分别描述系统的类结构、分层结构以及类的实例。
3. 行为图：活动图和状态图，分别描述系统的动态行为和状态变化。
4. 交互图：时序图和活动图，分别描述对象之间传递消息的时间顺序和用例的行为顺序。
5. 实现图：配置图，表示类之间的依赖关系和实现细节。
其中，类图是最基本的UML图，主要用于描述系统的静态结构。类图可以用来显示类、接口以及它们之间的静态结构和关系。符号包括虚线箭头(表示依赖关系，如局部变量、方法参数或对静态方法的调用)、实线箭头(表示关联关系)、虚线三角(表示接口)、实线三角(表示父类)和空心菱形(表示聚合关系，整体与部分的关系，部分离开整体仍可存在)以及实心菱形(表示组合关系，整体与部分的关系，部分不能离开整体存在)。
时序图(顺序图/序列图)用于描述系统的动态行为，它表示对象之间传递消息的时间顺序，可以用来表示用例的行为顺序。符号包括实线箭头(表示简单消息)、实线三角(表示同步消息，即消息发送者将控制传递给消息接收者并暂停活动等待回应)、虚线箭头(表示返回消息，即消息发送者发送消息给消息接收者后不需等待回应即可开始另一个活动)以及实线半箭头(表示异步消息)。
用例图用于描述系统的功能，由参与者(Actor)、用例(Use Case)、边界以及它们之间的关系构成。关系包括关联、泛化、包含和扩展。符号包括实线(表示关联关系)、实线空三角(表示泛化关系或继承关系)、虚线箭头(表示包含关系和拓展关系)以及虚线空三角(表示依赖关系，即后来添加的)。
总之，UML是一种强大的建模语言，可以帮助开发者更好地理解和设计软件系统。通过使用不同的UML图，开发者可以清晰地表达系统的结构、行为和功能。
