📄 umlsemantics004.htm
字号:
<head><meta NAME="´¡ãÍâÈí¼þ¹¡è³Ì" 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><h3> <b><font face="Arial" size="7"> <img border="0" src="i/umldilver.gif" WIDTH="606" HEIGHT="15"></font> </b></h3> <h3><font size="5">3<a name="3"></a>. </font>核心概念：公共机制 <b><a href="umlsemantics001.htm">返回目录</a></b></h3> <p><img border="0" src="i/image4.gif" WIDTH="620" HEIGHT="479"></p> <b><font face="Arial" size="5"><p></font></b><font size="5">3<a name="3.1"></a>.1 </font>描述</p> <p>本图描述了UML的公共机制，包含下列元模型类：</p> <blockquote> <p>限制条件 限制条件是附着在元素或元素集合上的条件或约束。限制条件具有语义效果。某些限制条件在UML中预定义，其它由用户定义。</p> <p>依赖 参见第二节。</p> <p>元素 参见第二节。</p> <p>模型元素 参见第二节。</p> <p>附注 附注是附着在元素或元素集合上的注释。附注没有语义效果。</p> <p>关系 关系是元素之间的语义连接。</p> <p>构造型 参见第二节。</p> <p>标志值 标志值用来表示元素特征的名字/值对。标志值具有语义效果。某些标志值在UML中预定义，其它由用户定义。</p> <font face="Times New Roman"><p></font> <font face="Times New Roman"></p> </blockquote> </font><p>本图中还介绍了下列关系：</p> <blockquote> <p>依赖 依赖是由源（一个或多个）到目标（一个或多个）的单向的使用关系。源具有对目标的依赖。</p> <font face="Times New Roman"><p></font>附注可以是依赖的源。</p> <font face="Times New Roman"><p></font>限制条件可以是依赖的源。</p> <p>特征 特征是元素到标志值集合的组合聚集。标志值是元素的特征。</p> <p>分类 分类是元素到零个或一个构造型的共享聚集。构造型是元素的分类。</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> </blockquote> <b><font face="Arial" size="5"><p></font></b><font size="5">3<a name="3.2"></a>.2 </font>基本语义</p> <p>构造型是模型元素的子类型。构造型 的责任是为构造型所附着的元素实例提供分类方法，并且可以建立附加语义和可视化提示。构造型实例名字的值必须非空。构造型的value属性是未解释的，通常用于为构造型所附着的元素实例建立新的语义和可视化提示。构造型实例具有语义效果，某些构造型在UML中预定义，其它由用户定义，预定义构造型的语义在UML中指定，用户定义构造型的语义无法由UML指定。</p> <p>构造型是UML三个可扩展性机制之一，它允许建模者采用可控制的方式扩展UML元模型中的类。特别是，由构造型实例S分类的元素实例E和与S同名并以元素实例E为超类型的新的元模型类在语义上等价。UML中每个预定义构造型都可以被明确地写成超类型为构造型所对应的元模型类的新的元模型类。由此可以很自然地得出，UML可以只由两个类（物体和构造型）定义──其余的元模型概念都可以被导出为构造型物体的实例。这在技术上是正确的，但实际上是不可行的。所以，UML的思想是这样的：所有充分体现感兴趣语义并与其它概念存在复杂关系的基本的元模型概念都被表达为不同的元模型类。另外，可以被表达为这些基本元模型概念的简单子类型的元模型概念都被当作构造型。</p> <p>分类是元素实例到不超过一个的构造型实例的共享聚集。分类的责任是将一个构造型实例附着到一个元素实例上。每个元素实例最多可以具有一个构造型实例，而每个构造型实例可以附到零个或一个元素实例中。</p> <p>标志值是模型元素的子类型。标志值的责任是提供它所在元素实例的特征。标志值实例的名字的值必须为非空。标志值的value属性是未解释的。标志值实例具有语义效果，某些标志值在UML中预定义，其它由用户定义，预定义标志值的语义在UML中指定，用户定义标志值的语义无法由UML指定。</p> ⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -