📄 umlsemantics005.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> <b><font face="Arial" size="5"><h3><font face="Arial" size="7"> <img border="0" src="i/umldilver.gif" WIDTH="606" HEIGHT="15"></font></h3> <h3></font></b><font size="5">4.<a name="4"></a> </font>核心概念：公共类型 <b><a href="umlsemantics001.htm">返回目录</a></b></h3> <blockquote> <p> <font size="3"><img border="0" src="i/image5.gif" WIDTH="619" HEIGHT="479"></font></p> <b><font face="Arial" size="5"><p></font></b><font size="5">4.1<a name="4.1"></a> </font>描述</p> <p>本图描述了UML的公共类型，包含下列元模型类：</p> <p>布尔值 布尔值是取值为真和假的枚举。</p> <p>表达式 表达式是一个字符串。</p> <p>列表 列表是一种容器类型，它的部件是有序的，而且可以建立索引。</p> <p>多重记号 多重记号是非负整数以及表示无限的符号的非空集合。每个多重记号实例都有对应的字符串表示。</p> <p>名字 参见第二节。</p> <p>点 点是用于表示空间中位置的（x,y,z）三元组。</p> <p>字符串 字符串是文本流。</p> <p>时间 时间是在时空中表示绝对或相对时刻的字符串。</p> <p>未解释的 未解释的是一种blob，其含义是与论域有关的。每个未解释的实例都具有对应的字符串表示。</p> <b><font face="Arial" size="5"><p></font></b><font size="5">4.2 </font><a name="4.2"></a>基本语义</p> <p>布尔值是取值为真和假的一种枚举。布尔值的责任是为实现类型表达式和迁移条件提供一个二元的值。</p> <p>表达式是一种字符串，它的责任是提供表示数值的字符串。表达式是一种抽象类，每个表达式实例都可以得出类型由表达式子类型指定的值。表达式实例不需要是静态的，但可以包含从表达式实例所在的范围内提取出的名字实例。具有明确形式的表达式实例的语法定义超出了UML的范围。</p> <p>列表是一种容器类型，它的部件是有序的，而且可以建立索引。列表的责任是提供元素实例的集合。应用于列表实例的操作超出了UML的范围。</p> <p>多重记号是非负整数以及表示无限的符号的非空集合。多重记号的责任是指定集合所允许基数的范围。多重记号实例不需要是静态的，但可以包含从多重记号实例所在的范围内提取出的名字实例。包含名字的多重记号在执行时刻之前必须具有名字的绑定。多重记号实例的字符串表现形式的语法由下面的产生规则指定：</p> <font face="Courier New"><p></font>多重记号 ::= [间隔 | 数]{‘,’ 多重记号}<font face="Courier New"></p> <p></font>间隔 ::= 数 “..” 数</p> <font face="Courier New"><p></font>数 ::= 非负整数 | 名字 | ‘*’<font face="Courier New"></p> <p></font> <font face="Courier New"></p> </font><p>这样，多重记号实例的字符串表现形式基本上是一个由逗号分隔的间隔和数的列表。间隔是由两个数指定的非负整数的闭区间，范围由区间的下界到上界，这里的上下界都是数。数可以是非负整数、取值为非负整数的名字实例或者表示无限边界的星号。只由一个星号组成的多重记号表示整个非负整数域。尽管不必需，多重记号实例的字符串形式通常指定为非负整数的单调增区域和不重叠区域。</p> <p>名字是一种字符串，它的责任是为它所属的元素实例提供一种确认机制，使元素实例在命名空间的上下文中可以被唯一地识别。名字实例是它所属元素实例的简单名字。空的名字实例是空的字符串。所有空的名字实例都被看作唯一的。</p> <p>复合名字可以按照下面的产生规则，由简单名字组合而成：</p> <font face="Courier New"><p></font>复合名字::= 简单名字 {‘.’ 复合名字}<font face="Courier New"></p> <p></font> <font face="Courier New"></p> </font><p>复合名字命名了由一个元素实例到另一个元素实例的路径。由于元素实例的名字只是在其命名空间的上下文中才是唯一的，所以它的名字可以按照下面的产生规则被拥有或引用此元素实例的包实例的名字所限制：</p> <font face="Courier New"><p></font>限制名字::= 限制域 “::” 简单名字</p> <font face="Courier New"><p></font>限制域 ::= 包的名字{“::” 限制域}<font face="Courier New"></p> <p></font> <font face="Courier New"></p> </font><p>点是用于表示空间中位置的（x,y,z）三元组，它的责任是标注模型元素实例投影到图实例中的位置。图实例的原点为三元组（0, 0, 0）， 表示左上角的位置。点实例三元组中的的值都是非负整数，分别表示x、y、z轴坐标。点实例的z坐标值可以省略，这时z值被假设为0。</p> <p>字符串是文本流。字符串的责任是为文本流命名。</p> <p>时间是在时空中表示绝对或相对时刻的字符串。时间的责任是为时空中的时刻命名。具有明确形式的时间实例的语法定义超出了UML的范围。</p> <p>未解释的是一种blob，表示其值是二进制流。未解释的的责任是隔离UML中与实现相关的性质。虽然未解释的实例的语法定义超出了UML的范围，每个未解释的实例都有对应的字符串形式。空的未解释的实例是空的字符串。</p> <b><font face="Arial" size="5"><p></font></b><font size="5">4.3 </font><a name="4.3"></a>导出语义</p> <p>本图中描述的类中，没有元素的子类型。</p> <p>表达式有四个具体子类型：动作表达式、布尔表达式、时间表达式和类型表达式。动作表达式的语义参见第十节。布尔表达式和时间表达式的语义参见第十节，而类型表达式的语义参见第五节。动作表达式取值为动作实例。布尔表达式实例取值为布尔值实例。时间表达式实例取值为时间实例。而类型表达式实例取值为类型实例。</p> <p>如第七节所述，类型实例通过嵌套拥有其它类型实例，这些语义影响限制名字的语义。</p> <b><font face="Arial" size="5"><p></font></b><font size="5">4.4 </font><a name="4.4"></a>标准元素</p> <p>有一个同义词应用于本图所描述的元模型类：</p> <table border="1" cellspacing="1" bordercolor="#000000" width="534" align="center"> <tr> <td width="33%">同义词</td> <td width="67%">定义</td> </tr> <tr> <td width="33%">简单名字</td> <td width="67%">简单名字是一个名字。</td> </tr> </table> </blockquote> <p><b><a href="umlsemantics001.htm">返回目录</a></b></p> </body> ⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -