
Industrial automation systems and integration - Process specification language - Part 14: Resource theories
標準號:GB/T 20719.14-2010
基本信息
標準號:GB/T 20719.14-2010
發(fā)布時間:2010-12-01
實施時間:2011-05-01
首發(fā)日期:2010-12-01
出版單位:中國標準出版社查看詳情>
起草人:劉守華、王志強、李文武、余松華、唐良富、洪巖、楊青海
出版機構:中國標準出版社
標準分類: 計算機應用
ICS分類:工業(yè)過程的測量與控制
提出單位:中國機械工業(yè)聯(lián)合會
起草單位:中國標準化研究院、重慶市標準化研究所
歸口單位:全國自動化系統(tǒng)與集成標準化技術委員會(SAC/TC 159)
發(fā)布部門:中華人民共和國國家質量監(jiān)督檢驗檢疫總局 中國國家標準化管理委員會
主管部門:全國自動化系統(tǒng)與集成標準化技術委員會(SAC/TC 159)
標準簡介
根據(jù)GB/T20719.1中描述的范圍,即本部分第4章所提及的,本部分通過一系列公理和定義提供了屬于語言外核的概念的表達。這些公理為本部分中的術語提供了語義的公理化。以下各項屬于本部分的范疇:—資源;—資源和活動間的關系;—資源集;—增加量。
標準摘要
GB/T20719《工業(yè)自動化系統(tǒng)與集成 過程規(guī)范語言》目前分為以下部分: ———第1部分:概述與基本原理; ———第11部分:PSL核心; ———第12部分:PSL外核; ———第13部分:時序理論; ———第14部分:資源理論; ———第15部分:活動性能理論; ———第21部分:EXPRESS; ———第22部分:XML; ———第23部分:UML; ———第41部分:活動; ———第42部分:時間和狀態(tài); ———第43部分:序列; ———第44部分:定義性擴展:資源擴展; ———第45部分:資源集的種類; ———第46部分:加工活動; ———第47部分:過程目的。 GB/T20719的主要內容為: ———第1部分規(guī)定了GB/T20719系列標準概述及其結構; ———第11部分到15部分規(guī)定了核心理論,屬于1x系列; ———第21部分到23部分規(guī)定了外部映射,屬于2x系列; ———第41部分到47部分規(guī)定了定義性擴展,屬于4x系列; ———另外2xx系列規(guī)定了轉換執(zhí)行指導。 本部分是GB/T20719的第14部分。 本部分等同采用ISO18629-14:2006《工業(yè)自動化系統(tǒng)與集成 過程規(guī)范語言 第14部分:資源理論》(英文版)。 本部分的技術內容和結構與ISO18629-14:2006相一致,在編寫規(guī)則上符合我國GB/T1.1—2000《標準化工作導則 第1部分:標準的結構和編寫規(guī)則》,為便于使用,做了如下編輯性修改:a) 刪去了ISO 前言; b) 將“本國際標準”和ISO18629改為“GB/T20719”,將ISO18629-1改為GB/T20719的第1部分或GB/T20719.1; c) 將規(guī)范性引用文件中已轉化為國家標準的國際標準編號改為國家標準編號,并在其后的原括號內給出了該國家標準當前的適用版本編號及其對應的國際標準版本編號。未轉化的仍引用國際標準。 本部分的附錄A 為規(guī)范性附錄,附錄B為資料性附錄。 本部分由中國機械工業(yè)聯(lián)合會提出。 本部分由全國自動化系統(tǒng)與集成標準化技術委員會(SAC/TC159)歸口。 本部分主要起草單位:中國標準化研究院、重慶市標準化研究院。 本部分主要起草人:劉守華、王志強、李文武、余松華、唐良富、洪巖、楊青海。 |
標準目錄
前言 Ⅰ 引言 Ⅱ 1 范圍 1 2 規(guī)范性引用文件 1 3 術語、定義和縮略語 1 4 GB/T20719概述 3 5 GB/T20719.14的組織 4 6 資源需求理論 4 7 資源集理論 7 8 增加量理論 9 附錄A (規(guī)范性附錄) SC4標準中ASN.1標識符的應用 12 附錄B(資料性附錄) 應用GB/T20719.14的過程描述示例 13 參考文獻 19 |
推薦檢測機構
申請入駐
暫未檢測到相關機構,邀您申請入駐~
推薦認證機構
申請入駐
暫未檢測到相關機構,邀您申請入駐~
推薦培訓機構
申請入駐
暫未檢測到相關機構,邀您申請入駐~