GB/T 17645.25-2008 工业自动化系统与集成 零件库 第25部分：逻辑资源：带聚合值和显式内容的供应商库逻辑模型

ICS

25．040．40

L67

囝园

中华人民共和国国家标准

11

GB／T7645．25--2008／IS0

工业自动化系统与集成零件库

第25部分：逻辑资源

带聚合值和显式内容的供应商库逻辑模型

Industrialautomationand

systemsintegration--

Partsresources：

library—Part25：Logical

modelofwithvaluesand

Logicalsupplierlibraryaggregate

content

explicit

(IS013584—25：2003，IDT)

2008-10-07发布

宰瞀髁鬻瓣訾襻瞥星发布中国国家标准化管理委员会仪1”

113584-25：2003

GB／T7645．25--2008／IS0

目次

…………···…I

前言……-…………

1范围·····-········…·····-·-········…············-…--··············…-····························1

2规范性引用文件…………………1

2

3术语、定义和缩略语………………-……………--……………

4本部分的结构……………5

………………5

4．1通用资源……·………………--………………

4．2库集成信息模型……-·-………………--…………6

5基本概念和假设…--……………--……………8

5．1特性的结构化聚合值……………8

………·8

5．2类扩展的显式描述…………-·-……

’’…···‘’’’’’’’’‘‘…···-·--’’’’。8

6ISO13584IEC61360schema

dictionary—aggregate_extension

6．1ISO

13584—1EC

schema的实体定义…9

13584一IEC61360一dictionary—aggregate—extension

6一ISO

7…………-……‘‘12

IS()13584一aggregate—value—schema……--……………

7．1ISOl………·13

3584一aggregate—value—schema的介绍…-……

7．2

16

7一ISO

13584………-…16

7．4IsOvalue—schema的函数定义……………

aggregate

…··28

8库集成信息模型25…--……………·…………………

8．1本部分和GB／T

35

8．2一致性类要求…………--……

附录A(规范性附录)本部分定义的实体短名……………………50

附录B(规范性附录)信息对象注册…………………51

Is()1

附录C(规范性附录)3584—25—1EC

··54

附录D(规范性附录)库集成信息模型25的标准数据要求……

附录E(规范性附录)库集成信息模型25的实现方法的特殊需求………………66

附录G(资料性附录)库集成信息模型25物理文件的注解性实例显式通用模型的交换………69

1

附录H(资料性附录)库集成信息模型25物理文件的注释性例子符合GB／T7645．101的显式

功能模型交换…………………76

附录NA(资料性附录)本部分中英文黑体词的含义………···………92

参考文献……··-…………95

GB／T17645．25--2008／IS013584—25：2003

刖吾

GB／T

17645《工业自动化系统与集成零件库》是一个由多个部分组成的标准，各部分单独出版。

GB／T-17645的所属各部分按功能分为多个子系列：概念描述、逻辑资源、实现资源、描述方法、一致性

测试、视图交换协议、有关字典的标准化内容，其中：

——第10h19部分规定了概念描述；

——第20～29部分规定了逻辑资源；

——第30～39部分规定了实现资源；

——第40～49部分规定了描述方法；

——第50～59部分规定了一致性测试f

——第100～199部分规定了视图交换协议；

——第500～599部分规定了有关字典的标准化内容。

GB／T

17645《工业自动化系统与集成零件库》现已发布了以下9个部分：

——第1部分：综述与基本原理；

——第20部分：逻辑资源：表达式的逻辑模型；

——第24部分：逻辑资源：供应商库的逻辑模型；

——第25部分：逻辑资源：带聚合值和显示内容的供应商库逻辑模型；

——第26部分：逻辑资源：信息供应商标识；

——第31部分：实现资源：几何编程接口；

～第42部分：描述方法：零件族构造方法学；

——第101部分：参数化程序的几何视图交换协议；

1

——第102部分：符合GB／T6656一致性规定的视图交换协议。

13584

本部分是GB／T17645的第25部分。本部分等同采用ISO25：2003《工业自动化系统与集

成零件库第25部分：逻辑资源：带聚合值和显式内容的供应商库逻辑模型》。

本部分在技术内容和编写格式上与ISO

要求，作了一些编辑性修改，主要是：

——对带下划线的用于EXPRESS语言描述的各黑体英文实体名，为了既维护其英文原意又便于

了解其名称代表的含义，在本部分中，以英文为主。增加资料性附录NA，收集所有黑体英文实体名，

并给出中文译名。

——IsO13584、ISO

10303和IEC61360各标准中已有若干部分被等同或等效转化为我国的国家

1

标准，对应的国家标准编号分别是GB／T17645、GB／T16656和GB／T7564中的各部分，二者在技术

和使用上对等。但是考虑到与ISO13584、IS010303和IEC

用软件中各模式、实体、特性、属性、函数等的表达，为使配套应用软件在实际应用时，不发生因更换国际

EXPRESS-G图中的国际标准代号保持不变。

本部分的附录A、附录B、附录c、附录D和附录E为规范性附录，本部分的附录F、附录G、附录H

和附录NA为资料性附录。

本部分由中国机械工业联合会提出。

本部分由全国工业自动化系统与集成技术委员会(SAC／TC159)归口。

本部分起草单位：中国标准化研究院。

本部分主要起草人：李文武、董连续、詹俊峰、刘守华、王志强。

GB／T17645．25--2008／1S013584—25：2003

工业自动化系统与集成零件库

第25部分：逻辑资源：

带聚合值和显式内容的供应商库逻辑模型

1范围

GB／T

据类型和数值。为了交换，本部分也包括表达供应商库的EXPRESS集成信息模型。此集成信息模型

把上述资源构造，以及GB／T17645其他部分和GB／T

独的模式。供应商库可以由零件族的定义和表达组成。它们也可以定义新的表达类别。供应商库可以

只由具有或不具有聚合数据类型的字典元素组成，也可以包括允许实例集合的显式说明。

与视图交换协议一同使用时，该集成信息模型也允许零件库中所定义的一种或几种零件表达类别

进行交换。

以下内容适用于本部分：

a)表达聚合数据类型的通用资源构造。根据EXPRESS语言(GB／T16656．11)聚合数据类型的

定义，对聚合数据类型和数值进行建模。

b)表达聚合值的通用资源构造。

c)表达装配件(可包括无限数量的组件)的通用资源构造。

d)用于建模和交换供应商库(包括许多特性，其值可聚合构成，且可显式地把其可能的类扩展描

述为实例集)的库集成信息模型。

以下内容不适用于本部分：

a)表达式和变量的表达；

b)通过约束隐式描述类的允许实例集；

c)能管理供应商库(按照本部分所定义的信息模型进行表达)的软件系统的规定。

2规范性引用文件

1

下列文件中的条款通过GB／T7645的本部分的引用而成为本部分的条款。凡是注日期的引用

文件，其随后所有的修改单(不包括勘误的内容)或修订版均不适用于本部分，然而，鼓励根据本部分

达成协议的各方研究使用这些文件的最新版本。凡是不注日期的引用文件，其最新版本适用于

本部分。

GB／T15273．1

15273．1信息处理八位单字节编码图形字符集第1部分：拉丁字母一(GB／T

1994，idtIS08859-1：1987)

GB／T16262．1

16262．1信息技术抽象语法记法一(ASN．1)第l部分：基本记法规范(GB／T

8824

2006，ISO／IEC1：2002，IDT)

1

GB／T6656．11工业自动化系统与集成产品数据表达与交换第11部分：描述方法：EX

PRESS语言参考手册

GB／T

16656．21工业自动化系统与集成产品数据的表达与交换第21部分：实现方法：交换

10303

16656．2卜2008，ISO21：2001，IDT)

文件结构的纯正文编码(GB／T

GB／T16656．41工业自动化系统与集成产品数据表达和交换第4l部分：集成通用资源：产

16656．411999，idtISO10303994)

品描述与支持原理(GB／T41：1

1

17645．25--2008／IS013584-25：2003

GB／T

16656．42工业自动化系统和集成产品数据表达与交换第42部分：集成通用资源：几

GB／T

ISO10808

42：1994)

何与拓扑表达(GB／T16656．42一1998，idt

第43部分：集成通用资源：表

GB／T16656．43工业自动化系统与集成产品数据表达与交换

16656．43—2008，ISO10303—43：2000，IDT)

达结构(GB／T

GB／T

17564．2—2005，IEC61360—2：2004，IDT)

式(GB／T

GB／T17645．24工业自动化系统与集成零件库第24部分：逻辑资源：供应商库的逻辑模型

17645．2413584

(GB／T2003，ISO24：2002，IDT)

GB／T17645．42工业自动化系统与集成零件库第42部分：描述方法学：构造零件族的方法

17645．42—2001，idtIS013584—42：1998)

学(GB／T

IABRFC2068：1997HT

因特网结构委员会建议的标准通信协议：超级文本移动通信协议

TP／1．1(HTTp-1．1)

3术语、定义和缩略语

本部分采用了下列定义。为了方便，重复了一些术语和定义，它们来自：

16656．1；

a)GB／T

b)GB／T16656．11；

c)GB／T17645．1；

17645．24；

d)GB／T

e)GB／T17645．42。

注：逐字从其他标准复制过来的定义，在其定义后面的括号中注明了来源。采用其他标准的定义，其定义的后面有

说明性注释。

3．1

可用特性applicableproperty

为某些零件族定义的，并适用于属于该零件族的任何零件的特性。

示例：对于螺钉通用族，螺纹直径是一种可用特性。这种特征适用于任何螺钉。

1

[GB／T7645．24]

3．2

semanticunit

基本语义单元basic

BSU

一种实体，它提供了应用领域(例如：类、数据元素类型)特定对象的一个绝对的和唯一的标识。

17645．423

[GB／T

3．3

extension

类扩展class

符合类定义规范的，所有不同的合理实例的集合。

[GB／T17645．24]

3．4

schema

公共字典模式commondictionary

TCl84／SC4／WG2和IECSC3D共同努力的

字典的信息模型，其建模语言采用EXPRESS，是ISO

成果。

注：公共字典模式的正式名称是GB／T17645．42—

17564．2规定的IS()13584一IEC61360一dictionary_schema。GB／T

200l的附录D是其副本。

17645．423

[GB／T

2

13584-25：2003

GB／T17645．25--2008／IS0

3．5

class

一致性类conformance

可规定一致性的一个标准子集。

FGB／T17645．24]

3．6

一致性要求conformancerequirement

在一致性实现中，对所必需呈现的特征的精确文本定义。

16656．11

[GB／T

3．7

element

字典元素dictionary

属性集合，它组成了应用领域(例如类、数据元素类型)特定对象的字典描述。

1

EGB／T7645．421

3．8

element

数据元素类型datatype

DET

对数据元所规定的标识、描述和值的表达。

[GB／T17645．423

3．9

数据类型data

type

特性的类型说明，它规定了特性值的允许集合。

[GB／T16656．11]

3．10

of

零件族familyparts

零件供应商将其组成一体的一组零件。零件族是简单族或通用族。

1

[GB／T7645．24]

3．11

modelofa

零件的功能模型functionalpart

在集成库中描述零件的表达分类的库数据。

[GB／T17645．11

3．12

功能视图functionalview

在产品数据中描述零件的表达分类的数据。

[GB／T17645．1]

注：功能视图的结构不依赖于它所表达的零件。

3．13

model

通用模型general

在集成库中，对零件进行定义和标识的库数据。

[GB／T17645．1]

3．14

of

零件的通用族genericfamilypart

一组由供应商为了从其提供的族中来构造零件的简单或通用的族，目的是分类和创建公共信息，模

拟通用组件，由供应商命名。

EGB／T17645．24]

3

113584-25：2003

GB／T7645．25--2008／IS0

3．15

file

库传送文件librarydelivery

1

符合库集成信息模型，根据GB／T

例全集。

1

[GB／T7645．24]

注：库传送文件规定了供应商库的结构和内容。它可以引用库外部文件。

3．16

库零件librarypart

在库中与描述其本身的数据相关联的零件。

EGB／T17645．1]

3．17

data

库零件数据librarypart

在库中表达零件的数据。

1

[GB／T7645．1]

3．18

context

库交换相关环境libraryexchange

一个库传送文件与零个、一个或多个库外部文件的集合，它们共同表达一个供应商库。

EGB／T17645．24]

3．19

externalfile

库外部文件library

由某库传送文件引用的一个文件，它有助于供应商库的定义。

[GB／T17645．24]

注：引用库外部文件的库传送文件规定了库外部文件的结构和格式。

3．20．

information

库集成信息模型libraryintegratedmodel；LIIM

从各供应商库不同的EXPRESS模式中集成了各资源构造的信息模型，用以实现互相交换的目的，

且与一致性要求相关的一种EXPRESS模式。

17645．24]

[GB／T

3．21

ofaclass

类的库规范libraryspecification

供应商库中类扩展的显式表达。

[GB／T17645．24]

注1：在GB／T17645系列中，有意通过字典元素定义每个类。只有供应商希望显式表达其可能实例的那些类才与

库规范有关。

注2：在本部分中，类的库规范由所有可能的不同实例集组成。

3．22

零件part

一个组成不同产品构件的物质或功能元素。

1

[GB／T7645．】]

3．23

特性property

可以通过数据元素类型表达的信息。

17645．42]

[GB／T

4

113584—25：2003

GB／T7645．25--2008／ISO

3．24

表达类别representationcategory

即一种抽象的概念，它用于区分关于某一零件描述的各种可能的用户需求。

[GB／T17645．1]

注：在本标准的模型定义中，这种区分用视图逻辑名和视图控制变量形式化表示。

3．25

construct

资源构造resource

即EXPRESS语言实体、类型、函数、规则和引用的集合，它们共同定义了数据的有效描述。

[GB／T17645．24]

3．26

of

简单零件族simplefamilyparts

零件集，可以通过相同的特性集描述其中的每个零件。

[GB／T17645．24]

3．27

供应商库supplier

library

提供GB／T17645中定义的标准格式库，并负责其内容的机构。

[GB／T17645．1]

3．28

用户库userlibrary

库管理系统从一个或多个供应商库的集成中生成的和可能是用户从随后做的修订本中得到的信息。

[GB／T17645．1]

3．29

视图交换协议viewprotocol；VEP

exchange

GB／T

17645的一部分，它描述了资源构造和表达传输接口的用法，表达传输接口满足对零件的一

种表达类别交换的信息需求。

[GB／T17645．24]

3．30

可视特性visible

property

为某些零件族定义的，并可以或不可以应用于该零件族下不同零件的特性。

17645．24]

EGB／T

示例：对于通用族螺钉来讲，非螺纹长度是可视的特性。对任何螺钉均可明确定义非螺纹长度，但仅仅带有非螺纹

部分的螺钉有这种特性数值。

注：定义了可视特性的类的代码是表达该特性的数据元素类型标识的一部分。

4本部分的结构

本部分包括两个主要部分。

通用资源部分规定了表达聚合数据类型和数值的资源构造。聚合数据类型和数值包括EXPRESS

语言定义的聚合数据类型和数值。

库集成信息模型LIIM25把上述资源构造，以及GB／T17645其他部分和GB／T16656中其他通

用资源构造聚集成表达供应商库的单一模式。这种模式包括聚合数据类型和聚合值，并显式地把类扩

展描述为实例集。

4．1通用资源

通用资源由以下EXPRESS模式组成：

5

17645．25--2008／IS013584—25：2003

GB／T

a)ISO

13584一IEC61360一dictionary—aggregate—extension—schema；

b)lS()13584一aggregate_value_schema。

117564的

这些模式规定了通用性的资源构造，可用于GB／T7645以外，特别是适用于符合GB／T

数据字典。

4．1．1GB／T17645和GB／T17564字典聚合扩展模式

ISO

18584一IEC

数据类型，包括EXPRESS语言定义的聚合数据类型)所需的资源构造。它定义了描述数组、包、列表、

1

集和子集数据类型的资源。该数据类型扩展了GB／T7564．2--2005中所发布的ISO

13584一

IEC

61360一dictionary_schema中已定义的数据类型，且ISO13584一IEC

GB／T17645．42

2001的资料性附录。

4．1．2GB／T17645聚合数值模式

ISO

合数据类型)所需的资源构造。它定义了描述数组、包、列表和结构化值的资源。这些数值扩展了

GB／T17645．24规定的ISO

13584一aggregate—value—schema已定义的数值。

4．2库集成信息模型

本部分所规定的库集成信息模型是LIIM25，为达到交换的目的，它把本部分所定义的通用资源构

造，以及GB／T17645其他部分和GB／T16656的其他通用资源构造聚集成适用于表达供应商库的单

一模式。在库数据供应商和库终端用户之间，IJIM25使得7类字典或库可以交换，并使得无库结构的

库实例集可交换。

a)符合一致性类1的字典。这个字典由一些项目类的数据分层文件所定义。这些项目可以是零

件、材料或其他项目。该项目的类具有结构化聚合特性，这种特性只使用IsO／IEc公共字典

模式所定义的EXPRESS资源构造或只用于GB／T17645的本部分所定义的ISO

13584一

IEC

61360一dictionary_aggregate—extension—schema。

b)符合一致性类2的字典。这个字典是由一些项目类的数据分层文件所定义。这些项目可以是

零件、材料、特征或其他项目。这些项目的类使用了GB／T

字典模式的扩展，但是它不具备项目表达和项目表达类别的描述，也不具备结构化聚合特性。

c)符合一致性类3的字典。这个字典是由一些项目类、项目表达和项目表达类别三方面的数据

分层文件结构所定义。这些项目的类具备结构化聚合特性。

d)符合一致性类4的字典。这个字典与一致性类3的范围相同，但其结构化聚合特性不多于两

层嵌套。

e)符合一致性类5的库。这个库是由一些项目类的数据分层文件的实例集所定义，但其不具备

项目表达和项目表达类别的类，也不具备结构化聚合特性。

f)符合一致性类6的库。这个库是由一些项目类和项目表达的数据分层文件结构的实例集所定

义，其具备结构化聚合特性。

g)符合一致性类7的库。这个库与一致性类6的范围相同，但其结构化聚合特性不多于两层

嵌套。

h)符台一致性类10的项目集。这个项目集包括项目实例集和项目表达实例集，但其不具备字典

定义和库结构。

i)符合一致性类11的项目集。这个项目集包括项目实例集和项目表达实例集。其不具备库结

构，但可能具有字典定义。

上述每种交换相关环境均符合一种LIIM25的一致性类。每种一致性类为声明符合该一致性类的

实现规定了一致性要求。一致性类6和7支持所有LIIM25的实体、类型和相关构造。其他一致性类

仅仅支持该资源构造集的子集。在本部分中，通过实体列表的形式对每个定义一致性类的子集进行定

6

1

GB／T13584-25：2003

7645．25--2008／IS0

义。声明一致于任何一致性类的实现应该支持列表的一致性类和相关构造的所有实体。

4．2．1一致性类1：最小字典

一致性类1支持项目类的数据分层文件进行交换所定义的信息要求。所交换的项目可以是零件类

或材料类。它允许来自ISO／IEC字典模式的所有字典的交换，甚至多数具备结构化聚合特性的项目类

的交换。一致性类1与库交付文件的实现方法有关联。LIIM25一致性类1的一致性要求在8．2．1中

进行定义。

4．2．2一致性类2：项目类字典

一致性类2支持项目类的数据分层文件进行交换所定义的信息要求。所交换的项目可以是零件

类、材料类或特征类，但不具备结构化聚合特性。一致性类2与定义库外部文件格式的标准数据集有

关，也与交付文件的实现方法有关联。其库外部文件可以通过符合LIIM25一致性类2的一个库交付

文件引用，并与库交付文件的实现方法相关联。LIIM25一致性类2的一致性要求在8．2．2中进行

定义。

4．2．3一致性类3：完整字典

一致性类3支持项目类的数据分层文件进行交换定义的信息要求。所交换的项目可以是零件类、

材料类或特征类，同时也包括以上三种项目类的表达式的定义和它们的表达类别的定义。所有这些项

目类的特性都可具有结构化聚合值。一致性类3与定义库外部文件格式的标准数据集有关联。其库外

部文件可以通过符合LIIM25一致性类3的一个库交付文件引用，并与库交付文件的实现方法相关联。

符合LIIM25的一致性类3的一致性要求在8．2．3中进行定义。

4．2．4一致性类4：带限定嵌套聚合值的完整字典

一致性类4限制性支持符合一致性类3的信息需求。含在一致性类4中的聚合值的嵌套不应多于

两层。LIIM25一致性类4的一致性要求在8．2．4中进行定义。

4．2．5一致性类5：项目类库

一致性类5支持交换项目类的数据分层文件定义和实例的信息要求。所交换的项目可以是零件

类、材料类或特征类，同时也包括以上三种项目类的表达式的定义和他们的表达类别的定义。其特性不

可具有结构化聚合值。如果没有任何限制或表示，类扩展只可通过实例集定义。一致性类5与定义库

外部文件格式的标准数据集有关联。其库外部文件可以通过符合LIIM25一致性类5的一个库交付文

件引用，并与库交付文件的实现方法相关联。符合LIIM25的一致性类5的一致性要求在8．2．5中进

行定义。

4．2．6一致性类6：完整库

一致性类6支持交换项目类的数据分层文件定义和实例的信息要求。所交换的项目可以是零件

类、材料类或特征类，同时也包括以上三种项目类的表达式的定义和实例，以及这些项目类的表达类别

的定义。所有这些项目类的特性都可具有结构化聚合值。如果没有任何限制或表示，类扩展只可通过

实例集定义。一致性类6与定义库外部文件格式的标准数据集有关联。其库外部文件可以通过符合

性类6的一致性要求在8．2．6中进行定义。

4．2．7一致性类7：带限定嵌套聚合值的完整库

一致性类7限制性支持符合一致性类7的信息需求。含在一致性类7中的聚合值的嵌套不应多于

两层。L]IM25一致性类7的一致性要求在8．2．7中进行定义。

4．2．8一致性类10：库实例

一致性类10支持一个或几个项目实例进行交换的信息要求。所交换的项目可以是零件类、材料类

或特征类，或项目表达式，但没有字典定义。这种一致性类规定为用户在库中交付所选的实例集提供资

源，并可能带有项目表达式。一致性类10与定义库外部文件格式的标准数据集有关联。其库外部文件

可以通过符合LIIM25一致性类10的～个库交付文件引用，并与库交付文件的实现方法相关联。符合

7

11

GB／T7645．25--2008／ISO3584-25：2003

LIIM25的一致性类10的一致性要求在8．2．8中进行定义。

4．2．9一致性类11：带相关字典定义的库实例

一致性类11支持一个或几个项目实例进行交换的信息要求。所交换的项目可以是零件类、材料类

或特征类，同时也包括以上三种项目类的表达式的实例，其不具备库结构，但可能具有字典定义。当用

户没有库中所使用的字典时，本一致性类用来提供资源以便交付用户在库中所选择的实例集，也可能是

带有项目表达的实例集。它也可用来对库进行适时修正。一致性类11与定义库外部文件格式的标准

数据集有关联。其库外部文件可以通过符合LIIM25一致性类11的一个库交付文件引用，并与库交付

文件的实现方法相关。符合LIIM25的一致性类11的一致性要求在8．2．9中进行定义。

5基本概念和假设

以下概念和假设适用于本部分。

5．1特性的结构化聚合值

ISO

13584一IEC

schema模式定义了表达聚合数据类型的通用资源构造，并定义了表达聚合值的通用资源构造。聚合数

据类型包括EXPRESS语言(GB／T

16656．11)所定义的聚合数据类型。这些资源允许对库中所描述的

任何类实例的特性分配聚合类型与值。

5．2类扩展的显式描述

本部分所定义的库集成信息模型用于建立供应商库模型并用于供应商库之间的交换，库中特性包

含结构化的聚合值，而且显式地把可能的类扩展描述为实例集。为把库显式地表达成与特性值相关的

实例集，规定了本库集成信息模型。

6ISO161360_dictionary__aggregate_extension_schema

3584一IEC

本章定义了ISO

13584一IEC

PRESS描述介绍了ISO

13584一IEC

部引用。

EXPRESS描述：

*、

SCHEMAISO

13584一IEC

REFERENCEFROM

ISO13584——IEC

61360．．dictionary——schema(

data—type，

entity_instance—type)；

(*

注：上述所引用的模式见GB／T17564．2--2005的ISO17645．42～

13584一IEC61360一dictionary—schema(即GB／T

2001的附录D)。

6．1ISO61360

13584一IECdictionary_aggregate_extension_schema的介绍

ISO

13584一IEC

式的信息模型，其允许使用简单或复杂数据类型的列表、集、包、数组和子集。

这种扩展通过两个步骤达到：

u

型)的方式。entity

175642

注：entity—instancetype实体由GB／T2005定义，并在GB／T17645．42--2001中复制。

8

GB／T113584—25：2003

7645．25--2008／ISO

b)然后，通过aggregate—type)实体和它的特定化对规定聚合数据类型的实体进行建模。

ISO

6．213584_IEC

下列实体类型定义描述了编码聚合类型需要的必要资源。

6．2．1entity_instance_type_for_aggregate

值的列表、集、包或数组。通过引用本模式定义的aggregate_type定义它。

EXPRESS描述：

*)

ENTITY

entity_instance_type—for_aggregate

SUBTYPE

OF(entity_instance_type)；

type_structure：aggregate_type；

WHERE

name一

WRl：SELF＼entity_instance_type．type

[‘ISO

13584一IEC

+‘．AGGREGATE

TYPE’]；

EN【)-ENTITY；

(*

属性定义：

形式限制：

WRl：entity_instance—type属性type_name应该包括字符串“ISO

13584一IEC

6．2．2Aggregate_type

Aggregate—type实体规定了可以表示为简单或复杂值的列表、集合、包、排列的定义。

EXPRESS描述：

-)6)

ENTITY

aggregate—type

ABSTRACTSUPERTYPEoF(ONEOF(

1ist—type，

set_type，

bag—type，

array—type，set—with—subset—constraint_type))；

INTEGER；

bound一1：OPTIONAL

bound2：OPTIoNAI。INTEGER；

value—type：data_type；

WHERE

WRl：bound_l<一bound一2；

END—ENTITY；

(-)6

属性定义：

value—type：是简单或复杂值的类型，它用于每个聚合元素。

bound一1：可选整数，描述已定义聚合类型的下限。

bound

2：可选整数，描述已定义聚合类型的上限。

9

13584-25：2003

GB／T17645．25--2008／ISO

形式限制：

WRl：bound_1不能大于bound_2。

6．2．3list_type

list—type实体规定了一种数据类型的定义，这种数据类型可以表示为值的有序列表，且允许值重复

或不允许重复。

EXPRESS描述：

*)

ENTITY

list—type

SUBTYPE

OF(aggregate_type)：

uniqueness：BOOLEAN；

WHERE

NOT(EXISTS(bound_2))；

WRl：EXISTS(bound一1)0R

WR2：NOT(EXISTS(bound一1))oR(bound一1>一0)；

END-ENTITY；

(K-

属性定义：

Uniqueness：指明列表的所有元素是唯一的(真)或重复的(假)的标记。

形式限制：

属性也存在。

WR2：如果已定义列表的下限bound_1选择属性存在，则它大于或等于零。

6．2．4

set_type

set—type实体规定了一种数据类型的定义，这种数据类型可以表示为值的无序集合，且不允许

值重复。

EXPRESS描述：

*)

ENTITY

set—type

SUBTYPE

OF(aggregate_type)；

WHERE