📄 umlsemantics002.htm
字号:
<head><meta NAME="Rose98" Content="Author:Asia Alien"><title>UML语义（中文）</title><meta http-equiv="Content-Type" content="text/html; charset=gb2312"><link REL="stylesheet" HREF="../../newcss.css" TYPE="text/css"></head><body><b><font face="Arial" size="6"> <a name="_Toc377282221"> </a> </font><font face="Arial" size="5"><h3 align="left"><font face="Arial" size="7"> <img border="0" src="i/umldilver.gif" WIDTH="606" HEIGHT="15"></font></h3> <h3></font><font size="5"><a name="_Toc377437659"></a><a name="1">1. 介绍</a> </font><a href="umlsemantics001.htm">返回目录</a></h3> <blockquote> <blockquote> </b><p><a name="1">本文档将介绍统一建模语言（UML）的语义。这些语义通过形式化文本和用来描述可用UML表示的所有模型构件的元模型进行规定。关于本文档的反馈信息请通过电子邮件发送到 <i>uml_feedback@rational.com</i>。</a></p> </blockquote> </blockquote> <blockquote> <blockquote> <b><font face="Arial" size="5"><p></font><font size="5"><a name="_Toc377282222"></a><a name="_Toc377437660"></a><a name="1.1">1.1 组织</a></p> </font> </b><p><a name="1.1">形式化文本描述和元模型按照下面五个包和相关图的方式进行组织：</a></p> <blockquote> <blockquote> <p>核心概念</p> <font face="Times New Roman"><p></font>公共元素</p> <font face="Times New Roman"><p></font>公共机制</p> <font face="Times New Roman"><p></font>公共类型</p> <p>结构化元素</p> <font face="Times New Roman"><p></font>类型、类和实例</p> <font face="Times New Roman"><p></font>关系</p> <font face="Times New Roman"><p></font>类型</p> <font face="Times New Roman"><p></font>类</p> <font face="Times New Roman"><p></font>协同</p> <p>行为化元素</p> <font face="Times New Roman"><p></font>状态机</p> <font face="Times New Roman"><p></font>交互作用</p> <p>视图元素</p> <font face="Times New Roman"><p></font>视图元素</p> <p>标准元素</p> <font face="Times New Roman"> </blockquote> </blockquote> </font><p><a name="1.1">每幅图的解释可以进一步划分为下列部分：</a></p> <blockquote> <p><a name="1.1">描述 关于图的目的和范围的陈述，以及未定义的各相关部件的定义</a></p> <p><a name="1.1">基本语义 图及其部件的含义</a></p> <p><a name="1.1">导出语义 由给定图中未直接提供的语义中导出的图及其部件的含义</a></p> <p><a name="1.1">标准元素 对应用于图中部件及其同义词的标准构造型、特征值和限制条件的交叉引用</a></p> </blockquote> <b><font face="Arial" size="5"><p></font><font size="5"><a name="_Toc377282223"></a><a name="_Toc377437661"></a><a name="1.2">1.2 读者范围</a></p> </font> </b><p><a name="1.2">本文档的编制目标是用精确的、无二义的方式介绍UML的完整语义。正因为如此，本文档特为专业读者提供，而不适合于目的在于学习与理解UML语义的初学者。的确，从本文档中，似乎可以看到UML是庞大和复杂的，但在这种所谓“复杂”的背后，我们可以看到这样的事实，UML定义了许多建模成分，这些成分在概念上是简单的（例如，类型的含义），只是在形式上有些复杂（整本书都在描述类型的含义）。另外，UML充分地表达了软件开发中涉及的的抽象系列体现形式和各层抽象之间的连接，其中，软件开发贯穿了一个广泛的论域，包括（但不局限于）信息系统、硬实时系统、网络系统系统，甚至包括某些非软件系统；UML可以处理商务处理的建模、建立相应的逻辑软件模型和物理软件模型、甚至可以引用到它们的实现。这样，我们可以相信，UML并不过于复杂，UML通过少量的概念构建而成，这些概念应用于很多的建模问题。</a></p> <p><a name="1.2">对于大多数用户来说，元模型是不可见的（它理应如此）。然而，对特定的读者并非如此，因为这样可以帮助读者理解UML的精确语义。这些读者包括标准组织的成员、工具构造者、作者以及培训者等。值得注意的是元模型对UML可扩充性的支持，使UML可以适应对面向对象分析和设计的改进。因此，元模型为UML的开发者提供稳定的体系结构，以适应新的建模问题：如果根据元模型可以很容易地为一个复杂问题建模，那么元模型的合法性就可以得到进一步证明。</a></p> <p><a name="1.2">本文档介绍的是一个语义的元模型，而并非工具的元模型。所以，所有实现必须符合这个语义元模型，但在内部可以自由地采用不同方式描述元模型。即，一个给定的实现既可以采用新的元模型类（例如，暂存值），也可以将不同的元模型类合并为一个。虽然存在区别，但每个实现必须符合这个元模型的语义，而且必须为基于这个语义元模型的其余部分模型提供充足的内接口和外接口。</a></p> </blockquote> </blockquote> <blockquote> <blockquote> <b><font face="Arial" size="5"><p></font><font size="5"><a name="_Toc377282224"></a><a name="_Toc377437662"></a><a name="1.3">1.3 约定</a></p> </font> </b><p><a name="1.3">本文档使用UML记法和语义来描述UML语义。虽然在一定程度上是递归描述（要理解UML语义的描述，就必须理解UML语义）， 但这使得理解本文档变得简单了，因为只需要使用UML的一个子集就可以描述清楚UML语义。UML语义通过一些类图来描述，这些类图主要由类（包括属性和操作）、关联（包括聚集）和包组成。大多数类只在一幅图中出现，但某些类（例如，类型）出现在几幅图中。通常，在一幅类图中出现的类只表现与本图相关的属性和操作；一个类的完整界面则必须通过所有包含此类的图来进行构造。</a></p> <p><a name="1.3">本文档提供了UML语义的形式化描述，但在形式化的程度上体现了实用的思想。例如，UML的语义描述中包含这样的短语“X的责任是…”以及“X是一个Y”。在这种情况中，虽然严格的形式化描述要求对这些尽管很简单的短语也必须进行详细的语义说明，但可以假设其含义为通常的含义。UML的语义描述尽可能地避免难懂的术语，不过，有两处例外：术语“表明”和“面”。在这里的上下文中，“表明”表示“使明确”，而“面”表示一个元素（特别是用于交互作用或通信中的元素）最重要或突出的方面。“表明”的反义词是“暗示”。</a></p> <font face="Times New Roman"><p></font> <font face="Times New Roman"></p> </font><p><a name="1.3">这样，UML元模型通过自然语言文本和用UML完成的类图进行组合描述。我们认为在使用元模型描述元模型时，尽管存在理论上的局限性，但经验告诉我们这种组合描述方式可以在笔者的表达和读者的理解之间建立一种合理的平衡。</a></p> </blockquote> </blockquote> <p><a href="umlsemantics001.htm">返回目录</a></p></body>⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -