1、ICS 2504040:3524050L 67 a亘中华人民共和国国家标准GBT 1911442-2008IS0 15531-42:20052008-08-06发布工业自动化系统与集成工业制造管理数据第42部分:时间模型Industrial automation systems and integration-Industrial manufacturing management dataPart 42:Time model(IS0 1553142:2005,IDT)2009-03-0 1实施宰瞀嬲紫瓣訾糌瞥星发布中国国家标准化管理委员会及11GBT 191 1442-2008S0 15531
2、-42:2005目 次前言引言1范围一2规范性引用文件3术语、定义和缩略语4 GBT 19114综述5域特性51概述52基本概念和假设53域特性模式定义54域特性类型定义55域特性子类型约束定义一56域特性实体定义6时间域61概述62基本概念和假设63时间域模式定义64时间域类型定义-65时间域实体定义-66时间域函数定义附录A(规范性附录) 信息对象的注册标识-附录B(资料性附录)EXPRESS列表-附录c(资料性附录) EXPRESS-G图附录NA(资料性附录)本部分英文黑体词的含义参考文献一工4oooo00娼M毖弘拍“卯曲刖 吾GBT 1911442-2008IS0 1553142 12
3、005GBT 19114:E业自动化系统与集成工业制造管理数据包含下列部分:第1部分:工业制造管理数据:综述(ISO 155311);第21部分:规范外部交换产品数据的表达(ISO 1553121);第31到33部分:制造资源应用管理数据的表达(ISO 155313133);第4l到44部分:制造流程管理数据的表达(ISO 155314144)。其中第1、31、32部分已转化为我国国家标准。本部分是GBT 19114的第42部分。本部分等同采用ISO 1553142:2005,技术内容和编写格式上与ISO 1553142:2005保持一致。根据我国国家标准的编写要求,作了一些编辑性修改,主要是
4、:对带下划线的用于EXPRESS语言描述的各黑体英文实体名,为了既维护其英文原意又便于了解其名称代表的含义,在本部分中,以英文为主。增加资料性附录NA,收集黑体英文实体名,并给出中文译名。IsO 15531、IsO 13584、ISO 10303和IEC 61360各标准中已有若干部分被等同或等效转化为我国的国家标准,对应的国家标准编号分别是GBT 19114、GBT 17645、GBT 16656和GBT 17564中的各部分,二者在技术和使用上对等。但是考虑到与ISO 15531、ISO 13584、ISOi0303和IEC 61360相配套的EXPRESS描述,以及应用软件中各模式、实体
5、、特性、属性、函数等的表达,为使配套应用软件在实际应用时不发生因更换国际标准名称而带来的种种问题,对在本部分中所有的EXPRESS描述以及由STEP开发工具自动生成的文件和EXPRESS-G图中的国际标准代号保持不变,仅在本部分的标题和论述正文中,用国家标准号替换原国际标准号。本部分的附录A为规范性附录,附录B、附录C和附录NA为资料性附录。本部分由中国机械工业联合会提出。本部分由全国工业自动化系统与集成标准化技术委员会(SACTC 159)归口。本部分起草单位:中国标准化研究院。本部分主要起草人:王志强、李文武、刘守华、詹俊峰、洪岩。GBT 191 1442-2008IS0 15531-42
6、:2005引 言与工厂或企业生产有关的软件应用(例如:调度软件、制造管理软件、成本估算软件、维护管理软件、采购软件、物流软件)迫切需要引用像时间点(日期)和持续时间(时间间隔)这样与特征有关的时间。需要这些引用确定必要的时间(与应用软件处理的事件间的关系有关)。对于带多过程环境(在制造过程中通常要遇到这种环境)的复杂应用程序来说,与引用相关的有效标准时间是非常重要的。在大多数标准中,时间特征并不独立于与其相关的事件和制造管理数据。当与时间有关的事件或数据本身有时间关系和表达,这样将导致在处理这种时间时产生一些困难。在这些时间中,特征时间可能依赖于事件或被处理的对象,并且它们的表达可能随着环境的
7、改变而改变,没有任何一个简单的工具可以标识它们之间的关系。在不同过程同时执行或同时使用许多差不多的相关软件工具时,这一点是至关重要的。本部分符合“系统论”的方法,它把时间作为系统环境的约束条件来标识,并提供包括时间模型中完全独立于制造系统所处理事件的特征时间。这种时间模型也完全独立于制造应用软件使用的任何制造管理数据。注:为了进一步解释系统理论中与概念相关的时间,请参见GBT 191143l的附录D。而且,时间域利用了域属性模式,这种域是一维的,通常使用它足以分离时间特殊属性。另外,为了确保与GBT 16656更好地兼容,用EXPRESS语言表达本部分的时间模型。注:本部分的背景来源于德国帕德
8、博恩大学Hans Nixdorf研究所Dangelmaier教授在JWG8中做的原始工作。1范围GBT 1911442-20081S0 15531-42:2005工业自动化系统与集成工业制造管理数据第42部分:时间模型GBT 19114的本部分规定了一个通用框架,描述可用于广泛一维域的拓扑属性。考虑到GBT 19114其他部分的需要,本部分侧重时间域的开发。本部分提供一个通用的、自协调的模型,它独立于某个给定时间点上可能发生或已经发生的任何事件。本部分规定的时间模型使任何软件都可以为与时间相关的单个事件或序列事件提供精确的时间,不论是在过去和现在,还是将来。任何需要涉及事件、活动或活动序列(同
9、时与时间点或时间间隔有联系)的应用都可以使用这个时间模型。本部分适用于:一维域拓扑属性的描述;时间模型及其相关定义的描述;符合ISO 1030311(ExPREss语言参考手册)的实体、特性和模式的EXPRESS定义;符合ISO 103031l的模型的EXPRESS-G图。本部分不适用于:任何测量理论或测量方法的描述;多于维的元素和域;Iso 1030341中描述的任何事件的建模。示例:因为正方形、矩形、三角形,以及立方体和球的域维数大于一,所以它们不在本部分的范围之内。2规范性引用文件下列文件中的条款通过GBT 19114的本部分的引用而成为本部分的条款。凡是注日期的引用文件,其随后所有的修
10、改单(不包括勘误的内容)或修订版均不适用于本部分,然而,鼓励根据本部分达成协议的各方研究是否可使用这些文件的最新版本。凡是不注日期的引用文件,其最新版本适用于本部分。GBT 162621 信息技术 抽象语法记法一(ASN1) 第l部分:基本记法规范(GBT 1626212006,ISOIEC 88241:2002,IDT)GBT 191141工业自动化系统与集成工业制造管理数据第1部分:综述(GBT 191141-2003,ISO 155311:2002,IDT)IsO 1030311:1994工业自动化系统与集成产品数据表达与交换第11部分:描述方法:EXPRESS语言参考手册ISO 103
11、03-41:2000工业自动化系统与集成产品数据表达与交换第41部分:集成通用资源:产品描述与支持的基础3术语、定义和缩略语31术语和定义下列术语和定义适用于本部分。】GBT 191 1442-2008S0 15531-42:2005311离散制造discrete manufacturing离散产品的生产。FGBT 1911411312域domain一维元素的集合,使用给定的测度方法,能够对它进行排序并定位。注:因为本文档的目的是描述“时间模型”,定义中“一维”元素的约束仅仅适用于本文档,不包括矩形、三角形、立方体和球这样的域。如果没有“一维”元素进行约束,那么该定义可以用于任何类型的域。示例
12、:一个域能规定为诸如1、2、3、4这样的整数列表。313域点domain point域中点point in domain对域中用任何规定的测度方法,其值为零的域元素。314元素 element论域中可通过行为和属性进行识别或表征的部分内容的静态表达。注:静态表达是在特定时间内考虑的论域中部分内容的瞬态。它可包括诸如“行为”这样的动态属性。这些属性表征了该元素或表征了在特定时间预期出现的该元素。GBT 191141315实体entity用通用特性定义的信息类。EIS0 1030311316环境environment论域的一部分,但并不属于系统自身。示例:系统的输入和输出,如原材料、最终产品等,属
13、于系统的环境,但不用于系统或时间。317事件发生 event_occurence在某些时间点上一种状态存在的事实。注:在event occurence实际发生前,按日历日期,时间点存在状态是不可欲知的。eventoccurence通常不能以日历日期表达,其中的一个原因是,event occurence是不可计划的,例如机器出现故障。示例:开始生产,机器A故障。iso 10303-41:2000中1647318流程flow物质或信息对象集合在空间和时间上的运动。GBT 1553111319流程控制flow control特定的生产控制系统,它最初基于生产率设置和向生产输送工作,以满足这些计划生产
14、率,而进行的生产监控。注:它包括按给定目的进行的检查并驱动流程的行为。该术语还可用于功能或服务。2GBT 1911442-2008IS0 15531-42 120053110持续时间duration时间间隔interval of time使用给定的时间单位测量的一段时间的长度。示例1:周一下午1点到周二上午12点间的24个小时。示例2:一月到七月之间每个星期的周一。注:时间间隔测量的是时间中两个点之间的距离。此时,它是时间域的长度,用时间中的两个点界定。3111测度measure对任何物理或数学对象的给定属性进行定量评估的结果。注1:术语测度也可以用于得到这个结果的操作。示例:长度、面积、体积
15、、质量分布、概率分布、一段时间等的测度。注2:测度隐含了获得测度结果的方法(过程、理论)的定义,并包括相应的测度单位的定义。特别的,时间间隔的测度应隐含时间单位的定义,并将引用它。注3:从数学的角度来看,有时把测度定义为确定两个空间点之间距离的一种方法(连接这两个点的线段的长度)及其结果。如果以这种方式来理解,持续时问是一段时间的测度。注4:从信息的角度来看,测度的通用数学定义是:空间子集的完全相加后的非负函数,从这个意义上说,一序列相互脱节集合的联合的测度就是各集合测度之和。3112测度方法 method of measure一组规则和中间步骤,包括为了获得所关注的测度,而观测的测度单位的定
16、义和用法。注1:测度方法通常源于某些理论和原理,这些理论和原理含蓄地或明确地来源于测度论的数学理论,也来源于评估特性所关注的理论或实践。注2:测度论的数学理论是对测度集及其函数的研究,它们由勒贝格为了推广普及黎曼积分而引进。3113时间点point in time所关注的某事在时域中的位置。注:另外一个等同定义可以是:时域中的点,312和313的定义用于时间域。示例1:2003年3月15日星期三。示例2:早晨九点半。3114调度 scheduling对制造活动进行计划的行为、功能或结果。3115时间time企业论域的特征,它能沿无限有向轴定位所关注的事件,并允许对事件的演替或该演替的标识和特征
17、进行排序。示例:所关注的事件可以是已经发生的事件,可以是可能发生的事件或希望发生的事件。它们也可以沿时间轴进行标识。注:有两个主要的企业实体与时间有关。第一个是时间点,它能沿时间轴标识或计算其位置。第二个是时间间隔,它能够确定两个时间点之间的距离。参见GBT 1911431附录D和IEC 622641。3116时域time domain时期period时间点的集合。3GBT 1911442-200811SO 1553142:2005示例i:一年的工作时间。示例2:机床的维护期。注1:时域可以是有限的或无限的。可通过一个或两个时间点界定或不界定。注2:时域可以由其他时域组成。3117时段time
18、_interval对一段时间的标识。示例:冲击持续时间,生产延误时间,圣诞假日时间。IsO 1030341:2000中164143118时间模型time model企业环境特征“时间”的模型。GBT 1911413119时间单位unit of time时域中时间测度必须引用的单位,它隐式或显式地表示为国际单位制中定义的秒的若干倍。注1:换句话说时间单位是引用时间时所选的时间定量值,它也可按时间的其他定量值表示。秒就是国际单位制定义的时间单位。注2:倍数可能大于1,或小于1。3120论域 universe of discourse属于一个真实世界某一领域的具体或抽象的事物的集合,根据其在建模系统
19、和相应环境中的关注度进行选择。GBT191141132缩略语下列缩略语适用于本部分。MANDATE:制造数据交换(MANufacturing DATa Exchange)STEP:产品模型数据交换标准(STandard for the Exchange of Product model data)4 GBT 19114综述GBT 19114规定了整个工业过程中制造管理信息表达的特征。它提供必要的机制和定义,使得制造管理数据在工厂内部或与其他工厂或企业之间共享和交换。交换贯穿于不同的计算机系统以及和整个工业过程相关的环境中。本标准关注离散制造业,但不仅限于此。而且,本标准也适用于任何其他的与本标
20、准基本原则不矛盾的非离散制造工业过程。以下内容属于GBT 19114的范围:生产和资源信息的表达,包括:能力,监控,维护的约束和控制;注:按其对流程控制的影响,维护约束以及维护管理相关的数据也是本标准考虑的内容。生产和资源信息的共享和交换,包括:存储、传送、访问和存档。以下内容不属于GBT 19114的范围:企业建模;注:企业总体建模的工具、结构和方法学不属于GBT 19114的范围。产品数据(产品信息的表达和交换);4GBT 191 1442-2008IS0 15531-42:2005零部件数据(零件库:计算机可解释的零部件库信息的表达和交换)刀具(刀具数据的电子表达和交换);技术维护信息(
21、如设备的修理,操作和维护手册这样的技术信息)。5域特性51概述域特性模式提供了一个适用于任何一维域的通用结构,这种域特性在树结构的高层能实现数据层次分解,在分解的低端则会形成一个网络。树结构的根由称为域的抽象实体构成。域可以看作若干域点的集合。该实体依次定义了其他三个抽象实体的抽象超类,这三个抽象实体是:完整或复合域、离散或连续域以及有界域。从这三个基本分类可以建立不同种类的域。这四种实体定义了建立域特性模式的基本元素。在分层结构的第三层,第二层的三个抽象实体被分成两个子类,从而生成第四层的实体。列入第四层的实体通过一个网络结构在他们中间联系,这种网络结构来自域的基础拓扑特征。下文中会叙述到这
22、些内容。52基本概念和假设基本上,一个给定域的基础特性是为了提供一种能覆盖下列域的点集拓扑结构范围的可能性:完整;组合;离散;连续;有上界;有下界。三种初始分支的每个实体与其他分支的实体相组合,会形成一个组合网络。该组合的目的是为了保证能检索到结果实体。示例:可能的组合有:有下界的组合离散域;有上界的完整连续域。在定义所有可能的域的同时,能形成定义域的域点的另一种概念。这个概念对下界域定下限、上界域定上限都是必需的,同时也为完整域实体的原点提供一个参照。53域特性模式定义以下的EXPRESS模式描述了domain_propertyschema(域特性模式),并标识了必要的外部引用。EXPRES
23、S描述:*)SCHEMA domain_property_schema;REFERENCE FROM measure_schema-GBT 1665641(unit);REFERENCE FROM supportresource_schema GBT 1665641(1abel);(注1:以上引用的模式可在GBT 1665641以下章节找到:measureschema:第21章;-support_resource_schema:第20章。注2:附录C给出了该模式的EXPRESS-G的图形表示。5GBT 191 1442-2008IS0 15531-42:200554域特性类型定义541 typ
24、e_of_identifier_of_dom_gen_structtypeof_identifierof_dom_gen_struct是标识某物的字母数字串。它不必通过自然语言理解。EXPRESS描述:X-)TYPE type_oLidentifier_oLdom_gen_structSTRING;ENDTYPE;(*542 type_of-domaintype_oLdomain是标识域的字母数字串。EXPRESS描述:*)TYPE type_of domainSTRING;ENDTYPE;(*55域特性子类型约束定义55 coveredrangecoveredrange是一个子类型约束,它用
25、来定义拓扑结构所需的domain的子类型。EXPRESS描述:*)SUBTYPECONSTRAINT domainrange FOR domain;ABSTRACT SUPERTYPE:0NEOF(timedomain);ENDSUBTYPECONSTRAINT;(*552 complcompos_disereonLboundedcomplcompos_discrcontbounded是一个子类型约束,它用于定义和完整、复合、离散、连续或有界特性相关的domain_generic_structure的子类型。EXPRESS描述:*)SUBTYPE。CONSTRAINT complcomposd
26、isccontbounded FORdomain_genericstructure;ABSTRACT SUPERTYPE:ONEOF(completeorcompositedomain,discreteorcontinuousdomain,boundeddomain);ENDLSUBTYPECONSTRAINT;(*553 complete_compositecompletecomposite是一个子类型约束,它用于定义和完整与复合特性相关的completeorcomposite_domain的子类型。EXPRESS描述:*)SUBTYPECONSTRAINT complete_composi
27、te FOR6GBT 19114422008ISO 1553142:2005completeor_compositedomain;ABSTRACT SUPERTYPE:ONEOF(completedomain,compositedomain);END-_SUBTYPECONSTRAINT;(*554 discrete_eontinUOOSdiscrete_continuous是一个子类型约束,它用于定义和离散与连续特性相关的discreteorcontinuous_domain的子类型。EXPRESS描述:*)SUBTYPE_CONSTRAINT discrete_continuousFOR
28、discrete_or_continuousdomain;ABSTRACT SUPERTYPE:0NEOF(continuousdomain,discrete_domain);ENDSUBTYPECONSTRAINT;(*555 lower_upperlower_upper是一个子类型约束,它用于定义和上界或下界特性相关的boundeddomain的子类型。EXPRESS描述:*)SUBTYPECONSTRAINT lower_upper FOR boundeddomain;ABSTRACT SUPERTYPE;ONEOF(10werbounded_domain,upperboundeddom
29、ain);ENDSUBTYPECONSTRAlNT;(*556 eomplcontinuous_discretecomplcontinuousdiscrete是一个子类型约束,它用于定义和连续或离散特性相关的completedomain的子类型。EXPRESS描述:*)SUBTYPECONSTRAINT compLcontinuous_discrete FOR complete domain;ABSTRACT SUPERTYPE;ONEOF(complete_continuousdomain,complete_discrete_domain);ENDLSUBTYPECONSTRAINT;(*5
30、57 eompos_continuous_discretecomposcontinuousdiscrete是一个子类型,它用于定义和连续或离散特性相关的compositedomain的子类型。EXPRESS描述:*)SUBTYPECONSTRAINT composcontinuousdiscrete FOR composite_domain;ABSTRACT SUPERTYPE;7GBT 1911442-2008IS0 1553142:2005ONEOF(compositecontinuousdomain,compositediscretedomain);ENDLSUBTYPECONSTRAI
31、NT;(*558 conLcomplete_compositecontcomplete_composite是一个子类型约束,它用于定义和完整或复合特性相关的continuousdomain的子类型。EXPRESS描述:*)SUBTYPECONSTRAINT cont_completecomposite FOR continuous_domain;ABSTRACT SUPERTYPE;ONEOF(complete_continuousdomain,composite_continuousdomain);END sUBTYPECONSTRAINT;(*559 disc_complete_compo
32、sitedisc_completecomposite是一个子类型约束,它用于定义和完整或复合特性相关的discretedomain的子类型。EXPRESS描述:*)SUBTYPE-CONSTRAINT disc_completecomposite FOR discretedomain;ABSTRACT SUPERTYPE;ONEOF(completediscrete_domain,composite_discrete_domain);ENDLSUBTYPECONSTRAINT;(*551 0 bothbdcomplcompos_disccontboth_bdcomplcomposdisccon
33、t是一个子类型约束,它用来定义和完整与连续、或完整与离散、或复合与连续、或复合与离散特性相关的bothsidesbounded_domain的子类型。EXPRESS描述:*)SUBTYPECONSTRAINT bothbd complcomposdisccont FORboth_sidesboundeddomain;ABSTRACT SUPERTYPE;ONEOF(bothsidesboundedcompletecontinuousdomain,bothsidesbounded complete_discretedomain,bothsidesbounded_compositecontinuo
34、us_domain,bothsidesboundedcompositediscretedomain);ENDLSUBTYPE_CONSTRAINT;(*5511 Iow_lHtcomplcompos_disc_contlow_bdcomplcomposdisccont是一个子类型约束,它用来定义和完整与连续,或完整与离散、或复合与连续、或复合与离散特性相关的lower_boundeddomain的子类型。EXPRESS描述:*)SUBTYPECONSTRAINT low_bdcompLcompos_disc_cont FOR8GBT 191 1442-200811S0 1553142:2005
35、lower_boundeddomain;ABSTRACT SUPERTYPE;ONEOF(10wer_bounded_complete_continuousdomain,lower_houndedcompletediscretedomain,lowerbounded_compositecontinuousdomain,lower_hounded_compositediscrete_domain);END_SUBTYPECONSTRAINT;(*5512 upbdcomplcompos_disc_contupbd_comp|一composdisc_cont是一个子类型约束,它用来定义和完整与连续
36、、或完整与离散、或复合与连续、或复合与离散特性相关的upper_boundeddomain的子类型。EXPRESS描述:*)SUBTYPECONSTRAINT upbd complcomposdisc_contFOR upperboundeddomain;ABSTRACT SUPERTYPE;ONEOF(upperhoundedcompletecontinuousdomain,upperbounded_completediscretedomain,upper_bounded_compositecontinuousdomain,upper_boundedcompositediscretedoma
37、in);ENDSUBTYPECONSTRAINT;(*551 3 eompldisc lowbothupcompldisclow bothup是一个子类型约束,它用来定义和或下界、或上界、或上下界特性相关的complete_discrete_domain的子类型。EXPRESS描述:*)SUBTYPECONSTRAINT compl disc_lowbotLup FORcomplete_discretedomain;ONEOF(10werboundedcomplete_discretedomain,both-sidesbounded_complete discrete_domain,upper
38、_bounded-completediscretedomain);END_SUBTYPE-CONSTRAINT;(*5514 complcont_lowbothupcomplcontlowbothup是一个子类型约束,它用于定义和上界、或下界、或上下界特性相关的complete_continuousdomain的子类型。EXPRESS描述:*)SUBTYPECONSTRAINT compLcontlow_bothup FORcomplete_continuousdomain;ONEOF(10wer_bounded_completecontinuousdomain,both_sidesbound
39、ed_complete continuousdomain,9GBT 1911442-2008IS0 1553142:2005upper_boundedcomplete_continuousdomain);ENDLSUBTYPECONSTRAINT;(*5515 compos contlow_both一pcomposcontlowbothup是一个子类型约束,它用于定义和上界、或下界、或上下界特性相关的composite_continuousdomain的子类型。EXPRESS描述:*)SUBTYPECONSTRAINT composcontjOWhothup FORcomposite_cont
40、inuous domain;ONEOF(10wer_boundedcompositecontinuousdomain,both_sidesboundedcompositecontinuousdomain,upper_bounded_composite_continuousdomain);ENDLSUBTYPECONSTRAINT;(*5516 compos_disc_lowbothupcomposdisclowboth up是一个子类型约束,它用于定义和上界、或下界、或上下界特性相关的composite_discretedomain的子类型。EXPRESS描述:*)SUBTYPECONSTRA
41、INT composdisc low,bothup FORcomposite_discrete_domain;ONEOF(10wer_boundedcomposite discrete_domain,bothsidesboundedcompositediscrete domain,upperbounded_composite_discretedomain);ENDLSUBTYPECONSTRAINT;4-)56域特性实体定义561 domain域是一个集合,其元素采用特定测量方法进行排列和定位。本标准只考虑一维域和一维域元素。EXPREss描述:*)ENTITY domain;id:type
42、of_domain;UNIQUEURl:id;ENDENTITY;(*属性定义:Id:允许一个得到标识的域。形式限制:URl:域的标识应唯一。1 0562 time domaintimedomain是一个能包含时间点序列的域示例1:规定time_domain为包括公历所有年份的列表示例2:规定time_domain为工人薪金支付的期限。EXPRESS描述:*)ENTITY time domain:name:label;time_domain;GBT 1911442-2008ISO 1553142:2005decomposesinto:SETo:?OFEND ENTITY:(*属性定义:name
43、:timedomain为人所知的标签。decomposesinto:由timedomain组成的time_domain集合。563 domain_generic_structuredomain_genericstructure规定了一个通用结构,适用于多种一维域。EXPRESS描述:*)ENTITY domaingenericstructure;id:typeof_identifieroCdom_genstruct;UNIQUEURl:id;ENDENTITY;(*属性定义:Id:允许被标识的domaingeneric_structure。形式限制:URl:domain_genericstru
44、cture的标识应唯一。554 complete_or_composite_domaincompleteorcompositedomain是completedomain或composite_domain的抽象表达。EXPRESS描述:*)ENTITY complete_orcompositedomainSUBTYPE of(domain_generic_stucture);ENDENTITY;(*565 discrete_or_continuousdomaindiscreteorcontinuousdomain是discrete_domain或continuousdomain的抽象表达。EXP
45、RESS描述:*)ENTITY discrete_or_continuousdomainSUBTYPE of(domain_generic_stucture);ENDENTITY;(*11GBT 191 1442-2008S0 1553142:2005566 bounded_domainboundeddomain是有界domain的抽象表达。EXPRESS描述:*)ENTITY bounded_domain;SUBTYPE of(domain_generic_stucture);ENDLENTITY;(*567 complete_domaincompletedomain是一个无间隙domain
46、,此处domainpoints由覆盖全部可能情况的domain规定。domain point都能分配给completedomain。EXPRESS描述:*)ENTITY complete_domain;reference_tounit:unit;reference_to origin:domain_point;ENDLENTITY;(*属性定义:reference_to_unit:是一个unit,通过它可测度completecontinuousdomain中的持续周期。referencetoorigin:定义complete_continuousdomain原点的domainpoint。568 eomposite_donmincomposite_domain是一个由一个或多个domain实例组成的domain。这些组合的domain不能重叠。EXRESS描述:*)ENTITY compositedomainSUB
copyright@ 2008-2019 麦多课文库(www.mydoc123.com)网站版权所有
备案/许可证编号:苏ICP备17064731号-1