关于建模语言

建模语言是任何人工语言，可以用来表示信息或知识或系统的结构，由一套统一的规则定义的。这些规则用于解释结构中组件的含义。

建模语言可以是图形的或文本的。

图形建模语言使用一种图表技术，其中的命名符号表示概念和连接符号并表示关系的线，以及各种其他图形符号来表示约束。

文本建模语言可以使用带有参数或自然语言术语和短语的标准化关键字来制作计算机可解释的表达式。

图形建模语言和相应的文本建模语言的一个例子是EXPRESS。

并非所有建模语言都是可执行的，对于那些可以执行的语言，使用它们并不一定意味着不再需要程序员。相反，可执行建模语言旨在提高熟练程序员的生产力，以便他们能够解决更具挑战性的问题，例如并行计算和分布式系统。大量的建模语言出现在文献中。

统一建模语言(Unified Modeling Language，UML)是一种为面向对象系统的产品进行说明、可视化和编制文档的一种标准语言，是非专利的第三代建模和规约语言。UML是面向对象设计的建模工具，独立于任何具体程序设计语言。

UML作为一种统一的软件建模语言具有广泛的建模能力。UML是在消化、吸收、提炼至今存在的所有软件建模语言的基础上提出的，集百家之所长，它是软件建模语言的集大成者。UML还突破了软件的限制，广泛吸收了其他领域的建模方法，并根据建模的一般原理，结合了软件的特点，因此具有坚实的理论基础和广泛性。UML不仅可以用于软件建模，还可以用于其他领域的建模工作。

UML立足于对事物的实体、性质、关系、结构、状态和动态变化过程的全程描述和反映。UML可以从不同角度描述人们所观察到的软件视图，也可以描述在不同开发阶段中的软件的形态。UML可以建立需求模型、逻辑模型、设计模型和实现模型等，但UML在建立领域模型方面存在不足，需要进行补充。

作为一种建模语言，UML有严格的语法和语义规范。UML建立在元模型理论基础上，包括4层元模型结构，分别是基元模型、元模型、模型和用户对象。4层结构层层抽象，下一层是上一层的实例。UML中的所有概念和要素均有严格的语义规范。

UML采用一组图形符号来描述软件模型，这些图形符号具有简单、直观和规范的特点，开发人员学习和掌握起来比较简单。所描述的软件模型，可以直观地理解和阅读，由于具有规范性，所以能够保证模型的准确、一致。

概括起来说，UML主要有以下作用：

(1)为软件系统建立可视化模型。

UML符号具有良好的语义，不会引起歧义；基于UML的可视化模型，使系统结构直观、易于理解；使用UML进行软件系统的模型不但有利于系统开发人员和系统用户的交流，还有利于系统维护。模型是系统的蓝图，它可以对开发人员的规划进行补充，模型可以帮助开发人员规划要建的系统。有了正确的模型就可以实现正确的系统设计，保证用户的要求得到满足，系统能在需求改变时站得住脚。对于一个软件系统，模型就是开发人员为系统设计的一组视图。这组视图不仅描述了用户需要的功能，还描述了怎样去实现这些功能。

(2)为软件系统建立构件。

UML不是面向对象的编程语言，但它的模型可以直接对应到各种各样的编程语言。例如，它可以使用代码生成器工具将UML模型转换为多种程序设计语言代码，如可生成C++，XML，DTD，JAVA， Visual basic等语言的代码，或使用反向生成器工具将程序源代码转换为UML；甚至还可以生成关系数据库中的表。

(3)为软件系统建立文档。

UML可以为系统的体系结构及其所有细节建立文档。不同的UML模型图可以作为项目不同阶段的软件开发文档。

UML系统开发中有三个主要的模型：

功能模型：从用户的角度展示系统的功能，包括用例图。

对象模型：采用对象，属性，操作，关联等概念展示系统的结构和基础，包括类别图、对象图。

动态模型：展现系统的内部行为。包括序列图，活动图，状态图。

UML由模型元素(Model Element)、图(Diagram)、视图(View)和通用机制(General Mechanism)等几个部分组成。

代表面向对象中的类、对象、消息和关系等概念，是构成图的最基本的常面向对象系统分析与设计方法用概念。

是模型元素集的图形表示，通常是由弧（关系）和顶点（其他模型元素）相互连接构成的。 

是表达系统的某一方面的特征的UMI，建模元素的子集，由多个图构成，是在某一个抽象层上，对系统的抽象表示。

用于表示其他信息，比如注释、模型元素的语义等。另外，UML还提供扩展机制，使UML语言能够适应一个特殊的方法（或过程），或扩充至一个组织或用户。 

区分UML模型和UML图是非常重要的，UML图，包括用例图、协作图、活动图、序列图、部署图、构件图、类图、状态图，是模型中信息的图形表达方式，但是UML模型独立于UML图存在。UML的当前版本只提供了模型信息的交换，而没有提供图信息的交换。 

UML使用一套与Java语言或其他面向对象语言等价物，同时也是本体论等价物的图形标记。  

UML并不是一个方法学，也不要求使用一个方法学，但是UML对于Rational统一过程来说是必不可少的。

下面UML中的主要图例的功用做一个简单介绍: 

1)用例图

描述角色以及角色与用例之间的连接关系。说明是谁要使用系统，以及他们使用该系统可以做些什么。一个用例图包含了多个模型元素，如系统、参与者和用例，并且显示了这些元素之间的各种关系，如泛化、关联和依赖。

2)类图

类图是描述系统中的类，以及各个类之间的关系的静态视图。能够让我们在正确编写代码以前对系统有一个全面的认识。类图是一种模型类型，确切地说，是一种静态模型类型。类图表示类、接口和它们之间的协作关系。 

3)对象图

与类图极为相似，它是类图的实例，对象图显示类的多个对象实例，而不是实际的类。它描述的不是类之间的关系，而是对象之间的关系。

4)活动图

描述用例要求所要进行的活动，以及活动间的约束关系，有利于识别并行活动。能够演示出系统中哪些地方存在功能，以及这些功能和系统中其他组件的功能如何共同满足前面使用用例图建模的商务需求。

5)状态图

描述类的对象所有可能的状态，以及事件发生时状态的转移条件，可以捕获对象、子系统和系统的生命周期。它可以告知一个对象可以拥有的状态，并且事件(如消息的接收、时间的流逝、错误、条件变为真等)会怎么随着时间的推移来影响这些状态。一个状态图应该连接到所有具有清晰的可标识状态和复杂行为的类；该图可以确定类的行为，以及该行为如何根据当前的状态变化，也可以展示哪些事件将会改变类的对象的状态。状态图是对类图的补充。

6)序列图(时序图)

序列图是用来显示参与者如何以一系列顺序的步骤与系统的对象交互的模型。顺序图可以用来展示对象之间是如何进行交互的。顺序图将显示的重点放在消息序列上，即强调消息是如何在对象之间被发送和接收的。 

7)协作图

和序列图相似，显示对象间的动态合作关系。可以看成是类图和顺序图的交集，协作图建模对象或者角色，以及它们彼此之间是如何通信的。如果强调时间和顺序，则使用序列图;如果强调上下级关系，则选择协作图；这两种图合称为交互图。

8)构件图(组件图)

描述代码构件的物理结构以及各种构建之间的依赖关系。用来建模软件的组件及其相互之间的关系，这些图由构件标记符和构件之间的关系构成。在组件图，构件时软件单个组成部分，它可以是一个文件，产品、可执行文件和脚本等。 

9)部署图(配置图)

用来建模系统的物理部署。例如，计算机和设备，以及它们之间是如何连接的。部署图的使用者是开发人员、系统集成人员和测试人员。部署图用于表示一组物理结点的集合及结点间的相互关系，从而建立了系统物理层面的模型。