GBT16656.54-2010工业自动化系统与集成产品数据表达与交换集成通用资源分类和集合论.pdf 24页

'ICS25．040．40L67a亘中华人民共和国国家标准GB／T16656．54—2010／iso10303-54：2005工业自动化系统与集成产品数据表达与交换第54部分：集成通用资源：分类和集合论Industrialautomationsystemsandintegration--ProductdatarepresentatiOnandexchange--Part54：Integratedgenericresource：Classificationandsettheory2011-01-14发布(IS010303—54：2005，IDT)2011-05-01实施宰瞀鳃鬻瓣警辫瞥星发布中国国家标准化管理委员会仅19 标准分享网www.bzfxw.com免费下载目次GB／T16656．54—2010／Iso10303—54：2005前言⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯·⋯⋯⋯⋯··⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯Ⅲ}f言⋯·······-·-⋯-···⋯⋯·⋯⋯····⋯⋯⋯··---⋯⋯⋯⋯⋯⋯---····⋯········-·····⋯·⋯⋯⋯·⋯⋯·······V1范围⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯·⋯·⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯····⋯⋯⋯⋯⋯12规范性引用文件⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯··⋯·⋯⋯⋯⋯⋯⋯⋯⋯⋯13术语、定义和缩略语⋯⋯⋯·⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯一23．1ISO10303—1中定义的术语⋯⋯⋯⋯⋯···⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯···⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯23．2其他术语和定义···⋯⋯⋯⋯⋯⋯·⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯·⋯⋯⋯⋯⋯⋯··⋯⋯⋯⋯⋯⋯⋯··23．3缩略语⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯···⋯⋯⋯⋯⋯⋯···24分类模式⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯·⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯·⋯⋯⋯⋯⋯·24．1概述⋯⋯⋯···⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯··-⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯24．2基本概念和假设⋯⋯⋯⋯⋯⋯⋯⋯·⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯··⋯⋯⋯⋯⋯·⋯···⋯⋯-·24．3classification—schema类型定义⋯⋯⋯·⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯一34．4classification—schema实体定义⋯⋯⋯⋯⋯··⋯⋯⋯⋯⋯⋯··⋯··⋯⋯⋯···⋯⋯⋯⋯⋯⋯⋯⋯⋯34一classification—schema子类约束定义⋯⋯⋯···⋯⋯⋯⋯⋯⋯·⋯⋯⋯⋯⋯⋯··⋯⋯⋯⋯⋯··⋯⋯·55集合论模式⋯⋯⋯⋯⋯⋯·⋯⋯⋯⋯⋯··⋯⋯⋯⋯⋯·⋯⋯⋯⋯⋯··⋯⋯⋯⋯⋯⋯⋯·⋯⋯⋯⋯⋯··65．1概述⋯⋯⋯⋯··-------·⋯⋯⋯··----⋯⋯⋯⋯⋯----·⋯⋯⋯···⋯⋯··⋯⋯⋯·⋯⋯⋯⋯⋯⋯···⋯⋯65．2基本概念和假设⋯⋯⋯⋯⋯····⋯⋯⋯⋯··⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯65．3set—theory_schema实体定义·⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯·····⋯⋯⋯⋯·⋯⋯⋯⋯⋯⋯··⋯⋯·一75．4set—theory_schema函数定义···⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯·⋯··11附录A(规范性附录)实体短名⋯⋯·⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯··⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯14附录B(规范性附录)信息对象注册⋯⋯·⋯⋯⋯⋯⋯⋯··⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯·⋯⋯⋯-·15附录c(资料性附录)计算机可解释列表⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯·····⋯⋯⋯⋯·⋯⋯⋯⋯⋯⋯⋯⋯16附录D(资料性附录)EXPRESS-G图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯17参考文献⋯⋯⋯⋯⋯⋯⋯⋯·⋯···⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯·⋯⋯⋯⋯⋯⋯····⋯⋯⋯19 刖吾GB／T16656．54—2010／ISO10303-54：2005GB／T16656《工业自动化系统与集成产品数据表达与交换》是一项由多个部分组成的标准，各部分单独出版。GB／T16656的所属各部分又组成多个子系列，即：——第1部分至第19部分规定了描述方法；——第20部分至第29部分规定了实现方法；——第30部分至第39部分规定了一致性测试方法与框架；——第40部分至第59部分规定了集成通用资源；——第lOO部分至第199部分规定了集成应用资源；——第200部分至第299部分规定了应用协议；——第300部分至第399部分规定了抽象测试套件；——第400部分至第499部分规定了应用模块；——第500部分至第599部分规定了应用解释构造；——第1000部分至第1999部分规定了应用模块。GB／T16656<0)THEN GB／T16656。54—2010／IS010303—54=2005REPEATi!=1toHIINDEX(set_of—forward-equivalences)；augmented_set—of—sets：。augmented_set_of—sets+setof—forward—equivalences[i]．set一2；END_REPEAT；END—IF；IF(SlZEOF(set—of_backwarcLequivalences)>0)THENREPEATi：=1toHIINDEX(set—of—backward_equivalences)；augmented_set—of—sets：。augmented_set_of—sets+set—of—backward_equivalences[i]．set-1；END—REPEAT；ENDIF；——ifthespecifiedsetofsetshasbeenaugmented，thentestmembershipaugmented_size：=SIZEOF(augmented_set—of—sets)IFaugmented_size=initiaj—sizeTHENRETURN(FALSE)；END—IF；RETURN(identical—to_one_ofset—of_sets(set_a，augmented_set—of_sets))END_FUNCTION；(*参数定义：Set—a：根据set_of_sets来测试类的实例。set_ofsets：根据集合来测试类的实例的集合。13 GB／T16656．54—2010／IS010303-54：2005附录A(规范性附录)实体短名表A．1给出了本部分MIM中定义的实体短名。使用短名的具体要求见GB／T16656的实现方法。注：EXPRESS实体名可在因特网上找到：