GB/T 20719.43-2010工業(yè)自動化系統(tǒng)與集成過程規(guī)范語言第43部分：定義性擴(kuò)展：活動次序和持續(xù)時間擴(kuò)展

ICS2504040

L67..

中華人民共和國國家標(biāo)準(zhǔn)

GB/T2071943—2010/ISO18629-432006

.:

工業(yè)自動化系統(tǒng)與集成

過程規(guī)范語言

第43部分定義性擴(kuò)展

::

活動次序和持續(xù)時間擴(kuò)展

Industrialautomationsystemsandintegration—

Processspecificationlanguage—

Part43DefinitionalextensionActivitorderinanddurationextensions

::yg

(ISO18629-43:2006,IDT)

2011-01-14發(fā)布2011-06-01實(shí)施

中華人民共和國國家質(zhì)量監(jiān)督檢驗(yàn)檢疫總局發(fā)布

中國國家標(biāo)準(zhǔn)化管理委員會

GB/T2071943—2010/ISO18629-432006

.:

目次

前言…………………………

Ⅰ

引言…………………………

Ⅱ

范圍………………………

11

規(guī)范性引用文件…………………………

21

術(shù)語和定義縮略語………………………

3、1

總論………………………

4GB/T207194

本部分的組織……………

5GB/T207195

強(qiáng)部分有序活動…………………………

65

活動發(fā)生的持續(xù)時間約束………………

79

基于狀態(tài)的持續(xù)時間……………………

810

基于時間的持續(xù)時間……………………

912

基于狀態(tài)和時間的持續(xù)時間…………

1014

活動發(fā)生的次序和持續(xù)時間約束……………………

1115

嵌入的活動發(fā)生的次序和持續(xù)時間約束……………

1217

活動的變質(zhì)前提………………………

1319

預(yù)定的嵌入約束………………………

1421

基于持續(xù)時間的效應(yīng)…………………

1522

基于持續(xù)時間和時間的活動的效應(yīng)…………………

1624

復(fù)雜序列次序關(guān)系……………………

1726

附錄規(guī)范性附錄本部分的標(biāo)識符………

A()ASN.128

附錄資料性附錄使用本部分描述過程的實(shí)例……………………

B()29

附錄資料性附錄本部分英文黑體詞的含義……………………

NA()35

參考文獻(xiàn)……………………

37

索引…………………………

38

GB/T2071943—2010/ISO18629-432006

.:

前言

工業(yè)自動化系統(tǒng)與集成過程規(guī)范語言目前擬分為如下部分

GB/T20719《》:

第部分概述與基本原理

———1:;

第部分核心

———11:PSL;

第部分外核

———12:;

第部分時序理論

———13:;

第部分資源理論

———14:;

第部分活動性能理論

———15:;

第部分

———21:EXPRESS;

第部分

———22:XML;

第部分

———23:UML;

第部分定義性擴(kuò)展活動擴(kuò)展

———41::;

第部分時間和狀態(tài)

———42:;

第部分定義性擴(kuò)展活動次序和持續(xù)時間擴(kuò)展

———43::;

第部分定義性擴(kuò)展資源擴(kuò)展

———44::;

第部分資源集的種類

———45:;

第部分加工活動

———46:;

第部分過程目的

———47:。

本部分為的第部分

GB/T2071943。

本部分等同采用工業(yè)自動化系統(tǒng)與集成過程規(guī)范語言第部分定義性

ISO18629-43:2006《43:

擴(kuò)展活動次序和持續(xù)時間擴(kuò)展英文版

:》()。

本部分的技術(shù)內(nèi)容和組成結(jié)構(gòu)與相一致在編寫格式上符合我國國家標(biāo)準(zhǔn)

ISO18629-43:2006,

標(biāo)準(zhǔn)化工作導(dǎo)則第部分標(biāo)準(zhǔn)的結(jié)構(gòu)和編寫規(guī)則只是根據(jù)我國國家標(biāo)準(zhǔn)的制

GB/T1.1—2000《1:》。

定要求和為方便使用做了如下編輯性的改動

,:

大寫的英文縮寫保留英文原名去掉前言

a),ISO。

將本國際標(biāo)準(zhǔn)和改為將改為的第

b)“”ISO18629“GB/T20719”。ISO18629-43GB/T20719

部分或

43GB/T20719.43。

將第章規(guī)范性引用文件中的引導(dǎo)語改為中的

c)ISO18629-43:20062“”GB/T1.1—20006.2.3

規(guī)定的引導(dǎo)語

。

將本部分中出現(xiàn)的已轉(zhuǎn)化為國家標(biāo)準(zhǔn)的國際標(biāo)準(zhǔn)編號改為國家標(biāo)準(zhǔn)編號便于使用和查閱

d),。

未轉(zhuǎn)化的國際標(biāo)準(zhǔn)保留

。

為了使讀者便于理解本部分黑體詞的含義新增加了附錄

e),NA。

刪去了原文中不符合我國標(biāo)準(zhǔn)編寫的字句

f)。

本部分附錄為規(guī)范性附錄附錄和附錄為資料性附錄

A,BNA。

本部分由中國機(jī)械工業(yè)聯(lián)合會提出

。

本部分由全國自動化系統(tǒng)與集成標(biāo)準(zhǔn)化技術(shù)委員會歸口

(SAC/TC159)。

本部分起草單位北京機(jī)械工業(yè)自動化研究所清華大學(xué)

:、。

主要起草人高雪芹黃雙喜

:、。

Ⅰ

GB/T2071943—2010/ISO18629-432006

.:

引言

是為了進(jìn)行與制造過程相關(guān)的計算機(jī)可解釋的信息交換所使用的國家標(biāo)準(zhǔn)

GB/T20719。

包含的所有部分結(jié)合在一起為描述貫穿整個生產(chǎn)過程的制造過程提供了一類語言該生

GB/T20719,(

產(chǎn)過程可能位于一個工業(yè)公司也可能跨越幾個工業(yè)部門或公司該語言獨(dú)立于任何特定的表示模型

,),。

該語言的本質(zhì)使其適于在生產(chǎn)過程的各個階段共享和制造相關(guān)的過程規(guī)范和屬性

。

的本部分提供了與定義的活動擴(kuò)展相關(guān)的語言的定義性擴(kuò)展的描述

GB/T20719GB/T20719。

中的所有部分與指定的應(yīng)用中使用的任何特定過程的表述模型無關(guān)它們一同為改

GB/T20719。

善這些應(yīng)用的協(xié)同性提供了一個結(jié)構(gòu)框架

。

Ⅱ

GB/T2071943—2010/ISO18629-432006

.:

工業(yè)自動化系統(tǒng)與集成

過程規(guī)范語言

第43部分定義性擴(kuò)展

::

活動次序和持續(xù)時間擴(kuò)展

1范圍

的本部分通過使用的語言中編寫的一組定義提供了該語言的非基本概

GB/T20719GB/T20719

念的規(guī)范這些定義為本部分的術(shù)語提供了語義的公理化

。GB/T20719。

以下包括在本部分的范圍內(nèi)

GB/T20719:

概念的定義其使用中指定的術(shù)語

———,GB/T20719.13。

以下不在本部分的范圍內(nèi)

GB/T20719:

狀態(tài)的定義和與時間相關(guān)的概念的定義其只使用和中指

———,GB/T20719.11GB/T20719.12

定的術(shù)語

。

2規(guī)范性引用文件

下列文件中的條款通過的本部分的引用而成為本部分的條款凡是注日期的引用文件

GB/T20719。,

其隨后所有的修改單不包括勘誤的內(nèi)容或修訂版均不適用于本部分然而鼓勵根據(jù)本部分達(dá)成協(xié)議的

(),,

各方研究是否可使用這些文件的最新版本凡是不注日期的引用文件其最新版本適用于本部分

。,。

信息技術(shù)抽象語法記法一第部分基本記法規(guī)范

GB/T16262.1(ASN.1)1:(GB/T16262.1—

2006,ISO/IEC8824-1:2002,IDT)

工業(yè)自動化系統(tǒng)與集成工業(yè)制造管理數(shù)據(jù)第部分綜述

GB/T19114.11:(GB/T19114.1—

2003,ISO15531-1:2002,IDT)

工業(yè)自動化系統(tǒng)與集成工業(yè)制造管理數(shù)據(jù)第部分時間模型

GB/T19114.42