国产精品久久久在线观看_亚洲免费观看视频网站_国产盗摄视频一区二区三区_久久久国产一级 - 日本在线观看一区

歡迎來到寰標網！ 客服QQ：772084082 加入會員

工業自動化系統與集成　過程規范語言　第43部分：定義性擴展：活動次序和持續時間擴展 現行

Industrial automation systems and integration—Process specification language—Part 43:Definitional extension:Activity ordering and duration extensions

標準號：GB/T 20719.43-2010

獲取原文 如何獲取原文？問客服 獲取原文，即可享受本標準狀態變更提醒服務！
基本信息

標準號：GB/T 20719.43-2010
發布時間：2011-01-14
實施時間：2011-06-01
首發日期：2011-01-14
出版單位：中國標準出版社查看詳情>
起草人：高雪芹、黃雙喜
出版機構：中國標準出版社
標準分類： 計算機應用
ICS分類：工業過程的測量與控制
提出單位：中國機械工業聯合會
起草單位：北京機械工業自動化研究所、清華大學
歸口單位：全國自動化系統與集成標準化技術委員會(SAC/TC 159)
發布部門：中華人民共和國國家質量監督檢驗檢疫總局 中國國家標準化管理委員會
主管部門：全國自動化系統與集成標準化技術委員會(SAC/TC 159)

標準簡介

GB/T20719的本部分通過使用GB/T20719的語言中編寫的一組定義提供了該語言的非基本概念的規范。這些定義為GB/T20719本部分的術語提供了語義的公理化。以下包括在GB/T20719本部分的范圍內:———概念的定義,其使用GB/T20719.13中指定的術語。以下不在GB/T20719本部分的范圍內:———狀態的定義和與時間相關的概念的定義,其只使用GB/T20719.11和GB/T20719.12中指定的術語。

標準摘要

GB/T20719《工業自動化系統與集成 過程規范語言》目前擬分為如下部分:
———第1部分:概述與基本原理;
———第11部分:PSL核心;
———第12部分:外核;
———第13部分:時序理論;
———第14部分:資源理論;
———第15部分:活動性能理論;
———第21部分:EXPRESS;
———第22部分:XML;
———第23部分:UML;
———第41部分:定義性擴展:活動擴展;
———第42部分:時間和狀態;
———第43部分:定義性擴展:活動次序和持續時間擴展;
———第44部分:定義性擴展:資源擴展;
———第45部分:資源集的種類;
———第46部分:加工活動;
———第47部分:過程目的。
本部分為GB/T20719的第43部分。
本部分等同采用ISO18629-43:2006《工業自動化系統與集成 過程規范語言 第43部分:定義性擴展:活動次序和持續時間擴展》(英文版)。
本部分的技術內容和組成結構與ISO18629-43:2006相一致,在編寫格式上符合我國國家標準GB/T1.1—2000《標準化工作導則 第1部分:標準的結構和編寫規則》。只是根據我國國家標準的制定要求和為方便使用,做了如下編輯性的改動:
a) 大寫的英文縮寫保留英文原名,去掉ISO 前言。
b) 將“本國際標準”和ISO18629改為“GB/T20719”。將ISO18629-43改為GB/T20719的第43部分或GB/T20719.43。
c) 將ISO18629-43:2006第2章“規范性引用文件”中的引導語改為GB/T1.1—2000中的6.2.3規定的引導語。
d) 將本部分中出現的已轉化為國家標準的國際標準編號改為國家標準編號,便于使用和查閱。
未轉化的國際標準保留。
e) 為了使讀者便于理解本部分黑體詞的含義,新增加了附錄NA。
f) 刪去了原文中不符合我國標準編寫的字句。
本部分附錄A 為規范性附錄,附錄B和附錄NA 為資料性附錄。
本部分由中國機械工業聯合會提出。
本部分由全國自動化系統與集成標準化技術委員會(SAC/TC159)歸口。
本部分起草單位:北京機械工業自動化研究所、清華大學。
主要起草人:高雪芹、黃雙喜。

標準目錄

前言 Ⅰ
引言 Ⅱ
1 范圍 1
2 規范性引用文件 1
3 術語和定義、縮略語 1
4 GB/T20719總論 4
5 GB/T20719本部分的組織 5
6 強部分有序活動 5
7 活動發生的持續時間約束 9
8 基于狀態的持續時間 10
9 基于時間的持續時間 12
10 基于狀態和時間的持續時間 14
11 活動發生的次序和持續時間約束 15
12 嵌入的活動發生的次序和持續時間約束 17
13 活動的變質前提 19
14 預定的嵌入約束 21
15 基于持續時間的效應 22
16 基于持續時間和時間的活動的效應 24
17 復雜序列次序關系 26
附錄A (規范性附錄) 本部分的ASN.1標識符 28
附錄B(資料性附錄) 使用本部分描述過程的實例 29
附錄NA (資料性附錄) 本部分英文黑體詞的含義 35
參考文獻 37
索引 38

替代情況

會員注冊/登錄后查看詳情

引用標準

會員注冊/登錄后查看詳情

本標準相關公告

會員注冊/登錄后查看詳情

采標情況

會員注冊/登錄后查看詳情

推薦檢測機構
申請入駐

暫未檢測到相關機構，邀您申請入駐~

推薦認證機構
申請入駐

暫未檢測到相關機構，邀您申請入駐~

推薦培訓機構
申請入駐

暫未檢測到相關機構，邀您申請入駐~