6.4 如何读本规范

本文档的余下部分包含了本规范的技术内容。

UML的概念白分组到不同章节中。每一章都覆盖一个特定的建模形式化机制。例如，所有与状态机建模相关的概念都集中中状态机章节中，所有与活动建模相关的概念都在活动一章中。

章节的组织以最小化前向引用为目标。第7到12章主要关注结构建模。第13到17章主要关注行为建模。第18到20章覆盖辅助概念，包括用例、部署和信息流。21和22章规定了基本类型和标准的profile。

附录A讨论了UML图。附录B规定了UML图互换的模型：这是一个新的部分，之前版本中没有。附录C规定了关键字；附录D规定了一些可选的表格图示；附录E规定了XMI序列化的格式。

尽管章节按照逻辑组织可以顺序阅读，但这是一个参考规范，也可以以非顺序化的方式阅读。因此，提供了大量的交叉引用来帮助浏览和查找。

在每一章中，首先是本章所描述概念的一个简要描述。之后被划分为抽象语法、语义、表示法和示例子节，它们公同描述了该章概念。

抽象语法包括一个或更多的图，它们按照一个MOF模型（即UML元模型）来定义功能，其中每个建模概念表示为一个元类或元关联的实例。在这样的图中，该章出现的所有元类连同它的属性格间都表示了出来，来自其它章的元类只表示为标题头（名称），没有格间。

如下样式惯例用于语义、图示和实例部分：

图示（表示法）子节规定了定义在该章所有概念相对应的图示。只有能够在图中显示的概念才会有规定的图示。对应文本图示使用BNF的一个变体来规定合法格式。该BNF惯例如下：

非终结符包括在尖括号中（例如，<non-terminal>）
所有终结符（关键字、字符串等）包括在引号内（例如，‘or’）
非终结符的生成式规则使用‘::=’操作符来指示
项的重复用其后的星号‘*’来指示
生成式中的选择使用‘|’符号（例如<alternative-A> | <alternative-B>）
可选项包括在方括号内（例如[<item-x>]）
需要分组的项用括号包含；例如 (<item-1> | <item-2>)* 指示一个或多个项的序列，每个项或者是<item-1>或者是<item-2>

注意. 由于对于所有的UML表层语法，UML文本图示只是用于展示。这些图示不必可以无歧义地被解析——举个例子，建模者可以在属性名称中使用类似“/”和“:”，即使它们在属性文本图示的BNF中用作特殊的标点。这可能对一些读者带来困惑，因为BNF通常用于规定可解析的编程语言文本。

示例子节用例子对出本章中概念进行说明。

注意. 本规范的所有示例用于阐释UML建模构造的语法和语义，而并非对真实世界作出任何断言。

表示法和示例子节中出现的图是用不同的工具做的，因此在字体、线宽、箭头大小等样式方面会有所不同。这些区别与规范无关。

表示法子节上的声明假定模型图是以白底黑字的方式展现的。遵循本规范的工具可以采用其它的颜色主题，此种情形下，“黑”应该被解读为“实（心）”，“白”应该被解读为“空心”，“灰”应该被解读为“在实心和空间之间的一种可区分颜色”。

results matching ""