GB/T 20719.13-2010工業(yè)自動化系統(tǒng)與集成過程規(guī)范語言第13部分：時序理論

ICS2504040

L67..

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

GB/T2071913—2010/ISO18629-132006

.:

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

過程規(guī)范語言

第13部分時序理論

:

Industrialautomationsystemsandintegration—

Processspecificationlanguage—

Part13Durationandorderintheories

:g

(ISO18629-13:2006,IDT)

2010-09-02發(fā)布2010-12-01實施

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

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

GB/T2071913—2010/ISO18629-132006

.:

目次

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

Ⅰ

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

Ⅱ

范圍………………………

11

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

21

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

3、1

概述………………………

4GB/T207194

本部分的組織……………

5GB/T207195

子活動發(fā)生次序核心理論………………

65

周期理論…………………

77

發(fā)生樹自同構(gòu)……………

813

活動包絡(luò)理論……………

915

附錄規(guī)范性附錄在標(biāo)準(zhǔn)中使用抽象語法符號標(biāo)識符…………

A()SC41(ASN.1)18

附錄資料性附錄使用第部分描述過程的實例………………

B()GB/T207191319

參考文獻……………………

25

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

26

GB/T2071913—2010/ISO18629-132006

.:

前言

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

GB/T20719《》:

第部分概述和基本原理

———1:;

第部分核心

———11:PSL;

第部分外核

———12:;

第部分時序理論

———13:;

第部分資源理論

———14:;

第部分活動性能理論

———15:;

第部分

———21:EXPRESS;

第部分

———22:XML;

第部分

———23:UML;

第部分活動

———41:;

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

———42:;

第部分序列

———43:;

第部分定義性擴展資源擴展

———44:;

第部分資源集的種類

———45:;

第部分加工活動

———46:;

第部分過程目的

———47:。

本部分為的第部分

GB/T2071913。

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

ISO18629-13:2006《13:

論英文版

》()。

本部分的技術(shù)內(nèi)容和組成結(jié)構(gòu)與相一致在編寫格式上符合

ISO18629-13:2006,GB/T1.1—

只是根據(jù)我國國家標(biāo)準(zhǔn)的制定要求和為方便使用做了如下編輯性的改動

2000。,:

將改為把改成或

———“ISO18629”“GB/T20719”,“ISO18629-13”“GB/T20719.13”“GB/T20719

本部分

”;

刪除了的前言并按照我國國家標(biāo)準(zhǔn)編制要求重新起草了前言

———ISO18629-13:2006,;

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

———ISO18629-13:20062“”GB/T1.1—2000

引導(dǎo)語

。

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

———,。

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

。

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

———。

英文版索引中的在原文中沒有找到所以在英文和中文索引中都

———ISO18629-13()satisfiable,

刪除了

。

本部分的附錄是規(guī)范性附錄附錄是資料性附錄

A,B。

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

。

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

(SAC/TC159)。

本部分由北京機械工業(yè)自動化所負(fù)責(zé)起草

。

本部分主要起草人黎曉東楊書評劉穎

:、、。

Ⅰ

GB/T2071913—2010/ISO18629-132006

.:

引言

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

GB/T20719。

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

GB/T20719,

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

(,),

型語言的本質(zhì)使得它適用于在生產(chǎn)過程的各個階段共享與制造相關(guān)的過程信息

。。

的本部分提供了中定義的語言的核心元素的描述

GB/T20719GB/T20719。

中的所有部分與制造管理領(lǐng)域軟件應(yīng)用中采用的任何特定過程的表述或模型無關(guān)

GB/T20719。

本標(biāo)準(zhǔn)的所有部分一同為改善這些應(yīng)用軟件的協(xié)同性提供了一個結(jié)構(gòu)框架

。

Ⅱ

GB/T2071913—2010/ISO18629-132006

.:

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

過程規(guī)范語言

第13部分時序理論

:

1范圍

的本部分提供了與活動的次序和周期約束相關(guān)的基本概念的表述其范圍如下

GB/T20719,:

子活動發(fā)生次序

———;

周期

———;

迭代發(fā)生次序

———;

發(fā)生樹自同態(tài)

———;

活動包絡(luò)

———。

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

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

GB/T20719。

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

,(),,

協(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)與集成過程規(guī)范語言第部分概述與基本原理

GB/T20719.1