人人文库网 > 行业资料 > 各类标准 > GB-T 17645.24(5)-2003 工业自动化系统与集成零件库 第24部分 逻辑资源：供应商库的逻辑模型(5).rar
GB-T 17645.24(5)-2003 工业自动化系统与集成零件库 第24部分 逻辑资源：供应商库的逻辑模型(5).pdf
GB-T 17645.24(5)-2003 工业自动化系统与集成零件库 第24部分 逻辑资源：供应商库的逻辑模型(5).rar
收藏
资源目录
压缩包内文档预览：(预览前20页/共50页)
编号：20244877
类型：共享资源
大小：2.03MB
格式：RAR
上传时间：2019-06-25
上传人：hon****an
认证信息
个人认证
丁**（实名认证）
江苏
IP属地：江苏
3.6
积分
- 关 键 词：
-
工业自动化系统与集成零件库
逻辑资源:供应商库
17645.24
工业自动化系统与集成 零件库
第24部分:
逻辑资源: 供应商库
2003工业自动化系统与集成零件库第24部分逻辑资源供应
- 资源描述：
-
GB-T 17645.24(5)-2003 工业自动化系统与集成零件库 第24部分 逻辑资源：供应商库的逻辑模型(5).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 1 1 . 2 5 . 8 导入表是可见的或可应用的规则 i m p o r t e d - t a b l e s - a r e - v is i b l e - o r - a p p l ic a b l e - r u l e （ 导人表是可见的或可应用的 规则） 规则检查： 当表 被类用a _ p r i o r i_ s e m a n t i c s _ r e l a t i o n s h i p 输人时， 这个表对于该类来说是可见的或可应用的。 注： 可应用的表包括通过语法关系输入的表。这条规则使从表已被输人的类中输入表成为可能。 E X P R E S S 描述 ： ） R UL E i m p o r t e d - t a b l e s - a r e _ v i s i b l e _ o r _ a p p l i c a b le _ r u le F O R ( a _ p r io r i _ s e ma n t i c _ r e l a t io n s h i p ， t a b l e - e l e m e n t ) ； W HE RE WR 1 ： Q U E R Y( r e l 二a _ p r i o r i _ s e m a n t i c _ r e l a t i o n s h i p I Q U E R Y ( t a b ，r e l . r e f e r e n c e d - t a b le s I Q U E R Y ( c l * r e l . r e f e r e n c e d _ c l a s s e s N O T v i s i b l e _ t a b l e s ( c l ， t a b ) A N D N O T a p p l i c a b l e - t a b l e s ( c 1 ， t a b ） ） r e l . r e f e r e n c e d - c l a s s e s ) ） a _ p r io r i se m a n t i c - r e l a t i o n s h i p ; E N D - R U L E ； 一i m p o r t e d - t a b l e s _ a r e _ v i s i b I e _ o r _ a p p I i c a b l e - r u I e （关 形式限制 ： WR 1 ： 任何a _ p r i o r i_ s e m a n t i c s _ r e l a t io n s h i p 的r e f e r e n c e d p r o p e r t i e s 属性定义的输人表对属于该a - p r i o r i- s e m a n t ic s - r e l a t i o n s h i p 的r e f e r e n c e d 一 c l a s s e s 集的 任一类来说应是可 见的或可 应用的。 1 1 . 2 5 . 9 导入文档是可见的或可应用的规则 i m p o r t e d _ d o c u m e n t s _ a r e _ v i s i b le _ o r _ a p p l i c a b l e - r u le （ 导人 文档 是可见的 或可应 用的 规则） 规则 检 查： 当文档被类用 a - p r i o r i - s e ma n t i c s r e l a t io n s h i p输入时， 这个文档对 于该类来说是 可见的或可应 用 的 。 注： 可应用的文档包括通过语法关系输入的文档。这条规则使从文档已被输入的类中输人文档成为可能。 E XP R E S S描述 ： 二） R U L E i m p o r t e d - d o c u me n t s - a r e - v is i b l e - o r - a p p l i c a b l e - r u l e F O R ( a _ p r i o r i _ s e m a n t i c - r e l a t i o n s h i p ， d o c u m e n t e l e me n t ) ； W HERE WR 1 ： Q U E R Y ( r e l a _ p r i o r i_ s e m a n t i c - r e l a t i o n s h i p Q U E R Y( d o c r e l . r e f e r e n c e d - d o c u m e n t s Q U E R Y ( c 1 ， r e l. r e f e r e n c e d - c l a s s e s N O T v i s i b l e _ d o c u m e n t s ( c l ， d o c ) A N D N O T a p p li c a b l e _ d o c u m e n t s ( c l ， d o c ) ） r e l . r e f e r e n c e d c l a s s e s ) 仁 ） a _ p r i o r i _ s e m a n t i c - r e l a t i o n s h i p ; E N D - R U L E ； 一i m p o r t e d _ d o c u m e n t s - a r e _ v i s i b l e _ o r _ a p p l i c a b l e r u l e （ 形式限制 ： WR l ： 任何a _ p r i o r i_ s e m a n t i c s _ r e la t i o n s h i p的： e f e r e n c e d _ p r o p e r t ie s 属性定义的输人文档对属于 该a _ p r i o r i_ s e m a n t i c s _ r e l a t io n s h i p 的： e f e r e n c e d _ c l a s s 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 1 1 . 2 6 I S O 1 3 5 8 4 扩展字典模式： 函数定义 为了规定有关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 m a中定义的实体的约束， 这一节收集了这类 函数集。 1 1 . 2 6 . 1 可见特性函数 v i s i b l e - p r o p e r t i e s （ 可见特性） 函数检查从。 1 参数标识的类起， 对应p r o p的属性是可见的。如果属 性的 D E T引用了类或这个类的任何超类的 B S U， 从这个类起 ， 属性是可见的。 在当前的交换环境中， 如果因为 c l 的超类无效而使 已知可见属性可能不完全 ， 那么函数返回值不 确定 。 E X P R E S S 描述： 关） F U N C T I O N v is ib l e _ p r o p e r t i e s ( c 1 ： c l a s s _ B S U； p r o p : A G G R E G A T E O F p r o p e r t y _ B S U ) ： L O G I C A L ; LOCAL o k ： B OOL E AN ： T R UE; E ND - L O C AL; I F NOT EXI S TS ( c l ) THEN RE TUR N( UN KNO WN) ； E ND - I F; R E P E AT i： 1 t o S I Z E OF ( p r o p ) ； I F N O T ( p r o p i I N c o m p u t e _ k n o w n _ v i s i b l e _ p r o p e r t i e s ( c l ) ） THE N o k： F AL S E; E ND - I F ; E ND - R E P E A T; I F N O T ( o k ) A N D 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 le ( c l ) ） THE N RE TUR N( UNKNO WN) ； E ND _ I F; I F N O T( o k ) A N D a l l_ c l a s s _ d e s c r ip t i o n s _ r e a c h a b le ( c l ) THE N RE TUR N( F AL S E ) ； E ND - I F; RE TUR N( TR UE ) ； E N D es F U N C T I O N； 一v i s i b l e - p r o p e r t i e s （关 1 1 . 2 6 . 2 可见类型函数 v i s i b l e - t y p e s （ 可见类型） 函数检查从c l 参数标识的类起， 对应t y p的类型是可见的。如果类型的 D E T引用了类或这个类的任何超类的 B S U， 从这个类起 ， 类型是可见的。 在当前的交换环境中， 如果因为 c l 的超类无效而使 已知可见数据类型可能不完全 ， 那么函数返回 值不确定 。 E X P R E S S 描述： ） F U N C T I O N v i s ib l e _ t y p e s ( c l ; c l a s s _ 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 t y p ： AGG RE GAT E OF d a t a _ t y p e _ B S U) ： L O GI C AL LOCAL o k ：B OO L E AN ： T RUE E N D - L OC AL ; I F NOT E XI S TS( c l ) THEN RE TURN( UNKNOWN) END- I F; R E P E AT i： 1 t o S I Z E OF ( t y p ) ； I F N O T ( t y p i I N c o m p u t e _ k n o w n _ v i s i b l e _ d a t a _ t y p e s ( c l ) ） THE N o k： 二 F AL S E； E N D - I F; E N D ee R E P E AT； I F N O T ( o k ) A N D 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 ( c l ) ） THE N RE TUR N( UNK NOWN) ； E N D _ I F; I F N O T ( o k ) A N D 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 ( c l ) THE N RE TUR N( F A L S E ) ； E ND L I F; RE TURN( TRUE) E N D - F U N C T I O N； -v i s i b l e - t y p e s （ ， 1 1 . 2 6 . 3 可见表函数 V i s i b l e t a b l e s （ 可见表） 函数检查从 c 1 参数标识的类起， 对应 t a b的表是可见的。如果表 的 D E T 引用了类或这个类的任何超类的 B S U， 从这个类起 ， 表是可见的。 如果 B S U定义不能计算出整个可见表集 ， 且从 t a b 起 的 t a b l e B S U没有证明是可见的， 那么函数 返回值不确定。 E X P R E S S描述： ） F UNC T I O N v i s i b l e _ t a b l e s ( c l ： c l a s s _ B S U； t a b ： AG GRE GA TE OF t a b l e _ B S U) ： L O GI C AL ; I F NOT EXI S TS ( c l ) THEN R E T UR N( UNKNO WN) ； E NI ） 一 I F; RE P E AT i ： I F t a b 巨 i . THEN t a b： ： E ND - I F; S I Z E OF ( t a b ) T O I B Y 一 I ； n a me - s c o p e c l t a b 一 t a b i ； 免费标准下载网( 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 N D - R E P E A T; I F S I Z E O F ( t a b ) 0 THEN R E T URN( TR UE) ； E ND- I F ; I F S I Z E O F ( c l . d e f i n i t i o n ) 0 THEN R E T UR N( UN KNO WN) ； E ND - I F ; I F E X I S T S ( c l . d e f i n i t i o n 1 c la s s . i t s _ s u p e r c l a s s ) THEN R E T U R N ( v i s i b le _ t a b l e s ( c l . d e f i n i t i o n 1 c l a s s . it s _ s u p e r c l a s s ， t a b ) ） ； ELSE R E TU RN( F AL S E ) ； E ND - I F; E ND L F UNC TI O N； - v i s i b l e - t a b l e s （二 1 1 . 2 6 . 4 可见文档函数 v is i b l e d o c u m e n t s （ 可见文档） 函数检查从 。 1 参数标识的类起， 对应 d o 。 的文档是可见的。如果文 档的 D E T引用了类或这个类的任何超类的 B S U， 从这个类起 ， 文档是可见的。 如果 B S U定义不能计算出整个可见文档集 ， 且从 d o 。 起的 d o c u m e n t B S U没有证明是可见的， 那 么函数返 回值不确定 。 E X P R E S S 描述： ） F UN C TI ON v i s i b l e _ d o c u me n t s ( c l ：c l a s s _ B S U; d o c : A GGR E GAT E OF d o c u me n t _ B S U) ： L OG I C AL ; I F NOT E XI S TS( c l ) THEN RETURN ( UNKNOW N) E N D _ I F; R E P E AT i： S I Z E OF ( d o c ) TO 1 B Y - 1 ； I F d o c i . n a m e - s c o p e C l THE N d o c： 二 d o c 一 d o c i ； E ND - I F; E ND - RE P E AT; I F S I Z EOF( d o c ) 0 THE N R E T UR N( T R UE) ； 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 I F S I Z E O F ( c l . d e f i n i t i o n ）二 0 THEN R E TUR N( UNK NOWN) ； E ND - I F ; I F E X I S T S ( c l . d e f in i t i o n 1 c l a s s . i t s _ s u p e r c la s s ) THEN R E T U R N ( v i s i b l e _ d o c u m e n t s ( c l. d e f i n i t io n 1 c la s s . i t s _ s u p e r c l a s s ， d o c ) ） ； ELSE R E TUR N ( F AL S E ) ； E ND L I F; E ND L F UNC T I ON；一v i s i b l e d o c u me n t s （ 1 1 . 2 6 . 5 可应用特性函数 a p p l ic a b l e - p r o p e r t ie s （ 可应用特性） 函数检查： 对于c l 参数标识的类来说， 对应p r o p的特性是可应 用的。如果特性的 p r o p e r t y _ B S U 属于类 或这个类 的任何超类的 d e s c r i b e d - b y 特性 ， 或如果特性的 p r o p e r t y _ B S U是由类或这个类的任何超类输入的， 对这个类来说， 特性是可应用的。 特别要注意的是： 属于类的k n o w n - a p p l i c a b l e - p r o p e r t i e s （ 已知可应用特性） 特性的所有特性对于 这个类来说是可应用的。 如果 d i c t io n a r y - e l e m e n t s 定义不能计算出整个可应用特性集 ， 并且如果从 t y p 起的 p r o p e r t y _ B S U 没有证明是可应用的， 那么函数返 回值不确定 。 E X P R E S S 描述 ： 二） F UN C T I O N a p p l i c a b l e _ p r o p e r t ie s ( c l ： c la s s B S U； p r o p ： A G G R E G A T E O F p r o p e r t y _ B S U ) ： L O G I C AL ; I F S I Z E O F ( p r o p ) 0 THEN RE TURN( TRUE) END-IF; I F NOT E XI S TS ( c l ) THEN RE TURN( UNKNOW N) E N D- 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) ； E ND L I F; p r o p： p r o p一 l i s t _ t o _ s e t ( c l . d e f i n i t i o n 1 c la s s . d e s c r i b e d - b y ) ； I 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 H E MA A _ P R I O R I _ S E MA N T I C _ R E L A T I O N S H I P I N T Y P E O F ( c l. d e f i n i t io n 1 ) THEN 免费标准下载网( 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 p r o p： 二 p r o p 一 l i s t _ t o _ s e t ( c l . d e f i n i t i o n 1 a-priori-semantic-relationship. r e f e r e n c e d - p r o p e r t i e s ) ； E ND - I F ; I F S I Z E O F ( p r o p ) 0 TH EN R E T UR N( TR UE ) ； ELSE I F E X I S T S ( c l . d e f in it i o n 1 c l a s s . it s _ s u p e r c la s s ) THEN R E T UR N ( a p p l i c a b le _ p r o p e r t i e s ( c l . d e f i n it i o n 1 c l a s s . i t s _ s u p e r c la s s ， p r o p ) ） ； ELSE R E T UR N( F AL S E ) ； E ND _ I F; E ND _ I F ; E N D we F UN C T I O N； -a p p l ic a b l e - p r o p e r t ie s （ 1 1 . 2 6 . 6 可应用类型函数 a p p l ic a b l e - t y p e s （ 可应用类型） 函数检查： 对于c l 参数标识的类来说， 对应t y p的类型是可应用的。 如果类型的 d a t a _ t y p e _ B S U属于类或这个类的任何超类 的 d e f in e d - t y p e s 属性， 或如果属性的 d a t a - t y p e _ B S U是由类或这个类的任何超类输入的， 对这个类来说， 类型是可应用的。 特别要注意的是 ： 属于类的 k n o w n - a p p l i c a b l e - d a t a - t y p e s （ 已知可应用数据类型） 属性的所有数据 类型对于这个类来说是可应用的。 如果d i c t i o n a r y - e l e me n t s 定义不能计算出整个可应用类型集， 并且如果从 t y p 起的data-type_ B S U没有证明是可应用的， 那么函数返回值不确定 。 E X P R E S S 描述 ： 二） F U N C T I O N a p p l i c a b l e - t y p e s ( c l ： c la s s _ B S U； t y p : A G G R E G A T E O F d a t a _ t y p e _ B S U) ： L O G I C A L ; I F S I Z E O F ( t y p ) 0 THEN RE TUR N( TR UE ) ； E ND - I F ; I F N OT E X I S T S ( c l ) THEN RE TUR N( UNKNO WN) ； E ND - I F ; I F S I Z E O F ( c l . d e f i n i t i o n ) 0 THEN RE TUR N( UN KNO WN) ； 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 t y p： t y p一 c l . d e f i n i t i o n 1 c l a s s . d e f in e d - t y p e s ； I 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 H E MA A _ P R I O R I _ S E MA N T I C _ R E L A T I O N S HI P I N T Y P E O F ( c l . d e f in i t i o n 1 ) ） THEN t y p ： t y p c l . d e f in i t i o n 巨 1 a _ p r i o r i_ s e m a n t i c _ r e l a t i o n s h i p r e f e r e n c e d _ d a t a _ t y p e s ; E ND _ I F; I F S I Z E O F ( t y p ) 0 TH EN R E TU RN( T RUE ) ； EL S E I F E X I S T S ( c l . d e f in i t i o 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 ( a p p l ic a b l e - t y p e s ( c 1 . 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 ， t y p ) ） ； EL S E RE TUR N( F A L S E ) ； END-IF; E ND - I F ; E N 几 F U N C T I O N； -a p p l i c a b l e - t y p e s （关 1 1 . 2 6 . 7 可应 用表函数 a p p l i c a b l e - t a b l e s （ 可应用表） 函数检查： 对于c l 参数标识的类来说， 对应t a b的表是可应用的。如 果c l a s s - t a b l e - r e la t io n s h i p 包含表的r e l a t e d - t o k e n s 列表中的相应t a b ie _ B S U， 并引用类或这个类的任 何超类作为表的r e l a t i n g - c l a s s 属性， 对这个类来说， 表是可应用的。如果相应的t a b l e _ B S U是由类或 这个类的任何超类输人的， 它也是可应用的。 如果 d i c t i o n a r y - e l e m e n t s 定义不能计算出整个可应用表集 ， 并且如果从 t a b 起 的 t a b l e _ B S U 没有 证明是可应用的， 那么函数返 回值不确定 。 E X P R E S S 描述 ： ） F U N C T I O N a p p l ic a b l e - t a b le s ( c l ： c l a s s _ B S U； t a b ： A GGR E G AT E OF t a b l e i d e n t i f i c a t i o n ) ： L O GI C AL; I F S I Z EOF( t a b ) 0 THEN R E TUR N( TR UE ) E ND - I F ; I F NOT E XI S TS( c l ) THEN RE TURN( UNKNOW N) E N I 一 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 I F S I Z E OF ( c l . d e f i n i t i o n ) 0 TH EN R E TUR N( UNKNO WN) ； E ND _ I F; t a b： 二 t a b一 r e t r i e v e _ t a b l e s ( c l ) ； I 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 H E MA A _ P R I O R I _ S E MAN T I QR E L A T I O N S HI P I N T Y P E O F ( c l . d e f i n i t i o n l ) THEN t a b： t a b 一 。 1 . d e f in i t i o n 1 a _ p r i o r i _ s e m a n t i c _ r e l a t i o n s h ip r e f e r e n c e 走t a b l e s ； E ND - I F; I F S I Z E OF ( t a b ) 0 THEN RE TUR N( T RUE ) ； E LS E I F E X I S T S ( c l . d e f i n i t i o n 1 c la s s . i t s _ s u p e r c l a s s ) THE N RE TUR N( a p p l i c a b l e _ t a b l e s ( c l . d e f i n it i o n 1 c l a s s . i t s _ s u p e r c l a s s ， t a b ) ） ； ELS E R E T UR N( F AL S E ) ； E ND _ I F; E NI 汇I F; E N D _ F U N C T I O N； -a p p l i c a b l e - t a b l e s （， 1 1 . 2 6 . 8 检索表函数 r e t r i e v e - t a b l e s （ 检索表） 函数通过。 l a s s - t a b l e - r e l a t i o n s h ip 搜集与类直接相关的表集。 E X P R E S S 描述 ： ） F UNCTI ON -r e q u i r e s ： r e t r i e v e _ t a b le s ( c l ： c l a s s _ B S U ) ： S E T 0 ： ? O F t a b l e _ B S U; S I Z E OF ( c l . d e f i n i t i o n ) O L OCAL s ; S E T 0 ： ? O F t a b l e _ B S U ： 巨 ； E ND - L OC AL; R E P E A T i ： 1 T O S I Z E O F ( c l . d e f in i t i o n 1 c l a s s . a s s o c ia t e d - i t e m s ) ； I 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 C L A S S - T A B L E - R E L A T I O N S H I P I N T Y P E O F ( c l . d e f i n i t io n l c l a s s . a s s o c i a t e d i t e ms i ) THE N s： 二 s c l . d e f i n i t io n 1 c l a s s . a s s o c i a t e d _ i t e m s i 免费标准下载网( 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 l a t e d t o k e n s ； E N D - I F ; E ND - R E P E AT; R E TUR N( s ) ； E ND F UN C T I ON； 一r e t r i e v e t a b l e s （关 1 1 . 2 6 . 9 可应用文档函数 a p p l i c a b l e - d o c u m e n t s （ 可应用文档） 函数检查： 对于c l 参数标识的类来说， 对应 d o c 的文档是可应 用的。如果c l a s s - d o c u m e n t - r e l a t i o n s h i p 包含文档的r e l a t e d - t o k e n s 列表中的相应d o c u m e n t B S U， 并 引用类或这个类的任何超类作为文档的 r e l a t i n g - c l a s s 属性 ， 对这个类来说， 表是可应用的。如果相应 的d o c u m e n t B S U是由类或这个类的任何超类输人的， 它也是可应用的。 如果 d i c t i o n a r y - e l e m e n t s 定义不能计算出整个可应用文档集， 并且如果从 d o 。 起的 d o c u m e n t - B S U没有证明是可应用的， 那么函数返 回 值不确定。 E X P R E S S 描述 ： 斧） F U N C T I O N a p p l ic a b l e _ d o c u m e n t s ( c l ： c l a s s _ B S U d o c : AG GR E GAT E OF d o c u me n t B S U) ：L OG I C A L I F S I Z EOF( d o c ) 0 TH EN RETURN ( TRUE) E ND _ I F ; I F NOT E XI S TS( c l ) THEN RETURN( UNKNOW N) E ND - I F ; I F S I Z E O F ( c l . d e f i n i t i o n ) 0 THE N R E T UR N( UNK NOWN) ； E ND - I F ; d o c： d o c一 r e t r i e v e _ d o c u me n t s ( c l ) ； I F 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 H E MA 。 A _ P R I O R I _ S E MA N T I C _ R E L A T I O N S H I P I N T Y P E O F ( c l . d e f i n i t i o n 1 ) TH EN D o e： d o c 一 c l . d e f i n i t io n I a _ p r io r i_ s e m a n t i c - r e l a t i o n s h ip . r e f e r e n c e d - d o c u me n t s ; E ND - I F ; I F S I Z E O F ( d o c ) 0 TH EN R E T UR N( TR UE ) ； ELS E I F E X I S T S ( c l . d e f i n it io n 1 c l a s s . it s _ s u p e r c la 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 THE N R E T U R N ( a p p l i c a b l e - d o c u m e n t s ( c 1 . d e f i n i t i o n 1 c l a s s . i t s _ s u p e r c l a s s ， d o c ) ） ； EL S E R E TUR N ( F A L S E ) ； E ND - I F; E ND L I F; E N D _ F U N C T I O N； -a p p l i c a b l e - d o c u m e n t s （二 1 1 . 2 6 . 1 0 检索文档函数 r e t r i e v e - d o c u m e n t s （ 检索文档） 函数通过 c l a s s - d o c u me n t - r e l a t i o n s h i p搜集与类直接相关的文 档集 。 E X P R E S S 描述 ： 二） F U N C T I O N r e t r i e v e _ d o c u m e n t s ( c l ： c l a s s _ B S U ) ： S E T 仁 0 ： ? O F d o c u m e n t B S U; 一r e q u i r e s ： S I Z E O F ( c l . d e f i n i t i o n ) O LOCAL s ： S E T 0 ： ? O F d o c u m e n t_ B S U ： ； E ND - L OC AL ; R E P E A T i ： 1 T O S I Z E O F ( c l . d e f i n i t io n 1 c l a s s . a s s o c ia t e d - i t e m s ) ； I F 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 CLASS-DOCUMENT-RELATIONSHIP I N T Y P E O F ( c l . d e f i n it i o n I c l a s s . a s s o c i a t e d i t e m s i ) THEN s： 二 s - - c l . d e f i n i t i o n 1 c l a s s . a s s o c i a t e d i t e m s i c la s s _ d o c u m e n t _ r e l a t i o n s h i p . r e l a t e d - t o k e n s ; E N D L I F ; E ND es R E P E AT, RETURN( s ) ； E ND - F UNC TI ON； 一 r e t r i e v e - d o c u me n t s （， 1 1 . 2 6 . 1 1 生成外部引用的函数 m a k e s - r e f e r e n c e - o u t s i d e （ 生成外部引用） 函数检查p r o p e r t y _ o r _ d a t a _ t y p e _ B S U集是否引用了不 属于 1 参数的 c l a s s _ B S U s 。如果所有的引用都在 1 参数中， 它返回假； 如果某些引用在 1 参数外， 它返回 真 。 在下列情况中， p r o p e r t y _ B S U或 d a t a _ t y p e _ B S U引用 c l a s s _ B S U, 它的 n a m e s c o p e 是这个 c l a s s B S U， 或 提供了它的定义d i c t i o n a r y - e l e m e n t 并作为它的域来引用c la s s _ B S U ( i s - p a r t - o f 关系） ， 或 提供了它的定义d i c t i o n a r y - e l e m e n t 并作为它的域来引用另外一个引用c l a s s _ B S U（ 回归定
- 温馨提示:
1: 本站所有资源如无特殊说明，都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
2: 本站的文档不包含任何第三方提供的附件图纸等，如果需要附件，请联系上传者。文件的所有权益归上传用户所有。
3.本站RAR压缩包中若带图纸，网页内容里面会有图纸预览，若没有图纸预览就没有图纸。
4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
5. 人人文库网仅提供信息存储空间，仅对用户上传内容的表现方式做保护处理，对用户上传分享的文档内容本身不做任何修改或编辑，并不能对任何下载内容负责。
6. 下载文件中如有侵权或不适当内容，请与我们联系，我们立即纠正。
7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
人人文库网所有资源均是用户自行上传分享，仅供网友学习交流，未经上传用户书面授权，请勿作他用。
|
2:不支持迅雷下载,请使用浏览器下载
3:不支持QQ浏览器下载,请用其他浏览器
4:下载后的文档和图纸-无水印
5:文档经过压缩，下载后原文更清晰
|
川公网安备: 51019002004831号