人人文库网 > 行业资料 > 各类标准 > GB-T 17645.24(6)-2003 工业自动化系统与集成零件库 第24部分 逻辑资源:供应商库的逻辑模型(6).rar
GB-T 17645.24(6)-2003 工业自动化系统与集成零件库 第24部分 逻辑资源:供应商库的逻辑模型(6).pdf
GB-T 17645.24(6)-2003 工业自动化系统与集成零件库 第24部分 逻辑资源:供应商库的逻辑模型(6).rar
收藏
资源目录
压缩包内文档预览:(预览前20页/共50页)
编号:20244091
类型:共享资源
大小:2.84MB
格式:RAR
上传时间:2019-06-25
上传人:hon****an
认证信息
个人认证
丁**(实名认证)
江苏
IP属地:江苏
5.99
积分
- 关 键 词:
-
工业自动化系统与集成零件库
逻辑资源:供应商库
17645.24
工业自动化系统与集成 零件库
第24部分:
逻辑资源: 供应商库
2003工业自动化系统与集成零件库第24部分逻辑资源供应
- 资源描述:
-
GB-T 17645.24(6)-2003 工业自动化系统与集成零件库 第24部分 逻辑资源:供应商库的逻辑模型(6).rar,工业自动化系统与集成零件库,逻辑资源:供应商库,17645.24,工业自动化系统与集成 零件库,第24部分:,逻辑资源: 供应商库,2003工业自动化系统与集成零件库第24部分逻辑资源供应
- 内容简介:
-
G B / T 1 7 6 4 5 . 2 4 - 2 0 0 3 / I S O 1 3 5 8 4 - 2 4 : 2 0 0 2 例 4 ; 假定在一个工程库中, 在它的 i t e m - c l a s s - e x t e n s i o n 类中, 由d i a m e t e r ( 直径) , t h i c k n e s s ( 厚度) , 及 m a t e r i a l ( 材料) 确定了一个导管。这些确定特性与可能的相关环境参数一起构成了类选择特性。假定从这些特性中可以导出其m a s s ( 质量) 和 s u p p o r t e d - p r e s s u r e ( 可承受的压力) 。这些特性都是派生特性。 假设库数据供应商或库用户在对库的适应期间, 要使用户或是基于 r e q u i r e d - p r e s s u r e ( 需求压力)(该导管支持这个建议给用户选择的压力) 或是基于所谓的s p e c( 当s p e c 是通过只选取直径而全部地定义该导管来定义的) 。在这些假设下, 该导管的类扩展就会被建成以下模型: 属于s e l e c t a b le p r o p e r t ie s 的 两个相 关环境参数 会被定义为: r e q u ir e d - p r e s s u r e 和s p e c , 每个参数都与定义许可 值集 合的d o m a in r e s t r ic t io n 有关。 三个零件属性会被定义为 s e l e c t a b l e - p r o p e r t i e s , 与 d o m a i n r e s t r i c t i o n s( 例如, t a b l e d e f i n e d d o m a i n ( 表定义 域) ) 有关, 名称为d ia m e t e r , t h i c k n e s s 和m a te r ia l . 两个零件特性会被定义为 d e r i v e d - p r o p e r t i e s , 与 f u n c t i o n a l _ d o m a i n _ r e s t r i c t i o n ( 例如, t a b l e - d e f i n e d - v a l u e ( 表定 义值) ) 有关, 命名为m a s s 和可承 受的p r e s s u r e . 两个 筛选程序 会被定义, 其一是以 从 S p e c 和d i a m e t e r 导出 th ic k n e s s 和m a t e r ia l 的f u n c t io n a l_ d o m a i n _ r e s t r i c - t io n 的 格式来表示, 另一个 是以d o m a in r e s t r i c t io n 的 格式来表示, 该d o m a in - r e s t r i c t i o n 为所 需求的s u p p o r t e d - p r e s s u r e 的不同间隔定义了三个参数( d i a m e t e r , t h i c k n e s s , m a t e r i a l ) , 这些参数支持这个压力( 例如, t a b l e - d e - f i n e d - d o ma i n ) 。 注 4 : 用户可能以三种方式来选取导管: 无论次序, 以d i a m e t e r , t h i c k n e s s 和 m a t e r i a l 来选取, 或 一 无论次序, 以s p e c 和 d i a m e t e r 来选取, 或 一 首先选取所需要的s u p p o r t e d - p r e s s u r e , 而后在一个筛选域中选取 d i a m e t e r , m a t e r i a l 和 t h i c k n e s s .1 2 . 2 . 8 用类扩展的显式描述的装配件建模 项 目的一个特性的数据类型是由代表成分的 i t e m c l a s s ( 项 目类) 定义的, i t e m - c l a s s 代表以下任意一种i s - p a r t - o f ( 是的部分) 关系: 如果i t e m - c l a s s 是c o mp o n e n t - c l a s s , 代表聚集零件 整个关系; 如果i t e m c l a s s 是m a t e r i a l- c l a s s , 成分关系指定制造物体的材料。这样, 相似装配项可以由带有类的一些或全部属性的 it e m c l a s s 定义特性的数据类型。 装配项类扩展的显式描述组成描述装配项所有允许配置的集合 , 该描述是一组装配项实例, 即 i_t e m - c l a s s 的一些或全部特性的实例值。 例 1 : 所有允许的螺栓和螺母的装配件集合, 每个螺栓属于带两个标识特征直径和长度的 C _ b o l t ( 螺栓部件) 类, 螺母属于带一个标识特征直径的C _ n u t ( 螺母部件) , 直径可在 C _ b o l d _ a n d _ n u t ( 螺栓螺母部件类) 建立。C _ b o l d _ a n d _ n u t 可规定两个特性: t h e b o l t ( 螺栓) 和t h e - n u t ( 螺母) 。t h e - b o l t 的数据类型是 C _ b o l t 类; t h e _ n u t 的数据类型是Q n u t 类。C _b o l d - a n d - n u t 类扩展的显式描述将包括一组实例, 每个实例具有两个特性: t h e - b o l t 和 t h e - n u t , 每个特性值是项 目 类实例。 注 1 : 值是表示为d i c _ i t e m _ i n s t a n c e , l i b _ i t e m _ i n s t a n c e 或其任何子类 i t e m - c l a s s 实例。 注 2 : d i c _ i t e m- i n s t a n c e , l i b - i t e m- i n s t a n c e 或其子类定义在本部 分第六条的 I S O 1 3 5 8 4 i n s t a n c e - r e s o u r c e - s c h e ma 中。 当表示为装配项类扩展时, 为了避免枚举所有允许装配配置实例数 目, 本部分规定如下约定 : 当 i t e m - c l a s s 实例组成装配项类实例的属性值是一个 d i c i t e m i n s t a n c e ( 字典项实例) , 并且仅有一些可应用特性与这个值关联, 这意味着当这个 d ic it e m i n s t a n c e 被其引用的类的任何实例或其子类的任何实例或以前类的任何 c a s e - o f 类的实例( 后面的实例还包括前面实例规定的属性值集合) 代替 , 装配配置保持允许 。 例 2 : 在例 1 中描述的 C b o l t a n d n u t 类, 如果存在螺栓 1 0 个可能的长度和 5 个可能的直径, 每个长度与任何直径对应, 并且仅存在每个螺母一个直径, 玫举的所有可能的装配配置将等于 5 0 个装配项实例( 仅一个螺母与每个螺栓配对) 。以上的约定仅允许表示 5 个装配项实例。借助 d i c i t e m i n s t a n c e , 每个实例将引用不带长度值的 C - b o l t 类实例,借助 l i b - i t e m - i n s t a n c e ( 库项实例) , 完全定义的Qn u t 类实例带有的直径值等于螺栓实例的直径值。当根据这个规格选择一个装配件时, 库用户将需要根据一些含义选择而不仅是装配项实例, 但还有装配项的 t h e b o l t 特性的长度特性值。 例3 : 在例 2 中描述的C b o l d a n d n u t 中, 如果 C _ n u t 类不再实例, 但 C _ n u t 是 C _ h e x a g o n a l _ n u t ( 六角螺母部件) 和C _ s q u a r e _ n u t ( 方螺母部件) 的超类, C _ h e x a g o n a l _ n u t 和C _ s q u a r e _ n u t 都有 5 个实例, 装配件的所有允许配置将表示为 5免费标准下载网( w w w . f r e e b z . n e t )免费标准下载网( w w w . f r e e b z . n e t ) 无需注册 即可下载G B / T 1 7 6 4 5 . 2 4 -2 0 0 3 / I S O 1 3 5 8 4 - 2 4 : 2 0 0 2个装配项实例。借助 d i c _ i t e m i n s t a n c e , 每个实例将引用不带长度特性值的C - b o l t 类, 并且引用带直径值 C _ n u t 类 , 该直径值等于螺栓实例直径值。当根据这个规格选择一个装配件, 库用户将需要根据一些含义选择而不仅是装配项实例,但还有螺母在 Qn u t 中的准确子类和 t h e b o l t 的长度特性值。1 2 . 2 . 9 用类扩展的隐式描述的装配件建模 一个装配项类扩展的隐式描述由借助特性间约束描述装配项的所有允许配置的集合组成 , 在集合中i t e m - c la s s 的实例是值。 每个 s e l e c t a b l e p r o p e r t i e s ( 可选择特性) 的数据类型是由与 d o m a in - r e s t r i c t i o n关联的 i t e m - c l a s s 定义的, d o m a i n - r e s t r i c t i o n 规定i t e m _ c la s 、 的 域是类或是零件类。 注 1 : 使用本部分第 1 0条 中定义的资源构造 , 这个域 即可以是定义特性数据类型的类又可以是子类 。 例 1 : 在上一节的例 1 C _ b o l t - a n d - n u t c l a s s ( 螺栓螺母部件类) 中, t h e b o l t ( 螺栓) 特性定义为标识特征。它与规定该特性属于 t h e b o l t 类的域约束关联。 每个 d e r iv e d - p r o p e r t ie s ( 派生特性) 的数据类型是 由与 f u n c t i o n a l _ d o m a i n _ r e s t r i c t i o n ( 功能域 约束) 关联的i t e m c l a s s 定义的, f u n c t i o n a l _ d o ma i n _ r e s t r t c t i o n 可以由几个s e le c t a b l e - p r o p e r - t i e 的值直接或间接地计算由值构成的 i t e m c la s s 实例 。 例2 : 在上一节的例 1 C _ b o l t a n d _ n u t c l a s s ( 螺栓螺母部件类) 中, t h e - n u t ( 螺母) 特性可以定义为派生特性。当装配件项类的t h e - b o l t 属性有直径 X时, t h e - n u t 与组成 c l a s s - i n s t a n c e c o n s t r u c t o r ( 类实例构造) 的 f u n c t io n a l d o m a i n r e -s t r i c t i o n ( 功能域约束) 关联能够生成带直径 X的C _ n u t ( 螺母部件) 类实例。注使用这种描述, 库用户将首先选择螺栓,与螺栓相配的螺母将由系统计算出来。 注2 : c la s s - in s ta n c e - c o n s t r u c to r 定 义在本部 分地 1 0 节。 对允许实例集合的进一步约束可以由附加几个d o m a i n - r e s t r i c t io n完成。d o m a i n r e s t r ic t i o n 在im p l ic i t - m o d e l- c l a s s - e x t e n s io n ( 隐含模型类扩展) 的几个f i l t e r ( 过滤) 中进行了规定。 例 3 : 在上一节的例 1 C _ b o l t a n d _ n u t c l a s s ( 螺栓螺母部件类) 中, t h e b o l t 和 t h e _ n u t 特性都定义为标识特征, 它们的域都是整个类。既然这样过滤将被给定附加约束, t h e b o l t 特性的d i a m e t e r 将等于t h e n u t 特性的直径。这种描述将允许用户首先选择螺栓和螺母, 系统计算出装配件中的第二个部件。1 2 . 2 . 1 0 在类扩展的一个隐含描述中满足类定义的实例 在类扩展的隐含描述中, 类的允许实例集合是如下的所有实例: 与一个数据类型值关联的每个特性, 并且 由域定义的所有约束 , 导出函数和过滤定义返回真。 这个扩展是隐含定义的, 扩展可能是无限的。当所有数据类型是分离的并有限的, 它可由显式计算得到 。 这样 , 在类扩展的隐含描述中, 像一些纸制 目录, 一个类允许实例集合是由一组约束隐含定义的。 约束具有双重作用 : 一 一 首先, 通过用户选择程序, 它们允许 L MS帮助用户选择正确的实例。例如, I . MS可以生成一 个表由用户查找。这个连接构成了供应商定义的选择指南, 第二, 后置程序, 它们允许 L MS 检查选择的实例属于哪个类扩展 。 在纸制文档中, 许多方法用于表达这些约束以便允许帮助用户选择在族 中的项 目并保证最终完成正确的选择。如下小节叙述库数据供应商如何规定类 的内容, 在库最终用户选择过程 中符合 I S O1 3 5 8 4 的 L MS提供处理的这种描述的最小的服务。1 2 . 2 . 1 0 . 1 标识特征的域定义 一个标识特征域具有四种含义: a ) 独立的域约束 : 它们允许域 , 声明哪些 s e l e c t a b l e - p r o p e r t i e s 必须被选择 。独立域约束可以是 一个范围, 整个类型域或一个表。独立域约束将由几个d o m a in r e s t r i c t i o n域限定) 表示, d o - m a i n - r e s t r ic t io n 包括一个唯一的g u a r d e d - s i m p l e d o m a in ( 守护简单域) , 它的g u a r d是o t h -免费标准下载网( w w w . f r e e b z . n e t )免费标准下载网( w w w . f r e e b z . n e t ) 无需注册 即可下载G B / T 1 7 6 4 5 . 2 4 -2 0 0 3 / I S O 1 3 5 8 4 - 2 4 : 2 0 0 2 注 1 : 当显示一些便于用户选择标识特征的的导出特性, 这些标识特征的域可以由库数据供应商定义为 t a b l e - d e - f i n e 走d o m a i n ( 表定义的域) , 表的关键字包括标识特征, 表的列是其导出特性的值。当用户选择相应的标识特 征时, 这些列呈现给用户。 b ) 条件域约束: 当一些s e l e c t a b I e _ p r o p e r t ie s ( 可选择特性) 必须属于的域, 不能很容易地定义除 非其他s e l e c t a b l e - p r o p e r t ie s 已经被选择, 这种限定形式陈述如下: 1 ) 先于选择的特性是必须的; 2 )根据这些, 被选择的特性必须选择各种值域。 条件域约束将由I L 个d o m a i n - r e s t r i c t io n 表示, d o m a i n - r e s t r i c t io n 包括由几个b o o l e a n _ e x p r e s s i o n守护的几个g u a r d e 走s i m p l e - d o m a in 。每个g u a r d e d - s i m p l e - d o m a i n 定义必须被选择的特性的一个域。 注 2 : 使用条件域约束强化了用户选择过程的次序。 注 3 : 先于选择的特性是必要的, 它包括其他标识特征, 相关环境参数导出特性, 这些标识特征和相关环境参数导出 导出特性 的值。 c ) 退化域约束 : 当标识特征必须属于整个域时, 是否它独立域约束或条件域约束, 退化成单独的。 例如, 仅包括一个元素的集合 , 给相应的标识特征赋给这个值将不需要用户的参与 。当系统知 道了这个域, 这个值将由系统计算出来。退化域约束建立为f u n c t i o n a l d o ma i n r e s t r i c t i o n的 d o ma i n - r e s t r i c t i o n , d ) 排它约束( 域过滤器) : 以范围或表的形式对一些域的声明有时是不可能的, 除非过多的尺 寸在选择表中可以得到。排它域允许以几个 b o o l e a n _ e x p r e s s io n的形式声明, s e l e c t a b l e p r o p e r t i e s 的一些子集值必须依附附加约束 , 以便使这些值合法, 尽 管它们 已经属于各 自 的域 。 注 4 : 排它约束的使用完成无序的用户选择程序。排它约束仅考虑最后的s e l e c t a b l e p r o p e r t i e s 涉及已经选择的域 的情况 。 注 5 : 排它约束定义了几个特性间的数学关系。如果这种关系投影到每个有关的特性小于这个特性定义的域, 当其 他特性牵涉到被选择关系时, 由用户从域中选择的这个特性值将被认为是非法。因此建议投影到每个特性的 关系应该等于由域定义定义的特性的域数目。还建议对于关系中的每个特性, 投影到交叉产品在关系中涉及 的所有其他特性包括这些其他特性值的任何 T元组, 也可以通过独立域或条件域约束选择。 注 6 :排它约束主要是 由本部分引人的 , 它能使库数据供应商部件选择 知识 。正如下一节叙述 的, 相关环境参数 提 供了建模设计问题。 排它约束提供了建造部件选择规则。1 2 . 2 . 1 0 . 2 通过相关环境参数进行零件选择 相关环境参数能够描述零件将实现的需求。 例: 轴承的d y n a m ic - lo a d ( 动态载 荷) 和 : e q u i r e d _ lif e _ t im e ( 必须的生命时间 ) , 气泵的r e q u ir e d _ w o r k in g _ t e m p e r a tu r e( 必须的工作温度) 和管道的描述是特性的例子, 它能描述零件必须实现的规范。 在相关环境参数与标识特征间要定义两种关系 : 域定义依赖相关环境。当用户选择总是通过定义零件必须的相关环境参数开始时, 一些标识 特征的域定义可以定义为条件域约束, 它的 a s s u m e s ( 假设) 属性包括这个相关环境参数。 注 1 : 按这种方法, 相应的标识特征在没有首先定义这些相关环境参数时不能直接选择。 基于需求的过滤。按这种方法, 每个相关环境参数可用于描述过滤器中表示的需求。当一组 相关环境参数和标识特征的可能子集, 能完全规定请求 的零件时, 与 f u n c t i o n a l d o m a i n r e - s t r i c t io n 关联的过滤器自动生成缺少的标识特征, 然后是零件本身。 注 2 : 基于需求的过滤器能够描述不同用户的访问方法。 如下条规定由符合 G B / T 1 7 6 4 5 库管理系统提供给用户选择 的最小支持。1 2 . 2 . 1 1 当使用类扩展的隐含描述时用户选择过程的强制支持 本条规定当选择类库中的一个实例时将 由 L MS向最终用户提供服务, 类库 的扩展是隐含定义。根据类数据供应商定义的类扩展描述 , 它定义什么信息将呈现给用户。这样, 本条在库数据供应商间定义一个抽象协议。它定义类库, 并且当使用的类扩展的隐含描述时, L MS开发者的软件系统处理类库。免费标准下载网( w w w . f r e e b z . n e t )免费标准下载网( w w w . f r e e b z . n e t ) 无需注册 即可下载G B / T 1 7 6 4 5 . 2 4 -2 0 0 3 / I S O 1 3 5 8 4 - 2 4 : 2 0 0 2 注: 当使用类扩展的型式描述时, 每个实例的显式描述是相当简单的, 并且用于显示实例集合的处理不在本部分中 规定。1 2 . 2 . 1 1 . 1 设计类扩展 表示类扩展包括如下方面: a ) 选择一个用户选择的特性, 即表示为s e l e c t a b l e - p r o p e r t i e s ; 对于i t e m - c l a s s 这意味着: 1 )选择表示标识特征的项 目特征; 2 ) 决定哪个相关环境参数可作为s e le c t a b l e - p r o p e r t ie s . b ) 选择其他字典定义的特性, 这些特性是类扩展中的d e r iv e d - p r o p e r t i e s , 对于i t e m c l a s s 这意味 着: 1 )决定可作为导出特征的其他项目特征; 2 ) 决定哪个相关环境参数可作为d e r iv e d - p r o p e r t ie s ; 3 )决定给出了哪个相关环境依赖的特征 。 c ) 当其他类的相关实例存在时, 这些类才能被实例化: 1 ) 在相关实例中决定哪些特性能称为r e q u i r e d - p r o p e r t i e s . 例: 功能模型类的一个实例给出了螺钉类的 b a s i c - g e o m e t r y ( 基本几何) 表示, 该实例仅在螺钉长度和直径值给出时才存在 。 d ) 定义相关约束 , 例如: 1 ) 为每个选择特性定义一个单独的域定义; 2 ) 为每个导出特性定义一个单独的导出函数; 如可能增加一些过滤器。1 2 . 2 . 1 1 . 2 建立一个类扩展 用户对一些类选择程序的强制支持是基于相关图和该类的约束集合。 类的相关图 G是按以下方式建立: a ) 假设 X是节点集, XxX是边集 。 b ) 图的节点是类定义的或继承的s e l e c t a b l e - p r o p e r t i e s , r e q u i r e d - p r o p e r t i e s 和d e r i v e d - p r o p e r - t i e s. c ) 图的边依赖于两个特性之间的关系, 一个特性 出现在 d e f in e s 属性 中, 另一个特性 出现在相 同 域定义的或该类定义或继承的派生函数的a s s u me s 中。形式上, 从i 到j , 对于每一个p a ir ( i , j ) E X x X , G中都存在一条边, 仅且仅当: 1 ) 存在s e l f _ p r o p e r t y _ s e m a n t i c s , 它通过其本身的t h e - p r o p e r t y 属性引用j , 并属于域定义的 或派生函数的 a s s u me s 集 , 派生函数通过类定义或继承得到, 和 2 ) 存在s e l f - p r o p e r t y - s e m a n t i c s , 它通过其本身的t h e - p r o p e r t y 属性引用I , 并属于相同域定 义的或派生函数的 d e f i n e s 集 , 派生函数通过类定义或继承得到。 注: 在相关图中没有表达筛选器。 从约束每个m o d e l- c l a s s - e x t e n s i o n 的a c y c l i c c l a s s _ e x t e n s i o n _ d e f i n i t io n ( 非循环类扩展定义) 函 数起遍历 G图, 结果是 已建的 G图是有向非循环图。 约束集 S 是类定义的或继承的所有 d o m a i n r e s t r ic t i o n集, 不管它们是否属于域定义、 派生函数或筛选器定义。1 2 . 2 . 1 1 . 3 对用户对话框的要求 在用户选择过程中的任何时候 : 假设 X , C X是已被赋值的属性集 , 并假设 X 2 C X是没有赋值的属性集。我们有 X =X , UX Z , 且 X ,n X 2 0。 假设 S , 是 S的子集 , S 的所有 d e f i n e s 和 a s s u m e s 属性已经被赋值 , 因此保证 了约束有效 , 并且 S Z是没有发现的约束。我们有SS , U S z , 且S , nS a =0o免费标准下载网( w w w . f r e e b z . n e t )免费标准下载网( w w w . f r e e b z . n e t ) 无需注册 即可下载G B / T 1 7 6 4 5 . 2 4 -2 0 0 3 / I S O 1 3 5 8 4 - 2 4 : 2 0 0 2 下列运算法则定义了用户选择过程的最低强制性支持: a ) 计算 G和 S o赋值 : X , =0, X 2 X , S , =O, S 2 S o b ) 给所有可能 r e q u i r e d - p r o p e r t i e s 的赋值 , 并更新 X , 和 X , o c ) 用回归方法计算X 2 集中的, 并属于S 2 的f u n c t i o n a l d o m a i n r e s t r i c t io n 的d e f i n e s 集、 且其所 有 a s s u m e s 集在 X , 中的所有属性。如果 同一属性被赋予两个不 同的值 , 在无效约束的 c o n - s t r a i n t - d e s c r i p t i o n中显示有两个值且有信息的属性, 并产生一个错误, 类扩展将为空。另外, 把所有已计算的属性从 X : 移到 X , , 并把所有使用的从 S : 移到 S 1 . d ) 如果 S : 中存在某些 d o m a i n - r e s t r i c t io n , 对于这些来说 , 属于 a s s u m e s 集或 d e f i n e s 集的所有属 性都包括在 X , 中, 则检查相应的约束。如果所有这些约束有效 , 则把它们从 S 2 移到 S , 。另 外, 在无效约束的c o n s t r a i n t - d e s c r i p t i o n中显示信息, 并产生一个错误, 类扩展将为空。 e ) 开始循环直到用户定义的选择过程结束 : 1 ) 保存实例的当前状态。 2 ) 建议在最小时选择 X : 中的所有 s e l e c t a b l e - p r o p e r t ie s , 并且其相应域定义的 a s s u m e s 集的 所有属性属于 X , o 注 1 :最小的撤销能力包含返 回到步骤 d ) 终点。 3 ) 当用户选择好一个属性时 , 他 她希望给属性赋值 : i ) 建立所有属性的集, 这些属性包含在该属性的域定义 d的 d e f i n e s 属性中; i i ) 建立 S : 中包含的所有筛选的集 f , S UX : 中包含了 S : 的 d e f i n e s 属性和 a s s u m e s 属性的所有特性; i ii ) 如果域定义d 是t a b l e - d e f i n e d - d o m a i n t , 假设f Cf 是筛选器集, 那么: a s s u m e s 属性是 X , 的子集 , 和 s im p l e - d o m a i n 是 t a b l e - d e f i n e d - d o m a in . 对应f 的一个筛选器的每个表t i : 从 t , 选择行 , 行中的所有 a s s u m e s 属性在当前实例中有值 ; 把这个表映射到 S ; 通过 自然结合以前的表和 T来定义新表 T ; 如果 T是空的, 显示相应的 t : 的筛选器的 c o n s t r a i n t - d e s c r ip t i o n中包含 的信息, 并返回到 e ) 2 ) , 另外 , 从 F中去掉对应 t , 的筛选器; i v ) 如果S中存在一些已经赋值的属性s, 并且域定义是t a b l e - d e f i n e d - d o ma i n , 那么通过在t 中进 行选择定义新表t ( 或者根据第e ) . 3 ) . i ii ) 步修改行, 这些行中对应s 的所有列等于它们已赋的 值) , 如果表为空, 显示s , 中的属性当前值, 并返回到e ) . 2 ), 另外从S中删除s , 的所有属性; v ) 显示 F中筛选器的 c o n s t r a in t - d e s c r i p t i o n 属性中包含的所有信息( 或者根据第 e . 3 . i ii 步修改) ; v i ) 显示( 如果存在) S中所有已赋值的属性; v i i)通过用某些方法显示其域定义中的值集 , 获得用户赋给 S 中所有属性的值, 唯一的强制性要求 是为 t a b l e - d e f i n e d - d o ma i n 显示其表 t , 或者根据第 e ) . 3 ) . s i i ) 和 e ) . 3 ) . i v ) 步修改 , 并可能用 从类约束定义确定的某些其它列; 注 2 : 当不满足 F中约束条件的, 或 S 的域定义不允许的值是由于 S 中已赋值的属性, 除了用在 e ) . 3 ) . i i i ) 和e ) . 3 ) . i v ) 步为t a b l e - d e f i n e d - d o m a i n s 指定的方法外( 例如, 用属性筛选表) , 用某些方法也不能进行选择, 那么在 e ) 3 ) . v ) 和 e ) . 3 ) . v i ) 步不会有显示 。 例: 当 f 中的过滤器是 p r e d i c a t e - d e f i n e d - d o m a i n 并且域定义是的t a b l e d e f i n e d d o m a i n , 带一个表 T , 删除将和 f 冲突的T所有行的运算法则将删除T所有行, T所有行赋给 F A L S E值。 v i ii ) 给 S中的属性赋用户输人的值( 或 t - u p l e 案例中的值) ;免费标准下载网( w w w . f r e e b z . n e t )免费标准下载网( w w w . f r e e b z . n e t ) 无需注册 即可下载G B / T 1 7 6 4 5 . 2 4 - 2 0 0 3 / I S O 1 3 5 8 4 - 2 4 : 2 0 0 2 i x )在当前实例和第 e ) . I ) 步记录的实例 中, 检查 S中的某些属性是否有两个不 同的值。如果是 真, 那么显示具有双值定义的属性及这两个值 , 并返回到 e ) . 2 ) 。另外 , x ) 检查对应 F中筛选器的约束条件是否被满足。如果不满足 , 突出显示无效约束的 。 o n s t r a i n t d e s c r i p t i o n 中包含的信息, 并返回到 e ) . 2 ) , 另外把 F中的所有筛选从 S : 移到 S , , 并把 S 门X , 中的所有属性从X : 移到X , ; x i ) 用递归法计算所有的属性, 这些属性属于X , 集并属于S : 的f u n c t i o n a l _ d o m a i n _ r e s t r i c t i o n的 d e f i n e s 集 , 这些属性的所有 a s s u m e s 集属于 X , 。如果两个不同的值赋给同一个属性 , 显示具 有两个值的属性及无效约束的 c o n s t r a i n t d e s c r i p t i o n中的信息, 并产生一个错误, 类扩展是不 兼容的。另外把所有计算出的属性从X , 移到X , , 并把所有用过的f u n c t i o n a l - d o m a in - r e s t r i c - t io n s 从S 。 移到S i . x i i ) 如果 S : 中存在一些 d o m a in - r e s t r i c t io n , 其属于 a s s u m e s 集或 d e f i n e s 集的所有属性都包含在 X , 中, 检查相应的约束。如果这些约束都有效 , 把它们从 S : 移到 S , 。另外显示无效约束的 c o n s t r a in t - d e s c r i p t i o n 中的 信息, 并产生一个错误, 类扩展是不兼容的。 x i ii )结束循环( 返回到 e ) ) o 注 3 : 当产生错误时, L MS 的行为与实现有关。1 2 . 3 I S O 1 3 5 8 4 库内容模式常且定义 本条中介绍了在 I S O 1 3 5 8 4 库内容模式中的常量定义。1 2 . 3 . 1 分类值 c l a s s i f ic a t i o n v a l u e 是整型值, 用来规定: 在一个接收系统中, 具体的特性由具体方式接收。值从。到 9 保 留以被以后的注册用 。所有其他的值都可以根据发送方和接受方的协议使用。 注: I S O 1 3 5 8 4 的本部分没有规定每一个 。 l a s s i f i c a t i o n v a l u e 在接收系统中如何解释。 例: 在制造厂方向销售商的一个目 录中, 一些特性可能是仅仅是为销售商提供的而不是提供给用户的。通过制造厂方和销售商单独的协议, 这些特性可以通过将 c l a s s i f i c a t i o n v a l u e 赋- 1 值进行关联。 E X P R E S S描述: 关)TYPE c l a s s i f i c a t i o n v a l u e二 I NTEGE RE ND _ TY P E ;-c l a s s i f i c a t i o n - v a l u e(关1 2 . 4 I S O 1 3 5 8 4 库内容模式: 库总体的体系结构 L i b r a r y ( 库) 是一个规定了零件库总体的体系结构的实体。L i b r a r y 是d i c t io n a r y 的一个子类型, 应该当I S O 1 3 5 8 4 一致性交换相关环境包含( 为了一些类的关系) 它们的类扩展时用到。 除了其继承属性, l i b r a r y 包含l i n k e d - in t e r f a c e s ( 链接的接口) 的集合, 这些集合是从属于l i b r a r y 的类内容中引用的。 在一个 l i b r a r y 中, 在类扩展中的所有的视图交换协议应该属于 s u p p o r t e d _ v e p ( 支持的 v e p ) 的继承属性, 并且所有的在类扩展中引用的p r o g r a m - r e f e r e n c e ( 程序引用) , r e p r e s e n t a t i o n _ r e f e r e n c e ( 表达引用) 和 d ia l o g u e - r e s o u r c e ( 对话资源) 应该引用属于继 承的 b a s e - p r o t o c o l s ( 基础 协议 ) 集合或属于l i n k e d i n t e r f a c e s 的集合。 在 l i b r a r y 实体中, 由可继承的 b a s e - p r o t o c o l s 属性或 l in k e d - i n t e r f a c e s 属性引用的 e x t e r n a l- f i l e -p r o t o c o l s . 可以是任何协议。在库数据供应商和最终用户之间( 它们同意专有的协议或界面) , 这两个实体可以为交换使用。1 1 b r a r y - i n - s t a n d a r d - f o r m a t ( 标准格式库) , l ib r a r y 的子类只承认那些在可引用的库集成信息模型和可引用的视图交换协议中定义的协议。 例: 库数据供应商和最终用户可同意使用表达交换零件库构件的C A D系统的自 然格式。这样的 l i b r a r y 不能作为l i b r a r y _ i n _ s t a n d a r d _ f o r m a t 被交换。免费标准下载网( w w w . f r e e b z . n e t )免费标准下载网( w w w . f r e e b z . n e t ) 无需注册 即可下载G B / T 1 7 6 4 5 . 2 4 - 2 0 0 3 / I S O 1 3 5 8 4 - 2 4 : 2 0 0 2E X P R E S S 描述 : 关) E N T I T Y l i b r a r y S U P E R T Y P E O F ( l i b r a r y _ in _ s t a n d a r d _ f o r m a t ) S UB TY P E OF ( d i c t i o n a r y ) ; li n k e d i n t e r f a c e s : S E T 0 : ? O F e x t e r n a l- f i l e _ p r o t o c o 1 ; W HERE WR l : Q UE R Y ( c l a s s S E L F d i c t i o n a r y . c o n t a i n e d - c l a s s e s r e f e r e n c e d - v e p s - e x i s t_ in _ s u p p o r t e d _ v e p s ( S E L F , c l a s s ) ) ; W R 2 : Q UE R Y ( c l a s s S E L F . c o n t a i n e d - c l a s s e s r e f e r e n c e 走p r o t o c o l s - e x i s t - i n - s u p p o r t e d - p r o t o c o l s ( S E L F , c l a s s ) ) 二 ; W R 3 : Q U E R Y ( in t * S E L F . li n k e d 一 i n t e r f a c e s I N O T ( ( I S O 1 3 5 8 4 E X T E R N A L F I L E S C H E M A L I N K E D I N T E R F A C E P R O G R AM P R O T O C O L ) I N T Y P E O F ( i n t ) ) ) ; E N几 E N T I T Y ; 一 l i b r a r y ( 属性定义 : l i n k e 走i n t e r f a c e s : l i b r a r y中引用的 e x t e r n a l - f i l e - p r o t o c o l s 集合。 形式限制 : WR 1 : 在类扩展中引用的所有视图交换协议应属于 s u p p o r t e 走v e p 集合。 WR 2 : 在类扩展中引用的所有p r o g r a m - r e f e r e n c e s 和d a t a - r e f e r e n c e s 应引用或是属于b a s e - p r o t o c o l s 集合或是属于 lin k e d i n t e r f a c e s 集合的协议口 WR 3 : l in k e d in t e r f a c e s 应是 l in k e d - i n t e r f a c e - p r o g r a m - p r o t o c o l s ,1 2 . 5 标准格式库 li b r a r y - in - s t a n d a r d - f o r m a t ( 标准格式库) 实体是一个 l i b r a r y , 它只在其 b a s e - p r o t o c o l s 继承属性和其l i n k e d i n t e r f a c e s 属性中引用那些协议, 引用这些协议是经库集成信息模型和视图交换协议的相应类允许的。支持这些集成信息模型相应类和视图交换协议相应类的库的用户系统必须能够编辑这样的库。 E X P R E S S 描述 :)E NT I T Y l i b r a r y - i n - s t a n d a r d - f o r m a tS U B T Y P E O F ( l ib r a r y , d i c t i o n a r y - in - s t a n d a r d - f o r m a t ) ;W HERE WR I : Q U E R Y ( in t S E L F I i b r a r y . l i n k e d - i n t e r f a c e s S I Z E O F ( Q U E R Y ( v e p S E L F d ic t io n a r y . s u p p o r t e d _ v e p i n t e x t e r n a l- f i l e - p r o t o c o l . b a s e - p r o t o c o l I N v e p d a t a - e x c h a n g e _ s p e c i f i c a t i o n _ i d e n t i f ic a t io n e x t e r n a l _ f il e _ p r o t o c o l s ) ) 二0 )一仁 ;E N D - E N T I T Y; 一l i b r a r y _ i n _ s t a n d a r d _ f o r m a t(二免费标准下载网( w w w . f r e e b z . n e t )免费标准下载网( w w w . f r e e b z . n e t ) 无需注册 即可下载G B / T 1 7 6 4 5 . 2 4 -2 0 0 3 / I S O 1 3 5 8 4 - 2 4 : 2 0 0 2 形式限制 : WR l : 在 l i n k e d i n t e r f a c e s 属性中被引用的 b a s e - p r o t o c o l s e x t e r n a l - f i l e p r o t o c o l s 应被视图交换协议允许, 该协议被s u p p o r t e d _ v e p 属性引用。1 2 . 6 类的扩展1 2 . 6 . 1 类扩展 c l a s s e x t e n s io n ( 类扩展) 是一个集合的描述, 该集合是符合类定义的规定的可能不同的所有实例集合。 对一个没有子类的类来说, c l a s s e x t e n s i o n 可存在。 注: 符合由类( 该类为一些子类的超类) 定义的规定的可能不同的所有实例集合是符合由子类定义的规定的可能不 同的所有实例的合并。 E X P R E S S描述: 二) E N TI TY c l a s s e x t e n s i o n AB S T R AC T S UP E RT YP E O F ( O NE OF ( mo d e l _ c l a s s _ e x t e n s i o n ) ) S UB TY P E OF ( c o n t e n t _ i t e m) ; S E L F c o n t e n t _ r t e m . d ic t i o n a r y - d e f i n i t io n : c l a s s - B S U; E ND - E NTI TY; - c l a s s - e x t e n s i o n (二 属性定义: S E L F c o n t e n t _ it e m . d i c t i o n a r y _ d e f in i t i o n ( S E L F 内容项 字典定义) : 标识类扩展的c l a s s _ B S U( 类B S U) 。1 2 . 6 . 2 可选或强制的特性 B S U 考虑到用户选择会话 , O p t _ o r _ m a n d _ p r o p e r t y _ B S U( 可选或强制的特性 B S U) 实体规定了特性的状态。O p t o r _ m a n d _ p r o p e r t y _ B S U规定如下:特性是否可选 ;不管怎样, 此特性值库是供应商欲显示给库最终用户的。 注 1 ; o p t _ o r _ m a n d _ p r o p e r t y _ B S U实体仅仅在类扩展的内部描述中使用。在类扩展的显式描述中, 不需要提供不 可显示的特性 , 并 且选择性是显式的 。 E X P R E S S描述: 二) E N T I T Y o p t o r _ m a n d _ p r o p e r t y _ B S U; p r o p e r t y : p r o p e r t y _ B S U; i s - o p t io n a l : B O O L E A N; d is p l a y a b l e : B O O L E A N; E N D - E N T I T Y; -o p t - o r - ma n d - p r o p e r t y - B S U ( 属性定义: p r o p e r t y ( 特性) : 被引用的特性。 i s - o p t i o n a l ( 是选择的) : 如果是真, 被引用的属性可不被赋值, 甚至于一个完全定义的实例( 空值) 。 注 2 : 这样的值对应 N U L I 值。 D i s p la y a b le : 如果是真, 在最终用户访问期间属性名称和属性值应被显示。1 2 . 6 . 3 特性分类 p r o p e r t y c l a s s i f i c a t io n ( 特性分类) 是一个c la s s if i c a t i o n - v a l u e , 在接收系统中, 和一个具体的特性相关联来表征这个特性值的具体过程。免费标准下载网( w w w . f r e e b z . n e t )免费标准下载网( w w w . f r e e b z . n e t ) 无需注册 即可下载G B / T 1 7 6 4 5 . 2 4 - 2 0 0 3 / I S O 1 3 5 8 4 - 2 4 : 2 0 0 2 注 1 : 不和分类值相关联的特性就不和任何的具体过程相关联。 注 2 : I S O 1 3 5 8 4 的本部分没有规定每个 c l a s s i f i c a t i o n _ v a l u e 在接收系统中如何解释。一些 c l a s s i f i c a t i o n _ v a l u e 值作 为保留值留待以后的注册用。所有的其他值都可以通过发送方和接收方的单独的协议来使用, 例如控制值引 用特性 的分布。 例: 在制造厂方向销售商的一个目录中, 一些特性可能是仅仅是为销售商提供的而不是提供给用户的。通过制造厂方和销售商单独的协议, 这些特性可以通过将 c l a s s i f i c a t i o n v a l u e 赋- 1 值进行关联。 E X P R E S S 描述 : ) E N T I T Y p r o p e r t y _ c l a s s t f ic a t i o n ; i t s - v a l u e :c l a s s i f i c a t i o n - v a l u e ; p r o p _ d e f : p r o p e r t y _ B S U; E N 几 E N T I T Y; 一p r o p e r t y _ c I a s s i f ic a t i o n (, 属性定义: i t s - v a l u e ( 它的值) : 与特性相关联的 c l a s s if i c a t i o n - v a l u e . p r o p _ d e f : 描述被i t s 一 v a l u e 引 用的实例特性的特性。1 2 . 6 . 4 推荐表达的特性值 p r o p e r t y - v a l u e - r e c o m m e n d e d - p r e s e n t a t i o n ( 推 荐 表达 的 特性 值) 实体 捕捉 来自 库数 据供 应商 关于怎样表达用户显示的一些特性值的建议。它包含一个单位 , 这个单位应该和在对应的特性字典中定义的单位相匹配, 当且仅当通过r e c o m m e n d e d - p r e s e n t a t io n - u n i t ( 推荐表达单位) 单位转化时它还包含表达值的值格式。这种转换能力不必被 I S O 1 3 5 8 4 的实现支持 。如果他们不被支持 , 值应该按照特性字典定义规定的方式来进行表达, 可能地修改按照在包含特性的表的 f o r m a t t e d - c o l u mn ( 格式化列) 中定义的 v a l u e f o r m a t 来进行 。 注 1 : 在 I S O 1 3 5 8 4 交换相关环境中, 特性值总是按照在特性字典定义中规定的单位来进行表达。 注2 : f o r m a t t e d - c o l u m n 是在 I S O 1 3 5 8 4 的本部分中的第 8 章的 I S O 1 3 5 8 4 - t a b l e _ r e s o u r c e _ s c h e m a ( I S O 1 3 5 8 4 表资 源模式) 文档 中定义的。 注3 : 在 I S O 1 3 5 8 4 中对于超出 I S O 1 3 5 8 4 交换相关环境的特性值没有规定该用什么单位。 例: 在一个符合I S O 1 3 5 8 4 应用协议的产品模型中, 一些产品特性可以引用 I S O 1 3 5 8 4 字典定义的特性( 单位是米) 。在产品数据中, 一个具体产品的特性值可以通过毫米表达, 如果 S T E P 应用协议允许使用资源构造可以通过 S T E P资源构造m e a s u r e - w it h - u n it 来 表达。 E X P R E S S 描述 : 关) E N T I T Y p r o p e r t y _ v a l u e _ r e c o m me n d e d _ p r e s e n t a t i o n ; p r o p _ d e f : p r o p e r t y _ B S U; r e c o mm e n d e d - p r e s e n t a t i o n u n i t :u n i t ; r e c o mm e n d e d - p r e s e n t a t i o n - f o r m a t : v a l u e _ f o r m a t _ t y p e ;W H ERE WR I : p r e s e n t a t i o n _ u mt _ i s _ c o r r e c t ( S E L F . p r o p _ d e f , S E L F . r e c o m me n d e d - p r e s e n t a t i o n - u n it ) ; E N D se E N TI TY; (关属性定义:p r o p _ d e f ( 特性定义) : 为了表达需要, 库数据供应商推荐的转换数据的特性。r e c o m m e n d e d - p r e s e n t a t i o n - u n i t ( 推荐表达单位) : 为了 表达需要, 库数据供应商推荐的转换数据免费标准下载网( w w w . f r e e b z . n e t )免费标准下载网( w w w . f r e e b z . n e t ) 无需注册 即可下载G B / T 1 7 6 4 5 . 2 4 - 2 0 0 3 / I S O 1 3 5 8 4 - 2 4 : 2 0 0 2的单位。 r e c o m m e n d e d - p r e s e n t a t i o n - f o r m a t ( 推荐表达格式) : 当 且仅当p r o p _ d e f 特性的值被转换成r e c -o m m e n d e d _ p r e s e n t a t i o n _ u n i t 单 位时, 为了 表 达p r o p _ d e f 特 性 值, 库 数 据供 应 商推 荐 表 达 格式。1 2 . 6 . 5 模型类扩展 m o d e l - c l a s s - e x t e n s i o n ( 模型类扩展) 实体描述了模型类扩展的一般结构, 它或是作为 it e m- c l a s s -e x t e n s io n 来表达的g e n e r a l- m o d e l - c l a s s ( 通用模型类) , 或是作为f u n c t io n a l_ m o d e l_ c l a s s _ e x t e n s i o n 来表达的f u n c t i o n a l m o d e l c la s s , 并且类扩展可以是外部描述成一组实例, 也可以通过判断一个实例是否满足一个类定义的机制的内部描述。 E X P R E S S描述 : ) ENTI TY mo d e l c l a s s e x t e n s i o n AB S TRACT S UP ERTYPE OF( ONEOF( imp l i c i t - m o d e l- c la s s - e x t e n s i o n , e x p l i c i t - m o d e l - c la s s - e x t e n s io n ) ) S UB TYP E OF ( c l a s s _ e x t e n s i o n ) ; r e f e r e n c e d - e x t e r n a l- it e m s : S E T 0 : ? O F c l a s s _ e x t e n s i o n _ e x t e r n a l _ i t e m; u s e d - p r o t o c o l s : S E T 0 : ? O F e x t e r n a l - f i l e - p r o t o c o l ; r e f e r e n c e d _ v i e w _ e x c h a n g e _ p r o t o c o l : L I S T 0 : ? O F v i e w - e x c h a n g e - p r o t o c o l_ i d e n t i f i c a t i o n ; c o n t e n t - v e r s io n : O P T I O N A L v e r s i o n - t y p e ; c o n t e n t - r e v i s i o n : O P T I ONAL r e v i s i o n - t y p e ; r e c o m m e n d e d _ p r e s e n t a t i o n : S E T 0 : ? O F p r o p e r t y - v a l u e _ r e c o m m e n d e d _ p r e s e n t a t i o n ; c l a s s if ic a t i o n : S E T仁 0 : ? O F p r o p e r t y - c l a s s i f i c a t io n ; W HERE WRl :Q UE RY( i t e m , S EL F . r e f e r e n c e d - e x t e r n a l - i t e ms N O T ( it e m e x t e r n a l- i t e m . u s e d - p r o t o c o l I N S E L F . u s e d - p r o t o c o l s ) ) ; WR 2 : Q UE R Y ( p r o p c l a s s i f i c a t io n N O T a p p l i c a b l e - p r o p e r t i e s ( S E L F c o n t e n t - i t e m . d ic t i o n a r y - d e f i n i t io n , p r o p . p r o p _ d e f ) ) ; WR3 :( E XI S T S ( S E L F . c o n t e n t - v e r s i o n ) AND E X I S T S ( S E L F . c o n t e n t - r e v i s i o n ) ) OR ( N OT E XI S T S ( S E L F . c o n t e n t - v e r s i o n ) AND NOT E X I S TS ( S E L F . c o n t e n t - r e v i s i o n ) ) ; E ND ee E NT I T Y; 一 mo d e l - c l a s s - e x t e n s i o n (二 属性 定义 : referenced-view-exchange-protocol( 已引用视图交换协议) : 在类描述中引用的所有的c l a s s - e x -t e n s i o n - e x t e r n a l - i t e m s ( 类扩展外部项) 集合, 这些c la s s - e x t e n s i o n - e x t e r n a l - i t e m s 包括d i a l o g u e - r e -s o u r c e ( 对话资源) , r e p r e s e n t a t io n _ r e f e r e n c e s ( 表达引用) 和p r o g r a m r e f e r e n c e s ( 程序引用) 。 注 I ; d o c u m e n t c o n t e n t s ( 文档内容) 不是 c l a s s - e x t e n s i o n - e x t e r n a l - i t e m s , 它们不属于 r e f e r e n c e d _ e x t e r n a l _ i t e m s a免费标准下载网( w w w . f r e e b z . n e t )免费标准下载网( w w w . f r e e b z . n e t ) 无需注册 即可下载G B / T 1 7 6 4 5 . 2 4 -2 0 0 3 / I S O 1 3 5 8 4 - 2 4 : 2 0 0 2 u s e d - p r o t o c o l s ( 已使用的协议) : 由 r e f e r e n c e d - e x t e r n a l - i t e ms 协议引用 的 e x t e r n a l _ f i l e _ p r o t o c o ls的集合。 注2 : d o c u m e n t - c o n t e n t s 中 的引用不 属于u s e d - p r o t o c o ls 属性。 如 果这些可引 用的 协议不是由 一个实现所支持, 则 文档内容刚好被略过, 但类仍然可以被成功地编辑( 见附录 O ) o r e f e r e n c e d - v ie w - e x c h a n g e - p r o t o c o l ( 已引用视图交换协议) : 视图交换协议的集合被要求处理mo d e l - c l a s s - e x t e n s i o n , c o n t e n t 一 v e r s io n ( 内容版本) : 表征类扩展的版本号, 例如, 所有允许实例的集合。 注3 : 当c o n te n t一 v e r s i o n 不 存在时, 事例可以属于同 一类的不同 版本。 c o n t e n t 一 r e v is i o n ( 内 容修订版本) : 对应于 类扩展的c o n t e n t v e r s i o n 版本的当前描述的修订号。 注4 : 当c o n t e n t v e r s i o n 不存在时, c o n t e n t - r e v i s i o n 不应该存在。 C l a s s i f ic a t i o n ( 分类) : 与分类值相关联的特性的集合。 r e c o mm e n d e d - p r e s e n t a t i o n ( 推荐表达) : 当显示一些特性的值的时候需要用到的推荐的单位和值格式。 注5 : r e c o m m e n d e d - p r e s e n t a t i o n 属性捕捉库数据供应商关于怎样表达值的建议, 按照他们在交换文件中字典定义 进行交换, 来进行用户显示。这样的转换不要求被 G B / T 1 7 6 4 5 实现支持。如果不被支持, 值要按照在特性 的字典定义进行表达 , 尽可能地修 改按照在包 含特性 的表的 f o r ma t t e d 一 c o l u mn 格式化 列) 中可能 的 v a l u e f o r m a t 来定义。 注6 : f o r m a t t e d - c o l u m n 是在本部分中的第 8 章的 I S O 1 3 5 8 4 - t a b l e - r e s o u r c e - s c h e m a ( I S O 1 3 5 8 4 表资源模式) 文档 中定义的。 形式限制: WR I : 在 r e f e r e n c e d - e x t e r n a l- i t e m s ( 引用外部项)c l a s s - e x t e n s io n - e x t e r n a l - i t e m s ( 类扩展外部项)中引用的所有的 e x t e r n a l_ f i l e _ p r o t o c o l ( 外部文件协议) 应该属于 u s e d - p r o t o c o l s 属性。 WR 2 : 与分类值相关联的所有的这些特性对于类应该是可应用的。 WR 3 : c o n t e n t _ v e r s i o n ( 内容版本) 和c o n t e n t r e v i s i o n 应该一起存在。 非形式限制 : I P 1 : 仅当类扩展改变之后, c o n t e n t v e r s i o n 应该是增量的, 例如, 新实例成为被允许的, 或者前一个实例是不允许的。 I P 2 : 当类扩展的 c o n t e n t - v e r s io n 是增量的, 它的类 d i c t i o n a r y - e l e me n t ( 字典元素) 的 v e r s io n 也应该是增量的。 注7 : c o n t e n t - v e r s i o n ( 内容版本) 属性的改变通常少于类 v e r s i o n , c o n t e n t - v e r s i o n 允许知道类版本最小的集合, 类 版本需要记录下来使当其实例化的时候能够区别于其他的实例。每一 c o n t e n t v e r s i o n 值仅仅需要一个类( 例 如最后一个类) 来记录。 I P 3 : 为了描述类扩展的改变, c o n t e n t - r e v i s i o n 应该是增量的, 改变是更改这个类允许的实例。 I N : 当类扩展的 c o n t e n t - r e v i s i o n 递增后, c o n t e n t - r e v is io n 应该设成 0 0 0 01 2 . 6 . 6 显式功能类扩展 e x p l i c i t - mo d e l- c l a s s - e x t e n s io n ( 显式功能类扩展) 实体通过显式的表达类的每一个实例规定了类扩展, 并且在一组结构中收集所有的实例。in s t a n c e i d e n t i f i c a t io n ( 实例标识) 属性表征了在它的类中需要无二义地标识每一个实例的属性子集。 E X P R E S S 描述: ) E N T I T Y e x p l ic i t - m o d e l- c l a s s - e x t e n s i o n A B S T R A C T S U P E R T Y P E O F ( O N E O F ( e x p l ic i t _ i t e m _ c l a s s _ e x t e n s i o n , e x p l ic i t _ f u n c t i o n a l_ m o d e l _ c l a s s _ e x t e n s io n ) ) S UB T Y P E O F ( mo d e l c l a s s e x t e n s i o n ) ;免费标准下载网( w w w . f r e e b z . n e t )免费标准下载网( w w w . f r e e b z . n e t ) 无需注册 即可下载G B / T 1 7 6 4 5 . 2 4 -2 0 0 3 / I S O 1 3 5 8 4 - 2 4 : 2 0 0 2 i n s t a n c e - i d e n t if i c a t io n : L I S T l : ? 三 O F U N I Q U E p r o p e r t y _ B S U; p o p u l a t io n ; L I S T l : ? O F U N I Q U E d ic _ c l a s s _ in s t a n c e ; t a b l e - l i k e : B O OL E AN;W HERE WR 1 : N O T t a b l e l i k e O R ( Q U E R Y ( i n s t S E L F . p o p u l a t i o n I N O T s a m e - o r d e r - f o r _ p r o p e r t i e s ( p o p u l a t io n 1 . p r o p e r t i e s , i n s t . p r o p e r t ie s ) ) ) ; WR 2 : a p p l ic a b l e p r o p e r t i e s ( S E L F c o n t e n t i t e m . d i c t i o n a r y - d e f i n i t io n , l i s t _ t o _ s e t ( S E L F . i n s t a n c e - i d e n t i f i c a t i o n ) ) ; WR 3 : a l l_ p r o p e r t i e s - a r e - a p p l i c a b l e ( S E L F ) ; WR 4 : s a m e - s t r i n g - v a l u e s - t r a n s l a t i o n s - f o r - c l a s s - e x t e n s io n ( S E L F ) ; WR 5 : Q U E R Y ( i n s t S E L F . p o p u l a t i o n i n s t . c l a s s _ d e f : : S E L F c o n t e n t _ it e m. d i c t i o n a r y - d e f i n i t i o n ) ; WR 6 : Q U E R Y ( i n s t S E L F . p o p u l a t i o n N O T ( Q U E R Y ( p r o p* in s t . p r o p e r t i e s N O T ( E X I S T S ( p r o p . i t s - v a l u e ) )A N D ( p r o p . p r o p _ d e f I N S E L F . i n s t a n c e i d e n t i f i c a t io n ) ) ) ) ;END E NTI TY(*; -e x p l ic it - m o d e l _ c l a s s _ e x t e n s i o n 属性定义: i n s t a n c e 一 i d e n t i f i c a t io n : 允许无二义地标识每一个被描述的 类实例。 注: 在 G B / T 1 7 6 4 5 中, 在任何时候都不允许重新使用同一个标识特征值来标识两个不同的零件, 例如, 两个零件的 非标识特征是不同的。如果这种情况发生, 一些附加的标识特征, 诸如版本, 应该一起来区分两个零件。 P o p u l a t i o n ( 总集) : 描述类全体的实例列表。 t a b l e l i k e ( 类似表) : 规定能否通过一个表结构来描述实例的一个布尔值。 形式限制 : WR l : 如果t a b l e li k e 是T U R E值, 与每一实例相关的特性应该是用同一次序给定的同一个特性。 WR 2 : 所有的i n s t a n c e - id e n t i f ic a t i o n ( 实例标识) 对类来说应该是可应用的。 WR 3 : 用来定义类全集中的任何实例的所有特性对类来说应该是可应用的。 WR 4 : 用来定义类全集中的任何实例的所有特性应该是像所有被引用的 p r o p e r t y - v a l u e 那样被翻译成同一种语言, p r o p e r t y - v a l u e 的值是t r a n s a t e d _ s t r in g _ v a l u e . WR 5 : 用来定义类全集中的任何实例的所有特性应该与通过继承属性d i c t i o n a r y - d e f i n i t i o n 被e x -p l i c i t - m o d e l- c la s s - e x t e n s i o n 引用的 类引用同一类。 WR 6 : 属于i n s t a n c e 一 i d e n t i f i c a t io n 列表的特性不应与定义类全集的所有实例的空值相关联。 非形式限制: I P I : 在同一类的不同版本 中, i n s t a n c e i d e n t i f i c a t i o n 特性不应该改变。 I P 2 : 在同一类中, 不管是哪个版本 , in s t a n c e i d e n t if i c a t i o n 特性的同一值应该对应于同一个零件 。1 2 . 6 . 7 显式项的类扩展 e x p l ic i t - i t e m - c l a s s - e x t e n s io n ( 显式项的类扩展) 显式表达功能模型类的扩展。同一结构定义功能模型 类的内 容, 无论它是包含在任何的i s - c a s e - o f 关系, 或是一个c o m p o n e n t - c l a s s , m a t e r i a l- c l a s s , f e a -t u r e - c l a s s , 或任一其他 it e m - c l a s s 子类型。免费标准下载网( w w w . f r e e b z . n e t )免费标准下载网( w w w . f r e e b z . n e t ) 无需注册 即可下载G B / T 1 7 6 4 5 . 2 4 - 2 0 0 3 / I S O 1 3 5 8 4 - 2 4 : 2 0 0 2E X P RE S S 描述 : ) E N T I T Y e x p l ic it - i t e m - c la s s - e x t e n s i o n S U B T Y P E O F ( e x p l i c i t _ mo d e l_ c l a s s _ e x t e n s io n ) ; a c c e s s - i c o n : OP T I ON AL A9 - i l l u s t r a t i o n ; c o n t e n t _ m s g : O P T I O N A L m e s s a g e ; c r e a t e - i c o n : L I S T仁 0 : ? O F A 6 - i l l u s t r a t io n ; c r e a t e _ ms g :O P TI ONAL . me s s a g e ; c l a s s - p r e s e n t a t io n - o n - p a p e r : L I S T 0 : ? O F il l u s t r a t i o n ; c l a s s - p r e s e n t a t io n - o n - s c r e e n : L I S T 0 : ? O F i l l u s t r a t io n ; W HERE WR 1 : Q U E R Y ( in s t S E L F e x p l i c i t _ mo d e l_ c l a s s _ e x t e n s io n . p o p u l a t io n N O T ( I S O 1 3 5 8 4 - I N S T A N C E - R E S O U R C E - S C H E MA D I C I T E M I N S T A N C E I N T Y P E O F ( i n s t ) ) ) ; WR 2 : d e f i n i t io n - a v a i la b le - i m p l i e s ( S E L F c o n t e n t _ it e m. d i c t io n a r y - d e f i n it i o n , I S O 1 3 5 8 4 _ I E C 6 1 3 6 0 _ D I C T I O N A R Y _ S C H E MA . I T E M C L A S S I N T Y P E O F ( ( S E L F c o n t e n t - it e m. d i c t io n a r y - d e f i n it i o n . d e f i n i t i o n 1 ) ) ) ; WR3 : NO T ( E X I S T S ( S E L F . a c c e s s - i c o n ) )OR ( S E L F . a c c e s s - i c o n I N S E L F m o d e l _ c l a s s _ e x t e n s i o n . r e f e r e n c e d - e x t e r n a l- i t e m s ) ; WR 4 : N O T ( E X I S T S ( S E L F . c o n t e n t _ m s g ) ) O R ( S E L F . c o n t e n t _ ms g I N S E L F mo d e l _ c l a s s _ e x t e n s i o n . r e f e r e n c e d - e x t e r n a l - i t e ms ) ; WR 5 : l i s t - t o - s e t ( S E L F . c r e a t e - i c o n ) S E L F mo d e l - c l a s s - e x t e n s i o n . r e f e r e n c e d - e x t e r n a l - i t e ms ; WR 6 : N O T ( E X I S T S ( S E L F . c r e a t e _ m s g ) ) O R ( S E L F . c r e a t e _ m s g I N S E L F mo d e l _ c l a s s _ e x t e n s i o n . r e f e r e n c e d - e x t e r n a l - i t e ms ) ; WR 7 : l i s t - t o - s e t ( S E L F . c l a s s - p r e s e n t a t i o n - o n - p a p e r ) S E L F m o d e l_ c l a s s _ e x t e n s i o n . r e f e r e n c e d - e x t e r n a l- it e m s ; WR 8 : l i s t - t o - s e t ( S E L F . c l a s s - p r e s e n t a t i o n - o n - s c r e e n ) S E L F mo d e l _ c l a s s _ e x t e n s i o n . r e f e r e n c e d - e x t e r n a l - i t e ms ; WR 9 : Q U E R Y ( i c o n* S E L F . c l a s s - p r e s e n t a t io n - o n - p a p e r ( NO T E X I S TS ( i c o n . wi d t h ) )O R ( i c o n . k i n d - o f - c o n t e n t i l l u s t r a t i o n - t y p e . n o t - s t a t i c - p i c t u r e ) )二 ; WR 1 0 : Q U E R Y ( ic o n 二 S E L F . c l a s s - p r e s e n t a t i o n - o n - s c r e e n ( N O T E X I S T S ( i c o n . w id t h ) ) ) 仁 ;END ENTI TY(; -e x p l ic i t - t e m _ c l a s s - e x t e n s io n 属性定义 : a c c e s s i c o n ( 访问图标): 触发在菜单中类扩展的图标。 c o n t e n t _ m s g ( 内容消息): 如果类要被实例化, 描述类内 容的消息。 c l a s s - p r e s e n t a t i o n - o n - p a p e r ( 纸质类表达): 当类的内容是用纸呈现给用户的时候, 由库数据供应商推荐的图解的有序列集合。 c l a s s - p r e s e n t a t i o n - o n - s c r e e n ( 屏 幕 上的 类 表达 ) : 当 类的内 容 是用 屏幕 呈现 给用 户的 时 候, 由 库 数免费标准下载网( w w w . f r e e b z . n e t )免费标准下载网( w w w . f r e e b z . n e t ) 无需注册 即可下载G B / T 1 7 6 4 5 . 2 4 -2 0 0 3 / I S O 1 3 5 8 4 - 2 4 : 2 0 0 2据供应商推荐的图解的有序列集合。 形式限制 : WR l : 所有的 d i c c l a s s i n s t a n c e ( 字典类实例) 的全集应该是用 d i c _ i t e m _ i n s t a n c e ( 字典项实例) 形式定义的。 WR 2 : 如果数据有效, 那么 I P 1 成立。 WR 3 : a c c e s s i c o n 应该属于 S E L F m o d e l_ c l a s s _ e x t e n s io n . r e f e r e n c e d - e x t e r n a l- i t e m s 的集合。 WR 4 : c o n t e n t m s g 应该属于S E L F m o d e l_ c l a s s _ e x t e n s i o n . r e f e r e n c e d _ e x t e r n a l_ i t e m s 的集合。 WR 5 : c r e a t e i c o n列表项应该属于 S E L F m o d e l- c l a s s - e x t e n s i o n . r e f e r e n c e d e x t e r n a l- i t e ms 的集合。 WR 6 : c r e a t e i c o n 应该属于 S E L F m o d e 址 c l a s s - e x t e n s io n . r e f e r e n c e d - e x t e r n a l- it e m s 的集合。 WR 7 : c l a s s - p r e s e n t a t i o n - o n - p a p e r i l l u s t r a t io n ( 纸质的类表达图解) 应该属于 S E L F m o d e l cl a s s -e x t e n s i o n . r e f e r e n c e d - e x t e r n a l- i t e ms 的集合。 WR 8 : c l a s s - p r e s e n t a t i o n - o n - s c r e e n i l l u s t r a t i o n ( 屏幕类表达图解) 应该属于S E L F m o d e l - c l a s s -e x t e n s i o n . r e f e r e n c e d - e x t e r n a l- i t e ms 的集合。 WR 9 : c l a s s - p r e s e n t a t i o n - o n - p a p e r i l l u s t r a t i o n 应该有宽度和高度属性, 而不是一种n o t - s t a t i c -p ic t u r e内容。 WR 1 0 : c l a s s _ p r e s e n t a t i o n _ o n _ s c r e e n i l l u s t r a t io n s 应该有宽 度和高度属性。 非形式限制 : I P I : S E L F c o n t e n t it e m . d i c t io n a r y - d e f in it i o n 应该定义为 it e m - c l a s s o1 2 . 6 . 8 显式功能模型类扩展 e x p l ii c i t _ f u n c t i o n a l _ m o d e l _ c l a s s _ e x t e n s i o n ( 显式功能 模型类扩展) 显式地模拟功能模型类的 扩展。无论它是否涉及 i s - v ie w - o f ( 视图) 关系, 同一结构定义了任何功能模型类的内容。 当 f u n c t i o n a l- m o d e l - c l a s s - e x t e n s i o n 被定义为 f m - c l a s s - v i e w - o f d ic t io n a r y e l e me n t 时, 与一些项实例特性相匹配的所有的特性将从i t e m c l a s s 中导出, 并且它们应该属于required-item-values属性和i n s t a n c e i d e n t i f i c a t io n 继承属性。 注 1 : 当e x p l i c i t _ f u n c t i o n a l _ m o d e l _ c l a s s - e x t e n s i o n 定义为 f m - c l a s s - v i e w - o f d i c t i o n a r y - e l e m e n t , 并且所有的i n s t a n c e i d e n t i f i c a t i o n ( 实例标识) 属性属于 : e q u i r e d - i t e m - v a l u e s ( 必需的项值) , 在一个库用户访问期间, 每一个 e x - p li c it_ f u n c t io n a 七 m o d e l- c la s s - e x t e n s io n 实例可以与 和它是is - v ie w - o f ( 视图 ) 关系的项实例一起来显示。 这允 许与它的项一起显示零件表征的项和一些它的功能特性。 例 : 价格 , 定单 的数量 , 股票的实用性是功能特性的例 子。 注 2 : 当e x p l i c i t f u n c t i o n a l _ m o d e l _ c l a s s _ e x t e n s i o n 定义为 f m - c l a s s - v i e w - o f d i c t i o n a r y - e l e m e n t , 并且所有的 i n s t a n c e i d e n t i f i c a t i o n ( 实例标识) 属性属于 r e q u i r e d - i t e m - v a l u e s , 当与其存在 i s - v i e w - o f 关系的项类扩展被定义为 e x - p h c i t i t e m c l a s s - e x t e n s i o n 是, 并且当两个 e x p l i c i t _ m o d e l _ c l a s s - e x t e n s i o n 他们的 t a b l e - l i k e 属性等于 T U R E 值时, 每一个功能模型类的实例可以与和它是 i s - v i e w - o f ( 视图) 关系的项实例一起通过将表达两个 e x p l i c i t m o d e l - c l a s s - e x t e n s i o n 全集的两个表的结合的结合来显示。 当 f u n c t i o n a l mo d e l c l a s s e x t e n s io n 被定义为 f u n c t io n a l- m o d e l- c l a s s d i c t i o n a r y - e l e m e n t 时, 如果不存在优先的 i s - v i e w - o f 关系 , r e q u i r e 之i t e m v a l u e s 应该是空的, 并且倾 向于涉及一些项实例特性的特性应该被定义为 r e p r e s e n t a t i o n _ P _ D E 1 , 他们应该属于 i n s t a n c e i d e n t if i c a t io n 继承特性。 注3 : 只 有r e p r e s e n t a t io n - P _ D E T 可以 在功能模型 类中 定义。 其他类型的 特性只能 被导人。 如果被f u n c t i o n a l - m o d e l- c l a s s d i c t io n a r y e l e me n t 引用的功能视图类是可实例化的, 每一个功能模 型 实 例 应 该 包 含 一 个 , 并 且 仅 有 一 个 特 性 的 数 据 类 型 是r e p r e s e n t a t i o n _ r e f e r e n c e , p r o g r a m - r e f e r e n c e或r e p r e s e n t a t io n 。这个具体特性, 被r e f e r e n c e 走r e p r e s e n t a t i o n引用的特性, 定义在功能视图类中要包含的由功能模型实例创建的r e p r e s e n t a t i o n 。此外, 如果这个表达由程序创建, 被p r o g r a m - r e f e r e n c e 引用, 程序的输人参数应该由在每一个实例中表达的p r o p e r t y _ B S U定义, 并且程序应该不包含输出和输免费标准下载网( w w w . f r e e b z . n e t )免费标准下载网( w w w . f r e e b z . n e t ) 无需注册 即可下载G B / T 1 7 6 4 5 . 2 4 -2 0 0 3 / I S O 1 3 5 8 4 - 2 4 : 2 0 0 2入输出参数。如果被e x p l i c i t _ f u n c t i o n a l _ m o d e l_ c la s s _ e x t e n s io n的f u n c t i o n a l- m o d e l - c l a s s d i c t i o n a r y -e l e m e n t 引用的功能视图类是不可实例化的, 那么 r e f e r e n c e d - r e p r e s e n t a t i o n 不应该存在。 如果被 e x p l i c i t - f u n c t i o n a l _ mo d e l _ c l a s s - e x t e n s i o n的 f u n c t io n a l - m o d e l - c l a s s d ic t i o n a r y - e l e m e n t引用功能视图类定义了一些视图控制变量, 每一个功能模型实例应该导人所有的特性并且它应该包含每一个特性的一个值 。这些导人的特性定义了由功能模型实例创建的具体的功能视图类 。这些导人的特性应该属于 i n s t a n c e i d e n t i f i c a t i o n 继承属性。 E X P R E S S 描述 : 二) E N T I T Y e x p l ic i t _ f u n c t i o n a l_ m o d e l - c I a s s _ e x t e n s i o n S U B T Y P E O F ( e x p l i c i t _ m o d e l _ c la s s _ e x t e n s i o n ) ; m e a s u r e u n i t : O P T I O N A L g l o b a l - u n i t - a s s i g n e d - c o n t e x t ; required-item-values: S E T 0 : ? O F p r o p e r t y _ b s u ; r e f e r e n c e d - r e p r e s e n t a t io n : O P T I O N A L p r o p e r t y _ b s u ; a v a i l a b l e - v i e w s - i c o n : OP T I ON AL A6-illustration; a v a i la b l e - v i e w s _ m s g ; O P T I O N A L m e s s a g e ; c o n t e x t _ p a r a m _ ic o n : L I S T 0 : ? O F A 6 - i l l u s t r a t io n ; c o n t e x t - p a r a m - m s g : O P T I O N A L m e s s a g e ; W HERE WR1 : d e f i n i t i o n - a v a i l a b l e - i mp l i e s ( S E L F c o n t e n t _ it e m. d i c t i o n a r y - d e f i n i t i o n , I S O 1 3 5 8 4 - E X T E N D E D - D I C T I O N A R Y - S C H E MA A B S T R A C T - F U N C T I O N A L - MO D E L - C l - A S S I N T Y P E O F ( S E L F c o n t e n t - i t e m . d i c t io n a r y - d e f in i t i o n . d e f i n i t io n 1 ) ) ; WR 2 : r e q u i r e d _ v a l u e s _ a r e _ n o n _ d e p e n d e n t _ p _ d e t ( S E L F ) ; WR 3 : r e q u i r e d - v a l u e s - a r e - i m p o r t e d - p r o p e r t ie s ( S E L F ) ; WR 4 : S E L F . required-item-values l is t - t o - s e t ( S E L F e x p l i c i t _ m o d e l_ c l a s s _ e x t e n s i o n . in s t a n c e i d e n t if i c a t io n ) ; WR 5 : NOT ( E X I S TS ( S E L F . available-views-icon)) O R ( S E L F . a v a i l a b l e - v i e ws - i c o n I N S E L F mo d e l _ c l a s s _ e x t e n s i o n . r e f e r e n c e d - e x t e r n a l - i t e ms ) ; WR 6 : N O T ( E X I S T S ( S E L F . a v a i l a b l e _ v i e w s _ m s g ) ) O R ( S E L F . a v a i l a b l e _ v ie w s _ m s g I N S E L F mo d e l _ c l a s s _ e x t e n s i o n . r e f e r e n c e d - e x t e r n a l - i t e ms ) ; WR 7 : l i s t - t o - s e t ( S E L F . c o n t e x t - p a r a m - i c o n ) 二 S E L F mo d e l - c l a s s - e x t e n s i o n . r e f e r e n c e d - e x t e r n a l - i t e ms ; WR 8 : N O T ( E X I S T S ( S E L F . c o n t e x t _ p a r a m _ ms g ) ) O R ( S E L F . c o n t e x t _ p a r a m _ m s g I N S E L F mo d e l _ c l a s s _ e x t e n s i o n . r e f e r e n c e d - e x t e r n a l - i t e ms ) ; WR 9 : e x is t s _ r e p r e s e n t a t i o n _ f o r _ i n s t a n c i a b l e _ v i e w ( S E L F ) ; WR1 0 : a l l - v i e w _ c o n t r o l _ v a r i a b I e s _ b e l o n g _ t o _ e a c h _ v i e w( S E L F ) ;WR 1 1 : Q U E R Y ( a v i e w ,S E L F e x p l ic it m o d e l_ c l a s s _ e x t e n s io n . p o p u l a t i o n N O T ( I S O 1 3 5 8 4 - I N S T A N C E - R E S O U R C E - S C H E MA D I C _ F _ MO D E L _ I N S T A N C E I N T Y P E O F ( a _ v i e w ) ) ) ;免费标准下载网( w w w . f r e e b z . n e t )免费标准下载网( w w w . f r e e b z . n e t ) 无需注册 即可下载G B / T 1 7 6 4 5 . 2 4 -2 0 0 3 / I S O 1 3 5 8 4 - 2 4 : 2 0 0 2 WR 1 2 : a l l_ v c v s _ b e l o n g _ t o i n s t a n c e _ i d e n t i f i c a t io n ( S E L F ) ; WR 1 3 : N O T E X I S T S ( r e f e r e n c e d - r e p r e s e n t a t i o n ) O R ( Q U E R Y ( i n s t ,S E L F . p o p u l a t io n N O T ( i s _ p r o v id e d _ o n c e _ p r o p e r t y _ v a l u e ( i n s t , r e f e r e n c e d - r e p r e s e n t a t io n ) ) ) ) ; WR 1 4 : N O T E X I S T S ( r e f e r e n c e d _ r e p r e s e n t a t i o n ) O R ( Q U E R Y ( i n s t 二S E L F . p o p u l a t io n I N O T ( n u m b e r o f _ in s t a n c e _ r e p r e s e n t a t i o n s ( i n s t ) 1 ) ) ) ; WR 1 5 : E X I S T S ( r e f e r e n c e d _ r e p r e s e n t a t io n ) O R ( Q U E R Y ( i n s t S E L F . p o p u l a t io n N O T ( n u m b e r o f _ i n s t a n c e _ r e p r e s e n t a t io n s ( in s t ) 0 ) ) ) ; WR 1 6 : N O T E X I S T S ( r e f e r e n c e d _ r e p r e s e n t a t i o n ) O R ( S I Z E O F ( r e f e r e n c e d _ r e p r e s e n t a t i o n . d e f i n i t i o n ) 0 ) O R N O T ( I S O 1 3 5 8 4 - E X T E N D E D - D I C T I O N AR Y - S C HE MA . P R O G R A M - R E F E R E N C E - T Y P E I N d a t a _ t y p e _ t y p e o f ( r e f e r e n c e d _ r e p r e s e n t a t i o n ) ) O R ( Q U E R Y ( i n s t 二S E L F . p o p u l a t io n N O T ( c o r r e c t - p a r a m e t e r s - f o r - e x p l ic i t - p r o g r a m( i n s t , r e f e r e n c e d - r e p r e s e n t a t i o n ) ) ) ) ; E N D _ E N T I T Y; -e x p l ic it - f u n c t i o n a l- m o d e l - c l a s s - e x t e n s i o n (二 属性定义: me a s u r e _ u n i t ( 测量单位) : g l o b a l - u n i t - a s s i g n e d - c o n t e x t ( 全局单位赋值相关环境) , 它为所有的由f u n c t io n a l_ m o d e l_ c l a s s 生成的函数视图定义了测量单位。若不提供此可选属性, 则 le n g t h m e a s u r e ( 长度测量) 的缺省值为毫米, 且对于p l a n a r - a n g l e ( 平面角) 测量, 其缺省值为度。对于其他单位来说没有缺省值。 r e q u i r e d _ i t e m _ c h a r a c t e r i s t ic s : 它是一个项特性, 其值被要求能够实例一个功能模型类。这些属性应属于f m - c l a s s - v i e w - o f d ic t i o n a r y - e l e m e n t 的i m p o r t e d _ p r o p e r t i e s _ f r o m _ i t e m o 注 4 :只有被要求实例化 f u n c t i o n a l _ m o d e l _ c l a s s 的项属性出现在此列表上。 r e f e r e n c e d r e p r e s e n t a t i o n s : 此表达在类描述中被引用。如果它存在, 此表达属于功能模型能够创建视图的内容。 a v a i l a b l e - v i e w s - ic o n ( 有效视图图标) : 该图标可实现由功能模型类生成的不同视图的可见表示。 a v a i l a b l e _ v i e w s _ ms g ( 有效视图消息) : 此m e s s a g e 描述了由功能模型类生成的不同视图。 c o n t e x t _ p a r a m _ i c o n ( 相关环境参数图标) : 此图标可实现视图生成所需求的可选属性的可见表示。 c o n t e x t _ p a r a m _ ms g ( 相关环境参数消息) : 此m e s s a g e 描述了视图生成所需求的自由模型属性。 形式限制: WR I : 如果数据有效 , 那么 I P I 成立。 注 5 : f u n c t io n a l - mo d e l - c l a s s和 f m _ c l a s s _ v i e w _ o f 是 a b s t r a c t _ f u n c t io n a l _ mo d e l_ c l a s s 的子类 。 WR 2 : 如果 r e q u ir e d - it e m - v a l u e s 非空, S E L F c o n t e n t - i t e m . d i c t i o n a r y - d e f i n i t io n应该被定义为fm-class-view-of, 并且所有的 required-item-values应该定义为 n o nd e p e n d e n t P _ D E T , WR 3 : 如果 required-item-values非空, S E L F c o n t e n t - it e m . d i c t i o n a r y - d e f i n i t io n 应该定义为 f m免费标准下载网( w w w . f r e e b z . n e t )免费标准下载网( w w w . f r e e b z . n e t ) 无需注册 即可下载G B / T 1 7 6 4 5 . 2 4 -2 0 0 3 / I S O 1 3 5 8 4 - 2 4 : 2 0 0 2- c l a s s - v ie w - o f , 并且所有的 r e q u i r e d _ i t e m _ v a l u e s 应该属于 f m - c l a s s - v ie w - o f 的 imp o r t e d - p r o p e r t i e s -f r o m - i t e m属性。 WR 4 : required-item-values特性应该属于i n s t a n c e i d e n t i f ic a t i o n 特性的集合。 注6 : 当两个集合相等, 一旦项实例被选中, 功能模型类实例可以由系统自动地计算。 WR 5 : a v a i l a b l e _ v i e w s _ i c o n 应该属于 S E L F mo d e l - c l a s s - e x t e n s io n . r e f e r e n c e d - e x t e r n a l i t e m s的集合。 WR 6 : a v a i l a b l e - v i e w s - i c o n 应该属于 S E L F mo d e l- c l a s s - e x t e n s io n . r e f e r e n c e d - e x t e r n a l- i t e m s 的集合。 WR 7 : c o n t e x t _ p a r a m _ i c o n 列表项应该属于 S E L F m o d e l - c l a s s - e x t e n s i o n r e f e r e n c e d _ e x t e r n a l -f i l e 的集合。 WR 8 : c o n t e x t - p a r a m_ ms g应该属于 S E L F m o d e l - c l a s s - e x t e n s i o n r e f e r e n c e d e x t e r n a l - f i l e的集合。 WR 9 : 如果被e x p l i c i t - f u n c t io n a l- mo d e l- c l a s s - e x t e n s i o n 引用的功能视图类不是n o n i n s t a n c i a b l e v ie w c l a s s , 那么r e f e r e n c e d - r e p r e s e n t a t io n 存在并且它的数据类型是r e p r e s e n t a t i o n - t y p e 9 r e p r e s e n -t a t io n _ r e f e r e n c e _ t y p e 或 p r o g r a m - r e f e r e n c e - t y p e 。如果被 e x p l ic i t - f u n c t io n a l - m o d e l - c l a s s - e x t e n s i o n引用的功能视图类是n o n i n s t a n c i a b l e v i e w c l a s s , 那么r e f e r e n c e d - r e p r e s e n t a t io n 不存在。 WR 1 0 : 在被e x p l i c i t _ f u n c t i o n a l _ m o d e l _ c l a s s _ e x t e n s io n 字典定义引用的功能视图类中 定义所有的视图控制变量应该用来描述属于S E L F mo d e l_ c l a s s _ e x t e n s i o n . p o p u l a t io n 列表的每一个d i c c l a s s i n -s t a n c e。 WR 1 1 : 全集中所有的 d i c c la s s i n s t a n c e 应该定义为 d i c _ 仁 m o d e l- i n s t a n c e o WR 1 2 : 在被e x p l i c i t _ f u n c t i o n a l _ m o d e l _ c l a s s _ e x t e n s io n 字典定义引用的功能视图类中 定义所有的视图控制变量和所有的required-item-values应该属于S E L F m o d e l_ c la s s _ e x t e n s i o n . i n s t a n c e - i d e n t i-f i c a t i o n 列表。 WR 1 3 : 如果r e f e r e n c e d r e p r e s e n t a t io n 存在, 那么此p r o p e r t y _ B S U与每一个e x p l ic it - f u n c t i o n a l -m o d e l- c l a s s - e x t e n s i o n 实 例 一 确 切值 相 关 联。 WR 1 4 : 如果r e f e r e n c e d r e p r e s e n t a t i o n 存在, 那么 恰好存在一个p r o p e r t y _ B S U, 其数据类型是在每一个e x p l ic it f u n c t io n a l m o d e l c l a s s - e x t e n s i o n实例 的p r o p e r t i e s 属性中的r e p r e s e n t a t i o n t y p e , r e p -r e s e n t a t i o n - r e f e r e n c e _ t y p e 或 p r o g r a m - r e f e r e n c e t y p e o WR 1 5 : 如果r e f e r e n c e d r e p r e s e n t a t i o n不存在, 那么不存在数据类型是每一个explicit-functional_m o d e l_ c l a s s _ e x t e n s i o n 实例的 p r o p e r t i e s 属性中的 r e p r e s e n t a t i o n - t y p e , r e p r e s e n t a t i o n - r e f e r e n c e - t y p e或 p r o g r a m - r e f e r e n c e - t y p e 的 p r o p e r t y _ B S U o WR 1 6 : 如果r e f e r e n c e d - r e p r e s e n t a t io n 存在, 那么此p r o p e r t y _ B S U在每一个e x p l ic it - f u n c t i o n a l -m o d e l- c l a s s - e x t e n s i o n实例中和一个 p r o g r a m - r e f e r e n c e 相关联 , o u t - p a r a me t e r s和 m o u t _ p a r a m e t e r s列表是空的, 并且在in - p a r a m e t e r s 属性中所有的值是与在同一e x p l i c i t - f u n c t i o n a l- m o d e l- c l a s s - e x t e n -s io n实例中的值相关联的p r o p e r t y _ B S U o 非形式限制: I P 1 : S E L F c o n t e n t - i t e m. d i c t io n a r y - d e f in i t i o n被定义为 a b s t r a c t f u n c t io n a l mo d e l c l a s s 或它的任一子类型。1 2 . 6 . 9 隐式模型类扩展 i m p l i c i t - m o d e l - c la s s - e x t e n s i o n 隐式模型类扩展) 实体通过判定实例是否满足类定义的机制规定了类扩展。 c l a s s - e x t e n s io n 属 性 包 含一 组d o m a i n - r e s t r i c t i o n ( 域限 制) , 每 一 个定 义了 一个 或 n个, 可 选择 特 性的域。当特性域退化成单独一个时, 此d o m a i n r e s t r i c t io n 可以是f u n c t io n a l d o m a i n r e s t r i c t i o n 。在后免费标准下载网( w w w . f r e e b z . n e t )免费标准下载网( w w w . f r e e b z . n e t ) 无需注册 即可下载G B / T 1 7 6 4 5 . 2 4 -2 0 0 3 / I S O 1 3 5 8 4 - 2 4 : 2 0 0 2一种情况中, 可选择的特性或多个特性的值应该不是被用户选择的。一旦对应的函数是 自动计算的, 它应该是 自动由系统计算的。 D e r i v a t i o n 属性包含导出函数 , 此导出函数激活作为其他实例特性的函数的 S E L F实例 d e r i v e d -p r o p e r t i e s 的计算值。导出过程由 f u n c t i o n a l _ d o m a in _ r e s t r i c t io n ( 函数域限制) 定义。 执行f u n c t io n a l d o m a i n r e s t r i c t i o n由估算每一个g u a r d 构成, g u a r d 保护 s i m p l e - f u n c t i o n a l _ d o -m a i n , 并且, 如果它们的一些求值是 T R U E , 则执行保护求值是 T R U E的那个函数 。如果所有的保护求值为 F A L S E , 则发生了错误。 注: 如果导出函数不依赖于其他任何特性, 仅有一个g u a r d e d - s i m p l e - d o m a i n 需要规定, 其 g u a r d 是 b o o l e a n _ l i t e r a l , 正如 I S O 1 3 5 8 4 - 2 0 定义的那样。 F i l t e r s 属性激活有关 s e l e c t a b l e p r o p e r t i e s 约束规范, 在任何允许的情况下, s e le c t a b l e - p r o p e r t i e s应该求值为 T R U E 。这些约束 由 。 l a s s - e x t e n s io n 为约束的 s e l e c t a b l e - p r o p e r t i e s 激活有关定义域的更深一层的约束。这些约束过滤被约束的可选择特性的显示约束值的作用对于L MS符合I S O 1 3 5 8 4 不是强制性的。每一个过滤器与 。 o n s t r a i n t _ d e s c r i p t i o n 消息相关联 ; 在过户选择过程之后 , 当系统仅仅检查过滤器时, 应该显示c o n s t r a i n t _ d e s c r i p t i o n o E X P R E S S描述: 关) E N T I T Y imp l i c i t - m o d e l c l a s s - e x t e n s i o n A B S T R AC T S UP E R TY P E O F ( O NE OF ( i t e m _ c l a s s _ e x t e n s i o n , f u n c t i o n a l - mo d e l - c l a s s - e x - t e n s i o n ) ) S UB T YP E OF ( mo d e l _ c l a s s _ e x t e n s i o n ) ; s e l e c t a b l e - p r o p e r t i e s : L I S T 0 : ? O F UN I Q U E o p t - o r - m a n d - p r o p e r t y _ B S U; r e q u i r e d - p r o p e r t i e s : L I S T 0 : ? O F U N I Q U E o p t _ o r m a n d _ p r o p e r t y _ B S U; d e r i v e d - p r o p e r t i e s : L I S T 0 : ? O F U N I Q U E o p t - o r - m a n d _ p r o p e r t y - B S U; c l a s s - e x t e n s io n : S E T 0 : ? O F d o m a i n - r e s t r i c t io n ; d e r i v a t io n ; S E T 0 : ? O F f u n c t i o n a l _ d o m a i n _ r e s t r i c t i o n ; f i l t e r s : S E T仁 0 : ? O F d o ma in - r e s t r i c t i o n ; W H ERE WR I : Q U E R Y ( o p t - o r - m a n d S E L F . s e l e c t a b le - p r o p e r t i e s N O T a p p l i c a b l e - p r o p e r t i e s ( S E L F c o n t e n t _ i t e m . d ic t i o n a r y - d e f i n i t io n , o p t _ o r _ m a n d . p r o p e r t y ) ) ; WR 2 : Q U E R Y ( o p t - o r - m a n d S E L F . d e r i v e d - p r o p e r t i e s N O T a p p l i c a b l e - p r o p e r t i e s ( S E L F c o n t e n t _ i t e m . d i c t i o n a r y - d e f i n i t io n , o p t _ o r _ m a n d . p r o p e r t y ) ) ; WR3 :( QUE R Y( d o m , ( S E L F . c l a s s - e x t e n s i o n S E L F . d e r i v a t i o n十 S E L F . f i l t e r s ) ) ( Q UE R Y ( s e md o m . a s s u m e s N O T ( I S O 1 3 5 8 4 - V A R I A B L E - S E MA N T I C S - S C HE MA S E L F - P R O P E R T Y - S E MA N T I C S I N T Y P E O F ( s e m ) ) ) ) ) 仁 )免费标准下载网( w w w . f r e e b z . n e t )免费标准下载网( w w w . f r e e b z . n e t ) 无需注册 即可下载GB / T 1 7 6 4 5 . 2 4 -2 0 0 3 / I S O 1 3 5 8 4 - 2 4 : 2 0 0 2 AND ( QUE R Y( d o m * S E L F . f i l t e r s ( Q U E R Y( s e m 二 d o m . d e f in e s N O T ( I S O 1 3 5 8 4 - V A R I A B L E - S E MA N T I C S - S C HE MA S E L F - P R O P E R T Y - S E MA N T I C S I N T Y P E O F ( s e m) ) ) ) )仁 ) ;W R 4 : QUE R Y( d o m * ( S E L F . c l a s s - e x t e n s i o n S E L F . d e r i v a t i o n ) Q U E R Y ( s e m 二d o m . d e f i n e s N O T ( I S O 1 3 5 8 4 - V A R I A B L E - S E MA N T I C S - S C HE MA S E L F - P R O P E R T Y - V A L U E - S E MA N T I C S I N T Y P E O F ( s e m) ) O R E X I S T S ( s e m . i t s - o w n - p r o p e r t y ) ) )二仁 ;WR 5 : N O T a l l- c l a s s - d e s c r i p t i o n s - r e a c h a b l e ( S E L F . d i c t i o n a r y - d e f i n i t io n ) O R ( Q U E R Y ( d o m 二 ( S E L F . c l a s s - e x t e n s i o n S E L F . d e r i v a t i o n S E L F . f i l t e r s ) 1 ( Q U E R Y ( s e m d o m . a s s u m e s N O T ( s e m p r o p e r t y - s e m a n t ic s . t h e - p r o p e r t y I N p r o v i d e 走p r o p e r t i e s _ l i s t ( S E L F . d i c t i o n a r y - d e f i n i t io n ) ) ) ) )二 仁 ) ;WR 6 : N O T all-class-descriptions-reachable( S E L F . d i c t i o n a r y - d e f i n i t io n ) O R ( Q U E R Y ( d o m 二 ( S E L F . c l a s s - e x t e n s i o n S E L F . f i l t e r s ) I ( Q U E R Y ( s e m ,d o m . d e f i n e s N O T ( s e m p r o p e r t y - s e ma n t ic s . t h e - p r o p e r t y I N s e l e c t a b l e - p r o p e r t i e s - l i s t ( S E L F . d i c t io n a r y - d e f in i t i o n ) ) ) ) ) ) ;WR 7 : N O T a ll - c l a s s - d e s c r i p t i o n s - r e a c h a b le ( S E L F . d i c t i o n a r y d e f i n i t i o n ) O R ( Q U E R Y ( d o m ( S E L F . c l a s s - e x t e n s i o n S E L F . d e r i v a t i o n S E L F . f i l t e r s ) ( Q U E R Y ( t a b d o m . b a s e - t a b l e s N O T a p p l ic a b l e t a b l e s ( S E L F . d i c t i o n a r y - d e f i n i t i o n , t a b ) ) ) )二 ) ;WR 8 : a c y c l i c _ c l a s s _ e x t e n s i o n _ d e f i n it i o n ( S E L F . d i c t i o n a r y - d e f i n i t i o n ) ;WR 9 : Q U E R Y ( p r o p S E L F . s e l e c t a b l e - p r o p e r t i e s S I Z E O F ( Q U E R Y ( c h o i S E L F . c l a s s - e x t e n s io n ( p r o p . p r o p e r t y I N g e t _ p r o p e r t y _ B S U _ f r o m _ p r o p e r t y _ s e m a n t ic s ( c h o i d o ma i n _ r e s t r i c t i o n . d e f i n e s ) ) ) ) 1 ) ;WR I O : Q UE R Y ( p r o p S E L F . d e r i v e d - p r o p e r t ie s I S I Z E O F ( Q U E R Y ( f S E L F . d e r i v a t i o n ( p r o p . p r o p e r t y I N g e t _ p r o p e r t y _ B S U _ f r o m _ p r o p e r t y _ s e m a n t ic s ( f . d e f i n e s ) ) ) ) 1 ) 仁 ;WR I I : N O T a l l- c l a s s ,- d e s c r i p t i o n s - r e a c h a b l e ( S E L F . d ic t io n a r y - d e f i n i t i o n ) O R ( Q UE R Y ( f S E L F . d e r i v a t i o n ( Q U E R Y ( p r o p f . d e f i n e s免费标准下载网( w w w . f r e e b z . n e t )免费标准下载网( w w w . f r e e b z . n e t ) 无需注册 即可下载G B / T 1 7 6 4 5 . 2 4 -2 0 0 3 / I S O 1 3 5 8 4 - 2 4 : 2 0 0 2 N O T ( g e t _ p r o p e r t y _ B S U _ f r o m _ p r o p e r t y _ s e m a n t i c s ( p r o p ) 1 I N d e r i v e d - p r o p e r t i e s - l i s t ( S E L F . d ic t i o n a r y d e f i n i t i o n ) ) ) 仁 ) ) 仁 ) ; WR 1 2 : N O T a l l- c l a s s - d e s c r i p t io n s - r e a c h a b l e ( S E L F . d i c t i o n a r y - d e f i n i t i o n ) O R ( Q U E R Y ( p r o p , d e r i v e d _ p r o p e r t i e s _ l i s t ( S E L F . d i c t i o n a r y - d e f i n i t i o n ) S I Z E O F ( Q U E R Y ( f ,d e f in e 之d e r iv a t io n _ f u n c t io n ( S E L F . d i c t i o n a r y - d e f in i t i o n ) Q UE R Y ( s e m f . d e f i n e s I s e m p r o p e r t y _ s e m a n t i c s . t h e - p r o p e r t y 二p r o p ) ) ) 1 )一 ) ; WR 1 3 : Q U E R Y ( f i l t f i l t e r s I N O T ( E X I S T S ( f i l t , c o n s t r a i n t d e s c r i p t io n ) ) ) ; WR 1 4 : Q U E R Y ( d o rn _ 1 ,c l a s s - e x t e n s i o n N O T ( Q U E R Y ( d o m _ 2 d o m _ l . d o m a i n s I S O 1 3 5 8 4 _ D O M A I N _ R E S O U R C 及S C H E M A P R E D I C A T E - D E F I N E 几D O MA I N I N T Y P E O F ( d o m _ 2 . d o m a i n ) ) ) ) ; WR 1 5 : Q U E R Y ( p r o p S E L F . r e q u i r e d - p r o p e r t i e s I p r o p . i s - o p t io n a l ) ; E N D - E N T I T Y; -im p l i c i t - m o d e l- c l a s s , e x t e n s i o n ( 属性定义 : s e le c t a b l e p r o p e r t i e s ( 可选择的特性) : 当选择一个实例时, 应该由用户设置的实例特性。L I S T排序定义了呈现给用户的缺省排序。 r e q u ir e d p r o p e r t ie s ( 需要的 特性) : 当类通过一个语义关系被实例化时, 实例属性应存在于另一个实例中, 且在已生成的实例中被系统拷贝。 d e r i v e d - p r o p e r t ie s : 实例属性应由系统从s e l e c t a b l e - p r o p e r t i e s 中导出。 L I S T次序定义T 缺省次序, 它们应被表示给用户。 D e r i v a t i o n : 导出函数允许导出属性的计算。 F i l t e r s : 当一些其他属性值为已知时, d o m a i n - r e s t r i c t i o n s 可使库数据供应商来限定一些可选属性的域。 形式限制 : WR 1 : 所有的 s e l e c t a b l e - p r o p e r t i e s 都应适用于类。 WR 2 : 所有的 d e r iv e d - p r o p e r t i e s 都应适用于类。 WR 3 : 所有在 c l a s s - e x t e n s i o n , d e r i v a t i o n 和 f il t e r s 属性 中被引用的 d o m a in - r e s t r ic t i o n s 应通过它们的d e f i n e s 和a s s u m e s 属性只引用v a r i a b l e _ s e m a n t i c s , 该可变语义为s e l f - p r o p e r t y - v a l u e - s e m a n t i c s . WR 4 : 所有在 。 l a s s e x t e n s i o n 和 d e r i v a t i o n 属性中被引用的 d o ma i n - r e s t r i c t i o n s 应通过它们的 d e -f i n e s 属性只引用s e l 仁 p r o p e r t y - v a l u e - s e ma n t i c s , 该自 身属性值语义役有I t s - o w n - p r o p e r t y 值。 WR 5 : 所有在 c l a s s - e x t e n s i o n , d e r i v a t i o n , 和 f i l t e r s 属性中被引用的 d o m a i n - r e s t r i c t io n s 应通过它们的a s s u m e s 属性只引用s e l f - p r o p e r t y - v a l u e - s e m a n t ic s , 该自身属性值语义引用那些属于被提供属性的属性, 这些被提供的属性是通过p r o v i d e d - p r o p e r t ie s - l i s t 函数返回的。 WR 6 : 所有 c l a s s - e x t e n s io n和 f i lt e r s 的 d o m a in - r e s t r i c t i o n s 应通过它们的 d e f i n e s 属性只引用 s e l f- p r o p e r t y - v a l u e - s e ma n t ic s , 该自身属性值语义引用被定义的或被继承的s e l e c t a b l e - p r o p e r t i e s .免费标准下载网( w w w . f r e e b z . n e t )免费标准下载网( w w w . f r e e b z . n e t ) 无需注册 即可下载G B / T 1 7 6 4 5 . 2 4 -2 0 0 3 / I S O 1 3 5 8 4 - 2 4 : 2 0 0 2 WR 7 : 所有在 c l a s s - e x t e n s i o n , d e r iv a t i o n , 和 f i l t e r s 属性中被引用的 d o m a i n - r e s t r i c t i o n s 应只引用那些适用于类的表。 WR 8 : 通过域定义的d e f i n e s / a s s u me s 链, 属性不应是自身值的一部分。 WR 9 : 在s e l e c t a b l e - p r o p e r t i e s 中的每个可选属性应符合在 。 l a s s - e x t e n s i o n中的一个d o m a i n _ r e -s t r i c t i on o WR 1 0 : 在 d e r i v e d - p r o p e r t ie s中的每个导出属性应符合在 d e r i v a t io n中的一个 f u n c t i o n a l - d o m a in -r e s t r i c t i o n. WR l l : 在n e w - d e r i v e d - p r o p中作为导出属性被重定义的每个继承属性应符合在 d e r i v a t io n中的一个 f u n c t i o n a l d o m a in - r e s t r i c t io n , WR 1 2 : 对于每个被定义的, 被重定义的或被继承的d e r i v e d - p r o p e r t i e s , 存在一个导出函数。 WR 1 3 : 在f i l t e r s 中被引用的所有的d o m a in r e s t r i c t io n s 应包含。 o n s t r a i n t _ d e s c r i p t i o n 信息。 WR 1 4 : 在c l a s s e x t e n s io n 属性中所有的d o m a in r e s t r i c t io n s 应是经过解释的: 没有被允许的p r e d -i c a t e - d e f i n e d - d o m a i n . WR 1 5 : 所有的 r e q u i r e d - p r o p e r t i e s 应该是强制特性。1 2 . 6 . 1 0 项类扩展 I t e m - c l a s s - e x t e n s i o n ( 项类扩展) 隐式地表达了通用模型类。无论它是否包含在i s - c a s e - o f ( 事例)关系中, 并且无论它是。 o m p o n e n t _ c l a s s ( 部件类) , m a t e r i a l - c l a s s , f e a t u r e c l a s s 还是其他 it e m - c la s s ( 项类) 子类型, 相同的 结构定义任何通用模型类的内 容。它可以包含s u p p l i e r id e n t if i c a t i o n和s u p p li e r -d e s ig n a t i o n字符串表达式 , 产生人工可读的由类供应商定义的类实例标识。它还包含 id e n t if ie d - it e m属性, 规定了项类是否全面标识 , 或它们是通过它们的组成部件标识。这些属性 的解释如下 : 当 i d e n t i -f i e d - i t e m 是 F A L S E , 项是一个装配。如果后边跟着直到组成部件 i d e n t i f i e d it e m是 T R UE才停止计算的 递归计算组成部件标识集合, 它的人工可读的标识应该由 它的s u p p l i e r i d e n t i f i c a t io n 构成。当i-d e n t i f ie d i t e m是T R U E , 项由它自己标识。如果可以, s u p p l i e r - i d e n t i f ic a t i o n 包含足够信息来无二义地标识项 , 无论它是组件或子系统 。 注I : 在电 子商务中, 当订购 一个组件的 时候, 上述规定了 需要交换什么信息。 如果 id e n t if ie d i te m是T R U E , s u p - p l i e r - i d e n t i f i c a t i o n 值如果存在, 完全标识了项。如果 i d e n t i f i e d - i t e m是 F A L S E , 项的 s u p p l i e r i d e n t i f i c a t i o n 值的集合和它的所有的组成部件( 直到他们的i d e n t i f i e d i t e m等于T R U E ) 需要完全标识装配。这对应于 b i l l - o f - m a t e r i a l - l i k e ( 类似物料清单) 标识。当i d e n t i f i e d i t e m是 T R U E 并且 s u p p l i e r i d e n t i f i c a t i o n 不存在时, 不存 在人工可读的标识字符串是可知的。 E X P R E S S 描述: 二) E NT I T Y i t e m- c l a s s - e x t e n s i o n S U B T Y P E O F ( i m p l i c i t _ m o d e l _ c l a s s _ e x t e n s i o n ) ; s e l e c tio n _ c o n t e x t_ p a r a m e t e r s : L I S T 0 : ? O F U N I Q U E o p t o r _ m a n d _ p r o p e r t y _ B S U; id e n t if ic a t io n _ c h a r a c t e r is t ie s : L I S T 0 : ? O F U N I Q U E o p t o r _ m a n d _ p r o p e r t y _ B S U; d e r iv e d - c h a r a c t e r is t ic s : L IS T 0 : ? O F U N IQ U E o p t o r _ ma n d _ p r o p e r t y _ B S U; c o n t e x t- d e p e n d e n t_ c h a r a c te r is t ie s ; L I S T 0 : ? O F U N I Q U E o p t o r _ m a n d _ p r o p e r t y _ B S U; i d e n t i f i e d - i t e m: B O OL E AN; s u p p l i e r i d e n t i f i c a t i o n ; O P T I O N A L s t r i n g - e x p r e s s i o n ; s u p p l i e r d e s i g n a t i o n : O P T I O N A L s t r i n g - e x p r e s s i o n ; a c c e s s - i c o n : OP T I ON AL A9 _ i l l u s t r a t i o n ;免费标准下载网( w w w . f r e e b z . n e t )免费标准下载网( w w w . f r e e b z . n e t ) 无需注册 即可下载G B / T 1 7 6 4 5 . 2 4 -2 0 0 3 / I S O 1 3 5 8 4 - 2 4 : 2 0 0 2 c o n t e n t ms g : O P TI O NA L m e s s a g e ; c r e a t e - i c o n : L I S T 0 : ? O F A 6 i l l u s t r a t i o n ; c r e a t e _ m s g : O P T I O N A L m e s s a g e ; c l a s s _ p r e s e n t a t i o n _ o n _ p a p e r ., L I S T 0 : ? O F i l l u s t r a t i o n ; c l a s s - p r e s e n t a t i o n - o n - s c r e e n : L I S T 0 : ? O F i l l u s t r a t i o n ;DE RI VE S E L F i m p i c i t _ m o d e l _ c l a s s _ e x t e n s i o n . s e l e c t a b l e - p r o p e r t i e s : L I S T 0 : ? O F U N I Q U E o p t o r _ m a n d _ p r o p e r t y _ B S U : = S E L F . s e l e c t i o n - c o n t e x t - p a r a m e t e r s S E L F . identification-characteristics; S E L F i m p l i c i t m o d e l _ c l a s s _ e x t e n s i o n . d e r i v e d - p r o p e r t i e s : L I S T 0 : ? O F U N I Q U E o p t o r _ m a n d _ p r o p e r t y _ B S U : S E L F . d e r i v e d _ c h a r a c t e r i s t i c s S E L F . c o n t e x t - d e p e n d e n t - c h a r a c t e r i s t i c s ; S E L F i mp ) i c i t _ mo d e l _ c l a s s _ e x t e n s i o n . r e q u i r e d - p r o p e r t i e s : L I S T 0 : ? O F U N I Q U E o p t o r _ m a n d _ p r o p e r t y _ B S U : 二 ;W HERE WR I : d e f i n i t i o n - a v a i l a b l e - i mp l i e s ( S E L F c o n t e n t _ i t e m . d i c t i o n a r y - d e f i n i t i o n , I S O 1 3 5 8 4 - I E C 6 1 3 6 0 - D I C T I O N A R Y - S C H E MA . I T E M- C L A S S I N T Y P E O F ( ( S E L F c o n t e n t i t e m . d i c t i o n a r y - d e f i n i t i o n . d e f i n i t i o n 1 ) ) ) ; W R 2 : Q U E R Y ( e l t ,S E L F . s e l e c t i o n _ c o n t e x t _ p a r a m e t e r s i n _ t y p e o f ( I S O 1 3 5 8 4 _ I E C 6 1 3 6 0 _ D I C T I O N A R Y _ S C H E MA , C O N D I T I O N D E T , e l t ) ) S E L F . s e l e c t i o n _ c o n t e x t _ p a r a m e t e r s ; WR 3 : Q UE R Y( e l t , S E L F . i d e n t i f i c a t i o n - c h a r a c t e r i s t i c s I i n _ t y p e o f ( I S O 1 3 5 8 4 IE C 6 1 3 6 0 _ D I C T I O N A R Y _ S C H E MA N O N _ D E P E N D E N T _ P _ D E T , e l t ) ) S E L F . i d e n t i f i c a t i o n _ c h a r a c t e r i s t i c s ; WR 4 : Q UE R Y( e l t , S E L F . i d e n t i f i c a t i o n - c h a r a c t e r i s t i c s ( d a t a _ t y p e _ t y p e o f ( e l t . p r o p e r t y ) ) A N D N O T ( I S O 1 3 5 8 4 I E C 6 1 3 6 0 D I C T I O N A R Y S C H E MA , S I MP L E - T Y P E I N d a t a - t y p e _ t y p e o f ( e l t . p r o p e r t y ) ) A N D N O T ( I S O 1 3 5 8 4 _ I E C 6 1 3 6 0 _ D I C T I O N A R Y _ S C H E MA , C L A S S _ I N S T A N C E _ T Y P E I N d a t a _ t y p e _ t y p e o f ( e l t . p r o p e r t y ) ) WR 5 :Q UE R Y( e l t 、S E L F . d e r i v e d - c h a r a c t e r i s t i e s i n _ t y p e o f ( I S O 1 3 5 8 4 _ I E C 6 1 3 6 0 _ D I C T I O N A R Y _ S C H E M A N O N D E P E N D E N T P D E T , e l t ) ) 一 S E L F . d e r i v e d _ p r o p e r t i e s ; W R 6 : Q U E R Y ( e l t 二S E L F . c o n t e x t - d e p e n d e n t - c h a r a c t e r i s t i c s i n _ t y p e o f ( I S O 1 3 5 8 4 _ I E C 6 1 3 6 0 _ D I C T I O N A R Y _ S C H E M A D E P E N D E N T P D E T , e l t ) )二 S E L F . c o n t e x t - d e p e n d e n t - c h a r a c t e r i s t i c s ; WR 7 : NO T( E X I S T S ( S E L F . a c c e s s i c o n ) ) OR ( S E L F . a c c e s s - i c o n I N S E L F mo d e l _ c l a s s _ e x t e n s i o n . r e f e r e n c e d _ e x t e r n a Lrt e ms ) ; WR 8 : NO T( E X I S T S ( S E L F . c o n t e n t _ ms g ) ) O R ( S E L F . c o n t e n t ms g I N S E L F m o d e l _ c I a s s _ e x t e n s i o n . r e f e r e n c e d _ e x t e r n a l _ i t e ms ) ; 免费标准下载网( w w w . f r e e b z . n e t )免费标准下载网( w w w . f r e e b z . n e t ) 无需注册 即可下载G B / T 1 7 6 4 5 . 2 4 -2 0 0 3 / I S O 1 3 5 8 4 - 2 4 : 2 0 0 2WR 9 : l i s t t o _ s e t ( S E L F . c r e a t e - i c o n ) 二 S E L F m o d e l _ c l a s s _ e x t e n s i o n . referenced-external-items;WR 1 0 : N O T ( E X I S T S ( S E L F . c r e a t e _ m s g ) ) O R ( S E L F . c r e a t e _ m s g I N S E L F mo d e l _ c l a s s _ e x t e n s io n . r e f e r e n c e d _ e x t e r n a li t e ms ) ;WR l l : I i s t _ t o _ s e t ( S E L F . c l a s s - p r e s e n t a t i o n _ o n _ p a p e r ) 二 S E L F m o d e l _ c l a s s _ e x t e n s i o n . referenced-external-items;WR 1 2 : l i s t - t o - s e t ( S E L F . c l a s s - p r e s e n t a t i o n - o n - s c r e e n ) 二 S E L F m o d e l _ c l a s s _ e x t e n s i o n . r e f e r e n c e d ex t e r n a l i t e m s ;WR 1 3 : Q U E R Y ( i c o n S E L F . c l a s s - p r e s e n t a t i o n - o n - p a p e r ( N O T E X I S T S ( i c o n . w i d t h ) ) O R ( i c o n . k i n d _ o Lc o n t e n t i l l u s t r a t i o n - t y p e . n o t - s t a t i c - p i c t u r e ) ) ; WR 1 4 : QUE R Y( i c o n * S E L F . c l a s s - p r e s e n t a t i o n - o n s c r e e n ( N O T E X I S T S ( i c o n . w i d t h ) ) )一 仁 ; E N 几E N T I T Y ; 一it e m 一 c la s s 一 e x t e n s io n (二 属性定义:s e l e c t io n - c o n t e x t - p a r a m e t e r s ( 选择相关环境参数) : 相关环境参数的值可由用户提供以使项的选择很便利注 2i d e n t i f i c a t i o n c h a r a c t e r i s t i c s ( 标识特征) : 值由用户设置来标识它的类内项的项特征。在 G B / T 1 7 6 4 5 中任何时候不允许重用标识特征的同一个值用于两个不同的零件, 例如, 两个零件的非标识特征是不同的。如果这种情况发生, 一些附加 的标识特征, 诸如版本 , 应该一起来区分两个零件 。 d e r i v e 走c h a r a c t e r i s t i c s ( 导出特征) : 由系统通过 f u n c t i o n a l - d o m a i n - r e s t r ic t i o n 从 f r e e - c h a r a c t e r i s -t i c s 中派生的项特征。 c o n t e x t - d e p e n d e n t - c h a r a c t e r i s t ic s ( 相关环境依赖特征) : 由系统从 s e l e c t i o n - c o n t e x t - p a r a m e t e r s和可能的 f r e e c h a r a c t e r is t i c s 中导出的项属性。 i d e n t i f i e d i t e m( 标识项) : 规定类实例是否应被s u p p l i e r id e n t i f i c a t i o n 单独标识或它们应该被它们的组成部件来标识的布尔值 。 注 3 : 装配无标识: 只有参与装配的零件被标识。 s u p p l ie r i d e n t i f i c a t io n ( 供应商标识) : O P T I O N A L( 可选) s t r i n g - e x p r e s s i o n ( 串表达式) , 它完全地或部分地规定了由库数据供应商定义的项标识。 s u p p l i e r - d e s ig n a t i o n ( 供应商标记) : O P T I O N A L( 可选) s t r i n g - e x p r e s s i o n , 它完全地或部分地规定了由库数据供应商定义的项名称。 a c c e s s i c o n ( 访问图标) : 在菜单中表示类的图像。 c o n t e n t _ m s g ( 内容消息) : 如果类要实例化, 描述类内容的 m e s s a g e , c r e a t e _ ic o n ( 创建图标) : 如果类要实例化 , 可实现项的可选属性的可见表达和其参考坐标系统的可见表达的图标 。 c r e a t e _ m s g ( 创建消息) : 若想要实例类 , 描述项 的可选属性和其参考坐标 系统的可选属性 的 m e s -s age. c l a s s - p r e s e n t a t i o n - o n - p a p e r ( 纸上的类表达) : 当类内容被表示在纸面上时, 由库供应商推荐并表示给用户的 i l l u s t r a t io n s ( 图示) 有序集合。 c l a s s - p r e s e n t a t io n - o n - s c r e e n屏幕上的 类表达) : 当类内容被表示在屏幕上时, 由库供应商推荐并表示给用户的 i l l u s t r a t io n s 有序集合。 形式限制 : WR 1 : 如果数据有效, I P I 成立。 WR 2 : 所有的 s e l e c t io n - c o n t e x t - p a r a m e t e r s ( 选择相关环境参数) 应定义为 c o n d i t i o n _ D E T s ( 条件免费标准下载网( w w w . f r e e b z . n e t )免费标准下载网( w w w . f r e e b z . n e t ) 无需注册 即可下载G B / T 1 7 6 4 5 . 2 4 -2 0 0 3 / I S O 1 3 5 8 4 - 2 4 : 2 0 0 2DET) 。 WR 3 : 所有的i d e n t if i c a t i o n c h a r a c t e r i s t ic s 应该定义为n o n _ d e p e n d e n t _ P _ D E T ( 非条件D E T ) o W R 4 : 所有的 i d e n t if i c a t i o n - c h a r a c t e r i s t i c s 的数据类型应该是 s i m p l e - t y p e ( 对于原子项) , 或 c l a s s -i n s t a n c e - t y p e ( 对于装配) 。 WR 5 : 所有的d e r i v e d - c h a r a c t e r is t i c s 应定义为n o n _ d e p e n d e n t _ P _ D E T o WR 6 : 所有的 c o n t e x t - d e p e n d e n t - c h a r a c t e r i s t ic s 应定义为 d e p e n d e n t P _ D E T . WR 7 : a c c e s s - ic o n 应属于 S E L F m o d e l_ c l a s s _ e x t e n s i o n . r e f e r e n c e d - e x t e r n a l - i t e m s ( S E L F 模型类扩展 可引用的外部项) 集合。 WR 8 : c o n t e n t _ m s g 应属于 S E L F m o d e l- c l a s s - e x t e n s i o n . r e f e r e n c e d - e x t e r n a l- i t e m s 集合。 WR 9 : c r e a t e - ic o n L I S T项应属于 S E L F m o d e l- c l a s s - e x t e n s io n . r e f e r e n c e d - e x t e r n a l- i t e m s 集合。 WR 1 0 : c r e a t e _ rn s g 应属于 S E L F m o d e l - c l a s s - e x t e n s io n . r e f e r e n c e d - e x t e r n a l - it e ms 集合。 WR I I : c l a s s _ p r e s e n t a t i o n _ o n _ p a p e r i l l u s t r a t i o n s 应属于S E L F m o d e l _ c l a s s _ e x t e n s io n . r e f e r e n c e d一 e x t e r n a l一 i t e m s 集合。 WR 1 2 : c l a s s - p r e s e n t a t i o n - o n - s c r e e n i l l u s t r a t io n s 应属于 S E L F m o d e l - c l a s s - e x t e n s io n . r e f e r -e n c e 走e x t e r n a l i t e m s 集合。 W R 1 3 : c l a s s _ p r e s e n t a t i o n _ o n _ p a p e r i l l u s t r a t io n s 应有w i d t h ( 宽度) 和h e i g h t ( 高度) 属性, 而不应有n o t _ s t a t ic _ p i c t u r e ( 非 静态 画 面) 此 类 的内 容。 WR 1 4 : c l a s s _ p r e s e n t a t i o n _ o n _ s c r e e n i l l u s t r a t io n s 应有w i d t h和h e i g h t 属性。 非形式限制: I P 1 : S E L F c o n t e n t it e m . d i c t i o n a r y - d e f in i t i o n 应该定义为it e m - c l a s s . I P 2 : 同一类的不 同版本 , id e n t i f ic a t i o n c h a r a c t e r i s t i c s 特性应该保持不变。 I P 3 : 在同一类中, 无论版本, i d e n t if i c a t i o n c h a r a c t e r is t i c s 特性的同一值应该对应于同一个零件。1 2 . 6 . 1 1 功能模型类扩展 f u n c t i o n a l_ m o d e l _ c l a s s _ e x t e n s i o n ( 功能模型 类扩展) 隐式地模拟了 功能 模型类的 扩展。 在i s - v i e w -o f 关系中, 无论它是否被包含, 相同的结构定义了任何 f u n c t i o n a l m o d e 犯 c l a s s 的内容。 F u n c t i o n a l - m o d e l - c l a s s - e x t e n s i o n的s e l e c t a b l e - p r o p e r t ie s 是f r e e _ m o d e l _ p r o p e r t ie s ( 自由模型特性) 。这些属性可包括在f m - c l a s s - v ie w - o f 情况下的i m p o r t e d _ p r o p e r t i e s _ f r o m _ it e m属性。 当作为 f m - c l a s s - v i e w - o f d i c t i o n a r y - e l e m e n t ( 字典元素的 f m类视图) 被定义时, f u n c t io n a l- m o d e l-c l a s s - e x t e n s i o n 的r e q u i r e d - p r o p e r t i e s 仅仅存在。在这种情况下, 通过其项特性应存在于i t e m c l a s s 实例中的r e q u i r e d - i t e m - c h a r a c t e r i s t i c s ( 要求的项特征) , f u n c t i o n a 址 m o d e L c l a s s - e x t e n s io n 可规定由先前的可见关系能够实例化 f u n c t i o n a l m o d e l c l a s s e x t e n s io n 。在 f u n c t io n a l _ m o d e l_ c l a s s _ e x t e n s i o n的实例中, 建议由系统来拷贝这些必需的特性。 F u n c t i o n a l- m o d e l - c l a s s - e x t e n s i o n的 d e n v e d _ p r o p e r t ie s 是 r e p r e s e n t a t i o n - p r o p e r t i e s ( 表达特性) 。这些特性可包括在 f m - c l a s s - v i e w - o f 情况下的 imported-properties-from-item属性。这些属性的导出函数被定义在f u n c t io n a l m o d e l c l a s s e x t e n s i o n 中。 注 1 : 当适用于一个 i t e m c l a s s 的属性数 目 非常大时, 将这些属性值分到不同的类中可能很有用。i t e m - c l a s s 包含 T需要最小的属性值来标识一个项实例。每个 f u n c t i o n a l _ m o d e l _ c l a s s 都作为 f i n - c l a s s - v i e w - o f 来定义, 且与 一个特殊用户的透视图在数据上相一致, 输人那些对此透视图非常合适的属性。此透视图可通过定义 n o n i n s t a n c ia b le f u n c t io n a l一 v ie w c la s s ( 非实 例的功能 视图 类) 来定 性。 当 f u n c t io n a l m o d e l c l a s s e x t e n s i o n 作为没有任何先前的可见关系的 f u n c t io n a l- m o d e l- c l a s s d ic -t i o n a r y - e l e m e n t 来定义时, 欲与一些项属性相配的所有属性应作为没有任何r e q u i r e d _ i t e m _ c h a r a c t e r -i s t i c s 的 f r e e _ mo d e l _ p r o p e r t ie s 来定义。 除了 引 用 程 序 和 作 为 e x t e r n a l i t e m s被 提 供 的 表 达,功 能 模 型 类 扩 展 可 引 用免费标准下载网( w w w . f r e e b z . n e t )免费标准下载网( w w w . f r e e b z . n e t ) 无需注册 即可下载G B / T 1 7 6 4 5 . 2 4 -2 0 0 3 / I S O 1 3 5 8 4 - 2 4 : 2 0 0 2G B / T 1 6 6 5 6 . 4 3 -1 9 9 9 r e p r e s e n t a t i o n s ( 表达) , 此 r e p r e s e n t a t io n s 包含在库交付文件中。这些 r e p r e -s e n t a t i o n s 请求从用户被送到建模系统中( 见 1 3 章, s e n d - r e p r e s e n t a t i o n - s t a t e m e n t ( 发送表达语句) ) 。所有: e p r e s e n t a t i o n s 都是在: e f e r e n c e 走r e p r e s e n t a t i o n ( 已引 用表达) 属性中 被引用的。 E X P R E S S 描述 : 关) E NTI TY f u n c t i o n a l - mo d e l - c l a s s - e x t e n s i o n S U B T Y P E O F ( i m p l i c i t m o d e l_ c l a s s _ e x t e n s i o n ) ; m e a s u r e _ u n i t : O P T I O N A L g l o b a l - u n i t - a s s ig n e d - c o n t e x t ; r e q u ir e d - i t e m - c h a r a c t e r i s t i c s : L I S T 0 : ? O F UN I Q U E o p t _ o r _ m a n d _ p r o p e r t y _ B S U; f r e e - m o d e l - p r o p e r t ie s : L I S T 0 : ? O F U N I Q U E o p t _ o r _ m a n d _ p r o p e r t y _ B S U; r e p r e s e n t a t i o n - p r o p e r t i e s : L I S T 0 : ? O F UN I Q U E o p t _ o r _ m a n d _ p r o p e r t y _ B S U; m e t h o d - v a r ia b l e s : S E T 0 : ? O F o p t _ o r _ m a n d _ p r o p e r t y _ B S U; r e f e r e n c e 走r e p r e s e n t a t io n : S E T 0 : ? O F r e p r e s e n t a t i o n ; p r o v i d e d - m e t h o d s : S E T 0 : ? O F m e t h o d ; a v a i l a b l e - v i e w s - i c o n : OP T I ONAL A 6 - i l l u s t r a t i o n ; a v a i l a b le _ v i e w s _ m s g : O P T I O N A L m e s s a g e ; c o n t e x t _ p a r a m _ i c o n : L I S T 0 : ? O F A 6 - i l l u s t r a t i o n ; c o n t e x t - p a r a m _ m s g : O P T I O N A L me s s a g e ; DERI VE S E L F imp l i c i t _ m o d e l_ c la s s _ e x t e n s i o n . s e l e c t a b l e - p r o p e r t ie s : L I S T仁 。 : ? O F U N I Q U E o p t o r _ m a n d _ p r o p e r t y _ B S U : S E L F . f r e e _ m o d e l _ p r o p e r t i e s ; S E L F imp l i c i t _ m o d e l _ c la s s _ e x t e n s i o n . r e q u i r e d - p r o p e r t i e s : L I S T 0 : ? O F U N I Q U E o p t o r _ m a n d _ p r o p e r t y _ B S U : S E L F . r e q u i r e d - i t e m - c h a r a c t e r is t i c s ; S E L F imp l i c i t _ m o d e l _ c la s s _ e x t e n s i o n . d e r i v e d - p r o p e r t i e s : L I S T 0 : ? O F U N I Q U E o p t o r _ m a n d _ p r o p e r t y _ B S U : S E L F . r e p r e s e n t a t i o n - p r o p e r t i e s ; W HE RE WR 1 : d e f i n i t io n - a v a i la b l e - i m p l i e s ( S E L F c o n t e n t _ i t e m . d ic t i o n a r y - d e f in it i o n , I S O 1 3 5 8 4 - E X T E N D E D - D I C T I O N A R Y - S C HE MA . A B S T R A C T - F U N C T I O N A L - MO D E L - C L A S S I N T Y P E O F ( S E L F c o n t e n t - i t e m . d i c t i o n a r y - d e f i n i t i o n . d e f i n it i o n 1 ) ) ; WR 2 : r e q u i r e d _ p r o p e r t i e s _ a r e _ n o n _ d e p e n d e n t _ p _ d e t ( S E L F ) ; WR 3 : r e q u i r e d - p r o p e r t i e s - a r e - imp o r t e d - p r o p e r t ie s ( S E L F ) ; WR 4 : Q U E R Y ( e l t S E L F . m e t h o d v a r ia b l e s i n _ t y p e o f ( I S O 1 3 5 8 4 - E X T E N D E D - D I C T I O N A R Y - S C HE MA R E P R E S E N T A T I O N _ P _ D E T , e l t ) )S E L F . m e t h o d - v a r i a b l e s ; WR 5 : Q U E R Y ( e l t S E L F . m e t h o d v a r ia b l e s免费标准下载网( w w w . f r e e b z . n e t )免费标准下载网( w w w . f r e e b z . n e t ) 无需注册 即可下载G B / T 1 7 6 4 5 . 2 4 - - 2 0 0 3 八S O 1 3 5 8 4 - 2 4 : 2 0 0 2 a p p l i c a b l e - p r o p e r t i e s ( S E L F c o n t e n t i t e m . d ic t io n a r y - d e f i n it io n , e l t . p r o p e r t y ) ) 二 S E L F . me t h o 走v a r i a b l e s ; WR 6 : N O T ( E X I S T S ( S E L F . a v a i l a b l e - v i e w s - i c o n ) ) O R ( S E L F . a v a i l a b le - v i e w s - ic o n I N S E L F m o d e l_ c la s s _ e x t e n s i o n . r e f e r e n c e d - e x t e r n a l- i t e ms ) ; WR 7 : N O T ( E X I S T S ( S E L F . a v a i l a b l e _ v i e w s _ m s g ) ) O R ( S E L F . a v a i l a b l e _ v i e w s _ m s g I N S E L F m o d e l_ c la s s _ e x t e n s i o n . r e f e r e n c e d - e x t e r n a l- i t e m s ) ; W R 8 : l i s t _ t o _ s e t ( S E L F . c o n t e x t _ p a r a m _ i c o n ) S E L F m o d e l _ c l a s s _ e x t e n s i o n . r e f e r e n c e d _ e x t e r n a l_ i t e m s ; WR 9 : N O T ( E X I S T S ( S E L F . c o n t e x t _ p a r a m _ m s g ) ) O R ( S E L F . c o n t e x t _ p a r a m _ m s g I N S E L F m o d e l _ c l a s s _ e x t e n s i o n . r e f e r e n c e d - e x t e r n a l- i t e m s ) ; E N 几 E N T I T Y; 一f u n c t i o n a l_ m o d e l_ c l a s s _ e x t e n s io n ( 属性定 义 : m e a s u r e - u n it ( 测量单位) : g l o b a l- u n i t - a s s ig n e d - c o n t e x t ( 全局单位赋值相关环境) , 它为所有的由f u n c t i o n a l_ m o d e l _ c l a s s 生成的函数视图定义了测量单位。若不提供此可选属性, 则l e n g t h m e a s u r e ( 长度测量) 的缺省值为毫米, 且对于p l a n a r a n g l e ( 平面角) 测量, 其缺省值为度。对于其他单位来说没有缺省值。 r e q u i r e d - i t e m - c h a r a c t e r i s t ic s : 它是一个项特性, 其值被要求能够实例一个功能模型类。这些属性应属于 f m - c l a s s - v i e w - o f d ic t i o n a r y - e le m e n t 的 i m p o r t e 走properties-from-item, 注 2 : 只有被要求实例化 f u n c t i o n a l - m o d e l - c l a s s 的项属性出现在此列表上。 f r e e _ m o d e l_ p r o p e r t i e s : 为了能实例类, 此属性的值应由用户来提供。在与一个零件有关的功能模型类的情况下, 它们和与此零件有关联的相关环境参数相符合。 注 3 : f r e e - m o d e l- p r o p e r t i e s 的字典定义应或是 r e p r e s e n t a t i o n _ P _ D E T ( 当属性在功能模型类中被定义( 或被继承) 时) , 或是 c o n d i t i o n _ D E T ( 当通过 i m p o r t e 走p r o p e r t i e s _ f r o m _ i t e m属性的方法属性从 i t e m c l a s s 被输人时) 。 r e p r e s e n t a t i o n - p r o p e r t ie s : 它是一个由系统从f r e e - m o d e l - p r o p e r t ie s 和r e q u ir e d - i t e m _ c h a r a c t e r is -t i c s 中导出的功能模型属性。 注4 : r e p r e s e n t a t io n p r o p e r t ie s 的字 典定义可以是r e p r e s e n t a t io n - P _ D E T ( 当属性在功能模型类中被 定义( 或被继 承) 时) , 或是任何一个定义了 i t e m c l a s s 属性的字典元素( 当此属性从 i t e m - c l a s s 中被箱人时) ( 例如, c o n d i - t i o n _ D E T , n o n _ d e p e n d e n t _ P _ D E T或 d e p e n d e n t P _ D E T) 。 m e t h o 走v a r i a b l e s : 此属性既不是由用户设置的, 也不是由导出函数从可选属性中导出的。这些属性可使( 可能的) 内部变量的表达被使用, 例如, 在方法的相关环境 中, 该方法仅仅属于面向对象系统中的实例位置。这些属性只在方法运行期间被赋值。当用户查阅零件库时, 它们不会被显示 。 注5 : 当f u n c t io n a l_ m o d e l_ c l a s s 输入 v ie w - c o n t r o l v a r ia b l e s 时, 例如, 在一个表中 储存它们的变量, 这些属性在 m e t h o d v a r i a b l e 属性中应被表达。 r e f e r e n c e d r e p r e s e n t a t i o n s : 此表达在类描述中被引用。 p r o v i d e d - m e t h o d s ( 已 提供的方法) : 此方法由函 数模型实例提供。 注6 : 1 2 . 7 . 2 定义的 d e c l a r e d _ c r e a t e d _ v i e w s _ a r e _ c r e a t e d 规则保证 f u n c t i o n a l - m o d e l - c l a s s - e x t e n s i o n 不同方法可能 生成的功能视图集包括其对应 f u n c t i o n a l m o d e l c l a s s 声称可以生成的功能视图集。 注7 : 当S E L F c o n t e n t - i t e m . d i c t i o n a r y - d e f i n i t i o n . d e f i n i t i o n l a b s t r a c t - f u n c t i o n a l m o d e l - c l a s s . c r e a t e d - v i e w S E L F 内容项 字典定义 定义 1 抽 象函数模 型类 生成 的视 图) 的视 图控制变量 在 S E L F c o n t e n t i t e m .免费标准下载网( w w w . f r e e b z . n e t )免费标准下载网( w w w . f r e e b z . n e t ) 无需注册 即可下载G B / T 1 7 6 4 5 . 2 4 -2 0 0 3 / I S O 1 3 5 8 4 - 2 4 : 2 0 0 2 d ic t io n a r y - d e f in it io n . d e f in it io n 1 ( S E L F 内 容项 字典定义 定义 1 ) 的v _ c _ v _ r a n g e 属性中, 或 对于一个方 法, 在它的s p e c if ic a t io n . v _ c _ v _ r a n g e ( 规 范 v _ c _ v 范围) 属性中 不被表达时, 它的范围 就是它的全 值域。 a v a i l a b l e v i e w s i c o n ( 有效视图图标) : 该图标可实现由功能模型类生成的不同视图的可见表示。 a v a i l a b l e _ v i e w s _ ms g ( 有效视图消息) : 此m e s s a g e 描述了由功能模型类生成的不同视图。 c o n t e x t _ p a r a m _ i c o n ( 相关环境参数图标) : 此图标可实现视图生成所需求的可选属性的可见表示。 c o n t e x t _ p a r a m _ ms g ( 相关环境参数消息) : 此m e s s a g e 描述了视图生成所需求的自由模型属性。 形式限制 : WR 1 : 如果数据有效 , 那么 I P 1 成立 。 WR 2 : 当 S E L F c o n t e n t _ : t e m . d i c t i o n a r y - d e f i n it i o n作 为 f m - c la s s - v i e w - o f 被定义时 , 所有 r e -q u i r e d - i t e m - c h a r a c t e r is t i c s 应作为n o n - d e p e n d a n t - P _ D E T s 被定义。 WR 3 : 当S E L F c o n t e n t _ i t e m . d i c t i o n a r y - d e f i n it i o n作为 f m_ c l a s s - v i e w - o f 被定义时, 所有 r e -q u i r e d - i t e m - c h a r a c t e r i s t i c s 应从i t e m - c l a s s 导人。否则, 它应为空集合。 WR 4 : 所有 m e t h o d v a r i a b l e s 应定义为 r e p r e s e n t a t i o n _ P _ D E T s o WR 5 : 所有 m e t h o d v a r i a b l e s 应适用于类。 WR 6 : a v a i l a b l e - v i e w s - i c o n 应属于 S E L F mo d e l_ c l a s s _ e x t e n s i o n r e f e r e n c e d - e x t e r n a l- f i l e 集合 。 WR 7 : a v a i l a b l e _ v i e w s _ ms g 应属于S E L F mo d e l- c l a s s - e x t e n s i o n r e f e r e n c e d - e x t e r n a l- f il e 集合。 WR 8 : c o n t e x t _ p a r a m _ i c o n的L I S T项应属于S E L F m o d e l - c la s s - e x t e n s i o n r e f e r e n c e d - e x t e r n a l _f i le 集合。 WR 9 : c o n t e x t - p a r a m - m s g 应属于 S E L F m o d e l_ c l a s s _ e x t e n s i o n r e f e r e n c e d - e x t e r n a l- f i l e 集合 。 非形式限制 : I P 1 : S E L F c o n t e n t - i t e m . d ic t io n a r y - d e f i n i t io n 应该定义为 a b s t r a c t - f u n c t i o n a l _ m o d e l_ c l a s s 或者它的任一子类型。 注: f u n c t i o n a l m o d e l c l a s s 和 f m - c l a s s - v i e w - o f 是 a b s t r a c t f u n c t i o n a l m o d e l c l a s s 的子类型。1 2 . 7 I S O 1 3 5 8 4库内容模式 : 规则定义 本条介绍了 I S O 1 3 5 8 4 - l i b r a r y - c o n t e n t - s c h e m a 模式的 E X P R E S S 规则。1 2 . 7 . 1 库的排它性规则 a s s e r t _ o n e o 仁f o r - li b r a r y - r u l e ( 库 的排它性规则 ) 规则规定不是 l i b r a r y _ i n - s t a n d a r d - f o r m a t 的 l i -b r a r y 不能是d i c t io n a r y _ i n _ s t a n d a r d _ f o r m a t a E X P R E S S 描述: 二) R U L E a s s e r t _ o n e o f _ f o r _ l i b r a r y _ r u l e F O R ( l i b r a r y ) ; W HERE WR 1 : Q UE R Y ( t e mp * l i b r a r y N O T I S O 1 3 5 8 4 - L I B R A R Y - C O N T E N T - S C HE MA L I B R A R Y - I N - S T A N D A R D - F O R MA TI N T Y P E O F ( t e mp ) ) A N D ( I S O 1 3 5 8 4 - E X T E N D E 几D I C T I O N A R Y S C HE MA D I C T I O N A R Y - I N - S T A N D A R D - F O R MA T I N T Y P E O F ( t e mp ) ) ) ; E N 几 R UL E ; -a s s e r t- o n e o f- f o r - l i b r a r y - r u l e (二形式限制:WR 1 : 不是 l i b r a r y - in - s t a n d a r d - f o r m a t 的 l i b r a r y 不能是 d i c t io n a r y - i n - s t a n d a r d - f o r m a t o免费标准下载网( w w w . f r e e b z . n e t )免费标准下载网( w w w . f r e e b z . n e t ) 无需注册 即可下载GB / T 1 7 6 4 5 . 2 4 -2 0 0 3 / I S O 1 3 5 8 4 - 2 4 : 2 0 0 21 2 . 7 . 2 声明创建的视图是被创建的规则 d e c l a r e d - c r e a t e d - v i e w s - a r e - c r e a t e d - r u l e ( 声明创建的视图被创建的规则) 规则规定由 f u n c t i o n a l-m o d e L c l a s s e x t e n s io n 的不同 m e t h o d s 生成的功能视图集包括其相应 f u n c t io n a l- m o d e l- c l a s s 声明能生成的功能视图集。 E X P R E S S 描述 : 二) R UL E declared-created-views-are-created-rule F OR ( f u n c t i o n a l - mo d e l - c l a s s - e x t e n s i o n , f u n c t i o n a 址v i e w - c l a s s ) ; W HE RE WR 1 : Q U E R Y ( a _ mo d e l ,f u n c t io n a l _ m o d e l _ c l a s s _ e x t e n s i o n ( c o mp u t a b l e s e t o f _ c r e a t e d _ v ie w s _ f r o m _ m o d e l ( a _ m o d e l c o n t e n t _ i t e m . d ic t i o n a r y - d e f i n i t i o n ) )A N D N O T ( ( d e c l a r e 走c r e a t e d v i e w s ( a _ m o d e l c o n t e n t _ it e m. d i c t io n a r y - d e f i n it io n ) 二 ( c r e a t e d _ v i e w s _ b y _ m e t h o d s ( a _ m o d e l c o n t e n t _ i t e m , d i c t i o n a r y - d e f in it i o n ) ) ) ) ) ;E N D L R UL E; -d e c l a r e d c r e a t e d v i e ws a r e c r e a t e d r u l e(二 形式限制 : WR I : 不同m e t h o d s 所生成的功能视图集应包括其f u n c t i o n a l_ m o d e l _ c l a s s d i c t io n a r y - e l e me n t ( 由其d i c t i o n a r y _ d e f i n i t io n a b s t r a c t _ f u n c t i o n a l _ m o d e l_ c l a s s 属性定义) 声明能通过它自己的v _ c _ v _ r a n g e属性生成的功能视图集。其中m e t h o d s 是 f u n c t i o n a l m o d e l c l a s s e x t e n s i o n的p r o v i d e d - m e t h o d s 属性所引用的( 像其s p e c i f i c a t io n . v _ c _ v _ r a n g e 属性定义的一样) 。1 2 . 7 . 3 实例的完整标识规则 complete-identification-for-instance-rule( 实例的完整标识规则) 的规则规定: 被c l a s s - in s t a n c e -c o n s t r u c t o r 引用类的库内容( 如果它存在) 是一个i m p l ic it - m o d e l - c la s s - e x t e n s i o n , 并且只有选择性特性可能不具有值。 注: 当类的内容不存在时, 该规则没有定义应提供值的属性。在视图交换协议的系列标准中可能为仅仅是 d ic t i o n a - r y - e le m e n t 的 类实例定义了 依赖应 用程序的约 束。 E X P R E S S 描述: ) R U L E c o m p l e t e - i d e n t i f i c a t io n - f o r - i n s t a n c e - r u l e F O R ( c l a s s - i n s t a n c e - c o n s t r u c t o r ) ; W HERE WR 1 : ( Q UE R Y( i n s t c l a s s in s t a n c e c o n s t r u c t o r N O T ( d e f in it i o n _ a v a i la b l e _ i m p l ie s O n s t . e x p r _ t y p e , ( S I Z E O F ( i n s t . e x p r _ t y p e . r e f e r e n c e d - b y ) 0 ) O R ( I S O 1 3 5 8 4 - L I B R A R Y - C O N T E N T - S C H E MA . I MP L I C I T - MO D E L - C L A S S - E X T E N S I O N I N T Y P E O F ( i n s t . e x p r _ t y p e . r e f e r e n c e d _ b y I ) ) ) ) ) ) ; WR 2 : ( Q UE R Y( i n s t , c l a s s - i n s t a n c e - c o n s t r u c t o r QUE R Y( p r o p ,免费标准下载网( w w w . f r e e b z . n e t )免费标准下载网( w w w . f r e e b z . n e t ) 无需注册 即可下载G B / T 1 7 6 4 5 . 2 4 -2 0 0 3 / I S O 1 3 5 8 4 - 2 4 : 2 0 0 2( l i s t - t o - s e t ( c o l l e c t s - a s s ig n e d - p r o p e r t ie s O n s t . p r o p e r t ie s ) )l i s t - t o _ s e t ( o p t io n a L p r o p e r t i e s _ l i s t ( i n s t . e x p r _ t y p e ) ) )N O T ( E X I S T S ( p r o p . i t s - v a l u e ) ) ) )仁 ) ; E N D - R U L E ; -c o m p l e t e - i d e n t i f i c a t io n - f o r - i n s t a n c e - r u l e ( 形式限制 : WR 1 : 如果数据有效 , 那么 I P 1 成立 。 WR 2 : 仅仅选择性特性可以不与值相关联。 非形式限制: I P 1 : 如果此内容有效 , c l a s s i n s t a n c e c o n s t r u c t o r 的对应于 c la s s d e f 属性的 c l a s s - e x t e n s io n 应该是 i m p li c it m o d e l - c l a s s e x t e n s i o n .1 2 . 7 . 4 项实例的完全标识规则 c o m p l e t e _ j d e n t i f ic a t i o n _ f o r _ it e m _ in s t a n c e _ r u l e ( 项 实 例的 完全 标 识规 则) 规则 规定: 在 一个 项类 扩展的隐含表达中, 一个由 c l a s s - i n s t a n c e - c o n s t r u c t o r 构建 的实例相对于类扩展数据模型( 如果它存在)是完全标识的。这意味着它应该引用所有它的标识特征。 注1 : 在由c la s s in s t a n c e c o n s t r u c t o r 构 建的 实例中, 仅仅选择 性特性可能不具 有值。 注 2 : 当类内容不存在时, 这条规则没有定义应该提供其值的特性。依赖应用的约束在( 仅仅可以被定义为 d i c t i o n - a r y - e l e m e n t 的) 类实例零件的视图交换协议系列中定义。 E X P R E S S 描述 : ) R U L E c o mp l e t e _ id e n t if i c a t io n _ f o r - it e m _ m s t a n c e _ r u l e F O R ( c l a s s - i n s t a n c e - c o n s t r u c t o r , i t e m- c l a s s - e x t e n s i o n ) ; W HERE WR 1 : Q U E R Y ( in s t , c l a s s - i n s t a n c e - c o n s t r u c t o r NOT( d e f i n i t io n _ a v a il a b l e _ i m p l ie s ( i n s t . e x p r _ t y p e , ( S I Z E O F ( i n s t . e x p r _ t y p e . r e f e r e n c e d _ b y ) 0 ) O R ( ( I S O 1 3 5 8 4 - L I B R A R Y - C O N T E N T - S C H E MA . I T E M- C L A S S - E X T E N S I O N I N T Y P E O F ( i n s t . e x p r _ t y p e . r e f e r e n c e d _ b y l ) ) A N D ( c o l l e c t s - a s s i g n e d _ p r o p e r t i e s ( i n s t . p r o p e r t i e s ) ( g m - i d e n t if i c a t io n - c h a r a c t e r i s t i c s - l i s t ( in s t . e x p r - t y p e ) ) ) ) ) ) ) ; E N D _ R U L E ; 一c o m p l e t e - i d e n t i f i c a t io n _ f o r - i t e m _ i n s t a n c e - r u l e ( 形式限制: WR l : 如果数据有效, 那么 1 1 3 1 成立。 非形式限制 : I P 1 : 值由m u l t i p l e _ a r i t y _ c la s s _ i n s t a n c e _ c o n s t r u c t o r 规 定的 特 性列 表应 该是 被引 用 类的 标 识特 征的整个列表。1 2 . 7 . 5 模型实例的完全标识规则 complete-identification-for-model-instance-rule( 模型 实例的 完全标 识规 则) 规 则规 定: 在 功能 模型类扩展的隐式描述中, 由 c l a s s i n s t a n c e c o n s t r u c t o r 构建的实例相对于类扩展数据模型( 如果它存免费标准下载网( w w w . f r e e b z . n e t )免费标准下载网( w w w . f r e e b z . n e t ) 无需注册 即可下载G B / T 1 7 6 4 5 .2 4 -2 0 0 3 / I S O 1 3 5 8 4 - 2 4 : 2 0 0 2在) 是完全标识的。这意味着它应该引用它所有的 自由特性。 注1 : 在由c la s s in s t a n c e c o n s t r u c t o r 构建的实 例, 仅 仅选择性特 性可能不 具有值。 注2 : 当类内容不存在时, 这条规则没有定义应该提供其值的特性。依赖应用的约束在( 仅仅可以被定义为 d i c t i o n - a r y - e l e m e n t 的) 类实例零件的视图交换协议系列中定义。 E X P R E S S 描述: ) R UL E c o m p l e t e - i d e n t i f i c a t io n - f o r - m o d e l - i n s t a n c e - r u l e F O R ( c l a s s - i n s t a n c e - c o n s t r u c t o r , f u n c t io n a l- m o d e l- c l a s s - e x t e n s io n ) ; W HE RE WR 1 : ( Q U E R Y( i n s t c l a s s - i n s t a n c e - c o n s t r u c t o r I NOT( d e f i n i t io n a v a i la b le _ i m p l ie s ( i n s t . e x p r _ t y p e , ( C I S O 1 3 5 8 4 - L I B R A R Y - C O N T E N T - S C HE MA . F U N C T I O N A L _ MO D E L _ C L A S S _ E X T E N S I O N I N T Y P E O F ( in s t . e x p r _ t y p e . r e f e r e n c e d - b y 仁 1 ) ) A N D ( c o ll e c t s _ a s s ig n e d _ p r o p e r t ie s ( i n s t . p r o p e r t ie s ) f m _ f r e e _ m o d e l_ p r o p e r t j e s - l i s t ( i n s t . e x p r _ t y p e ) ) ) ) ) ) ) ;E N D R U L E ; -c o m p l e t e - id e n t if i c a t i o n - f o r _ m o d e l_ i n s t a n c e _ r u l e (关 形式限制: WR 1 : 如果数据有效, 那么 I P 1 成立。 非形式限制 : I P 1 : 值由m u l t ip l e _ a r i t y _ c l a s s _ i n s t a n c e _ c o n s t r u c t o r 规 定的 特 性 -V l1 表 应该 是被引 用类的自 由 模型特性的整个列表。1 2 . 7 . 6 所有视图对每个组件有效规则 a l l- v ie w s - a v a i la b l e - f o r - e a c h - c o m p o n e n t - r u l e ( 所有视图 对每个组件有效规则) 规则检查每个f u n c -t i o n a l- m o d e l - c l a s s - e x t e n s i o n 对应于e x p l i c i t - i t e m - c l a s s - e x t e n s i o n 的每一项规定了所有声明的视图。 E X P R E S S描述: 二) R U L E a l l_ v i e w s _ a v a i la b le _ f o r _ e a c h _ c o m p o n e n t _ r u l e F O R( e x p l ic it - m o d e l - c l a s s - e x t e n s i o n , e x p l ic it _ f u n c t io n a l- m o d e l_ c l a s s _ e x t e n s i o n ) ; W HERE WR l : Q U E R Y ( a _ m o d e l ,e x p l i c i t - f u n c t i o n a l- m o d e l- c l a s s - e x t e n s i o n N O T ( a l l_ v i e w s _ a v a i l a b l e _ f o r _ c o m p o n e n t s ( a _ mo d e l c o n t e n t - i t e m d i c t io n a r y - d e f i n i t i o n ) ) ) ; E N D R UL E ; -a l l _ v ie w s _ a v a i l a b le _ f o r _ e a c h - c o m p o n e n t - r u l e (关 形式限制: WR 1 : d i c - f - m o d e l - in s t a n c e的集合规定一个 e x p l i c i t - f u n c t i o n a l - m o d e l - c l a s s - e x t e n s io n应该描述, 为每个d i c _ i t e m _ i n s t a n c e 规定一个 e x p l i c i t - mo d e l - c l a s s - e x t e n s io n , e x p l i c i t _ m o d e l _ c l a s s _ e x t e n -s io n的 字典定义从那个 e x p l ic it - f u n c t io n a l - m o d e l - c l a s s - e x t e n s io n的 f m- c l a s s - v i e w - o f 字典定义的免费标准下载网( w w w . f r e e b z . n e t )免费标准下载网( w w w . f r e e b z . n e t ) 无需注册 即可下载G B / T 1 7 6 4 5 . 2 4 - 2 0 0 3 / I S O 1 3 5 8 4 - 2 4 : 2 0 0 2v i e w o f 属性中被引用, 功能模型声明的视图完全集合。1 2 . 8 I S O 1 3 5 8 4 库内容模式函数定义1 2 . 8 . 1 非循环类扩展定义 A c y c li c _ c l a s s _ e x t e n s i o n - d e f i n i t io n ( 非循环类扩展定义) 函数通过属于d o m a i n - r e s t r i c t i o n的a s -s u m e s 属性来控制没有特性参与到它自己的定义中, 该d o m a i n r e s t r i c t i o n 定义了( 递归地) 它自己的域或导出函数。 这个函数叫 a c y c l i c _ o r d e r ( 非循环命令) 函数, 它用回归方法确定了依赖于一些属性的属性定义 , 并检查这个属性不属于这个集合。 E X P R E S S描述: ) F UN C T I O N a c y c l ic _ c l a s s _ e x t e n s io n _ d e f i n i t io n ( c l : c l a s s _ B S U) : L O G I C A L ;LOCAL e d g e s : S E T O F d o m a i n - r e s t r i c t io n ; p r o p : L I S T O F p r o p e r t y _ B S U; i : I NTE GE R;E ND 一 L O C AL;I F N O T a ll - c l a s s - d e s c r i p t io n s - r e a c h a b l e ( c l )THEN R E TUR N ( UNKNO WN) ;ELSE p r o p: p r o v i d e d - p r o p e r t i e s - l is t ( c 1 ) ;e d g e s: d e f i n e d - d o m a in ( c l ) d e f i n e d _ d e r iv a t i o n _ f u n c t i o n ( c l ) ;R E P E A T i : L O B O UN D ( p r o p ) T O H I B O UN D ( p r o p ) ; I F NO T a c y c li c _ o r d e r ( p r o p i , e d g e s , ) THEN R E T UR N ( F AL S E ) ; E ND I F ;E ND 一 RE P E A T; R E T URN ( T RUE ) ; E ND I F; E N D _ F U N C T I O N; -a c y c l i c _ c l a s s _ e x t e n s io n _ d e f i n i t i o n ( 1 2 . 8 . 2 非循环排序 a c y c l ic _ o r d e r ( 非循环排序) 函数递归地计算特性( n o d e s ( 节点) 的集合, 其定义依赖于一些特性p 且控制 p 不属于 n o d e s . E X P R E S S描述 : ,) F U N C T I O N a c y c li c _ o r d e r ( p : p r o p e r t y _ B S U; e d g e s : S E T O F d o m a i n - r e s t r i c t io n ; n o d e s : S E T O F p r o p e r t y _ B S U) : B O O L E A N; LOCAL免费标准下载网( w w w . f r e e b z . n e t )免费标准下载网( w w w . f r e e b z . n e t ) 无需注册 即可下载G B / T 1 7 6 4 5 . 2 4 - 2 0 0 3 / I S O 1 3 5 8 4 - 2 4 : 2 0 0 2 s u c c ; S E T O F p r o p e r t y _ B S U: ; -s e t o f p r o p e r t y _ B S U t h a t d e p e n d s ( r e c u r s i v e l y ) o n p o u t e d g e s ; S E T O F d o m a in - r e s t r ic t i o n ; -s e t o f d o m a i n _ r e s t r i c t i o n s t h a t c o n t a i n o n e o f t h e -p r o p e r t y _ B S U o f t h e s e t n o d e s in t h e t h e - p r o p e r t y a t t r i b u t e -o f o n e o f t h e i r a s s u me s v a r i a b l e s e ma n t i c sE ND L L O C AL;o u t e d g e s: Q U E R Y ( e e d g e s ( Q U E R Y( v,e . a s s u m e s I v p r o p e r t y _ s e m a n t i c s . t h e - p r o p e r t y I N n o d e s ) ) ) ;R E P E A T i : L O I N D E X ( o u t _ e d g e s ) T O HI I N D E X ( o u t e d g e s ) ;R E P E A T j : 二 L O I N D E X ( o u t e d g e s i . d e f i n e s )T O HI I N D E X ( o u t - e d g e s i . d e f in e s ) ;s u c c: s u c co u t e d g e s i . d e f i n e s j p r o p e r t y _ s e m a n t i c s . t h e - p r o p e r t y ;E N D _ RE P E AT;END REPEAT - p d e p e n d s o n i t s e l f ; I F p I N s u c c THE N R E T UR N( F AL S E ) ; E ND L I F ; -a l l t h e d e p e n d i n g p r o p e r t i e s a r e r e a c h e d I F s u c c n o d e s THEN R E T UR N( T RUE ) ; E ND - I F, R E T U R N ( a c y c l i c _ o r d e r ( p , e d g e s , n o d e s s u c c ) ) ; E N D - F U N C T I O N; -a c y c l ic _ o r d e r ( 二1 2 . 8 . 3 已定义域函数 d e f i n e d d o m a in ( 已定义域) 函数确定了d o m a in r e s t r i c t i o n 的集合 , 其中d o ma i n r e s t r i c t i o n 被定义为类的 c l a s s - e x t e n s io n 属性的一部分。 E X P R E S S描述: ) F UNC T I O N d e f i n e d _ d o ma i n ( c l ; c l a s s _ B S U) : S E T OF d o ma i n - r e s t r i c t i o n ; I F NOT E X I S T S ( c l ) THEN R E T UR N ( ) ; -t h e c la s s i t s e l f is i n d e t e r m i n a t e END-IF; I F ( S I Z E OF ( c l . r e f e r e n c e d - b y ) 1 )免费标准下载网( w w w . f r e e b z . n e t )免费标准下载网( w w w . f r e e b z . n e t ) 无需注册 即可下载G B / T 1 7 6 4 5 . 2 4 -2 0 0 3 / I S O 1 3 5 8 4 - 2 4 : 2 0 0 2THEN R E T U R N( c l . r e f e r e n c e d _ b y 1 i m p i c it - m o d e l - c l a s s - e x t e n s io n . c l a s s - e x t e n s i o n ) ;EL S E R E T U R N ( ) ;E ND - I F;E NI 见F UNC TI O N;-d e f i n e d - d o ma i n(1 2 . 8 . 4 已定 义的导 出函数的 函数 D e f i n e d d e r i v a t i o n f u n c t i o n ( 已定义的导出函数) 函数确定了 f u n c t io n a l - d o ma i n - r e s t r i c t i o n的集合, 其 中 f u n c t i o n a l d o m a i n r e s t r ic t i o n 被定义为类 c la s s - e x t e n s i o n 属性的一部分。 E X P R E S S 描述: ) F UNC T I O N d e f i n e d _ d e r i v a t i o n _ f u n c t i o n ( c 1 : c l a s s _ B S U) : S E T OF f u n c t i o n a l - d o ma i n - r e s t r i c t i o n ;I F NOT E X I S TS ( c l )THEN R E T U R N ) ; 一t h e c la s s i t s e l f is i n d e t e r m i n a t eE NI ) 一 I F ;I F ( S I Z E O F ( c l . r e f e r e n c e d - b y ) 1 )THE N R E T U R N ( c l . r e f e r e n c e d - b y 仁 1 im p l i c i t m o d e l_ c l a s s _ e x t e n s i o n . d e r i v a t io n ) ;E LS E R E T U R N ( ) ;E ND _ I F ;E ND - F UNC TI O N; 一 d e f i n e d _ d e r i v a t i o n _ f u n c t i o n(二1 2 . 8 . 5 允许 的特性 函数 A l l o w e d - p r o p e r t i e s ( 允许的特性) 函数检查 : 对于 c l 参数标识的 m o d e l c l a s s e x t e n s io n来说, 与p r o p 对应的特性是被允许的。如果特性的 p r o p e r t y _ B S U被引用 , 则无论作为强制的还是可选 的, 无论是在s e l e c t a b l e - p r o p e r t ie s 属性中还是在r e q u i r e d - p r o p e r t ie s 属性中, 或是在类或其任何超类的相关环境的d e r i v e d - p r o p e r t i e s 属性中, 类的特性值是被允许的。 E X P R E S S 描述: 关) F U N C T I O N a l l o w e d _ p r o p e r t i e s ( c l : c la s s _ B S U; p r o p :S E T O F p r o p e r t y _ B S U) :L OG I C AL;I F NOT EXI S TS ( c l )TH EN R E T URN( UNKNO WN) ; 一 t h e c l a s s i t s e l f i s i n d e t e r mi n a t eE ND L I F;免费标准下载网( w w w . f r e e b z . n e t )免费标准下载网( w w w . f r e e b z . n e t ) 无需注册 即可下载G B / T 1 7 6 4 5 . 2 4 -2 0 0 3 / I S O 1 3 5 8 4 - 2 4 : 2 0 0 2I F ( p r o p= ( l i s t _ t o _ s e t ( p r o v i d e d _ p r o p e r t i e s _ l i s t ( c l ) ) ) )THEN RE TUR N( TR UE ) ;EL S E RE TUR N( F A L S E ) ;E ND L I F; E N D _ F U N C T I O N; -a l l o w e d - p r o p e r t ie s ( 关1 2 . 8 . 6 已提供的特性列表函数 P r o v i d e d - p r o p e r t ie s - l i s t ( 已提供的特性列表) 函数确定特性列表, 此特性列表通过类定义为s e l e c t -a b l e _ p r o p e r t i e s , r e q u i r e d _ p r o p e r t i e s 或是d e r i v e d - p r o p e r t i e s , E X P R E S S 描述 :)F U N C T I O N p r o v i d e d _ p r o p e r t ie s _ li s t ( c l , c l a s s _ B S U )L I S T OF p r o p e r t y _ B S U;L OCAL p r o v i d e d - p r o p : L I S T O F o p t _ o r _ m a n d _ p r o p e r t y _ B S U : p r o p : L I S T O F p r o p e r t y _ B S U : ;E ND _ L OC AL;I F NO T E X I S TS ( c l )TH EN R E T U R N ( ) ; -t h e c l a s s i t s e l f i s in d e t e r m i n a t eE ND - I F ;I F ( S I Z E O F ( c l . r e f e r e n c e d - b y ) 1 )THE N p r o v i d e d - p r o p: c l . r e f e r e n c e d - b y 仁 1 i m p l i c i t _ m o d e l_ c l a s s _ e x t e n s io n . d e r i v e d - p r o p e r t i e s c l . r e f e r e n c e d _ b y 1 i m p l ic it m o d e l _ c la s s _ e x t e n s io n . r e q u ir e d - p r o p e r t ie s c l . r e f e r e n c e d _ b y l i m p l ic it _ m o d e l _ c la s s _ e x t e n s io n . s e l e c t a b l e - p r o p e r t i e s ; R E P E A T i : 1 T O S I Z E O F ( p r o v i d e d _ p r o p ) ; p r o p: p r o pp r o v id e d p r o p j . p r o p e r t y ; E ND - RE P E AT;E N D _ I F;R E T U R N ( p r o p ) ;E N D F UNC T I O N( 关; 一p r o v id e d - p r o p e r t ie s - li s t1 2 . 8 . 7 已提供特性或方法变,的函数 通过类, 收集 p r o v i d e d - p r o p e r t i e s - l is t 返回的特性和m e t h o d - v a r i a b l e s 函数返回的方法变量,免费标准下载网( w w w . f r e e b z . n e t )免费标准下载网( w w w . f r e e b z . n e t ) 无需注册 即可下载G B / T 1 7 6 4 5 . 2 4 -2 0 0 3 / I S O 1 3 5 8 4 - 2 4 : 2 0 0 2p r o v id e d - p r o p e r t ie s - o r - m e t h o d - v a r i a b l e s ( 已 提供的特性或方法变量) 函数确定已定义或继承的特性集, 包括s e le c t a b l e p r o p e r t i e s , 或r e q u i r e d - p r o p e r t i e s , 或d e r i v e d - p r o p e r t i e s , 或m e t h o d - v a r i a b l e s . E X P R E S S 描述 :)F UN C T I O N p r o v id e 走p r o p e r t i e s _ o r _ m e t h o d _ v a r ia b Ie s ( c l : c l a s s _ B S U ) :S E T O F p r o p e r t y _ B S U;I F NOT E X I S T S ( c l )THEN R E T U R N ( ) ; 一t h e c l a s s i t s e l f i s i n d e t e r m i n a t eE ND - I F;R E T U R N ( m e t h o d - v a r ia b l e s ( c 1 ) p r o v i d e d _ p r o p e r t ie s _ l i s t ( c l ) ) ;E ND es F UNC TI O N(二; 一p r o v i d e d - p r o p e r t ie s - o r - m e t h o d - v a r i a b le s1 2 . 8 . 8 可选特性列表的函数 s e l e c t a b l e - p r o p e r t i e s - l i s t ( 可选特性列表) 的函 数确定类中定义的可选特性列表。 E X P R E S S 描述: ) F U N C T I O N s e l e c t a b l e _ p r o p e r t i e s _ l i s t ( c l : c l a s s _ B S U) : L I S T O F p r o p e r t y _ B S U;L OCALp r o p : L I S T O F p r o p e r t y _ B S U: ;E ND L OCALI F NO T E X I S T S ( c l )THEN R E T U R N此 ) ; -t h e c l a s s i t s e l f i s in d e t e r m i n a t eE ND _ I F ;I F ( S I Z E O F ( c l . r e f e r e n c e d - b y ) 二 1 )THEN R E P E A T i : 1 T O S I Z E O F ( c l . r e f e r e n c e d - b y 仁 1 i m p l i c i t _ m o d e l_ c l a s s _ e x t e n s io n . s e l e c t a b l e - p r o p e r t i e s ) ; p r o p: p r o p c l . r e f e r e n c e d _ b y l i m p li c i t - m o d e l _ c l a s s _ e x t e n s i o n . s e l e c t a b le p r o p e r t ie s i . p r o p e r t y; E ND - R E P E AT; E ND - I F ; R E T U R N ( p r o p ) ; E N D _ F U N C T I O N ; 一s e l e c t a b l e - p r o p e r t i e s - li s t (1 2 . 8 . 9 要求的已定义特性函数 r e q u i r e d _ d e f i n e d _ p r o p e r t ie s ( 要求的已定义特性) 函 数确定类中 定义的 必须特性列表。 E X P R E S S 描述 :免费标准下载网( w w w . f r e e b z . n e t )免费标准下载网( w w w . f r e e b z . n e t ) 无需注册 即可下载G B / T 1 7 6 4 5 . 2 4 -2 0 0 3 / I S O 1 3 5 8 4 - 2 4 : 2 0 0 2 关) F UN C T I O N r e q u i r e d _ d e f i n e d _ p r o p e r t i e s ( c l ; c la s s _ B S U) : L I S T O F p r o p e r t y _ B S U; LOCAL p r o p : L I S T O F p r o p e r t y _ B S U: ; E ND - L O C AL; I F NO T E X I S TS ( c l ) THEN R E T U R N ( ) ; -t h e c la s s i t s e l f i s i n d e t e r m i n a t e E ND L I F ; I F ( S I Z E O F ( c l . r e f e r e n c e d - b y ) = 1 ) THEN R E P E A T i : 1 T O S I Z E O F ( c l . r e f e r e n c e d - b y l i m p l i c it _ m o d e l _ c l a s s - e x t e n s i o n . r e q u i r e d - p r o p e r t i e s ) ; p r o p: p r o pc l . r e f e r e n c e d _ b y 1 imp l i c i t - m o d e l - c l a s s - e x t e n s i o n . r e q u i r e d p r o p e r t i e s i . p r o p e r t y; E N D - R E P E A T; E ND - I F ; R E T U R N ( p r o p ) ; E N D - F U N C T I O N; 一r e q u i r e d - d e f i n e d - p r o p e r t i e s (二1 2 . 8 . 1 0 导出特性列表的函数 d e r i v e d - p r o p e r t i e s - li s t ( 导出特性列表) 的函数确定类中定义为导出的 特性列表。 E X P R E S S 描述: ,) F U N C T I O N d e r iv e d _ p r o p e r t i e s _ l i s t ( c l : c l a s s _ B S U ) : L I S T O F p r o p e r t y _ B S U; LOC AL p r o p : L I S T O F p r o p e r t y _ B S U: ; E ND - L O C AL;I F NO T E X I S T S ( c l )THE N R E T UR N ( ) ; 一t h e c l a s s it s e l f i s in d e t e r m i n a t eE ND - I F;I F ( S I Z E O F ( c l . r e f e r e n c e d - b y ) 1 )THE N R E P E A T i : 1 T O S I Z E O F ( c l. r e f e r e n c e d - b y l i m p l ic i t _ m o d e l_ c l a s s _ e x t e n s io n . d e r i v e d - p r o p e r t i e s ) ; p r o p: p r o p c l . r e f e r e n c e 走b y 1 免费标准下载网( w w w . f r e e b z . n e t )免费标准下载网( w w w . f r e e b z . n e t ) 无需注册 即可下载G B / T 1 7 6 4 5 . 2 4 -2 0 0 3 八S O 1 3 5 8 4 - 2 4 : 2 0 0 2 i m p l ic i t_ m o d e l _ c l a s s _ e x t e n s io n . d e r i v e d p r o p e r t i e s i . p r o p e r t y; E ND to R E P E AT; E N D - I F; R E T U R N( p r o p ) ; E N D es F U N C T I O N; 一d e r iv e d - p r o p e r t i e s - l i s t (关1 2 . 8 . 1 1 可选特性列表函数 o p t io n a l- p r o p e r t i e s - l i s t ( 可选特性列表) 的函数确定类中 定义为可选的特性列表。 E X P R E S S 描述:)F U N C T I O N o p t io n a l_ p r o p e r t i e s _ l i s t ( c l : c l a s s _ B S U ) : L I S T O F p r o p e r t y _ B S U;L OCAL p r o p : L I S T O F p r o p e r t y _ B S U: ;E ND - L O C AL;I F NO T E X I S TS ( c l )TH EN R E T U R N( ) ; -t h e c l a s s i t s e l f i s i n d e t e r m i n a t eE ND - I F ;I F ( S I Z E O F ( c l . r e f e r e n c e d - b y ) 1 )THE N R E P E A T i : 1 T O S I Z E O F ( c l . r e f e r e n c e d - b y l i m p li c it _ m o d e l - c l a s s e x t e n s io n . d e r i v e d - p r o p e r t i e s ) ; I F ( c l . r e f e r e n c e d _ b y l i m p l i c i t _ mo d e l_ c l a s s _ e x t e n s i o n d e r i v e d p r o p e r t ie s i . i s - o p t i o n a l ) THEN p r o p: p r o p c l . r e f e r e n c e d - b y 1 i m p li c i t _ m o d e l _ c l a s s _ e x t e n s io n . d e r iv e 走p r o p e r t i e s i . p r o p e r t y ; E N D - I F;END REPEATRE PE AT i: 二; 一d e r i v e d o p t io n a l p r o p e r t i e s o f t h i s c l a s s1 T O S I Z E O F ( c l. r e f e r e n c e d - b y l i m p l i c it _ m o d e l _ c l a s s _ e x t e n s i o n . s e l e c t a b l e - p r o p e r t i e s ) ;I F ( c 1 . r e f e r e n c e d _ b y 1 i m p l ic it _ m o d e l_ c l a s s - e x t e n s i o n s e l e c t a b l e - p r o p e r t i e s i . i s - o p t i o n a l )THEN p r o p: p r o p c l . r e f e r e n c e d _ b y 1 i m p l i c i t _ m o d e l _ c la s s _ e x t e n s i o n . s e l e c t a b l e p r o p e r t i e s i . p r o p e r t y ;免费标准下载网( w w w . f r e e b z . n e t )免费标准下载网( w w w . f r e e b z . n e t ) 无需注册 即可下载G B / T 1 7 6 4 5 . 2 4 -2 0 0 3 / I S O 1 3 5 8 4 - 2 4 : 2 0 0 2 E ND - I F ; E N D - R E P E A T; -s e le c t a b l e o p t i o n a l p r o p e r t i e s o f t h i s c l a s sE ND - I F; R E T U R N ( p r o p ) ; E N D - F U N C T I O N; -o p t i o n a l- p r o p e r t i e s - l i s t (1 2 . 8 . 1 2 确定方法变,的函数 m e t h o d v a r i a b l e s ( 确定方法变量) 函数确定f u n c t i o n a l m o d e l c l a s s 中定义的方法变量。该函数将调用功能模型类扩展 , 因此, 如果它被其他类调用, 它将则返回空集。 E X P R E S S 描述 : 关) F U N C T I O N m e t h o d _ v a r i a b l e s ( c l : c l a s s _ B S U ) : S E T O F p r o p e r t y _ B S U; L OCAL p r o p : S E T O F p r o p e r t y _ B S U: ; E N D- L OC AL; I F NOT E X I S T S ( c l ) THEN R E T U R N( ) ; -t h e c l a s s i t s e l f is i n d e t e r m i n a t eE N D - I F;I F ( S I Z E O F ( c l . r e f e r e n c e d - b y )二 1 )THEN I F N O T ( I S O 1 3 5 8 4 - L I B R A R Y - C O N T E N T - S C H E MA . F U N C T I O N A L MO D E L C L A S S E X T E N S I O N I N T Y P E O F ( c l . r e f e r e n c e d _ b y 1 ) ) -a b n o r m a l c a s e TH EN R E T U R N ( 仁 ) ; E LS E R E P E A T i : 1 T O S I Z E O F ( c l . r e f e r e n c e d - b y l f u n c t i o n a l _ mo d e l _ c l a s s _ e x t e n s i o n . me t h o d - v a r i a b l e s ) ; p r o p: p r o pc l . r e f e r e n c e d - b y I f u n c t i o n a l mo d e 卜 c l a s s - e x t e n s i o n . m e t h o d v a r i a b l e s i . p r o p e r t y ; E N D - R E P E A T; E ND _ F;E ND - I F ;R E T U R N ( p r o p ) ;E ND ra F U NC T I ON; -me t h o d v a r i a b l e s免费标准下载网( w w w . f r e e b z . n e t )免费标准下载网( w w w . f r e e b z . n e t ) 无需注册 即可下载G B / T 1 7 6 4 5 . 2 4 -2 0 0 3 / I S O 1 3 5 8 4 - 2 4 : 2 0 0 21 2 . 8 . 1 3 G m标识特征列表函数 g m _ id e n t if ic a t i o n _ c h a r a c t e r is t i c s _ l i s t ( g m标识特征列表) 函数确定通用模型类中定义为标识特征的特性列表。此函数将调用通用模型类。因此, 如果它不为实例, 将返回空L I S T o E X P R E S S 描述 : 二) F U N C T I O N g m _ i d e n t i f ic a t i o n _ c h a r a c t e r is t i c s _ l i s t ( c l : c l a s s _ B S U ) : L I S T O F p r o p e r t y _ B S U; LOCAL p r o p : L I S T O F p r o p e r t y _ B S U : 仁 ; E ND - L OC AL; I F NO T E X I S TS ( c l ) THEN R E T UR N ( ) ; 一t h e c la s s i t s e l f i s i n d e t e r m i n a t e E ND - I F; I F ( S I Z E O F ( c l . r e f e r e n c e d - b y ) 1 ) THEN I F N O T( I S O 1 3 5 8 4 L I B R A R Y- C O N T E N T- S C H E MA . I T E M C L A S S - E X T E N - S I ON I N T Y P E O F ( c l . r e f e r e n c e d _ b y l ) ) -a b n o r m a l c a s eTHEN R E T U R N 任 ) ; -a b n o r m a l c a s eE ND - I F; R E P E A T i : 1 T O S I Z E O F ( c l. referenced-by1 i t e m _ c la s s _ e x t e n s i o n . i d e n t if i c a t i o n - c h a r a c t e r i s t i c s ) ; p r o p: p r o pc l . r e f e r e n c e d - b y 1 i t e m _ c l a s s _ e x t e n s io n . i d e n t i f i c a t io n - c h a r a c t e r i s t i c s i 。 p r o p e r t y ; E ND - R E P E AT; E N D - I F; R E T U R N( p r o p ) ; E N D - F U N C T I O N; 一g m - i d e n t i f i c a t io n - c h a r a c t e r i s t i c s - l i s t (二1 2 . 8 . 1 4 F m 自由模型特性列表函数 f m _ f r e e _ m o d e l_ p r o p e r t ie s _ l i s t ( F m自由模型特性列表) 函数确定功能模型类中定义为自由模型特性的特性列表。此函数将调用功能模型类。因此, 如果它不是实例, 将返 回空 L I S T . E X P R E S S描述: 二) F U N C T I O N f m _ f r e e _ m o d e l _ p r o p e r t i e s _ l i s t ( c l : c l a s s _ B S U) : L I S T O F p r o p e r t y _ B S U; LOCAL p r o p : L I S T O F p r o p e r t y _ B S U : ;免费标准下载网( w w w . f r e e b z . n e t )免费标准下载网( w w w . f r e e b z . n e t ) 无需注册 即可下载G B / T 1 7 6 4 5 . 2 4 -2 0 0 3 / I S O 1 3 5 8 4 - 2 4 : 2 0 0 2E ND _ L OC AL;I F NOT E X I S T S ( c l )THEN R E T UR N ( ) ; -t h e c l a s s i t s e l f i s i n d e t e r m i n a t eE ND _ I F;I F ( S I Z E O F ( c l . r e f e r e n c e d - b y ) 1 )THEN I F N O T ( I S O 1 3 5 8 4 - L I B R A R Y - C O N T E N T - S C HE MA F U N C T I O N A L - MO D E L - C L A S S - E X T E N S I O N I N T Y P E O F ( c l . r e f e r e n c e d _ b y l ) ) -n o r m a l c a s e THEN R E T U R N( ) ; -a b n o r m a l c a s e E N D - I F; R E P E A T i : 1 T O S I Z E O F ( c l . r e f e r e n c e d - b y l f u n c t i o n a l _ m o d e l_ c l a s s _ e x t e n s io n . f r e e - m o d e l - p r o p e r t i e s ) ; p r o p: “ p r o p c l . r e f e r e n c e d - b y l f u n c t i o n a l_ mo d e l_ c l a s s _ e x t e n s i o n f r e e _ m o d e l_ p r o p e r t i e s i . p r o p e r t y ; E ND - RE P E AT; E N D _ I F; R E T UR N ( p r o p ) ; E N D _ F U N C T I O N; -f m - f r e e - m o d e l - p r o p e r t ie s - li s t (,1 2 . 8 . 1 5 判断超类存在的函数 e x is t s - s u p e r ( 判断超类存在) 函数检验由 c l c l a s s _ B S U参数标识的类是否有超类 。它返回: 真, 如果 c l 有超类 ; 假, 如果 。 1 没有超类 ; 不确定, 如果c l a s s d i c t i o n a r y - e l e m e n t 无效。 E X P R E S S 描述: ) F U N C T I O N e x i s t s _ s u p e r ( c l : c l a s s _ B S U) : L O G I C A L ; I F NO T E X I S TS ( c l) THE N R E T U R N ( U N K N O WN ) ; -t h e c la s s i t s e l f is i n d e t e r mi n a t e E ND - I F ;I F ( S I Z E OF ( c l . d e f i n i t i o n ) 0 )THEN RE T UR N( UNKN OWN) ;EL S E I F E X I S T S ( c l . d e f in i t i o n 仁 l l c l a s s . i t s _ s u p e r c la s s ) THE N免费标准下载网( w w w . f r e e b z . n e t )免费标准下载网( w w w . f r e e b z . n e t ) 无需注册 即可下载G B / T 1 7 6 4 5 . 2 4 -2 0 0 3 / I S O 1 3 5 8 4 - 2 4 : 2 0 0 2 R E T URN ( T RUE ) ; EL S E RETURN( F ALS E) E ND - I F ;E N D - I F; E N D F U N C T I O N; 一e x i s t s - s u p e r (,1 2 . 8 . 1 6 超类函数 s u p e r ( 超类) 函数确定了由其c l a s s B S U标识的类的超类。如果类没有超类, 或不能确定该类的超类 , 该函数返 回空集。 E X P R E S S描述: 关)F U N C T I O N s u p e r ( c l : c l a s s _ B S U ) : S E T O : 1 O F c l a s s _ B S U;I F NOT E X I S T S ( c DTHEN R E T U R N ( ) ; -t h e c l a s s i t s e l f i s i n d e t e r m i n a t eE ND - I F; I F ( S I Z E OF ( c l . d e f i n i t i o n ) 1 ) TH EN I F E X I S T S ( c l . d e f i n i t io n 1 c l a s s . i t s _ s u p e r c l a s s ) THEN R E T U R N( 仁 c l . d e f i n it io n 1 c l a s s . i t s _ s u p e r c l a s s ) ; E N D _ I F; E ND - I F; R E T U R N( ) ; E N D se F U N C T I O N; 一s u p e r (1 2 . 8 . 1 7 判断是否在视图控制变f范围中的函数 在v i e w - c o n t r o l - v a r i a b l e - r a n g e 实 体的L 列表中, is _ i n _ v _ c _ v _ r a n g e ( 判断是否在v _ c _ v 范围中) 的函数检验p r o p e r t y _ B S U P曾经是否作为v i e w - c o n t r o l- v a r i a b l e - r a n g e 实体的p a r a m e t e r - t y p e 属性出现过 。 E X P R E S S描述 :F U N C T I O N i s _ i n _ v _ c _ v _ r a n g e ( p : p r o p e r t y _ B S U; 1 : S E T O F v i e w - c o n t r o l- v a r i a b l e - r a n g e ) : B O O L E A N;I F ( S I Z E O F ( Q U E R Y ( e l t 二1 e l t . p a r a me t e r - t y p e P ) ) 1 )THEN RE TUR N( TR UE ) ;ELSE RE TUR N( F A L S E ) ;E ND - I F;免费标准下载网( w w w . f r e e b z . n e t )免费标准下载网( w w w . f r e e b z . n e t ) 无需注册 即可下载G B / T 1 7 6 4 5 . 2 4 - 2 0 0 3 / I S O 1 3 5 8 4 - 2 4 : 2 0 0 2 E ND _ F UN C TI ON; -i s _ i n _ v _ c _ v _ r a n g e (,1 2 . 8 . 1 8 获得视图控制变f范围的函数 g e t _ v _ c _ v _ r a n g e ( 获得v _ c _ v 范围) 的函数返回v ie w - c o n t r o l- v a r i a b l e - r a n g e , 其p a r a m e t e r - t y p e 属性等于v i e w _ c o n t r o l _ v a r i a b l e _ r a n g e 实体的L列表中给定的p r o p e r t y _ B S U P 。它要求应用于P和L的i s _ i n _ v _ c _ v _ r a n g e 函数返回真。 E X P R E S S 描述 : 二) F U N C T I O N g e t _ v _ c _ v _ r a n g e ( p : p r o p e r t y _ B S U; 1 : S E T O F v i e w - c o n t r o l - v a r i a b l e - r a n g e ) : v ie w - c o n t r o l - v a r i a b l e - r a n g e ; LOCAL x : S E T O F v i e w - c o n t r o l- v a r i a b l e - r a n g e ; E ND - L O C AL ; x: Q U E R Y ( e l t ,1 e l t . p a r a m e t e r t y p e P ) ; R E T U R N ( x I ) ; E N D ee F U N C T I O N; -g e t _ v _ c _ v _ r a n g e (二1 2 . 8 . 1 9 所有视图控制变f范围可用函数 a l l_ v _ c _ v _ r a n g e _ a v a i l a b l e ( 所有 v _ c _ v 范围可用) 函数获取 p r o p e r t y _ B S U s 的 L列表, 并检验 L列表中的每个p r o p e r t y _ B S U, 其 d a t a - t y p e 是有效的n o n _ q u a n t i t a t iv e _ in t _ t y p e 。如果这个条件成立, 它返 回真, 否则返回假。 E X P R E S S描述 : 关) F U N C T I O N a ll _ v _ c _ v _ r a n g e _ a v a i l a b l e ( 1 : L I S T O F p r o p e r t y _ B S U) : B O OL E AN; L OCAL r e s :B OO L E AN: T RUE;E ND _ L O C AL;RE PEAT i: 1 TO S I Z EOFG)I F N O T ( S I Z E O F ( d a t a - t y p e - n o n - q u a n t i t a t i v e _ i n t t y p e ( 1 i ) ) 1 )THEN r e s: F AL S E; E N D- I F ; E ND _ R E P E AT; R E T UR N( r e s ) ; E N D F U N C T I O N; -a ll _ v _ c _ v _ r a n g e _ a v a i la b le (1 2 . 8 . 2 0 生成视图控制变,范围有序列表的函数 make-ordered-list o f _ v _ c _ v _ r a n g e ( 生成v _ c _ v 范围有序列表)函数获得p r o p e r t y _ B S U s 的L列表和 v i e w - c o n t r o l - v a r i a b l e - r a n g e 的 址r a n g e ( L范围) 列表, 以至应用于 L的 a l l_ v _ c _ v _ r a n g e _ a v a il a -免费标准下载网( w w w . f r e e b z . n e t )免费标准下载网( w w w . f r e e b z . n e t ) 无需注册 即可下载G B / T 1 7 6 4 5 . 2 4 -2 0 0 3 / I S O 1 3 5 8 4 - 2 4 : 2 0 0 2b l e 返回真。m a k e _ o r d e r e d _ l i s t _ o f _ v _ c _ v _ r a n g e 函数返回基于 p r o p e r t y _ B S U s 的 I _ 列表的 v i e w _ c o n -t r o l _ v a r i a b I e _ r a n g e 列表 , L列表中每个 p r o p e r t y _ B S U用 v i e w c o n t r o l- v a r i a b l e - r a n g e 列表代替, 其 中给定的p r o p e r t y _ B S U是p a r a m e t e r - t y p e 属性。如果在L _ r a n g e 列表中存在其给定的p r o p e r t y _ B S U是 p a r a m e t e r - t y p e 属性的 v ie w - c o n t r o l v a r i a b l e - r a n g e , v i e w - c o n t r o l v a r i a b le - r a n g e 是从 L _ r a n g e 列表中摘取的, 否则v ie w - c o n t r o l- v a r i a b l e - r a n g e 是由给定的p r o p e r t y _ B S U的整个域构成的。如果应用于L的a l l_ v _ c _ v _ r a n g e _ a v a i l a b I e 不能返回真, m a k e _ o r d e r e d _ l i s t _ o 仁v _ c _ v 则函数返回空列。 E X P R E S S描述: 二) F U N C T I O N ma k e o r d e r e d l i s t o 仁v _ c _ v _ r a n g e ( 1 : L I S T O F p r o p e r t y _ B S U; 1-range: S E T O F v ie w - c o n t r o l - v a r i a b l e - r a n g e ) : L I S T O F v i e w - c o n t r o l - v a r i a b l e - r a n g e ; L OC AL y . v i e w - c o n t r o l- v a r ia b l e - r a n g e ; r e s : L I S T O F v ie w - c o n t r o l- v a r ia b le - r a n g e : ; s : S E T 0 : 1 O F n o n - q u a n t it a t i v e _ i n t _ t y p e ; x: n o n _ q u a n t i t a t i v e _ i n t _ t y p e ; E ND L L O C AL; I F N O T a l l_ v _ c _ v _ r a n g e _ a v a i l a b l e ( 1 ) TH EN R E T U R N( ) ; E ND _ I F; RE P E AT i : 1 TO S I Z E O F ( 1 ) ; I F i s _ i n _ v _ c _ v _ r a n g e ( 1 i , 1-range) THEN r e s: r e s g e t _ v _ c _ v _ r a n g e ( l i , 1-range);EL S E sxYre sd a t a - t y p e - n o n - q u a n t i t a t iv e _ i n t _ t y p e ( 1 i ) ;二 s 1 ;二v ie w _ c o n t r o l_ v a r ia b le - r a n g e ( I i , x . d o ma i n . it s v a l u e s l . v a l u e - c o d e , x . d o m a i n . it s - v a l u e s 仁 1 . v a l u e - c o d e S I Z E O F ( x . d o ma i n . i t s - v a l u e s )一 1 ) ;: r e s Y ; E ND _ I F;END REPEATRE TURN ( r e s )E ND - F UN C T I ON(; -m a k e _ o r d e r e d _ l is t _ o f _ v _ c _ v _ r a n g e1 2 . 8 . 2 1 c d r 列表函数 c d r _ l i s t ( c d r 列表) 的函数确定v i e w - c o n t r o l- v a r i a b le - r a n g e 的L列表的子列表。去掉L列表的第一个元素就得到该子列表。该函数要求 L列表至少包含两个元素。免费标准下载网( w w w . f r e e b z . n e t )免费标准下载网( w w w . f r e e b z . n e t ) 无需注册 即可下载G B / T 1 7 6 4 5 .2 4 -2 0 0 3 / I S O 1 3 5 8 4 - 2 4 : 2 0 0 2 E X P R E S S描述: ) F U N C T I O N c d r _ l i s t ( 1 : L I S T 2 : ? O F G E N E R I C : t y p e _ e l e m ) : L I S T O F G E N E R I C : t y p e _ e l e m; L OCAL c d r : L I S T O F G E N E R I C: t y p e _ e le m: ; E ND- L OC AL ; R E P E AT i: 一 2 TO S I Z E O F ( 1 ) ; c d r: c d r 1 仁 i ; E N D ee R E P E AT; R E T URN( c d r ) ; E N D F UNC T I ON; 一c d r l i s t (1 2 . 8 . 2 2 生成数组函数 m a k e _ t u p le ( 生成数组) 函数确定整数数组集, 该集属于L列表v ie w - c o n t r o l- v a r i a b l e - r a n g e s 定义的一列有序整数间隔的笛卡儿乘积。列表 L中 v i e w - c o n t r o l - v a r i a b l e - r a n g e s 的顺序决定了数组值的顺序 。 E X P R E S S 描述 : 二) F UN C T I O N m a k e _ t u p l e ( 1 : L I S T l : ? o f v i e w _ c o n t r o l_ v a r i a b l e - r a n g e ) : S E T仁 1 : ? O F L I S T 1 : ? O F I N T E G E R; LOCAL r e s u l t : S E T O F L I S T O F I N T E G E R : ; l i s t _ s u b _ t u p l e : S E T O F L I S T O F I N T E G E R ; E ND - L OC AL ; I F S I Z E O F ( 1 ) 1 T HE N R E P E AT i : 1 1 v i e w _ c o n t r o l _ v a r i a b l e _ r a n g e . r a n g e _ l o b o u n d T O 1 仁 1 v i e w _ c o n t r o l _ v a r i a b l e _ r a n g e . r a n g e _ h ib o u n d ; r e s u l t : i r e s u l t ; E ND - RE P E AT; ELSE l i s t _ s u b _ t u p l e: m a k e _ t u p l e ( c d r _ l i s t ( 1 ) ) ; R E P E A T i : 1 T O S I Z E O F ( l is t _ s u b _ t u p l e ) ;-f o r e a c h s u b t u p l e R E P E A T j : 二1 1 v i e w _ c o n t r o l_ v a r ia b l e _ r a n g e . r a n g e _ l o b o u n d T O 1 1 v ie w _ c o n t r o l_ v a r i a b l e - r a n g e . r a n g e _ h i b o u n d ; 一c r e a t e s o n e n e w t u p l e f o r e a c h v a l u e o f 1 1 r e s u l t: 二r e s u l t j l i s t _ s u b _ t u p l e i ; E ND _ R E P E AT; E ND - RE P E A T; E ND _ I F ; RE TUR N( r e s u l t ) ;免费标准下载网( w w w . f r e e b z . n e t )免费标准下载网( w w w . f r e e b z . n e t ) 无需注册 即可下载G B /
- 温馨提示:
1: 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
2: 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
3.本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

人人文库网所有资源均是用户自行上传分享,仅供网友学习交流,未经上传用户书面授权,请勿作他用。
2:不支持迅雷下载,请使用浏览器下载
3:不支持QQ浏览器下载,请用其他浏览器
4:下载后的文档和图纸-无水印
5:文档经过压缩,下载后原文更清晰
|