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

ICS2504040

L67..

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

GB/T2071913—2010/ISO18629-132006

.:

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

過(guò)程規(guī)范語(yǔ)言

第13部分時(shí)序理論

:

Industrialautomationsystemsandintegration—

Processspecificationlanguage—

Part13Durationandorderintheories

:g

(ISO18629-13:2006,IDT)

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

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

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

GB/T2071913—2010/ISO18629-132006

.:

目次

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

Ⅰ

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

Ⅱ

范圍………………………

11

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

21

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

3、1

概述………………………

4GB/T207194

本部分的組織……………

5GB/T207195

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

65

周期理論…………………

77

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

813

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

915

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

A()SC41(ASN.1)18

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

B()GB/T207191319

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

25

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

26

GB/T2071913—2010/ISO18629-132006

.:

前言

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

GB/T20719《》:

第部分概述和基本原理

———1:;

第部分核心

———11:PSL;

第部分外核

———12:;

第部分時(shí)序理論

———13:;

第部分資源理論

———14:;

第部分活動(dòng)性能理論

———15:;

第部分

———21:EXPRESS;

第部分

———22:XML;

第部分

———23:UML;

第部分活動(dòng)

———41:;

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

———42:;

第部分序列

———43:;

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

———44:;

第部分資源集的種類(lèi)

———45:;

第部分加工活動(dòng)

———46:;

第部分過(guò)程目的

———47:。

本部分為的第部分

GB/T2071913。

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

ISO18629-13:2006《13:

論英文版

》()。

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

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

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

2000。,:

將改為把改成或

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

本部分

”;

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

———ISO18629-13:2006,;

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

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

引導(dǎo)語(yǔ)

。

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

———,。

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

。

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

———。

英文版索引中的在原文中沒(méi)有找到所以在英文和中文索引中都

———ISO18629-13()satisfiable,

刪除了

。

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

A,B。

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

。

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

(SAC/TC159)。

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

。

本部分主要起草人黎曉東楊書(shū)評(píng)劉穎

:、、。

Ⅰ

GB/T2071913—2010/ISO18629-132006

.:

引言

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

GB/T20719。

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

GB/T20719,

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

(,),

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

。。

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

GB/T20719GB/T20719。

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

GB/T20719。

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

。

Ⅱ

GB/T2071913—2010/ISO18629-132006

.:

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

過(guò)程規(guī)范語(yǔ)言

第13部分時(shí)序理論

:

1范圍

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

GB/T20719,:

子活動(dòng)發(fā)生次序

———;

周期

———;

迭代發(fā)生次序

———;

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

———;

活動(dòng)包絡(luò)

———。

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

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

GB/T20719。

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

,(),,

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

。,

部分

。

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

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

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

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

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

2003,ISO15531-1:2002,IDT)

工業(yè)自動(dòng)化系統(tǒng)與集成過(guò)程規(guī)范語(yǔ)言第部分概述與基本原理

GB/T20719.1