GB/T 20719.13-2010工業自動化系統與集成過程規范語言第13部分：時序理論

ICS2504040

L67..

中華人民共和國國家標準

GB/T2071913—2010/ISO18629-132006

.:

工業自動化系統與集成

過程規范語言

第13部分時序理論

:

Industrialautomationsystemsandintegration—

Processspecificationlanguage—

Part13Durationandorderintheories

:g

(ISO18629-13:2006,IDT)

2010-09-02發布2010-12-01實施

中華人民共和國國家質量監督檢驗檢疫總局發布

中國國家標準化管理委員會

GB/T2071913—2010/ISO18629-132006

.:

目次

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

Ⅰ

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

Ⅱ

范圍………………………

11

規范性引用文件…………………………

21

術語定義及縮略語………………………

3、1

概述………………………

4GB/T207194

本部分的組織……………

5GB/T207195

子活動發生次序核心理論………………

65

周期理論…………………

77

發生樹自同構……………

813

活動包絡理論……………

915

附錄規范性附錄在標準中使用抽象語法符號標識符…………

A()SC41(ASN.1)18

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

B()GB/T207191319

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

25

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

26

GB/T2071913—2010/ISO18629-132006

.:

前言

工業自動化系統與集成過程規范語言分為

GB/T20719《》:

第部分概述和基本原理

———1:;

第部分核心

———11:PSL;

第部分外核

———12:;

第部分時序理論

———13:;

第部分資源理論

———14:;

第部分活動性能理論

———15:;

第部分

———21:EXPRESS;

第部分

———22:XML;

第部分

———23:UML;

第部分活動

———41:;

第部分時間和狀態

———42:;

第部分序列

———43:;

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

———44:;

第部分資源集的種類

———45:;

第部分加工活動

———46:;

第部分過程目的

———47:。

本部分為的第部分

GB/T2071913。

本部分等同采用工業自動化系統與集成過程規范語言第部分時序理

ISO18629-13:2006《13:

論英文版

》()。

本部分的技術內容和組成結構與相一致在編寫格式上符合

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

只是根據我國國家標準的制定要求和為方便使用做了如下編輯性的改動

2000。,:

將改為把改成或

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

本部分

”;

刪除了的前言并按照我國國家標準編制要求重新起草了前言

———ISO18629-13:2006,;

將第章規范性引用文件中的引導語改為中規定的

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

引導語

。

將本部分中出現的已轉化為國家標準的國際標準編號改為國家標準編號便于使用和查閱

———,。

未轉化的國際標準保留

。

刪去了原文中不符合我國標準編寫的字句

———。

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

———ISO18629-13()satisfiable,

刪除了

。

本部分的附錄是規范性附錄附錄是資料性附錄

A,B。

本部分由中國機械工業聯合會提出

。

本部分由全國自動化系統與集成標準化技術委員會歸口

(SAC/TC159)。

本部分由北京機械工業自動化所負責起草

。

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

:、、。

Ⅰ

GB/T2071913—2010/ISO18629-132006

.:

引言

是為了進行與制造過程相關的計算機可解釋的信息交換所使用的國家標準

GB/T20719。

標準包含的所有部分結合在一起為描述貫穿整個生產過程的制造過程提供了一類語言

GB/T20719,

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

(,),

型語言的本質使得它適用于在生產過程的各個階段共享與制造相關的過程信息

。。

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

GB/T20719GB/T20719。

中的所有部分與制造管理領域軟件應用中采用的任何特定過程的表述或模型無關

GB/T20719。

本標準的所有部分一同為改善這些應用軟件的協同性提供了一個結構框架

。

Ⅱ

GB/T2071913—2010/ISO18629-132006

.:

工業自動化系統與集成

過程規范語言

第13部分時序理論

:

1范圍

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

GB/T20719,:

子活動發生次序

———;

周期

———;

迭代發生次序

———;

發生樹自同態

———;

活動包絡

———。

2規范性引用文件

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

GB/T20719。

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

,(),,

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

。,

部分

。

信息技術抽象語法記法一第部分基本記法規范

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

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

工業自動化系統與集成工業制造管理數據第部分綜述

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

2003,ISO15531-1:2002,IDT)

工業自動化系統與集成過程規范語言第部分概述與基本原理

GB/T20719.1