GBT17645.24(6)-2003工业自动化系统与集成零件库第24部分逻辑资源：供应商库的逻辑模型(6).pdf 50页

'免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002例4;假定在一个工程库中，在它的item-class-extension类中，由diameter（直径），thickness（厚度），及material（材料）确定了一个导管。这些确定特性与可能的相关环境参数一起构成了类选择特性。假定从这些特性中可以导出其mass（质量）和supported-pressure（可承受的压力）。这些特性都是派生特性。假设库数据供应商或库用户在对库的适应期间，要使用户或是基于required-pressure(需求压力）（该导管支持这个建议给用户选择的压力）或是基于所谓的spec（当spec是通过只选取直径而全部地定义该导管来定义的）。在这些假设下，该导管的类扩展就会被建成以下模型：—属于selectableproperties的两个相关环境参数会被定义为：required-pressure和spec，每个参数都与定义许可值集合的domainrestriction有关。—三个零件属性会被定义为selectable-properties，与domain＿restrictions（例如，table＿defined＿domain（表定义域））有关，名称为diameter,thickness和material.—两个零件特性会被定义为derived-properties，与functional_domain_restriction（例如，table-defined-value（表定义值））有关，命名为mass和可承受的pressure.—两个筛选程序会被定义，其一是以从Spec和diameter导出thickness和material的functional_domain_restric-tion的格式来表示，另一个是以domain＿restriction的格式来表示，该domain-restriction为所需求的supported-pressure的不同间隔定义了三个参数（diameter,thickness,material)，这些参数支持这个压力（例如，table-de-fined-domain)。注4：用户可能以三种方式来选取导管：－—无论次序，以diameter,thickness和material来选取，或－一无论次序，以spec和diameter来选取，或－－一首先选取所需要的supported-pressure，而后在一个筛选域中选取diameter,material和thickness.12.2.8用类扩展的显式描述的装配件建模项目的一个特性的数据类型是由代表成分的item＿class（项目类）定义的，item-class代表以下任意一种is-part-of（是⋯⋯的部分）关系：如果item-class是component-class，代表聚集零件／整个关系；如果item＿class是material-class，成分关系指定制造物体的材料。这样，相似装配项可以由带有类的一些或全部属性的item＿class定义特性的数据类型。装配项类扩展的显式描述组成描述装配项所有允许配置的集合，该描述是一组装配项实例，即i_tem-class的一些或全部特性的实例值。例1：所有允许的螺栓和螺母的装配件集合，每个螺栓属于带两个标识特征直径和长度的C_bolt(螺栓部件）类，螺母属于带一个标识特征直径的C_nut(螺母部件），直径可在C_bold_and_nut(螺栓螺母部件类）建立。C_bold_and_nut可规定两个特性：the＿bolt(螺栓）和the-nut(螺母）。the-bolt的数据类型是C_bolt类；the_nut的数据类型是Qnut类。C_bold-and-nut类扩展的显式描述将包括一组实例，每个实例具有两个特性：the-bolt和the-nut，每个特性值是项目类实例。注1：值是表示为dic_item_instance,lib_item_instance或其任何子类item-class实例。注2:dic_item-instance,lib-item-instance或其子类定义在本部分第六条的ISO13584＿instance-resource-schema中。当表示为装配项类扩展时，为了避免枚举所有允许装配配置实例数目，本部分规定如下约定：当item-class实例组成装配项类实例的属性值是一个dic＿item＿instance（字典项实例），并且仅有一些可应用特性与这个值关联，这意味着当这个dic＿item＿instance被其引用的类的任何实例或其子类的任何实例或以前类的任何case-of类的实例（后面的实例还包括前面实例规定的属性值集合）代替，装配配置保持允许。例2：在例1中描述的C＿bolt＿and＿nut类，如果存在螺栓10个可能的长度和5个可能的直径，每个长度与任何直径对应，并且仅存在每个螺母一个直径，玫举的所有可能的装配配置将等于50个装配项实例（仅一个螺母与每个螺栓配对）。以上的约定仅允许表示5个装配项实例。借助dic＿item＿instance，每个实例将引用不带长度值的C-bolt类实例，借助lib-item-instance（库项实例），完全定义的Qnut类实例带有的直径值等于螺栓实例的直径值。当根据这个规格选择一个装配件时，库用户将需要根据一些含义选择而不仅是装配项实例，但还有装配项的thebolt特性的长度特性值。例3：在例2中描述的C＿boldand＿nut中，如果C_nut类不再实例，但C_nut是C_hexagonal_nut（六角螺母部件）和C_square_nut（方螺母部件）的超类，C_hexagonal_nut和C_square_nut都有5个实例，装配件的所有允许配置将表示为5免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002个装配项实例。借助dic_iteminstance，每个实例将引用不带长度特性值的C-bolt类，并且引用带直径值C_nut类，该直径值等于螺栓实例直径值。当根据这个规格选择一个装配件，库用户将需要根据一些含义选择而不仅是装配项实例，但还有螺母在Qnut中的准确子类和thebolt的长度特性值。12.2.9用类扩展的隐式描述的装配件建模一个装配项类扩展的隐式描述由借助特性间约束描述装配项的所有允许配置的集合组成，在集合中item-class的实例是值。—每个selectable＿properties（可选择特性）的数据类型是由与domain-restriction关联的item-class定义的，domain-restriction规定item_clas、的域是类或是零件类。注1：使用本部分第10条中定义的资源构造，这个域即可以是定义特性数据类型的类又可以是子类。例1：在上一节的例1C_bolt-and-nutclass(螺栓螺母部件类）中，the＿bolt(螺栓）特性定义为标识特征。它与规定该特性属于thebolt类的域约束关联。—每个derived-properties（派生特性）的数据类型是由与functional_domain_restriction（功能域约束）关联的itemclass定义的，functional_domain_restrtction可以由几个selectable-proper-tie的值直接或间接地计算由值构成的itemclass实例。例2：在上一节的例1C_boltand_nutclass(螺栓螺母部件类）中，the-nut(螺母）特性可以定义为派生特性。当装配件项类的the-bolt属性有直径X时，the-nut与组成class-instance＿constructor（类实例构造）的functional＿domain＿re-striction(功能域约束）关联能够生成带直径X的C_nut(螺母部件）类实例。注使用这种描述，库用户将首先选择螺栓，与螺栓相配的螺母将由系统计算出来。注2:class-instance-constructor定义在本部分地10节。—对允许实例集合的进一步约束可以由附加几个domain-restriction完成。domain＿restriction在implicit-model-class-extension(隐含模型类扩展）的几个filter（过滤）中进行了规定。例3：在上一节的例1C_boltand_nutclass(螺栓螺母部件类）中，thebolt和the_nut特性都定义为标识特征，它们的域都是整个类。既然这样过滤将被给定附加约束，the＿bolt特性的diameter将等于thenut特性的直径。这种描述将允许用户首先选择螺栓和螺母，系统计算出装配件中的第二个部件。12.2.10在类扩展的一个隐含描述中满足类定义的实例在类扩展的隐含描述中，类的允许实例集合是如下的所有实例：—与一个数据类型值关联的每个特性，并且—由域定义的所有约束，导出函数和过滤定义返回真。这个扩展是隐含定义的，扩展可能是无限的。当所有数据类型是分离的并有限的，它可由显式计算得到。这样，在类扩展的隐含描述中，像一些纸制目录，一个类允许实例集合是由一组约束隐含定义的。约束具有双重作用：一一首先，通过用户选择程序，它们允许LMS帮助用户选择正确的实例。例如，I.MS可以生成一个表由用户查找。这个连接构成了供应商定义的选择指南，—第二，后置程序，它们允许LMS检查选择的实例属于哪个类扩展。在纸制文档中，许多方法用于表达这些约束以便允许帮助用户选择在族中的项目并保证最终完成正确的选择。如下小节叙述库数据供应商如何规定类的内容，在库最终用户选择过程中符合ISO13584的LMS提供处理的这种描述的最小的服务。12.2.10.1标识特征的域定义一个标识特征域具有四种含义：a）独立的域约束：它们允许域，声明哪些selectable-properties必须被选择。独立域约束可以是一个范围，整个类型域或一个表。独立域约束将由几个domain＿restriction域限定）表示，do-main-restriction包括一个唯一的guarded-simple＿domain（守护简单域），它的guard是oth-免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002注1：当显示一些便于用户选择标识特征的的导出特性，这些标识特征的域可以由库数据供应商定义为table-de-fine走domain(表定义的域），表的关键字包括标识特征，表的列是其导出特性的值。当用户选择相应的标识特征时，这些列呈现给用户。b)条件域约束：当一些selectabIe_properties（可选择特性）必须属于的域，不能很容易地定义除非其他selectable-properties已经被选择，这种限定形式陈述如下：1)先于选择的特性是必须的；2)根据这些，被选择的特性必须选择各种值域。条件域约束将由IL个domain-restriction表示，domain-restriction包括由几个boolean_expression守护的几个guarde走simple-domain。每个guarded-simple-domain定义必须被选择的特性的一个域。注2：使用条件域约束强化了用户选择过程的次序。注3：先于选择的特性是必要的，它包括其他标识特征，相关环境参数导出特性，这些标识特征和相关环境参数导出导出特性的值。c）退化域约束：当标识特征必须属于整个域时，是否它独立域约束或条件域约束，退化成单独的。例如，仅包括一个元素的集合，给相应的标识特征赋给这个值将不需要用户的参与。当系统知道了这个域，这个值将由系统计算出来。退化域约束建立为functional＿domain＿restriction的domain-restriction,d)排它约束（域＋过滤器）：以范围或表的形式对一些域的声明有时是不可能的，除非过多的尺寸在选择表中可以得到。排它域允许以几个boolean_expression的形式声明，selectableproperties的一些子集值必须依附附加约束，以便使这些值合法，尽管它们已经属于各自的域。注4：排它约束的使用完成无序的用户选择程序。排它约束仅考虑最后的selectable＿properties涉及已经选择的域的情况。注5：排它约束定义了几个特性间的数学关系。如果这种关系投影到每个有关的特性小于这个特性定义的域，当其他特性牵涉到被选择关系时，由用户从域中选择的这个特性值将被认为是非法。因此建议投影到每个特性的关系应该等于由域定义定义的特性的域数目。还建议对于关系中的每个特性，投影到交叉产品在关系中涉及的所有其他特性包括这些其他特性值的任何T元组，也可以通过独立域或条件域约束选择。注6：排它约束主要是由本部分引人的，它能使库数据供应商部件选择知识。正如下一节叙述的，相关环境参数提供了建模设计问题。排它约束提供了建造部件选择规则。12.2.10.2通过相关环境参数进行零件选择相关环境参数能够描述零件将实现的需求。例：轴承的dynamic-load（动态载荷）和：equired_life_time（必须的生命时间），气泵的required_working_temperature（必须的工作温度）和管道的描述是特性的例子，它能描述零件必须实现的规范。在相关环境参数与标识特征间要定义两种关系：—域定义依赖相关环境。当用户选择总是通过定义零件必须的相关环境参数开始时，一些标识特征的域定义可以定义为条件域约束，它的assumes（假设）属性包括这个相关环境参数。注1：按这种方法，相应的标识特征在没有首先定义这些相关环境参数时不能直接选择。—基于需求的过滤。按这种方法，每个相关环境参数可用于描述过滤器中表示的需求。当一组相关环境参数和标识特征的可能子集，能完全规定请求的零件时，与functional＿domain＿re-striction关联的过滤器自动生成缺少的标识特征，然后是零件本身。注2：基于需求的过滤器能够描述不同用户的访问方法。如下条规定由符合GB/T17645库管理系统提供给用户选择的最小支持。12.2.11当使用类扩展的隐含描述时用户选择过程的强制支持本条规定当选择类库中的一个实例时将由LMS向最终用户提供服务，类库的扩展是隐含定义。根据类数据供应商定义的类扩展描述，它定义什么信息将呈现给用户。这样，本条在库数据供应商间定义一个抽象协议。它定义类库，并且当使用的类扩展的隐含描述时，LMS开发者的软件系统处理类库。免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002注：当使用类扩展的型式描述时，每个实例的显式描述是相当简单的，并且用于显示实例集合的处理不在本部分中规定。12.2.11.1设计类扩展表示类扩展包括如下方面：a）选择一个用户选择的特性，即表示为selectable-properties；对于item-class这意味着：1)选择表示标识特征的项目特征；2）决定哪个相关环境参数可作为selectable-properties.b)选择其他字典定义的特性，这些特性是类扩展中的derived-properties，对于item＿class这意味着：1)决定可作为导出特征的其他项目特征；2）决定哪个相关环境参数可作为derived-properties;3)决定给出了哪个相关环境依赖的特征。c)当其他类的相关实例存在时，这些类才能被实例化：1）在相关实例中决定哪些特性能称为required-properties.例：功能模型类的一个实例给出了螺钉类的basic-geometry（基本几何）表示，该实例仅在螺钉长度和直径值给出时才存在。d）定义相关约束，例如：1)为每个选择特性定义一个单独的域定义；2)为每个导出特性定义一个单独的导出函数；如可能增加一些过滤器。12.2.11.2建立一个类扩展用户对一些类选择程序的强制支持是基于相关图和该类的约束集合。类的相关图G是按以下方式建立：a)假设X是节点集，XxX是边集。b）图的节点是类定义的或继承的selectable-properties,required-properties和derived-proper-ties.c）图的边依赖于两个特性之间的关系，一个特性出现在defines属性中，另一个特性出现在相同域定义的或该类定义或继承的派生函数的assumes中。形式上，从i到j，对于每一个pair(i,j)EXxX,G中都存在一条边，仅且仅当：1）存在self_property_semantics，它通过其本身的the-property属性引用j，并属于域定义的或派生函数的assumes集，派生函数通过类定义或继承得到，和2）存在self-property-semantics，它通过其本身的the-property属性引用I，并属于相同域定义的或派生函数的defines集，派生函数通过类定义或继承得到。注：在相关图中没有表达筛选器。从约束每个model-class-extension的acyclic＿class_extension_definition（非循环类扩展定义）函数起遍历G图，结果是已建的G图是有向非循环图。约束集S是类定义的或继承的所有domainrestriction集，不管它们是否属于域定义、派生函数或筛选器定义。12.2.11.3对用户对话框的要求在用户选择过程中的任何时候：假设X,CX是已被赋值的属性集，并假设X2CX是没有赋值的属性集。我们有X=X,UXZ，且X,nX2＝0。假设S,是S的子集，S的所有defines和assumes属性已经被赋值，因此保证了约束有效，并且SZ是没有发现的约束。我们有S＝S,USz，且S,nSa=0o免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002下列运算法则定义了用户选择过程的最低强制性支持：a）计算G和So赋值：X,=0,X2＝X,S,=O,S2＝Sob）给所有可能required-properties的赋值，并更新X，和X,oc）用回归方法计算X2集中的，并属于S2的functional＿domain＿restriction的defines集、且其所有assumes集在X，中的所有属性。如果同一属性被赋予两个不同的值，在无效约束的con-straint-description中显示有两个值且有信息的属性，并产生一个错误，类扩展将为空。另外，把所有已计算的属性从X：移到X,，并把所有使用的从S：移到S1.d）如果S：中存在某些domain-restriction，对于这些来说，属于assumes集或defines集的所有属性都包括在X,中，则检查相应的约束。如果所有这些约束有效，则把它们从S2移到S,。另外，在无效约束的constraint-description中显示信息，并产生一个错误，类扩展将为空。e)开始循环直到用户定义的选择过程结束：1)保存实例的当前状态。2）建议在最小时选择X：中的所有selectable-properties，并且其相应域定义的assumes集的所有属性属于X,o注1：最小的撤销能力包含返回到步骤d)终点。3)当用户选择好一个属性时，他／她希望给属性赋值：i)建立所有属性的集，这些属性包含在该属性的域定义d的defines属性中；ii）建立S：中包含的所有筛选的集f,SUX：中包含了S：的defines属性和assumes属性的所有特性；iii）如果域定义d是table-defined-domaint，假设f"Cf是筛选器集，那么：—assumes属性是X，的子集，和—simple-domain是table-defined-domain.对应f‘的一个筛选器的每个表ti:—从t，选择行，行中的所有assumes属性在当前实例中有值；—把这个表映射到S;—通过自然结合以前的表和T来定义新表T;—如果T是空的，显示相应的t：的筛选器的constraint-description中包含的信息，并返回到e)2)，另外，—从F中去掉对应t，的筛选器；iv）如果S中存在一些已经赋值的属性s，并且域定义是table-defined-domain，那么通过在t中进行选择定义新表t（或者根据第e).3).iii）步修改行，这些行中对应s‘的所有列等于它们已赋的值），如果表为空，显示s，中的属性当前值，并返回到e).2)，另外从S中删除s，的所有属性；v）显示F中筛选器的constraint-description属性中包含的所有信息（或者根据第e.3.iii步修改）；vi）显示（如果存在）S中所有已赋值的属性；vii)通过用某些方法显示其域定义中的值集，获得用户赋给S中所有属性的值，唯一的强制性要求是为table-defined-domain显示其表t，或者根据第e).3).sii）和e).3).iv）步修改，并可能用从类约束定义确定的某些其它列；注2：当不满足F中约束条件的，或S的域定义不允许的值是由于S中已赋值的属性，除了用在e).3).iii）和e).3).iv）步为table-defined-domains指定的方法外（例如，用属性筛选表），用某些方法也不能进行选择，那么在e)3).v）和e).3).vi）步不会有显示。例：当f中的过滤器是predicate-defined-domain并且域定义是的table＿defined＿domain，带一个表T，删除将和f冲突的T所有行的运算法则将删除T所有行，T所有行赋给FALSE值。viii)给S中的属性赋用户输人的值（或t-uple案例中的值）；免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002ix）在当前实例和第e).I)步记录的实例中，检查S中的某些属性是否有两个不同的值。如果是真，那么显示具有双值定义的属性及这两个值，并返回到e).2)。另外，x)检查对应F中筛选器的约束条件是否被满足。如果不满足，突出显示无效约束的。onstraintdescription中包含的信息，并返回到e).2)，另外把F中的所有筛选从S：移到S,，并把S门X,中的所有属性从X：移到X,;xi）用递归法计算所有的属性，这些属性属于X,集并属于S：的functional_domain_restriction的defines集，这些属性的所有assumes集属于X,。如果两个不同的值赋给同一个属性，显示具有两个值的属性及无效约束的constraint＿description中的信息，并产生一个错误，类扩展是不兼容的。另外把所有计算出的属性从X,移到X,，并把所有用过的functional-domain-restric-tions从S。移到Si.xii）如果S：中存在一些domain-restriction，其属于assumes集或defines集的所有属性都包含在X，中，检查相应的约束。如果这些约束都有效，把它们从S：移到S,。另外显示无效约束的constraint-description中的信息，并产生一个错误，类扩展是不兼容的。xiii）结束循环（返回到e))o注3：当产生错误时，LMS的行为与实现有关。12.3ISO13584＿库内容模式常且定义本条中介绍了在ISO13584＿库内容模式中的常量定义。12.3.1分类值classification＿value是整型值，用来规定：在一个接收系统中，具体的特性由具体方式接收。值从。到9保留以被以后的注册用。所有其他的值都可以根据发送方和接受方的协议使用。注：ISO13584的本部分没有规定每一个。lassification＿value在接收系统中如何解释。例：在制造厂方向销售商的一个目录中，一些特性可能是仅仅是为销售商提供的而不是提供给用户的。通过制造厂方和销售商单独的协议，这些特性可以通过将classificationvalue赋-1值进行关联。EXPRESS描述：关）TYPEclassificationvalue二INTEGEREND_TYPE；-classification-value（关12.4ISO13584＿库内容模式：库总体的体系结构Library（库）是一个规定了零件库总体的体系结构的实体。Library是dictionary的一个子类型，应该当ISO13584一致性交换相关环境包含（为了一些类的关系）它们的类扩展时用到。除了其继承属性，library包含linked-interfaces（链接的接口）的集合，这些集合是从属于library的类内容中引用的。在一个library中，在类扩展中的所有的视图交换协议应该属于supported_vep（支持的＿vep）的继承属性，并且所有的在类扩展中引用的program-reference（程序引用）,representation_reference（表达引用）和dialogue-resource（对话资源）应该引用属于继承的base-protocols（基础协议）集合或属于linked＿interfaces的集合。在library实体中，由可继承的base-protocols属性或linked-interfaces属性引用的external-file-protocols.可以是任何协议。在库数据供应商和最终用户之间（它们同意专有的协议或界面），这两个实体可以为交换使用。11brary-in-standard-format（标准格式库）,library的子类只承认那些在可引用的库集成信息模型和可引用的视图交换协议中定义的协议。例：库数据供应商和最终用户可同意使用表达交换零件库构件的CAD系统的自然格式。这样的library不能作为library_in_standard_format被交换。免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002EXPRESS描述：关）ENTITYlibrarySUPERTYPEOF(library_in_standard_format)SUBTYPEOF(dictionary)；linked＿interfaces：SET[0：?]OFexternal-file_protoco1;WHEREWRl：QUERY(class＜‘SELFdictionary.contained-classesreferenced-veps-exist_in_supported_veps(SELF,class)）＝［］；WR2：QUERY(class＜＊SELF.contained-classes｝reference走protocols-exist-in-supported-protocols(SELF,class)）＝［二；WR3：QUERY(int＜*SELF.linked一interfacesINOT(（"ISO13584＿EXTERNALFILE＿SCHEMA"＋‘．LINKEDINTERFACE＿PROGRAM＿PROTOCOL")INTYPEOF(int)））＝〔〕；EN几ENTITY；一library（＊属性定义：linke走interfaces:library中引用的external-file-protocols集合。形式限制：WR1：在类扩展中引用的所有视图交换协议应属于supporte走vep集合。WR2：在类扩展中引用的所有program-references和data-references应引用或是属于base-protocols集合或是属于linked＿interfaces集合的协议口WR3:linked＿interfaces应是linked-interface-program-protocols,12.5标准格式库library-in-standard-format（标准格式库）实体是一个library，它只在其base-protocols继承属性和其linked＿interfaces属性中引用那些协议，引用这些协议是经库集成信息模型和视图交换协议的相应类允许的。支持这些集成信息模型相应类和视图交换协议相应类的库的用户系统必须能够编辑这样的库。EXPRESS描述：＊）ENTITYlibrary-in-standard-formatSUBTYPEOF(library，dictionary-in-standard-format)；WHEREWRI：QUERY(int＜＊SELFIibrary.linked-interfaces｝SIZEOF(QUERY(vep＜‘SELFdictionary.supported_vep｛intexternal-file-protocol.base-protocolINvepdata-exchange_specification_identification．external_file_protocols)）二0）一仁］；END-ENTITY；一library_in_standard_format（二免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002形式限制：WRl：在linked＿interfaces属性中被引用的base-protocolsexternal-file＿protocols应被视图交换协议允许，该协议被supported_vep属性引用。12.6类的扩展12.6.1类扩展class＿extension(类扩展）是一个集合的描述，该集合是符合类定义的规定的可能不同的所有实例集合。对一个没有子类的类来说，class＿extension可存在。注：符合由类（该类为一些子类的超类）定义的规定的可能不同的所有实例集合是符合由子类定义的规定的可能不同的所有实例的合并。EXPRESS描述：二）ENTITYclass＿extensionABSTRACTSUPERTYPEOF(ONEOF(model_class_extension)）SUBTYPEOF(content_item)；SELFcontent_rtem.dictionary-definition：class-BSU；END-ENTITY；-class-extension（二属性定义：SELFcontent_item.dictionary_definition(SELF＼内容项．字典定义）：标识类扩展的class_BSU（类BSU)。12.6.2可选或强制的特性BSU考虑到用户选择会话，Opt_or_mand_property_BSU（可选或强制的特性BSU）实体规定了特性的状态。Optor_mand_property_BSU规定如下：特性是否可选；不管怎样，此特性值库是供应商欲显示给库最终用户的。注1;opt_or_mand_property_BSU实体仅仅在类扩展的内部描述中使用。在类扩展的显式描述中，不需要提供不可显示的特性，并且选择性是显式的。EXPRESS描述：二）ENTITYoptor_mand_property_BSU;property：property_BSU；is-optional：BOOLEAN；displayable：BOOLEAN；END-ENTITY；-opt-or-mand-property-BSU（＊属性定义：property（特性）：被引用的特性。is-optional（是选择的）：如果是真，被引用的属性可不被赋值，甚至于一个完全定义的实例（空值）。注2：这样的值对应NULI值。Displayable：如果是真，在最终用户访问期间属性名称和属性值应被显示。12.6.3特性分类property＿classification（特性分类）是一个classification-value，在接收系统中，和一个具体的特性相关联来表征这个特性值的具体过程。免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002注1：不和分类值相关联的特性就不和任何的具体过程相关联。注2:ISO13584的本部分没有规定每个classification_value在接收系统中如何解释。一些classification_value值作为保留值留待以后的注册用。所有的其他值都可以通过发送方和接收方的单独的协议来使用，例如控制值引用特性的分布。例：在制造厂方向销售商的一个目录中，一些特性可能是仅仅是为销售商提供的而不是提供给用户的。通过制造厂方和销售商单独的协议，这些特性可以通过将classificationvalue赋-1值进行关联。EXPRESS描述：＊）ENTITYproperty_classtfication；its-value：classification-value;prop_def:property_BSU；EN几ENTITY；一property_cIassification（，属性定义：its-value（它的值）：与特性相关联的classification-value.prop_def:描述被its一value引用的实例特性的特性。12.6.4推荐表达的特性值property-value-recommended-presentation（推荐表达的特性值）实体捕捉来自库数据供应商关于怎样表达用户显示的一些特性值的建议。它包含一个单位，这个单位应该和在对应的特性字典中定义的单位相匹配，当且仅当通过recommended-presentation-unit(推荐表达单位）单位转化时它还包含表达值的值格式。这种转换能力不必被ISO13584的实现支持。如果他们不被支持，值应该按照特性字典定义规定的方式来进行表达，可能地修改按照在包含特性的表的formatted-column(格式化列）中定义的value＿format来进行。注1：在ISO13584交换相关环境中，特性值总是按照在特性字典定义中规定的单位来进行表达。注2:formatted-column是在ISO13584的本部分中的第8章的ISO13584-table_resource_schema(ISO13584表资源模式）文档中定义的。注3：在ISO13584中对于超出ISO13584交换相关环境的特性值没有规定该用什么单位。例：在一个符合ISO13584应用协议的产品模型中，一些产品特性可以引用ISO13584字典定义的特性（单位是米）。在产品数据中，一个具体产品的特性值可以通过毫米表达，如果STEP应用协议允许使用资源构造可以通过STEP资源构造measure-with-unit来表达。EXPRESS描述：关）ENTITYproperty_value_recommended_presentation；prop_def:property_BSU；recommended-presentation＿unit：unit；recommended-presentation-format:value_format_type;WHEREWRI：presentation_umt_is_correct(SELF.prop_def,SELF.recommended-presentation-unit)；ENDseENTITY；（关属性定义：prop_def（特性定义）：为了表达需要，库数据供应商推荐的转换数据的特性。recommended-presentation-unit(推荐表达单位）：为了表达需要，库数据供应商推荐的转换数据免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002的单位。recommended-presentation-format（推荐表达格式）：当且仅当prop_def特性的值被转换成rec-ommended_presentation_unit单位时，为了表达prop_def特性值，库数据供应商推荐表达格式。12.6.5模型类扩展model-class-extension（模型类扩展）实体描述了模型类扩展的一般结构，它或是作为item-class-extension来表达的general-model-class（通用模型类），或是作为functional_model_class_extension来表达的functional＿model＿class，并且类扩展可以是外部描述成一组实例，也可以通过判断一个实例是否满足一个类定义的机制的内部描述。EXPRESS描述：＊）ENTITYmodelclassextensionABSTRACTSUPERTYPEOF(ONEOF(implicit-model-class-extension,explicit-model-class-extension)）SUBTYPEOF(class_extension)；referenced-external-items:SET[0：?]OFclass_extension_external_item;used-protocols：SET[0：?]OFexternal-file-protocol；referenced_view_exchange_protocol：LIST[0：?]OFview-exchange-protocol_identification;content-version：OPTIONALversion-type;content-revision:OPTIONALrevision-type；recommended_presentation：SET[0：?]OFproperty-value_recommended_presentation;classification：SET仁0：?]OFproperty-classification;WHEREWRl：QUERY(item＜，SELF.referenced-external-items｝NOT(itemexternal-item.used-protocolINSELF.used-protocols)）＝［〕；WR2：QUERY(prop＜＊classification｝NOTapplicable-properties(SELFcontent-item.dictionary-definition,[prop.prop_def])）＝［〕；WR3：(EXISTS(SELF.content-version)ANDEXISTS(SELF.content-revision)）OR(NOTEXISTS(SELF.content-version)ANDNOTEXISTS(SELF.content-revision)）；ENDeeENTITY；一model-class-extension（二属性定义：referenced-view-exchange-protocol（已引用视图交换协议）：在类描述中引用的所有的class-ex-tension-external-items（类扩展外部项）集合，这些class-extension-external-items包括dialogue-re-source（对话资源）,representation_references（表达引用）和programreferences（程序引用）。注I;documentcontents（文档内容）不是class-extension-external-items，它们不属于referenced_external_itemsa免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002used-protocols（已使用的协议）：由referenced-external-items协议引用的external_file_protocols的集合。注2:document-contents中的引用不属于used-protocols属性。如果这些可引用的协议不是由一个实现所支持，则文档内容刚好被略过，但类仍然可以被成功地编辑（见附录O)oreferenced-view-exchange-protocol（已引用视图交换协议）：视图交换协议的集合被要求处理model-class-extension,content一version(内容版本）：表征类扩展的版本号，例如，所有允许实例的集合。注3:当content一version不存在时，事例可以属于同一类的不同版本。content一revision（内容修订版本）：对应于类扩展的content＿version版本的当前描述的修订号。注4：当contentversion不存在时，content-revision不应该存在。Classification(分类）：与分类值相关联的特性的集合。recommended-presentation(推荐表达）：当显示一些特性的值的时候需要用到的推荐的单位和值格式。注5:recommended-presentation属性捕捉库数据供应商关于怎样表达值的建议，按照他们在交换文件中字典定义进行交换，来进行用户显示。这样的转换不要求被GB/T17645实现支持。如果不被支持，值要按照在特性的字典定义进行表达，尽可能地修改按照在包含特性的表的formatted一column格式化列）中可能的valueformat来定义。注6:formatted-column是在本部分中的第8章的ISO13584-table-resource-schema(ISO13584表资源模式）文档中定义的。形式限制：WRI：在referenced-external-items（引用外部项）class-extension-external-items（类扩展外部项）中引用的所有的external_file_protocol（外部文件协议）应该属于used-protocols属性。WR2：与分类值相关联的所有的这些特性对于类应该是可应用的。WR3:content_version（内容版本）和content＿revision应该一起存在。非形式限制：IP1：仅当类扩展改变之后，content＿version应该是增量的，例如，新实例成为被允许的，或者前一个实例是不允许的。IP2：当类扩展的content-version是增量的，它的类dictionary-element（字典元素）的version也应该是增量的。注7:content-version（内容版本）属性的改变通常少于类version,content-version允许知道类版本最小的集合，类版本需要记录下来使当其实例化的时候能够区别于其他的实例。每一content＿version值仅仅需要一个类（例如最后一个类）来记录。IP3：为了描述类扩展的改变，content-revision应该是增量的，改变是更改这个类允许的实例。IN：当类扩展的content-revision递增后，content-revision应该设成‘000"012.6.6显式功能类扩展explicit-model-class-extension(显式功能类扩展）实体通过显式的表达类的每一个实例规定了类扩展，并且在一组结构中收集所有的实例。instance＿identification(实例标识）属性表征了在它的类中需要无二义地标识每一个实例的属性子集。EXPRESS描述：＊）ENTITYexplicit-model-class-extensionABSTRACTSUPERTYPEOF(ONEOF(explicit_item_class_extension,explicit_functional_model_class_extension)）SUBTYPEOF(model＿class＿extension)；免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002instance-identification:LIST[l：？三OFUNIQUEproperty_BSU；population;LIST[l：?]OFUNIQUEdic_class_instance;table-like:BOOLEAN；WHEREWR1：NOTtablelikeOR(QUERY(inst＜＊SELF.populationINOTsame-order-for_properties(population[1].properties,inst.properties)）＝［〕）；WR2：applicable＿properties(SELFcontentitem.dictionary-definition,list_to_set(SELF.instance-identification)）；WR3：all_properties-are-applicable(SELF)；WR4：same-string-values-translations-for-class-extension(SELF)；WR5：QUERY(inst＜＊SELF.population］inst.class_def：＜＞：SELFcontent_item.dictionary-definition)＝〔〕；WR6：QUERY(inst＜＊SELF.population｝NOT(QUERY(prop＜*inst.properties｝NOT(EXISTS(prop.its-value)）AND(prop.prop_defINSELF.instanceidentification)）＝〔〕））＝［〕；ENDENTITY；-explicit-model_class_extension（*属性定义：instance一identification：允许无二义地标识每一个被描述的类实例。注：在GB/T17645中，在任何时候都不允许重新使用同一个标识特征值来标识两个不同的零件，例如，两个零件的非标识特征是不同的。如果这种情况发生，一些附加的标识特征，诸如版本，应该一起来区分两个零件。Population(总集）：描述类全体的实例列表。table＿like（类似表）：规定能否通过一个表结构来描述实例的一个布尔值。形式限制：WRl：如果tablelike是TURE值，与每一实例相关的特性应该是用同一次序给定的同一个特性。WR2：所有的instance-identification（实例标识）对类来说应该是可应用的。WR3：用来定义类全集中的任何实例的所有特性对类来说应该是可应用的。WR4：用来定义类全集中的任何实例的所有特性应该是像所有被引用的property-value那样被翻译成同一种语言，property-value的值是trans]ated_string_value.WR5：用来定义类全集中的任何实例的所有特性应该与通过继承属性dictionary-definition被ex-plicit-model-class-extension引用的类引用同一类。WR6：属于instance一identification列表的特性不应与定义类全集的所有实例的空值相关联。非形式限制：IPI：在同一类的不同版本中，instance＿identification特性不应该改变。IP2：在同一类中，不管是哪个版本，instanceidentification特性的同一值应该对应于同一个零件。12.6.7显式项的类扩展explicit-item-class-extension（显式项的类扩展）显式表达功能模型类的扩展。同一结构定义功能模型类的内容，无论它是包含在任何的is-case-of关系，或是一个component-class,material-class,fea-ture-class，或任一其他item-class子类型。免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002EXPRESS描述：＊）ENTITYexplicit-item-class-extensionSUBTYPEOF(explicit_model_class_extension)；access-icon:OPTIONALA9-illustration;content_msg：OPTIONALmessage；create-icon:LIST仁0：?]OFA6-illustration;create_msg：OPTIONAL.message;class-presentation-on-paper：LIST[0：?]OFillustration；class-presentation-on-screen:LIST[0：?]OFillustration；WHEREWR1：QUERY(inst＜‘SELFexplicit_model_class_extension.population｝NOT("ISO13584-INSTANCE-RESOURCE-SCHEMA"＋‘．DIC＿ITEM＿INSTANCE"INTYPEOF(inst)））＝［」；WR2：definition-available-implies(SELFcontent_item.dictionary-definition,"ISO13584_IEC61360_DICTIONARY_SCHEMA.ITEM＿CLASS"INTYPEOF((SELFcontent-item.dictionary-definition.definition[1])））；WR3：NOT(EXISTS(SELF.access-icon)）OR(SELF.access-iconINSELFmodel_class_extension.referenced-external-items)；WR4：NOT(EXISTS(SELF.content_msg)）OR(SELF.content_msgINSELFmodel_class_extension.referenced-external-items)；WR5：list-to-set(SELF.create-icon)＜＝SELFmodel-class-extension.referenced-external-items；WR6：NOT(EXISTS(SELF.create_msg)）OR(SELF.create_msgINSELFmodel_class_extension.referenced-external-items)；WR7：list-to-set(SELF.class-presentation-on-paper)＜＝SELFmodel_class_extension.referenced-external-items;WR8：list-to-set(SELF.class-presentation-on-screen)＜＝SELFmodel_class_extension.referenced-external-items;WR9：QUERY(icon＜*SELF.class-presentation-on-paper｝(NOTEXISTS(icon.width)）OR(icon.kind-of-content＝illustration-type.not-static-picture)）二［］；WR10：QUERY(icon＜二SELF.class-presentation-on-screen｝(NOTEXISTS(icon.width)））＝仁］；ENDENTITY；-explicit-]tem_class-extension（＊属性定义：access＿icon（访问图标）：触发在菜单中类扩展的图标。content_msg（内容消息）：如果类要被实例化，描述类内容的消息。class-presentation-on-paper（纸质类表达）：当类的内容是用纸呈现给用户的时候，由库数据供应商推荐的图解的有序列集合。class-presentation-on-screen（屏幕上的类表达）：当类的内容是用屏幕呈现给用户的时候，由库数免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002据供应商推荐的图解的有序列集合。形式限制：WRl：所有的dic＿class＿instance（字典类实例）的全集应该是用dic_item_instance（字典项实例）形式定义的。WR2：如果数据有效，那么IP1成立。WR3:accessicon应该属于SELFmodel_class_extension.referenced-external-items的集合。WR4:contentmsg应该属于SELFmodel_class_extension.referenced_external_items的集合。WR5:createicon列表项应该属于SELFmodel-class-extension.referenced＿external-items的集合。WR6:createicon应该属于SELFmode址class-extension.referenced-external-items的集合。WR7:class-presentation-on-paperillustration（纸质的类表达图解）应该属于SELFmodelclass-extension.referenced-external-items的集合。WR8:class-presentation-on-screenillustration（屏幕类表达图解）应该属于SELFmodel-class-extension.referenced-external-items的集合。WR9:class-presentation-on-paperillustration应该有宽度和高度属性，而不是一种not-static-picture内容。WR10:class_presentation_on_screenillustrations应该有宽度和高度属性。非形式限制：IPI:SELFcontentitem.dictionary-definition应该定义为item-classo12.6.8显式功能模型类扩展explicit_functional_model_class_extension（显式功能模型类扩展）显式地模拟功能模型类的扩展。无论它是否涉及is-view-of（视图）关系，同一结构定义了任何功能模型类的内容。当functional-model-class-extension被定义为fm-class-view-ofdictionary＿element时，与一些项实例特性相匹配的所有的特性将从item＿class中导出，并且它们应该属于requied-item-values属性和instance＿identification继承属性。注1：当explicit_functional_model_class-extension定义为fm-class-view-ofdictionary-element，并且所有的instance＿identification（实例标识）属性属于：equired-item-values（必需的项值），在一个库用户访问期间，每一个ex-plicit_functiona七model-class-extension实例可以与和它是is-view-of（视图）关系的项实例一起来显示。这允许与它的项一起显示零件表征的项和一些它的功能特性。例：价格，定单的数量，股票的实用性是功能特性的例子。注2：当explicitfunctional_model_class_extension定义为fm-class-view-ofdictionary-element，并且所有的instance＿identification（实例标识）属性属于required-item-values，当与其存在is-view-of关系的项类扩展被定义为ex-phcititem＿class-extension是，并且当两个explicit_model_class-extension他们的table-like属性等于TURE值时，每一个功能模型类的实例可以与和它是is-view-of（视图）关系的项实例一起通过将表达两个explicitmodel-class-extension全集的两个表的结合的结合来显示。当functional＿model＿class＿extension被定义为functional-model-classdictionary-element时，如果不存在优先的is-view-of关系，require之item＿values应该是空的，并且倾向于涉及一些项实例特性的特性应该被定义为representation_P_DE"1"，他们应该属于instance＿identification继承特性。注3：只有representation-P_DET可以在功能模型类中定义。其他类型的特性只能被导人。如果被functional-model-classdictionary＿element引用的功能视图类是可实例化的，每一个功能模型实例应该包含一个，并且仅有一个特性的数据类型是representation_reference,program-reference或representation。这个具体特性，被reference走representation引用的特性，定义在功能视图类中要包含的由功能模型实例创建的representation。此外，如果这个表达由程序创建，被program-reference引用，程序的输人参数应该由在每一个实例中表达的property_BSU定义，并且程序应该不包含输出和输免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002入输出参数。如果被explicit_functional_model_class_extension的functional-model-classdictionary-element引用的功能视图类是不可实例化的，那么referenced-representation不应该存在。如果被explicit-functional_model_class-extension的functional-model-classdictionary-element引用功能视图类定义了一些视图控制变量，每一个功能模型实例应该导人所有的特性并且它应该包含每一个特性的一个值。这些导人的特性定义了由功能模型实例创建的具体的功能视图类。这些导人的特性应该属于instance＿identification继承属性。EXPRESS描述：二）ENTITYexplicit_functional_model-cIass_extensionSUBTYPEOF(explicit_model_class_extension)；measureunit：OPTIONALglobal-unit-assigned-context;required-item-values：SET[0：?]OFproperty_bsu；referenced-representation：OPTIONALproperty_bsu；available-views-icon：OPTIONALA6-ilustration;available-views_msg;OPTIONALmessage;context_param_icon：LIST[0：?]OFA6-illustration;context-param-msg：OPTIONALmessage;WHEREWR1：definition-available-implies(SELFcontent_item.dictionary-definition,"ISO13584-EXTENDED-DICTIONARY-SCHEMA"＋‘．ABSTRACT-FUNCTIONAL-MODEL-Cl-ASS"INTYPEOF(SELFcontent-item.dictionary-definition.definition[1]））；WR2：required_values_are_non_dependent_p_det(SELF)；WR3：required-values-are-imported-properties(SELF)；WR4：SELF.requied-item-values＜＝list-to-set(SELFexplicit_model_class_extension.instanceidentification)；WR5：NOT(EXISTS(SELF.avilble-views-icon)）OR(SELF.available-views-iconINSELFmodel_class_extension.referenced-external-items)；WR6：NOT(EXISTS(SELF.available_views_msg)）OR(SELF.available_views_msgINSELFmodel_class_extension.referenced-external-items)；WR7：list-to-set(SELF.context-param-icon)＜二SELFmodel-class-extension.referenced-external-items；WR8：NOT(EXISTS(SELF.context_param_msg)）OR(SELF.context_param_msgINSELFmodel_class_extension.referenced-external-items)；WR9：exists_representation_for_instanciable_view(SELF)；WR10：all-view_control_variabIes_belong_to_each_view(SELF)；WR11：QUERY(aview＜，SELFexplicitmodel_class_extension.population｝NOT("ISO13584-INSTANCE-RESOURCE-SCHEMA"＋．DIC_F_MODEL_INSTANCE"INTYPEOF(a_view)））＝［］；免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002WR12：all_vcvs_belong_toinstance_identification(SELF)；WR13：NOTEXISTS(referenced-representation)OR(QUERY(inst＜，SELF.population｝NOT(is_provided_once_property_value(inst，referenced-representation)））＝［〕）；WR14：NOTEXISTS(referenced_representation)OR(QUERY(inst＜二SELF.populationINOT(number＿of_instance_representations(inst)＝1））＝［］）；WR15：EXISTS(referenced_representation)OR(QUERY(inst＜＊SELF.population｝NOT(numberof_instance_representations(inst)＝0)）＝〔］）；WR16：NOTEXISTS(referenced_representation)OR(SIZEOF(referenced_representation.definition)＝0)ORNOT("ISO13584-EXTENDED-DICTIONARY-SCHEMA.’＋"PROGRAM-REFERENCE-TYPE"INdata_type_typeof(referenced_representation)）OR(QUERY(inst＜二SELF.population｝NOT(correct-parameters-for-explicit-program(inst，referenced-representation)））＝〔］）；END_ENTITY；-explicit-functional-model-class-extension（二属性定义：measure_unit（测量单位）:global-unit-assigned-context（全局单位赋值相关环境），它为所有的由functional_model_class生成的函数视图定义了测量单位。若不提供此可选属性，则length＿measure(长度测量）的缺省值为毫米，且对于planar-angle（平面角）测量，其缺省值为度。对于其他单位来说没有缺省值。required_item_characteristics：它是一个项特性，其值被要求能够实例一个功能模型类。这些属性应属于fm-class-view-ofdictionary-element的imported_properties_from_itemo注4：只有被要求实例化functional_model_class的项属性出现在此列表上。referenced＿representations：此表达在类描述中被引用。如果它存在，此表达属于功能模型能够创建视图的内容。available-views-icon（有效视图图标）：该图标可实现由功能模型类生成的不同视图的可见表示。available_views_msg（有效视图消息）：此message描述了由功能模型类生成的不同视图。context_param_icon(相关环境参数图标）：此图标可实现视图生成所需求的可选属性的可见表示。context_param_msg（相关环境参数消息）：此message描述了视图生成所需求的自由模型属性。形式限制：WRI：如果数据有效，那么IPI成立。注5:functional-model-class和fm_class_view_of是abstract_functional_model_class的子类。WR2：如果required-item-values非空，SELFcontent-item.dictionary-definition应该被定义为fm-clas-view-o，并且所有的requied-item-values应该定义为nondependentP_DET,WR3：如果requied-item-values非空，SELFcontent-item.dictionary-definition应该定义为fm免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002-class-view-of，并且所有的required_item_values应该属于fm-class-view-of的imported-properties-from-item属性。WR4:requied-item-values特性应该属于instanceidentification特性的集合。注6：当两个集合相等，一旦项实例被选中，功能模型类实例可以由系统自动地计算。WR5:available_views_icon应该属于SELFmodel-class-extension.referenced-external＿items的集合。WR6:available-views-icon应该属于SELFmodel-class-extension.referenced-external-items的集合。WR7:context_param_icon列表项应该属于SELFmodel-class-extensionreferenced_external-file的集合。WR8:context-param_msg应该属于SELFmodel-class-extensionreferenced＿external-file的集合。WR9：如果被explicit-functional-model-class-extension引用的功能视图类不是non＿instanciable＿view＿class，那么referenced-representation存在并且它的数据类型是representation-type9represen-tation_reference_type或program-reference-type。如果被explicit-functional-model-class-extension引用的功能视图类是non＿instanciable＿view＿class，那么referenced-representation不存在。WR10：在被explicit_functional_model_class_extension字典定义引用的功能视图类中定义所有的视图控制变量应该用来描述属于SELFmodel_class_extension.population列表的每一个dic＿class＿in-stance。WR11：全集中所有的dic＿class＿instance应该定义为dic_仁model-instanceoWR12：在被explicit_functional_model_class_extension字典定义引用的功能视图类中定义所有的视图控制变量和所有的requied-item-values应该属于SELFmodel_class_extension.instance-identi-fication列表。WR13：如果referenced＿representation存在，那么此property_BSU与每一个explicit-functional-model-class-extension实例一确切值相关联。WR14：如果referenced＿representation存在，那么恰好存在一个property_BSU，其数据类型是在每一个explicit＿functionalmodel＿class-extension实例．的properties属性中的representationtype,rep-resentation-reference_type或program-referencetypeoWR15：如果referenced＿representation不存在，那么不存在数据类型是每一个explicit-functional_model_class_extension实例的properties属性中的representation-type,representation-reference-type或program-reference-type的property_BSUoWR16：如果referenced-representation存在，那么此property_BSU在每一个explicit-functional-model-class-extension实例中和一个program-reference相关联，out-parameters和mout_parameters列表是空的，并且在in-parameters属性中所有的值是与在同一explicit-functional-model-class-exten-sion实例中的值相关联的property_BSUo非形式限制：IP1:SELFcontent-item.dictionary-definition被定义为abstract＿functional＿model＿class或它的任一子类型。12.6.9隐式模型类扩展implicit-model-class-extension<隐式模型类扩展）实体通过判定实例是否满足类定义的机制规定了类扩展。class-extension属性包含一组domain-restriction（域限制），每一个定义了一个或n个，可选择特性的域。当特性域退化成单独一个时，此domain＿restriction可以是functional＿domain＿restriction。在后免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002一种情况中，可选择的特性或多个特性的值应该不是被用户选择的。一旦对应的函数是自动计算的，它应该是自动由系统计算的。Derivation属性包含导出函数，此导出函数激活作为其他实例特性的函数的SELF实例derived-properties的计算值。导出过程由functional_domain_restriction（函数域限制）定义。执行functional＿domainrestriction由估算每一个guard构成，guard保护simple-functional_do-main，并且，如果它们的一些求值是TRUE，则执行保护求值是TRUE的那个函数。如果所有的保护求值为FALSE，则发生了错误。注：如果导出函数不依赖于其他任何特性，仅有一个guarded-simple-domain需要规定，其guard是boolean_literal,正如ISO13584-20定义的那样。Filters属性激活有关selectable＿properties约束规范，在任何允许的情况下，selectable-properties应该求值为TRUE。这些约束由。lass-extension为约束的selectable-properties激活有关定义域的更深一层的约束。这些约束过滤被约束的可选择特性的显示约束值的作用对于LMS符合ISO13584不是强制性的。每一个过滤器与。onstraint_description消息相关联；在过户选择过程之后，当系统仅仅检查过滤器时，应该显示constraint_descriptionoEXPRESS描述：关）ENTITYimplicit-model＿class-extensionABSTRACTSUPERTYPEOF(ONEOF(item_class_extension,functional-model-class-ex-tension)）SUBTYPEOF(model_class_extension)；selectable-properties：LIST[0：?]OFUNIQUEopt-or-mand-property_BSU；required-properties：LIST[0：?]OFUNIQUEopt_or＿mand_property_BSU；derived-properties：LIST[0：?]OFUNIQUEopt-or-mand_property-BSU；class-extension:SET[0：?]OFdomain-restriction;derivation;SET[0：?]OFfunctional_domain_restriction;filters：SET仁0：?]OFdomain-restriction;WHEREWRI：QUERY(opt-or-mand＜＊SELF.selectable-properties｝NOTapplicable-properties(SELFcontent_item.dictionary-definition,[opt_or_mand.property])）＝〔〕；WR2：QUERY(opt-or-mand＜‘SELF.derived-properties｝NOTapplicable-properties(SELFcontent_item.dictionary-definition,[opt_or_mand.property]））＝［」；WR3：(QUERY(dom＜，(SELF.class-extension＋SELF.derivation十SELF.filters)）(QUERY(sem＜‘dom.assumes｝NOT("ISO13584-VARIABLE-SEMANTICS-SCHEMA"＋‘．SELF-PROPERTY-SEMANTICS"INTYPEOF(sem)））＜＞「〕））＝仁］）免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002AND(QUERY(dom＜*SELF.filters｝(QUERY(sem＜二dom.defines｝NOT("ISO13584-VARIABLE-SEMANTICS-SCHEMA"＋’．SELF-PROPERTY-SEMANTICS"INTYPEOF(sem)））＜＞［］））＝仁］）；WR4：QUERY(dom＜*(SELF.class-extension＋SELF.derivation)｝QUERY(sem＜二dom.defines｝NOT("ISO13584-VARIABLE-SEMANTICS-SCHEMA"＋‘．SELF-PROPERTY-VALUE-SEMANTICS"INTYPEOF(sem)）OREXISTS(sem.its-own-property)）＜＞［」）二仁〕；WR5：NOTall-class-descriptions-reachable(SELF.dictionary-definition)OR(QUERY(dom＜二(SELF.class-extension＋SELF.derivation＋SELF.filters)1(QUERY(sem＜＊dom.assumes｝NOT(semproperty-semantics.the-propertyINprovide走properties_list(SELF.dictionary-definition)））＜＞［〕））二仁］）；WR6：NOTal-cls-descriptions-rechble(SELF.dictionary-definition)OR(QUERY(dom＜二(SELF.class-extension＋SELF.filters)I(QUERY(sem＜，dom.defines｝NOT(semproperty-semantics.the-propertyINselectable-properties-list(SELF.dictionary-definition)））＜＞［］））＝［］）；WR7：NOTall-class-descriptions-reachable(SELF.dictionary＿definition)OR(QUERY(dom＜‘(SELF.class-extension＋SELF.derivation＋SELF.filters)｝(QUERY(tab＜＊dom.base-tables｛NOTapplicable＿tables(SELF.dictionary-definition,[tab])）＜＞〔〕））二「〕）；WR8：acyclic_class_extension_definition(SELF.dictionary-definition)；WR9：QUERY(prop＜‘SELF.selectable-properties｝SIZEOF(QUERY(choi＜＊SELF.class-extension｛(prop.propertyINget_property_BSU_from_property_semantics(choidomain_restriction.defines)）））＜＞1）＝［〕；WRIO：QUERY(prop＜‘SELF.derived-propertiesISIZEOF(QUERY(f＜＊SELF.derivation｛(prop.propertyINget_property_BSU_from_property_semantics(f.defines)）））＜＞1）＝仁〕；WRII：NOTall-class,-descriptions-reachable(SELF.dictionary-definition)OR(QUERY(f＜‘SELF.derivation｝(QUERY(prop＜＊f.defines免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002｝NOT(get_property_BSU_from_property_semantics([prop])[1]INderived-properties-list(SELF.dictionarydefinition))）＜＞仁〕））＝仁」）；WR12：NOTall-class-descriptions-reachable(SELF.dictionary-definition)OR(QUERY(prop＜，derived_properties_list(SELF.dictionary-definition)｝SIZEOF(QUERY(f＜，define之derivation_function(SELF.dictionary-definition)｝QUERY(sem＜＊f.definesIsemproperty_semantics.the-property二prop)＜＞〔〕））＜＞1）一［］）；WR13：QUERY(filt＜＊filtersINOT(EXISTS(filt,constraintdescription)））＝[]；WR14：QUERY(dorn_1＜，class-extension｝NOT(QUERY(dom_2＜＊dom_l.domains｝"ISO13584_DOMAIN_RESOURC及SCHEMA"＋‘．PREDICATE-DEFINE几DOMAIN"INTYPEOF(dom_2.domain)）＝［〕））＝［〕；WR15：QUERY(prop＜＊SELF.required-propertiesIprop.is-optional)＝［〕；END-ENTITY；-implicit-model-class,extension（＊属性定义：selectableproperties（可选择的特性）：当选择一个实例时，应该由用户设置的实例特性。LIST排序定义了呈现给用户的缺省排序。requiredproperties(需要的特性）：当类通过一个语义关系被实例化时，实例属性应存在于另一个实例中，且在已生成的实例中被系统拷贝。derived-properties：实例属性应由系统从selectable-properties中导出。LIST次序定义T缺省次序，它们应被表示给用户。Derivation：导出函数允许导出属性的计算。Filters：当一些其他属性值为已知时，domain-restrictions可使库数据供应商来限定一些可选属性的域。形式限制：WR1：所有的selectable-properties都应适用于类。WR2：所有的derived-properties都应适用于类。WR3：所有在class-extension,derivation和filters属性中被引用的domain-restrictions应通过它们的defines和assumes属性只引用variable_semantics，该可变语义为self-property-value-semantics.WR4：所有在。lass＿extension和derivation属性中被引用的domain-restrictions应通过它们的de-fines属性只引用sel仁property-value-semantics，该自身属性值语义役有Its-own-property值。WR5：所有在class-extension,derivation，和filters属性中被引用的domain-restrictions应通过它们的assumes属性只引用self-property-value-semantics，该自身属性值语义引用那些属于被提供属性的属性，这些被提供的属性是通过provided-properties-list函数返回的。WR6：所有class-extension和filters的domain-restrictions应通过它们的defines属性只引用self-property-value-semantics，该自身属性值语义引用被定义的或被继承的selectable-properties.免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002WR7：所有在class-extension,derivation，和filters属性中被引用的domain-restrictions应只引用那些适用于类的表。WR8：通过域定义的defines/assumes链，属性不应是自身值的一部分。WR9：在selectable-properties中的每个可选属性应符合在。lass-extension中的一个domain_re-strictionoWR10：在derived-properties中的每个导出属性应符合在derivation中的一个functional-domain-restriction.WRll：在new-derived-prop中作为导出属性被重定义的每个继承属性应符合在derivation中的一个functional＿domain-restriction,WR12：对于每个被定义的，被重定义的或被继承的derived-properties，存在一个导出函数。WR13：在filters中被引用的所有的domain＿restrictions应包含。onstraint_description信息。WR14：在class＿extension属性中所有的domain＿restrictions应是经过解释的：没有被允许的pred-icate-defined-domain.WR15：所有的required-properties应该是强制特性。12.6.10项类扩展Item-class-extension（项类扩展）隐式地表达了通用模型类。无论它是否包含在is-case-of（事例）关系中，并且无论它是。omponent_class（部件类）,material-class,feature＿class还是其他item-class（项类）子类型，相同的结构定义任何通用模型类的内容。它可以包含supplier＿identification和supplier-designation字符串表达式，产生人工可读的由类供应商定义的类实例标识。它还包含identified-item属性，规定了项类是否全面标识，或它们是通过它们的组成部件标识。这些属性的解释如下：当identi-fied-item是FALSE，项是一个装配。如果后边跟着直到组成部件identified＿item是TRUE才停止计算的递归计算组成部件标识集合，它的人工可读的标识应该由它的supplier＿identification构成。当i-dentified＿item是TRUE，项由它自己标识。如果可以，supplier-identification包含足够信息来无二义地标识项，无论它是组件或子系统。注I：在电子商务中，当订购一个组件的时候，上述规定了需要交换什么信息。如果identified＿item是TRUE,sup-plier-identification值如果存在，完全标识了项。如果identified-item是FALSE，项的supplier＿identification值的集合和它的所有的组成部件（直到他们的identified＿item等于TRUE)需要完全标识装配。这对应于bill-of-material-like（类似物料清单）标识。当identified＿item是TRUE并且supplieridentification不存在时，不存在人工可读的标识字符串是可知的。EXPRESS描述：二）ENTITYitem-class-extensionSUBTYPEOF(implicit_model_class_extension)；selection_context_parameters:LIST[0:?]OFUNIQUEoptor_mand_property_BSU;identification_characteristies:LIST[0：?]OFUNIQUEoptor_mand_property_BSU;derived-characteristics:LIST[0：?]OFUNIQUEoptor_mand_property_BSU;context-dependent_characteristies;LIST[0：?]OFUNIQUEoptor_mand_property_BSU;identified-item:BOOLEAN;supplieridentification;OPTIONALstring-expression;supplierdesignation:OPTIONALstring-expression;access-icon:OPTIONALA9_illustration;免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002contentmsg:OPTIONALmessage;create-icon:LIST[0：?]OFA6＿illustration;create_msg:OPTIONALmessage;class_presentation_on_paper.,LIST[0:?]OFillustration;class-presentation-on-screen:LIST[0：?]OFillustration;DERIVESELFimp]icit_model_class_extension.selectable-properties:LIST[0：?]OFUNIQUEoptor_mand_property_BSU：=SELF.selection-context-parameters＋SELF.identfcaton-characterstcs;SELFimplicitmodel_class_extension.derived-properties:LIST[0：?]OFUNIQUEoptor_mand_property_BSU：＝SELF.derived_characteristics＋SELF.context-dependent-characteristics;SELFimp)icit_model_class_extension.required-properties:LIST[0：?]OFUNIQUEopt＿or_mand_property_BSU：二〔〕；WHEREWRI：definition-available-implies(SELFcontent_item.dictionary-definition,"ISO13584-IEC61360-DICTIONARY-SCHEMA.ITEM-CLASS"INTYPEOF((SELFcontentitem.dictionary-definition.definition[1])))；WR2：QUERY(elt＜，SELF.selection_context_parameters｝in_typeof("ISO13584_IEC61360_DICTIONARY_SCHEMA"＋，．CONDITION＿DET"，elt))＝SELF.selection_context_parameters;WR3：QUERY(elt＜，SELF.identification-characteristicsIin_typeof("ISO13584IEC61360_DICTIONARY_SCHEMA"＋‘．NON_DEPENDENT_P_DET"，elt))＝SELF.identification_characteristics;WR4：QUERY(elt＜，SELF.identification-characteristics｝(data_type_typeof(elt.property)＜＞［〕）ANDNOT("ISO13584＿IEC61360＿DICTIONARY＿SCHEMA"＋，．SIMPLE-TYPE"INdata-type_typeof(elt.property))ANDNOT("ISO13584_IEC61360_DICTIONARY_SCHEMA"＋，．CLASS_INSTANCE_TYPE"INdata_type_typeof(elt.property))［〕WR5：QUERY(elt＜、SELF.derived-characteristies｝in_typeof("ISO13584_IEC61360_DICTIONARY_SCHEMA"＋‘．NON＿DEPENDENT＿PDET"，elt)）一SELF.derived_properties;WR6：QUERY(elt＜二SELF.context-dependent-characteristics｝in_typeof("ISO13584_IEC61360_DICTIONARY_SCHEMA"＋‘．DEPENDENTPDET"，elt)）二SELF.context-dependent-characteristics;WR7：NOT(EXISTS(SELF.accessicon))OR(SELF.access-iconINSELFmodel_class_extension.referenced_externaLrtems)；WR8：NOT(EXISTS(SELF.content_msg))OR(SELF.contentmsgINSELFmodel_cIass_extension.referenced_external_items)；免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002WR9：listto_set(SELF.create-icon)＜二SELFmodel_class_extension.refenced-extenal-items;WR10:NOT(EXISTS(SELF.create_msg))OR(SELF.create_msgINSELFmodel_class_extension.referenced_externalitems)；WRll：Iist_to_set(SELF.class-presentation_on_paper)＜二SELFmodel_class_extension.refenced-extenal-items;WR12：list-to-set(SELF.class-presentation-on-screen)＜二SELFmodel_class_extension.referencedexternal＿items;WR13：QUERY(icon＜＊SELF.class-presentation-on-paper｝(NOTEXISTS(icon.width))OR(icon.kind_oLcontent＝illustration-type.not-static-picture))＝〔〕；WR14：QUERY(icon＜*SELF.class-presentation-onscreen｛(NOTEXISTS(icon.width))）一仁〕；EN几ENTITY；一item一class一extension（二属性定义：selection-context-parameters（选择相关环境参数）：相关环境参数的值可由用户提供以使项的选择很便利identification＿characteristics（标识特征）：值由用户设置来标识它的类内项的项特征。注2在GB/T17645中任何时候不允许重用标识特征的同一个值用于两个不同的零件，例如，两个零件的非标识特征是不同的。如果这种情况发生，一些附加的标识特征，诸如版本，应该一起来区分两个零件。derive走characteristics（导出特征）：由系统通过functional-domain-restriction从free-characteris-tics中派生的项特征。context-dependent-characteristics（相关环境依赖特征）：由系统从selection-context-parameters和可能的free＿characteristics中导出的项属性。identifieditem（标识项）：规定类实例是否应被supplier＿identification单独标识或它们应该被它们的组成部件来标识的布尔值。注3：装配无标识：只有参与装配的零件被标识。supplier＿identification（供应商标识）：OPTIONAL（可选）string-expression（串表达式），它完全地或部分地规定了由库数据供应商定义的项标识。supplier-designation（供应商标记）:OPTIONAL（可选）string-expression，它完全地或部分地规定了由库数据供应商定义的项名称。access＿icon（访问图标）：在菜单中表示类的图像。content_msg（内容消息）：如果类要实例化，描述类内容的message,create_icon（创建图标）：如果类要实例化，可实现项的可选属性的可见表达和其参考坐标系统的可见表达的图标。create_msg（创建消息）：若想要实例类，描述项的可选属性和其参考坐标系统的可选属性的mes-sage.class-presentation-on-paper（纸上的类表达）：当类内容被表示在纸面上时，由库供应商推荐并表示给用户的illustrations（图示）有序集合。class-presentation-on-screen屏幕上的类表达）：当类内容被表示在屏幕上时，由库供应商推荐并表示给用户的illustrations有序集合。形式限制：WR1：如果数据有效，IPI成立。WR2：所有的selection-context-parameters（选择相关环境参数）应定义为condition_DETs（条件免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002DET)。WR3：所有的identification＿characteristics应该定义为non_dependent_P_DET（非条件DET)oWR4：所有的identification-characteristics的数据类型应该是simple-type（对于原子项），或class-instance-type（对于装配）。WR5：所有的derived-characteristics应定义为non_dependent_P_DEToWR6：所有的context-dependent-characteristics应定义为dependentP_DET.WR7:access-icon应属于SELFmodel_class_extension.referenced-external-items(SELF＼模型类扩展．可引用的外部项）集合。WR8:content_msg应属于SELFmodel-class-extension.referenced-external-items集合。WR9:create-iconLIST项应属于SELFmodel-class-extension.referenced-external-items集合。WR10:create_rnsg应属于SELFmodel-class-extension.referenced-external-items集合。WRII:class_presentation_on_paperillustrations应属于SELFmodel_class_extension.referenced一external一items集合。WR12:class-presentation-on-screenillustrations应属于SELFmodel-class-extension.refer-ence走external＿items集合。WR13:class_presentation_on_paperillustrations应有width（宽度）和height（高度）属性，而不应有not_static_picture（非静态画面）此类的内容。WR14:class_presentation_on_screenillustrations应有width和height属性。非形式限制：IP1:SELFcontentitem.dictionary-definition应该定义为item-class.IP2：同一类的不同版本，identification＿characteristics特性应该保持不变。IP3：在同一类中，无论版本，identification＿characteristics特性的同一值应该对应于同一个零件。12.6.11功能模型类扩展functional_model_class_extension（功能模型类扩展）隐式地模拟了功能模型类的扩展。在is-view-of关系中，无论它是否被包含，相同的结构定义了任何functional＿mode犯class的内容。Functional-model-class-extension的selectable-properties是free_model_properties（自由模型特性）。这些属性可包括在fm-class-view-of情况下的imported_properties_from_item属性。当作为fm-class-view-ofdictionary-element（字典元素的fm类视图）被定义时，functional-model-class-extension的required-properties仅仅存在。在这种情况下，通过其项特性应存在于itemclass实例中的required-item-characteristics（要求的项特征），functiona址modeLclass-extension可规定由先前的可见关系能够实例化functional＿model＿class＿extension。在functional_model_class_extension的实例中，建议由系统来拷贝这些必需的特性。Functional-model-class-extension的denved_properties是representation-properties（表达特性）。这些特性可包括在fm-class-view-of情况下的imported-propertes-from-tem属性。这些属性的导出函数被定义在functional＿model＿class＿extension中。注1：当适用于一个item－class的属性数目非常大时，将这些属性值分到不同的类中可能很有用。item-class包含T需要最小的属性值来标识一个项实例。每个functional_model_class都作为fin-class-view-of来定义，且与一个特殊用户的透视图在数据上相一致，输人那些对此透视图非常合适的属性。此透视图可通过定义noninstanciablefunctional一viewclass（非实例的功能视图类）来定性。当functional＿model＿class＿extension作为没有任何先前的可见关系的functional-model-classdic-tionary-element来定义时，欲与一些项属性相配的所有属性应作为没有任何required_item_character-istics的free_model_properties来定义。除了引用程序和作为external＿items被提供的表达，功能模型类扩展可引用免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002GB/T16656.43-1999representations（表达），此representations包含在库交付文件中。这些repre-sentations请求从用户被送到建模系统中（见13章，send-representation-statement（发送表达语句））。所有：epresentations都是在：eference走representation（已引用表达）属性中被引用的。EXPRESS描述：关）ENTITYfunctional-model-class-extensionSUBTYPEOF(implicitmodel_class_extension)；measure_unit：OPTIONALglobal-unit-assigned-context；required-item-characteristics：LIST[0：?]OFUNIQUEopt_or_mand_property_BSU；free-model-properties：LIST[0：?]OFUNIQUEopt_or_mand_property_BSU；representation-properties：LIST[0：?]OFUNIQUEopt_or_mand_property_BSU；method-variables：SET[0：?]OFopt_or_mand_property_BSU;reference走representation：SET[0：?]OFrepresentation;provided-methods:SET[0：?]OFmethod；available-views-icon:OPTIONALA6-illustration;available_views_msg:OPTIONALmessage;context_param_icon:LIST[0：?]OFA6-illustration；context-param_msg:OPTIONALmessage;DERIVESELFimplicit_model_class_extension.selectable-properties：LIST仁。：?]OFUNIQUEoptor_mand_property_BSU：＝SELF.free_model_properties；SELFimplicit_model_class_extension.required-properties：LIST[0：?]OFUNIQUEoptor_mand_property_BSU：＝SELF.required-item-characteristics;SELFimplicit_model_class_extension.derived-properties:LIST[0：?]OFUNIQUEoptor_mand_property_BSU：＝SELF.representation-properties;WHEREWR1：definition-available-implies(SELFcontent_item.dictionary-definition,"ISO13584-EXTENDED-DICTIONARY-SCHEMA.‘＋"ABSTRACT-FUNCTIONAL-MODEL-CLASS"INTYPEOF(SELFcontent-item.dictionary-definition.definition[1])）；WR2：required_properties_are_non_dependent_p_det(SELF)；WR3：required-properties-are-imported-properties(SELF)；WR4：QUERY(elt＜＊SELF.methodvariables｝in_typeof("ISO13584-EXTENDED-DICTIONARY-SCHEMA"＋‘．REPRESENTATION_P_DET"，elt)）＝SELF.method-variables;WR5：QUERY(elt＜＊SELF.methodvariables｝免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24--2003八SO13584-24:2002applicable-properties(SELFcontentitem.dictionary-definition,[elt.property])）二SELF.metho走variables;WR6：NOT(EXISTS(SELF.available-views-icon)）OR(SELF.available-views-iconINSELFmodel_class_extension.referenced-external-items)；WR7：NOT(EXISTS(SELF.available_views_msg)）OR(SELF.available_views_msgINSELFmodel_class_extension.referenced-external-items)；WR8：list_to_set(SELF.context_param_icon)＜＝SELFmodel_class_extension.referenced_external_items；WR9：NOT(EXISTS(SELF.context_param_msg)）OR(SELF.context_param_msgINSELFmodel_class_extension.referenced-external-items)；EN几ENTITY；一functional_model_class_extension（＊属性定义：measure-unit（测量单位）:global-unit-assigned-context（全局单位赋值相关环境），它为所有的由functional_model_class生成的函数视图定义了测量单位。若不提供此可选属性，则lengthmeasure（长度测量）的缺省值为毫米，且对于planar＿angle(平面角）测量，其缺省值为度。对于其他单位来说没有缺省值。required-item-characteristics：它是一个项特性，其值被要求能够实例一个功能模型类。这些属性应属于fm-class-view-ofdictionary-element的importe走proerties-from-item,注2：只有被要求实例化functional-model-class的项属性出现在此列表上。free_model_properties：为了能实例类，此属性的值应由用户来提供。在与一个零件有关的功能模型类的情况下，它们和与此零件有关联的相关环境参数相符合。注3:free-model-properties的字典定义应或是representation_P_DET（当属性在功能模型类中被定义（或被继承）时），或是condition_DET（当通过importe走properties_from_item属性的方法属性从itemclass被输人时）。representation-properties：它是一个由系统从free-model-properties和required-item_characteris-tics中导出的功能模型属性。注4:representationproperties的字典定义可以是representation-P_DET（当属性在功能模型类中被定义（或被继承）时），或是任何一个定义了item＿class属性的字典元素（当此属性从item-class中被箱人时）（例如，condi-tion_DET,non_dependent_P_DET或dependentP_DET）。metho走variables：此属性既不是由用户设置的，也不是由导出函数从可选属性中导出的。这些属性可使（可能的）内部变量的表达被使用，例如，在方法的相关环境中，该方法仅仅属于面向对象系统中的实例位置。这些属性只在方法运行期间被赋值。当用户查阅零件库时，它们不会被显示。注5：当functional_model_class输入view-control＿variables时，例如，在一个表中储存它们的变量，这些属性在method＿variable属性中应被表达。referencedrepresentations：此表达在类描述中被引用。provided-methods（已提供的方法）：此方法由函数模型实例提供。注6:12.7.2定义的declared_created_views_are_created规则保证functional-model-class-extension不同方法可能生成的功能视图集包括其对应functional＿model＿class声称可以生成的功能视图集。注7：当SELFcontent-item.dictionary-definition.definition[l]abstract-functional＿model-class.created-view{SELF＼内容项．字典定义．定义「1]＼抽象函数模型类生成的视图）的视图控制变量在SELFcontentitem.免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002dictionary-definition.definition[1](SELF＼内容项．字典定义．定义〔1]）的v_c_v_range属性中，或对于一个方法，在它的specification.v_c_v_range（规范．v_c_v范围）属性中不被表达时，它的范围就是它的全值域。availableviews＿icon（有效视图图标）：该图标可实现由功能模型类生成的不同视图的可见表示。available_views_msg（有效视图消息）：此message描述了由功能模型类生成的不同视图。context_param_icon(相关环境参数图标）：此图标可实现视图生成所需求的可选属性的可见表示。context_param_msg（相关环境参数消息）：此message描述了视图生成所需求的自由模型属性。形式限制：WR1：如果数据有效，那么IP1成立。WR2：当SELFcontent_:tem.dictionary-definition作为fm-class-view-of被定义时，所有re-quired-item-characteristics应作为non-dependant-P_DETs被定义。WR3：当SELFcontent_item.dictionary-definition作为fm_class-view-of被定义时，所有re-quired-item-characteristics应从item-class导人。否则，它应为空集合。WR4：所有method＿variables应定义为representation_P_DETsoWR5：所有method＿variables应适用于类。WR6:available-views-icon应属于SELFmodel_class_extensionreferenced-external-file集合。WR7:available_views_msg应属于SELFmodel-class-extensionreferenced-external-file集合。WR8:context_param_icon的LIST项应属于SELFmodel-class-extensionreferenced-external_file集合。WR9:context-param-msg应属于SELFmodel_class_extensionreferenced-external-file集合。非形式限制：IP1:SELFcontent-item.dictionary-definition应该定义为abstract-functional_model_class或者它的任一子类型。注：functional＿model＿class和fm-class-view-of是abstract＿functional＿model＿class的子类型。12.7ISO13584库内容模式：规则定义本条介绍了ISO13584-library-content-schema模式的EXPRESS规则。12.7.1库的排它性规则assert_oneo仁for-library-rule（库的排它性规则）规则规定不是library_in-standard-format的li-brary不能是dictionary_in_standard_formataEXPRESS描述：二）RULEassert_oneof_for_library_ruleFOR(library)；WHEREWR1：QUERY(temp＜*library｝NOT{"ISO13584-LIBRARY-CONTENT-SCHEMA"＋‘．LIBRARY-IN-STANDARD-FORMATINTYPEOF(temp)）AND("ISO13584-EXTENDE几DICTIONARY＿SCHEMA"＋’．DICTIONARY-IN-STANDARD-FORMAT"INTYPEOF(temp)））＝［〕；EN几RULE；-assert-oneof-for-library-rule（二形式限制：WR1：不是library-in-standard-format的library不能是dictionary-in-standard-formato免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:200212.7.2声明创建的视图是被创建的规则declared-created-views-are-created-rule（声明创建的视图被创建的规则）规则规定由functional-modeLclassextension的不同methods生成的功能视图集包括其相应functional-model-class声明能生成的功能视图集。EXPRESS描述：二）RULEdeclare-create-views-are-create-ruleFOR(functional-model-class-extension,functiona址view-class)；WHEREWR1：QUERY(a_model＜，functional_model_class_extension｝(computablesetof_created_views_from_model(a_modelcontent_item.dictionary-definition)）ANDNOT((declare走created＿views(a_modelcontent_item.dictionary-definition)＜二（created_views_by_methods(a_modelcontent_item，dictionary-definition))）））＝［〕；ENDLRULE；-declaredcreatedviewsare＿createdrule（二形式限制：WRI：不同methods所生成的功能视图集应包括其functional_model_classdictionary-element（由其dictionary_definitionabstract_functional_model_class属性定义）声明能通过它自己的v_c_v_range属性生成的功能视图集。其中methods是functional＿model＿class＿extension的provided-methods属性所引用的（像其specification.v_c_v_range属性定义的一样）。12.7.3实例的完整标识规则complete-identification-for-instance-rule（实例的完整标识规则）的规则规定：被class-instance-constructor引用类的库内容（如果它存在）是一个implicit-model-class-extension，并且只有选择性特性可能不具有值。注：当类的内容不存在时，该规则没有定义应提供值的属性。在视图交换协议的系列标准中可能为仅仅是dictiona-ry-element的类实例定义了依赖应用程序的约束。EXPRESS描述：＊）RULEcomplete-identification-for-instance-ruleFOR(class-instance-constructor)；WHEREWR1：(QUERY(inst＜＊classinstanceconstructor｝NOT(definition_available_impliesOnst.expr_type,(SIZEOF(inst.expr_type.referenced-by)＝0)OR("ISO13584-LIBRARY-CONTENT-SCHEMA.‘＋"IMPLICIT-MODEL-CLASS-EXTENSION"INTYPEOF(inst.expr_type.referenced_by[I]))）））＝〔〕）；WR2：(QUERY(inst＜，class-instance-constructor｝QUERY(prop＜，免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002(list-to-set(collects-assigned-propertiesOnst.properties)）list-to_set(optionaLproperties_list(inst.expr_type)））｝NOT(EXISTS(prop.its-value)））＝［］）＝仁〕）；END-RULE；-complete-identification-for-instance-rule（＊形式限制：WR1：如果数据有效，那么IP1成立。WR2：仅仅选择性特性可以不与值相关联。非形式限制：IP1：如果此内容有效，class＿instance＿constructor的对应于class＿def属性的class-extension应该是implicit＿model-class＿extension.12.7.4项实例的完全标识规则complete_jdentification_for_item_instance_rule（项实例的完全标识规则）规则规定：在一个项类扩展的隐含表达中，一个由class-instance-constructor构建的实例相对于类扩展数据模型（如果它存在）是完全标识的。这意味着它应该引用所有它的标识特征。注1：在由class＿instanceconstructor构建的实例中，仅仅选择性特性可能不具有值。注2：当类内容不存在时，这条规则没有定义应该提供其值的特性。依赖应用的约束在（仅仅可以被定义为diction-ary-element的）类实例零件的视图交换协议系列中定义。EXPRESS描述：＊）RULEcomplete_identification_for-item_mstance_ruleFOR(class-instance-constructor，item-class-extension)；WHEREWR1：QUERY(inst＜，class-instance-constructor｝NOT(definition_available_implies(inst.expr_type,(SIZEOF(inst.expr_type.referenced_by)＝0)OR（("ISO13584-LIBRARY-CONTENT-SCHEMA.ITEM-CLASS-EXTENSION"INTYPEOF(inst.expr_type.referenced_by[l])）AND(collects-assigned_properties(inst.properties)＝(gm-identification-characteristics-list(inst.expr-type)））））））＝［〕；END_RULE；一complete-identification_for-item_instance-rule（＊形式限制：WRl：如果数据有效，那么1131成立。非形式限制：IP1：值由multiple_arity_class_instance_constructor规定的特性列表应该是被引用类的标识特征的整个列表。12.7.5模型实例的完全标识规则complete-identification-for-model-instance-rule（模型实例的完全标识规则）规则规定：在功能模型类扩展的隐式描述中，由class＿instance＿constructor构建的实例相对于类扩展数据模型（如果它存免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002在）是完全标识的。这意味着它应该引用它所有的自由特性。注1：在由class＿instance＿constructor构建的实例，仅仅选择性特性可能不具有值。注2：当类内容不存在时，这条规则没有定义应该提供其值的特性。依赖应用的约束在（仅仅可以被定义为diction-ary-element的）类实例零件的视图交换协议系列中定义。EXPRESS描述：＊）RULEcomplete-identification-for-model-instance-ruleFOR(class-instance-constructor,functional-model-class-extension)；WHEREWR1：(QUERY(inst＜＊class-instance-constructorINOT(definitionavailable_implies(inst.expr_type，（CISO13584-LIBRARY-CONTENT-SCHEMA.‘＋"FUNCTIONAL_MODEL_CLASS_EXTENSION"INTYPEOF(inst.expr_type.referenced-by仁1])）AND(collects_assigned_properties(inst.properties)＝fm_free_model_propertjes-list(inst.expr_type)）））））＝〔〕）；ENDRULE；-complete-identification-for_model_instance_rule（关形式限制：WR1：如果数据有效，那么IP1成立。非形式限制：IP1：值由multiple_arity_class_instance_constructor规定的特性}-Vl1表应该是被引用类的自由模型特性的整个列表。12.7.6所有视图对每个组件有效规则all-views-available-for-each-component-rule（所有视图对每个组件有效规则）规则检查每个func-tional-model-class-extension对应于explicit-item-class-extension的每一项规定了所有声明的视图。EXPRESS描述：二）RULEall_views_available_for_each_component_ruleFOR（explicit-model-class-extension,explicit_functional-model_class_extension)；WHEREWRl：QUERY(a_model＜，explicit-functional-model-class-extensionNOT(all_views_available_for_components(a_modelcontent-item．dictionary-definition)））＝〔〕；ENDRULE；-all_views_available_for_each-component-rule（关形式限制：WR1:dic-f-model-instance的集合规定一个explicit-functional-model-class-extension应该描述，为每个dic_item_instance规定一个explicit-model-class-extension,explicit_model_class_exten-sion的字典定义从那个explicit-functional-model-class-extension的fm-class-view-of字典定义的免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002view＿of属性中被引用，功能模型声明的视图完全集合。12.8ISO13584库内容模式函数定义12.8.1非循环类扩展定义Acyclic_class_extension-definition（非循环类扩展定义）函数通过属于domain-restriction的as-sumes属性来控制没有特性参与到它自己的定义中，该domainrestriction定义了（递归地）它自己的域或导出函数。这个函数叫acyclic_order（非循环命令）函数，它用回归方法确定了依赖于一些属性的属性定义，并检查这个属性不属于这个集合。EXPRESS描述：＊）FUNCTIONacyclic_class_extension_definition(cl：class_BSU)：LOGICAL;LOCALedges：SETOFdomain-restriction;prop：LISTOFproperty_BSU；i：INTEGER;END一LOCAL；IFNOTall-class-descriptions-reachable(cl)THENRETURN(UNKNOWN)；ELSEprop：＝provided-properties-list(c1)；edges：＝defined-domain(cl)＋defined_derivation_function(cl)；REPEATi：＝LOBOUND(prop)TOHIBOUND(prop)；IFNOTacyclic_order(prop[i]，edges，［］）THENRETURN(FALSE)；END－IF；END一REPEAT；RETURN(TRUE)；ENDIF；END_FUNCTION；-acyclic_class_extension_definition(‘12.8.2非循环排序acyclic_order（非循环排序）函数递归地计算特性（nodes（节点）的集合，其定义依赖于一些特性p且控制p不属于nodes.EXPRESS描述：，）FUNCTIONacyclic_order(p：property_BSU；edges：SETOFdomain-restriction;nodes：SETOFproperty_BSU)：BOOLEAN；LOCAL免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002succ;SETOFproperty_BSU：＝〔〕；-setofproperty_BSUthatdepends(recursively)onpout＿edges;SETOFdomain-restriction;-setofdomain_restrictionsthatcontainoneofthe-property_BSUofthesetnodesinthethe-propertyattribute-ofoneoftheirassumesvariable＿semanticsENDLLOCAL;outedges：＝QUERY(e＜‘edges｝(QUERY(v＜，e.assumesIvproperty_semantics.the-propertyINnodes)＜＞［〕））；REPEATi：＝LOINDEX(out_edges)TOHIINDEX(outedges)；REPEATj：二LOINDEX(outedges[i].defines)TOHIINDEX(out-edges[i].defines)；succ：＝succ＋out＿edges[i].defines[j]property_semantics.the-property;END_REPEAT;ENDREPEAT-pdependsonitself;IFpINsuccTHENRETURN(FALSE)；ENDLIF;-allthedependingpropertiesarereachedIFsucc＜＝nodesTHENRETURN(TRUE)；END-IF,RETURN(acyclic_order(p,edges，nodes＋succ)）；END-FUNCTION；-acyclic_order（二12.8.3已定义域函数defineddomain（已定义域）函数确定了domainrestriction的集合，其中domainrestriction被定义为类的class-extension属性的一部分。EXPRESS描述：＊）FUNCTIONdefined_domain(cl;class_BSU)：SETOFdomain-restriction;IFNOTEXISTS(cl)THENRETURN([])；-theclassitselfisindeterminateEND-IF;IF(SIZEOF(cl.referenced-by)＝1)免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002THENRETURN(cl.referenced_by[1〕imp]icit-model-class-extension.class-extension)；ELSERETURN(［〕）；END-IF;ENI见FUNCTION；-defined-domain（＊12.8.4已定义的导出函数的函数Defined＿derivation＿function（已定义的导出函数）函数确定了functional-domain-restriction的集合，其中functional＿domain＿restriction被定义为类class-extension属性的一部分。EXPRESS描述：＊）FUNCTIONdefined_derivation_function(c1：class_BSU)：SETOFfunctional-domain-restriction；IFNOTEXISTS(cl)THENRETURN［〕）；一theclassitselfisindeterminateENI）一IF;IF(SIZEOF(cl.referenced-by)＝1）THENRETURN(cl.referenced-by仁1]implicitmodel_class_extension.derivation)；ELSERETURN(［〕）；END_IF;END-FUNCTION；一defined_derivation_function（二12.8.5允许的特性函数Allowed-properties（允许的特性）函数检查：对于cl参数标识的model＿class＿extension来说，与prop对应的特性是被允许的。如果特性的property_BSU被引用，则无论作为强制的还是可选的，无论是在selectable-properties属性中还是在required-properties属性中，或是在类或其任何超类的相关环境的derived-properties属性中，类的特性值是被允许的。EXPRESS描述：关）FUNCTIONallowed_properties(cl：class_BSU；prop：SETOFproperty_BSU)：LOGICAL；IFNOTEXISTS(cl)THENRETURN(UNKNOWN)；一theclassitselfisindeterminateENDLIF;免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002IF(prop＜=(list_to_set(provided_properties_list(cl)）））THENRETURN(TRUE)；ELSERETURN(FALSE)；ENDLIF;END_FUNCTION；-allowed-properties（关12.8.6已提供的特性列表函数Provided-properties-list(已提供的特性列表）函数确定特性列表，此特性列表通过类定义为select-able_properties,required_properties或是derived-properties,EXPRESS描述：＊）FUNCTIONprovided_properties_list(cl,class_BSU)LISTOFproperty_BSU;LOCALprovided-prop:LISTOFopt_or_mand_property_BSU：＝［」prop：LISTOFproperty_BSU：＝〔〕；END_LOCAL;IFNOTEXISTS(cl)THENRETURN([])；-theclassitselfisindeterminateEND-IF;IF(SIZEOF(cl.referenced-by)＝1)THENprovided-prop：＝cl.referenced-by仁1]implicit_model_class_extension.derived-properties＋cl.referenced_by[1]implicitmodel_class_extension.required-properties＋cl.referenced_by[l]implicit_model_class_extension.selectable-properties;REPEATi：＝1TOSIZEOF(provided_prop)；prop：＝prop＋provided＿prop[j].property;END-REPEAT;END_IF;RETURN(prop)；ENDFUNCTION；一provided-properties-list（关12.8.7已提供特性或方法变，的函数通过类，收集provided-properties-list返回的特性和method-variables函数返回的方法变量，免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002provided-properties-or-method-variables（已提供的特性或方法变量）函数确定已定义或继承的特性集，包括selectable＿properties，或required-properties，或derived-properties，或method-variables.EXPRESS描述：＊）FUNCTIONprovide走properties_or_method_variabIes(cl：class_BSU)：SETOFproperty_BSU;IFNOTEXISTS(cl)THENRETURN([]）；一theclassitselfisindeterminateEND-IF;RETURN(method-variables(c1)＋provided_properties_list(cl)）；ENDesFUNCTION；一provided-properties-or-method-variables（二12.8.8可选特性列表的函数selectable-properties-list（可选特性列表）的函数确定类中定义的可选特性列表。EXPRESS描述：＊）FUNCTIONselectable_properties_list(cl：class_BSU)：LISTOFproperty_BSU；LOCALprop：LISTOFproperty_BSU：＝〔］；ENDLOCALIFNOTEXISTS(cl)THENRETURN此〕）；-theclassitselfisindeterminateEND_IF;IF(SIZEOF(cl.referenced-by）二1）THENREPEATi：＝1TOSIZEOF(cl.referenced-by仁1]implicit_model_class_extension.selectable-properties)；prop：＝prop＋cl.referenced_by[l]implicit-model_class_extension.selectable＿properties[i].property;END-REPEAT;END-IF;RETURN(prop)；END_FUNCTION；一selectable-properties-list（＊12.8.9要求的已定义特性函数required_defined_properties（要求的已定义特性）函数确定类中定义的必须特性列表。EXPRESS描述：免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002关）FUNCTIONrequired_defined_properties(cl;class_BSU)：LISTOFproperty_BSU;LOCALprop：LISTOFproperty_BSU：＝[]；END-LOCAL;IFNOTEXISTS(cl)THENRETURN([])；-theclassitselfisindeterminateENDLIF;IF(SIZEOF(cl.referenced-by)=1）THENREPEATi：＝1TOSIZEOF(cl.referenced-by[l]implicit_model_class-extension.required-properties)；prop：＝prop＋cl.referenced_by[1]implicit-model-class-extension.requiredproperties[i].property;END-REPEAT；END-IF;RETURN(prop)；END-FUNCTION；一required-defined-properties（二12.8.10导出特性列表的函数derived-properties-list(导出特性列表）的函数确定类中定义为导出的特性列表。EXPRESS描述：，）FUNCTIONderived_properties_list(cl：class_BSU)：LISTOFproperty_BSU;LOCALprop：LISTOFproperty_BSU：＝〔〕；END-LOCAL;IFNOTEXISTS(cl)THENRETURN([])；一theclassitselfisindeterminateEND-IF;IF(SIZEOF(cl.referenced-by)＝1)THENREPEATi：＝1TOSIZEOF(cl.referenced-by[l]implicit_model_class_extension.derived-properties)；prop：＝prop＋cl.reference走by[1]免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003八SO13584-24:2002implicit_model_class_extension.derived＿properties[i].property;ENDtoREPEAT；END-IF;RETURN(prop)；ENDesFUNCTION；一derived-properties-list（关12.8.11可选特性列表函数optional-properties-list(可选特性列表）的函数确定类中定义为可选的特性列表。EXPRESS描述：＊）FUNCTIONoptional_properties_list(cl：class_BSU)：LISTOFproperty_BSU;LOCALprop：LISTOFproperty_BSU：＝［］；END-LOCAL;IFNOTEXISTS(cl)THENRETURN([])；-theclassitselfisindeterminateEND-IF;IF(SIZEOF(cl.referenced-by)＝1）THENREPEATi：＝1TOSIZEOF(cl.referenced-by[l]implicit_model-class＿extension.derived-properties)；IF(cl.referenced_by[l]implicit_model_class_extension．derived＿properties[i].is-optional)THENprop：＝prop＋cl.referenced-by[1]implicit_model_class_extension.derive走properties[i].property;END-IF;ENDREPEAT；一derivedoptionalpropertiesofthisclassREPEATi：二1TOSIZEOF(cl.referenced-by[l]implicit_model_class_extension.selectable-properties)；IF(c1.referenced_by[1]implicit_model_class-extension．selectable-properties[i].is-optional)THENprop：＝prop＋cl.referenced_by[1]implicit_model_class_extension.selectable＿properties[i].property；免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002END-IF;END-REPEAT；-selectableoptionalpropertiesofthisclassEND-IF;RETURN(prop)；END-FUNCTION；-optional-properties-list（＊12.8.12确定方法变，的函数methodvariables（确定方法变量）函数确定functionalmodel＿class中定义的方法变量。该函数将调用功能模型类扩展，因此，如果它被其他类调用，它将则返回空集。EXPRESS描述：关）FUNCTIONmethod_variables(cl：class_BSU)：SETOFproperty_BSU；LOCALprop：SETOFproperty_BSU：＝［〕；END-LOCAL;IFNOTEXISTS(cl)THENRETURN([])；-theclassitselfisindeterminateEND-IF;IF(SIZEOF(cl.referenced-by）二1)THENIFNOT("ISO13584-LIBRARY-CONTENT-SCHEMA.‘＋"FUNCTIONALMODELCLASSEXTENSION"INTYPEOF(cl.referenced_by[1])）-abnormalcaseTHENRETURN(仁」）；ELSEREPEATi：＝1TOSIZEOF(cl.referenced-by[l]functional_model_class_extension.method-variables)；prop：＝prop＋cl.referenced-by[I]functional＿mode卜class-extension.methodvariables[i].property;END-REPEAT;END_]F;END-IF;RETURN(prop)；ENDraFUNCTION；-methodvariables免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:200212.8.13Gm标识特征列表函数gm_identification_characteristics_list(gm标识特征列表）函数确定通用模型类中定义为标识特征的特性列表。此函数将调用通用模型类。因此，如果它不为实例，将返回空LISToEXPRESS描述：二）FUNCTIONgm_identification_characteristics_list(cl：class_BSU)：LISTOFproperty_BSU；LOCALprop：LISTOFproperty_BSU：＝仁〕；END-LOCAL;IFNOTEXISTS(cl)THENRETURN([])；一theclassitselfisindeterminateEND-IF;IF(SIZEOF(cl.referenced-by)＝1）THENIFNOT（‘ISO13584＿LIBRARY-CONTENT-SCHEMA.ITEM＿CLASS-EXTEN-SION"INTYPEOF(cl.referenced_by[l])）-abnormalcaseTHENRETURN任〕）；-abnormalcaseEND-IF;REPEATi：＝1TOSIZEOF(cl.refenced-by[1]item_class_extension.identification-characteristics)；prop：＝prop＋cl.referenced-by[1]item_class_extension.identification-characteristics[i]。property;END-REPEAT;END-IF;RETURN(prop)；END-FUNCTION；一gm-identification-characteristics-list（二12.8.14Fm自由模型特性列表函数fm_free_model_properties_list(Fm自由模型特性列表）函数确定功能模型类中定义为自由模型特性的特性列表。此函数将调用功能模型类。因此，如果它不是实例，将返回空LIST.EXPRESS描述：二）FUNCTIONfm_free_model_properties_list(cl：class_BSU)：LISTOFproperty_BSU；LOCALprop：LISTOFproperty_BSU：＝［〕；免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002END_LOCAL;IFNOTEXISTS(cl)THENRETURN([])；-theclassitselfisindeterminateEND_IF;IF(SIZEOF(cl.referenced-by)＝1)THENIFNOT("ISO13584-LIBRARY-CONTENT-SCHEMA"＋’．FUNCTIONAL-MODEL-CLASS-EXTENSIONINTYPEOF(cl.referenced_by[l])）-normalcaseTHENRETURN(［〕）；-abnormalcaseEND-IF;REPEATi：＝1TOSIZEOF(cl.referenced-by[l]functional_model_class_extension.free-model-properties)；prop：“prop＋cl.referenced-by[l]functional_model_class_extension．free_model_properties[i].property;END-REPEAT;END_IF;RETURN(prop)；END_FUNCTION；-fm-free-model-properties-list（，12.8.15判断超类存在的函数exists-super（判断超类存在）函数检验由clclass_BSU参数标识的类是否有超类。它返回：—真，如果cl有超类；—假，如果。1没有超类；—不确定，如果classdictionary-element无效。EXPRESS描述：＊）FUNCTIONexists_super(cl:class_BSU)：LOGICAL;IFNOTEXISTS(cl)THENRETURN(UNKNOWN)；-theclassitselfisindeterminateEND-IF;IF(SIZEOF(cl.definition)＝0)THENRETURN(UNKNOWN)；ELSEIFEXISTS(cl.definition仁llclass.its_superclass)THEN免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002RETURN(TRUE)；ELSERETURN(FALSE)END-IF;END-IF;ENDFUNCTION；一exists-super（，12.8.16超类函数super（超类）函数确定了由其class＿BSU标识的类的超类。如果类没有超类，或不能确定该类的超类，该函数返回空集。EXPRESS描述：关）FUNCTIONsuper(cl：class_BSU)：SET[O：1]OFclass_BSU；IFNOTEXISTS(cDTHENRETURN(［」）；-theclassitselfisindeterminateEND-IF;IF(SIZEOF(cl.definition)＝1）THENIFEXISTS(cl.definition[1]class.its_superclass)THENRETURN(仁cl.definition[1]class.its_superclass])；END_IF;END-IF;RETURN([])；ENDseFUNCTION；一super（＊12.8.17判断是否在视图控制变f范围中的函数在view-control-variable-range实体的L列表中，is_in_v_c_v_range（判断是否在v_c_v范围中）的函数检验property_BSUP曾经是否作为view-control-variable-range实体的parameter-type属性出现过。EXPRESS描述：FUNCTIONis_in_v_c_v_range(p：property_BSU；1：SETOFview-control-variable-range)：BOOLEAN；IF(SIZEOF(QUERY(elt＜二1｝elt.parameter-type＝P)）＝1）THENRETURN(TRUE)；ELSERETURN(FALSE)；END-IF;免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002END_FUNCTION；-is_in_v_c_v_range（，12.8.18获得视图控制变f范围的函数get_v_c_v_range（获得v_c_v范围）的函数返回view-control-variable-range，其parameter-type属性等于view_control_variable_range实体的L列表中给定的property_BSUP。它要求应用于P和L的is_in_v_c_v_range函数返回真。EXPRESS描述：二）FUNCTIONget_v_c_v_range(p:property_BSU；1:SETOFview-control-variable-range)：view-control-variable-range;LOCALx:SETOFview-control-variable-range;END-LOCAL;x：＝QUERY(elt＜，1｝elt.parametertype＝P)；RETURN(x[I])；ENDeeFUNCTION；-get_v_c_v_range（二12.8.19所有视图控制变f范围可用函数all_v_c_v_range_available（所有v_c_v范围可用）函数获取property_BSUs的L列表，并检验L列表中的每个property_BSU，其data-type是有效的non_quantitative_int_type。如果这个条件成立，它返回真，否则返回假。EXPRESS描述：关）FUNCTIONall_v_c_v_range_available(1:LISTOFproperty_BSU)：BOOLEAN；LOCALres：BOOLEAN：＝TRUE;END_LOCAL;REPEATi：＝1TOSIZEOFG)IFNOT(SIZEOF(data-type-non-quantitative_inttype(1[i])）＝1)THENres：＝FALSE；END-IF;END_REPEAT;RETURN(res)；ENDFUNCTION；-all_v_c_v_range_available（＊12.8.20生成视图控制变，范围有序列表的函数make-ordered-listof_v_c_v_range（生成v_c_v范围有序列表）函数获得property_BSUs的L列表和view-control-variable-range的址range(L范围）列表，以至应用于L的all_v_c_v_range_availa-免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002ble返回真。make_ordered_list_of_v_c_v_range函数返回基于property_BSUs的I_列表的view_con-trol_variabIe_range列表，L列表中每个property_BSU用view＿control-variable-range列表代替，其中给定的property_BSU是parameter-type属性。如果在L_range列表中存在其给定的property_BSU是parameter-type属性的view-control＿variable-range,view-control＿variable-range是从L_range列表中摘取的，否则view-control-variable-range是由给定的property_BSU的整个域构成的。如果应用于L的all_v_c_v_range_availabIe不能返回真，make_ordered_list_o仁v_c_v则函数返回空列。EXPRESS描述：二）FUNCTIONmake＿ordered＿list＿o仁v_c_v_range(1：LISTOFproperty_BSU；1-range：SETOFview-control-variable-range)：LISTOFview-control-variable-range；LOCALy.view-control-variable-range；res：LISTOFview-control-variable-range：＝［］；s：SET[0：1]OFnon-quantitative_int_type;x:non_quantitative_int_type;ENDLLOCAL;IFNOTall_v_c_v_range_available(1)THENRETURN(［〕）；END_IF;REPEATi：＝1TOSIZEOF(1)；IFis_in_v_c_v_range(1[i]，1-range)THENres：＝res＋get_v_c_v_range(l[i]，1-range)；ELSEs＝data-type-non-quantitative_int_type(1[i])；x二s[1]；Y二view_control_variable-range(I[i]，x.domain.its＿values[l].value-code，x.domain.its-values仁1].value-code＋SIZEOF(x.domain.its-values）一1）；res：＝res＋Y;END_IF;ENDREPEATRETURN(res)END-FUNCTION；-make_ordered_list_of_v_c_v_range（＊12.8.21cdr列表函数cdr_list(cdr列表）的函数确定view-control-variable-range的L列表的子列表。去掉L列表的第一个元素就得到该子列表。该函数要求L列表至少包含两个元素。免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002EXPRESS描述：＊）FUNCTIONcdr_list(1：LIST[2：？〕OFGENERIC:type_elem)：LISTOFGENERIC:type_elem;LOCALcdr:LISTOFGENERIC:type_elem：＝［〕；END-LOCAL;REPEATi：一2TOSIZEOF(1)；cdr：＝cdr＋1仁i]；ENDeeREPEAT；RETURN(cdr)；END－FUNCTION；一cdr＿list（＊12.8.22生成数组函数make_tuple（生成数组）函数确定整数数组集，该集属于L列表view-control-variable-ranges定义的一列有序整数间隔的笛卡儿乘积。列表L中view-control-variable-ranges的顺序决定了数组值的顺序。EXPRESS描述：二）FUNCTIONmake_tuple(1：LIST[l：？〕ofview_control_variable-range)：SET仁1：？〕OFLIST[1：？〕OFINTEGER；LOCALresult：SETOFLISTOFINTEGER：＝〔］；list_sub_tuple：SETOFLISTOFINTEGER;END-LOCAL;IFSIZEOF(1)＝1THENREPEATi：＝1[1]view_control_variable_range.range_loboundTO1仁1]view_control_variable_range.range_hibound;result：＝[[i]]＋result；END-REPEAT;ELSElist_sub_tuple：＝make_tuple(cdr_list(1)）；REPEATi：＝1TOSIZEOF(list_sub_tuple)；-foreachsubtupleREPEATj：二1[1]view_control_variable_range.range_loboundTO1[1]view_control_variable-range.range_hibound;一createsonenewtupleforeachvalueof1[1]result：二result＋[j＋list_sub_tuple[i]]；END_REPEAT;END-REPEAT;END_IF;RETURN(result)；免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24,2002END_FUNCTION；-make_tuple（＊12.8.23可计算的模型生成视图集computablee-set-of-created-views-from-model（可计算的模型生成视图集）函数检验由clclassBSU标识的功能模型类生成的功能视图是否可以被确定。它检验与cl参数相关的dictionary-element是否是有效的abstract-functional-model-class，检验与cl参数相关的content-item是否是有效的functjonal_model_class-extension，检验由abstract-functional＿model-class引用的functional_view-class所定义或继承的所有view-control-variables是否有有效的data-type。如果由cl标识的功能模型类生成的功能视图可以被确定，computable-set-of-created-views-from-model函数返回真，否则返回假。EXPRESS描述：FUNCTIONcomputable＿set_of_created_views_from_model(cl：class_BSU)：BOOLEAN；IFNOTEXISTS(cl)THENRETURN(FALSE)；一theclassitselfisindeterminateEND-IF;IFSIZEOF(cl.definition)＝0THENRETURN(FALSE)；END-IF;IFSIZEOF(cl.referenced-by)＝0THENRETURN(FALSE)；END-IF;IFNOT("ISO13584_EXTENDED_DICTIONARY_SCHEMA.‘＋"ABSTRACT_FUNCTIONAL_MODEI:CLASS"INTYPEOF(cl.definition[l])）THENRETURN(FALSE)；END-IF;IFNOT("ISO13584-LIBRARY-CONTENT-SCHEMA.’＋"FUNCTIONAL-MODEL-CLASS-EXTENSION"INTYPEOF(cl.referenced-by仁1])）ANDNOT（"ISO13584-LIBRARY-CONTENT-SCHEMA.’＋"EXPLICIT_FUNCTIONAL_MODEL_CLASS_EXTENSION"INTYPEOF(cl.referenced_by[l])）THENRETURN(FALSE)；END-IF;IFSIZEOF(functional_view_v_c_v(cl.definition[l]abstract_functional_model_class.create走view)）＝0免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002THENRETURN(FALSE)；END_IF;RETURN(all_v_c_v_range_available(functional_view_v_c_v(cl.definition[1]abstract_functional_model_class.created-view)））；ENDLFUNCTION；一computable-set-o仁created-views-from-model（＊12.8.24声明创建的视图函数declared_created_views（声明创建的视图）的函数确定由clabstract-functional_model_class通过其v_c_v_range属性生成的功能视图集。每个功能视图用一组视图控制变量的整数值表达。如果声明将生成的视图集不能被确定，declared＿create走views函数返回空集。EXPRESS描述：关）FUNCTIONdeclared-create走views(cl：class_BSU)：SETOFLISTOFINTEGER；LOCALresSETOFLISTOFINTEGER:＝〔］；v_c_vs：LISTOFview-control-variable-range;END-LOCAL;IFNOTcomputablesetof_created_views_from_model(cl)THENRETURN(［〕）；END-IF;v_c_vs：＝make_ordered_list_of_v_c_v_range(functional_view_v_c_v(cl.definition[1]abstract_functional_model_class.create走view)，cl.definition[1]abstract_functional:model_class.v_c_v_range)；res：＝make_tuple(v_c_vs)；RETURN(res)；EN几FUNCTION；一declared-create走views（二12.8.25由方法创建的视图函数created-views-by-methods（由方法创建的视图）函数计算由clabstract-functional-model-class的不同方法创建的功能视图集。每个功能视图通过一个整型视图控制变量值的数组来表达。如果由不同方法创建的功能视图集不能被计算，created-views-by-methods函数返回空集。EXPRESS描述：＊）FUNCTIONcreated_views_by_methods(cl：class_BSU)：SETOFLISTOFINTEGER；LOCALres:SETOFLISTOFINTEGER：＝「〕；免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002v_c_vs：LISTOFview-control-variable-range;END-LOCAL;IFNOTcomputable_set_of_created_views_from_model(cl)THENRETURN([])；END_IF;REPEATi：＝1TOSIZEOF(cl.referenced-by[l]functional_model_class_extension.provided-methods)；v_c_vs：＝make_ordered_list_of_v_c_v_range(functional_view_v_c_v(cl.definition[1]abstract_functional_thodel_class.createdview)，cl.referenced_by[1]functional_model_class_extension．provided-methods[i].specification.v_c_v_range)；res：＝res＋make_tuple(v_c_vs)；END_REPEAT;RETURN(res)；ENDFUNCTION；一created-views-by-methods（二12.8.26在⋯⋯的类型中函数当且仅当属性字典定义处于相同的交换环境，in_typeof(在⋯⋯的类型中）函数检验opt_or_mand_property_BSU的数据类typoEXPRESS描述：关）FUNCTIONin_typeof(typ：STRING;elt：opt_or_mand_property_BSU)：LOGICAL;IFSIZEOF(elt.property.definition)＝1THENRETURN(typINTYPEOF(elt.property.definition[1])）；ELSERETURN(TRUE)；END-IF;ENDLFUNCTION；一in_typeof（二12.8.27检查已引用的veps是否存在支持的veps中的函数referenced_veps_exist_in_supported_veps（检查已引用的veps是否存在支持的、eps中）的函数检验由其class＿bsucl标识的类扩展所引用的视图交换协议是否属于零件库supported_vep（支持vep）集。EXPRESS描述：＊）FUNCTIONreferenced_veps_exist_in_supported-veps(lib：library;cl：class_$SU)：LOGICAL;LOCAL免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002class-extension:SET[0：1]OFcontentitem：＝clbasic-semantic-unit.referenced-by;class-extension-referencedveps：SETOFview-exchange-protocol-identification;dictionary_supported-veps:SETOFviewexchange_protocolidentification;tmp：LOGICAL;END-LOCAL;IF(SIZEOF(class_extension)＝1）THENclass-extension-reference走veps：＝listto_set(class_extension[1]model_class_extension．referenced_view_exchange_protocol)；dictionary-supported-veps：＝libdictionary.supported_vep；tmp：＝(class_extenston_referenced_veps＜＝dictionary_supported_veps)；RETURN(("ISO13584_LIBRARY_CONTENT_SCHEMA.MODEL-CLAS-EXTENSIONINTYPEOF(class_extension仁1])）ANDNOT(tmp)）；ELSERETURN(FALSE)；END-IF;ENDLFUNCTION；一referenced_veps_exist-in-supportedveps（，12.8.28检查引用的协议是否存在支持协议中的函数referenced_protocols_exist_in_supporte走protocols（检查已引用协议是否存在支持协议中）的函数检验由其class＿bsucl标识的类扩展所引用的program-references和data-references是否引用属于librarybase-protocols（库基础协议）集合或librarylinkedinterfaces集的协议。EXPRESS描述：＊）FUNCTIONreferenced-protocols-exist-in-supported-protocols(lib:library;cl：class_BSU)：L()GICAL;LOCALclass-extension:SET[0：1]OFcontent＿item：＝clbastc_semantic_unit.reference走by：END_LOCAL;IFSIZEOF(class_extension)＝1THENRETURN(（"ISO13584-LIBRARY-CONTENT-SCHEMA"＋‘．MODEL-CLASS-EXTENSION"INTYPEOF(class-extension)）AND(SIZEOF(QUERY(pr＜＊class_extension[l〕model_class_extension免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002．referenced＿external＿items｛NOT(prexternal_item.used-protocolINlibdictionary.base-protocols)ANDNOT(prexternal-item.used-protocolINlib.linked＿interfaces)））＜＞0)）；ELSERETURN(FALSE)；END-IF;END-FUNCTION；一referenced-protocols-exist-in-supported-protocols（＊12.8.29检查要求的特性是否是非依赖pdet的函数required_properties_are_non_dependent_p_det（检查要求的特性是否是非依赖p_det）的函数检验：当functional_model_class_extensiondictionary-definition被定义为fm-class-view-of时，所有的：e-quired_item_characteristics应定义为non_dependant_P_DETs（因此从item-class输人），否则该函数返回空集。EXPRESS描述：关）FUNCTIONrequired_properties_are_non-dependent_p_det(fm＿class＿ext：functional-model-class-extension)：LOGICAL.LOCALres：LOGICAL：＝TRUEprop：property_bsu；ENDeeLOCAL；IF(SIZEOF(fm_class_ext.required_item_characteristics)＜＞0)THENIF(SIZEOF(fm_class_extcontent_item.dictionary-definition.definition)＝1）THENIF（"ISO13584-EXTENDED-DICTIONARY-SCHEMA"＋‘．FM＿CLASS＿VIEW＿OF"）INTYPEOF(fm_class_extcontent_item．dictionary-definition.definition[l])THENREPEATi：＝1TOSIZEOF(fm_class_ext.required-item-characteristics)；prop：＝fm_class_ext.required-item_characteristics[i].property；IF(SIZEOF(prop.definition)＝1）THENIFNOT("ISO13584-IEC61360-DICTIONARY-SCHEMA＋‘．NON＿DEPENDENTP＿DET"INTYPEOF(prop.definition[11)）免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002THENres：＝FALSE;END-IF;ELSEres：＝resANDUNKNOWN；END-IF;END-REPEAT;ELSEres：“FALSE;END-IF;ELSEres：＝UNKNOWN；END=-IF;END_IF;RETURN(res)；END-FUNCTION；一required_properties_are_non_dependent_p_det（关12.8.30需要的特性是导入的特性函数required-properties-are-imported-properties（需要的特性是导人的特性）函数检查：当一个func-tional＿model＿class＿extension有一些required-item＿characteristics，它的dictionary-definition定义为fm-class-view-of，并且所有的requied-item-chacteistics应该属于fm-class-view-of的imported-properties-from-item属性。EXPRESS描述：二）FUNCTIONrequired-properties-are-imported-properties(fm＿classext：functional＿model_class_extension)：LOGICAL;LOCALres：LOGICAL：＝TRUE;prop：property_bsu；END-LOCAL;IF(SIZEOF(fm_class_ext.require之item-characteristics)＜＞0)THENIF(SIZEOF(fm_class_extcontentitem.dictionary-definition.definition)＝1)THENIF（"ISO13584-EXTENDE几DICTIONARY-SCHEMA"＋‘。FM_CLAS趾VIEW-OF")INTYPEOF(#m_class_extcontent_item．dictionary-definition.definition[l])THENREPEATi：＝1TOSIZEOF(fm_class_ext.免费标准下载网(www.freebz.net)无需注册即可下载'