ICS2504040

L67..

中華人民共和國國家標準

GB/T2071914—2010/ISO18629-142006

.:

工業自動化系統與集成

過程規范語言

第14部分資源理論

:

Industrialautomationsystemsandintegration—

Processspecificationlanguage—

Part14Resourcetheories

:

(ISO18629-14:2006,IDT)

2010-12-01發布2011-05-01實施

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

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

GB/T2071914—2010/ISO18629-142006

.:

目次

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

Ⅰ

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

Ⅱ

范圍………………………

11

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

21

術語定義和縮略語………………………

3、1

概述………………………

4GB/T207193

的組織…………………

5GB/T20719.144

資源需求理論……………

64

資源集理論………………

77

增加量理論………………

89

附錄規范性附錄標準中標識符的應用……………

A()SC4ASN.112

附錄資料性附錄應用的過程描述示例………

B()GB/T20719.1413

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

19

GB/T2071914—2010/ISO18629-142006

.:

前言

工業自動化系統與集成過程規范語言目前分為以下部分

GB/T20719《》:

第部分概述與基本原理

———1:;

第部分核心

———11:PSL;

第部分外核

———12:PSL;

第部分時序理論

———13:;

第部分資源理論

———14:;

第部分活動性能理論

———15:;

第部分

———21:EXPRESS;

第部分

———22:XML;

第部分

———23:UML;

第部分活動

———41:;

第部分時間和狀態

———42:;

第部分序列

———43:;

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

———44::;

第部分資源集的種類

———45:;

第部分加工活動

———46:;

第部分過程目的

———47:。

的主要內容為

GB/T20719:

第部分規定了系列標準概述及其結構

———1GB/T20719;

第部分到部分規定了核心理論屬于系列

———1115,1x;

第部分到部分規定了外部映射屬于系列

———2123,2x;

第部分到部分規定了定義性擴展屬于系列

———4147,4x;

另外系列規定了轉換執行指導

———2xx。

本部分是的第部分

GB/T2071914。

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

ISO18629-14:2006《14:

論英文版

》()。

本部分的技術內容和結構與相一致在編寫規則上符合我國

ISO18629-14:2006,GB/T1.1—2000

標準化工作導則第部分標準的結構和編寫規則為便于使用做了如下編輯性修改

《1:》,,:

刪去了前言

a)ISO;

將本國際標準和改為將改為的第

b)“”ISO18629“GB/T20719”,ISO18629-1GB/T20719

部分或

1GB/T20719.1;

將規范性引用文件中已轉化為國家標準的國際標準編號改為國家標準編號并在其后的原括

c),

號內給出了該國家標準當前的適用版本編號及其對應的國際標準版本編號未轉化的仍引用

。

國際標準

。

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

A,B。

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

。

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

(SAC/TC159)。

本部分主要起草單位中國標準化研究院重慶市標準化研究院

:、。

本部分主要起草人劉守華王志強李文武余松華唐良富洪巖楊青海

:、、、、、、。

Ⅰ

GB/T2071914—2010/ISO18629-142006

.:

引言

是用于計算機可解釋的制造過程相關的信息交換的國家標準本標準包含的所有部

GB/T20719。

分共同提供了一種描述制造過程的通用語言該過程貫穿于同種工業企業或跨多個工業部門或企業的

,

整個生產過程其表達方式獨立于任何特殊的表達模型該語言適用于生產過程各個階段與制造相關

,。

的過程信息的共享

。

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

GB/T20719。

本部分和其他部分獨立于任何制造管理領域內應用軟件提出的過程表達或模型他

GB/T20719。

們共同提供了一種用于改善這些應用軟件互操作性的結構框架

。

Ⅱ

GB/T2071914—2010/ISO18629-142006

.:

工業自動化系統與集成

過程規范語言

第14部分資源理論

:

1范圍

根據中描述的范圍即本部分第章所提及的本部分通過一系列公理和定義提供

GB/T20719.1,4,

了屬于語言外核的概念的表達這些公理為本部分中的術語提供了語義的公理化

。。

以下各項屬于本部分的范疇

:

資源

—;

資源和活動間的關系

—;

資源集

—;

增加量

—。

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.11:(GB/T20719.1—

2006,ISO18629-1:2004,IDT)

工業自動化系統與集成過程