標準解讀
GB/T 20719.13-2010 是一項中國國家標準,全稱為《工業(yè)自動化系統(tǒng)與集成 過程規(guī)范語言 第13部分:時序理論》。該標準是工業(yè)自動化領域中的一部分,旨在為過程控制和自動化系統(tǒng)的開發(fā)、設計及實施提供統(tǒng)一的時序邏輯描述方法和規(guī)范,確保不同系統(tǒng)之間的互操作性和兼容性。
標準內(nèi)容概覽
-
范圍:這部分明確了標準的應用范圍,即規(guī)定了在工業(yè)自動化系統(tǒng)和集成過程中,如何使用時序理論來表達和定義控制系統(tǒng)中的時間依賴行為和事件順序。
-
術語和定義:為確保文檔的一致性和理解,本節(jié)界定了時序理論中涉及的關鍵術語,如時間點、時間區(qū)間、事件、時序關系等基礎概念。
-
時序模型基礎:介紹了構建時序模型的基本框架和原則,包括如何表示時間軸上的狀態(tài)變化、事件觸發(fā)條件以及狀態(tài)轉(zhuǎn)移規(guī)則等。
-
時序邏輯表達:詳細說明了如何利用時序邏輯語言來表述控制邏輯,涵蓋邏輯運算符、時間算子以及復合表達式,以精確描述系統(tǒng)的行為隨時間的變化規(guī)律。
-
時序規(guī)范語言:定義了一套標準化的語言結構和語法規(guī)則,用于編寫時序規(guī)范,確保規(guī)范的清晰性、一致性和可執(zhí)行性。這包括變量聲明、函數(shù)定義、事件序列描述等內(nèi)容。
-
應用實例:通過具體案例展示了時序理論在實際工業(yè)自動化項目中的應用,幫助讀者理解如何將理論轉(zhuǎn)化為實踐,解決實際工程問題。
-
一致性與驗證:提供了檢驗時序規(guī)范是否正確無誤的方法和指導原則,確保所制定的規(guī)范能夠準確反映系統(tǒng)預期的時序行為,并能進行有效的測試和驗證。
標準意義
該標準的實施對于提升工業(yè)自動化系統(tǒng)的標準化水平、促進系統(tǒng)間的信息交換與集成、減少設計錯誤和提高系統(tǒng)可靠性具有重要意義。它為工程師和開發(fā)者提供了一套通用的語言和工具,便于在多供應商環(huán)境中實現(xiàn)高效協(xié)同工作,加速了自動化解決方案的開發(fā)周期。
如需獲取更多詳盡信息,請直接參考下方經(jīng)官方授權發(fā)布的權威標準文檔。
....
查看全部
- 現(xiàn)行
- 正在執(zhí)行有效
- 2010-09-02 頒布
- 2010-12-01 實施
下載本文檔
文檔簡介
ICS2504040
L67..
中華人民共和國國家標準
GB/T2071913—2010/ISO18629-132006
.:
工業(yè)自動化系統(tǒng)與集成
過程規(guī)范語言
第13部分時序理論
:
Industrialautomationsystemsandintegration—
Processspecificationlanguage—
Part13Durationandorderintheories
:g
(ISO18629-13:2006,IDT)
2010-09-02發(fā)布2010-12-01實施
中華人民共和國國家質(zhì)量監(jiān)督檢驗檢疫總局發(fā)布
中國國家標準化管理委員會
GB/T2071913—2010/ISO18629-132006
.:
目次
前言…………………………
Ⅰ
引言…………………………
Ⅱ
范圍………………………
11
規(guī)范性引用文件…………………………
21
術語定義及縮略語………………………
3、1
概述………………………
4GB/T207194
本部分的組織……………
5GB/T207195
子活動發(fā)生次序核心理論………………
65
周期理論…………………
77
發(fā)生樹自同構……………
813
活動包絡理論……………
915
附錄規(guī)范性附錄在標準中使用抽象語法符號標識符…………
A()SC41(ASN.1)18
附錄資料性附錄使用第部分描述過程的實例………………
B()GB/T207191319
參考文獻……………………
25
索引…………………………
26
GB/T2071913—2010/ISO18629-132006
.:
前言
工業(yè)自動化系統(tǒng)與集成過程規(guī)范語言分為
GB/T20719《》:
第部分概述和基本原理
———1:;
第部分核心
———11:PSL;
第部分外核
———12:;
第部分時序理論
———13:;
第部分資源理論
———14:;
第部分活動性能理論
———15:;
第部分
———21:EXPRESS;
第部分
———22:XML;
第部分
———23:UML;
第部分活動
———41:;
第部分時間和狀態(tài)
———42:;
第部分序列
———43:;
第部分定義性擴展資源擴展
———44:;
第部分資源集的種類
———45:;
第部分加工活動
———46:;
第部分過程目的
———47:。
本部分為的第部分
GB/T2071913。
本部分等同采用工業(yè)自動化系統(tǒng)與集成過程規(guī)范語言第部分時序理
ISO18629-13:2006《13:
論英文版
》()。
本部分的技術內(nèi)容和組成結構與相一致在編寫格式上符合
ISO18629-13:2006,GB/T1.1—
只是根據(jù)我國國家標準的制定要求和為方便使用做了如下編輯性的改動
2000。,:
將改為把改成或
———“ISO18629”“GB/T20719”,“ISO18629-13”“GB/T20719.13”“GB/T20719
本部分
”;
刪除了的前言并按照我國國家標準編制要求重新起草了前言
———ISO18629-13:2006,;
將第章規(guī)范性引用文件中的引導語改為中規(guī)定的
———ISO18629-13:20062“”GB/T1.1—2000
引導語
。
將本部分中出現(xiàn)的已轉(zhuǎn)化為國家標準的國際標準編號改為國家標準編號便于使用和查閱
———,。
未轉(zhuǎn)化的國際標準保留
。
刪去了原文中不符合我國標準編寫的字句
———。
英文版索引中的在原文中沒有找到所以在英文和中文索引中都
———ISO18629-13()satisfiable,
刪除了
。
本部分的附錄是規(guī)范性附錄附錄是資料性附錄
A,B。
本部分由中國機械工業(yè)聯(lián)合會提出
。
本部分由全國自動化系統(tǒng)與集成標準化技術委員會歸口
(SAC/TC159)。
本部分由北京機械工業(yè)自動化所負責起草
。
本部分主要起草人黎曉東楊書評劉穎
:、、。
Ⅰ
GB/T2071913—2010/ISO18629-132006
.:
引言
是為了進行與制造過程相關的計算機可解釋的信息交換所使用的國家標準
GB/T20719。
標準包含的所有部分結合在一起為描述貫穿整個生產(chǎn)過程的制造過程提供了一類語言
GB/T20719,
該生產(chǎn)過程可能位于一個工業(yè)公司也可能跨越幾個工業(yè)部門或公司并獨立于任何特定的表示模
(,),
型語言的本質(zhì)使得它適用于在生產(chǎn)過程的各個階段共享與制造相關的過程信息
。。
的本部分提供了中定義的語言的核心元素的描述
GB/T20719GB/T20719。
中的所有部分與制造管理領域軟件應用中采用的任何特定過程的表述或模型無關
GB/T20719。
本標準的所有部分一同為改善這些應用軟件的協(xié)同性提供了一個結構框架
。
Ⅱ
GB/T2071913—2010/ISO18629-132006
.:
工業(yè)自動化系統(tǒng)與集成
過程規(guī)范語言
第13部分時序理論
:
1范圍
的本部分提供了與活動的次序和周期約束相關的基本概念的表述其范圍如下
GB/T20719,:
子活動發(fā)生次序
———;
周期
———;
迭代發(fā)生次序
———;
發(fā)生樹自同態(tài)
———;
活動包絡
———。
2規(guī)范性引用文件
下列文件中的條款通過的本部分的引用而成為本部分的條款凡是注日期的引用文
GB/T20719。
件其隨后所有的修改單不包括勘誤的內(nèi)容或修訂版均不適用于本部分然而鼓勵根據(jù)本部分達成
,(),,
協(xié)議的各方研究是否可使用這些文件的最新版本凡是不注日期的引用文件其最新版本適用于本
。,
部分
。
信息技術抽象語法記法一第部分基本記法規(guī)范
GB/T16262.1(ASN.1)1:(GB/T16262.1—
2006,ISO/IEC8824-1:2002,IDT)
工業(yè)自動化系統(tǒng)與集成工業(yè)制造管理數(shù)據(jù)第部分綜述
GB/T19114.11:(GB/T19114.1—
2003,ISO15531-1:2002,IDT)
工業(yè)自動化系統(tǒng)與集成過程規(guī)范語言第部分概述與基本原理
GB/T20719.1
溫馨提示
- 1. 本站所提供的標準文本僅供個人學習、研究之用,未經(jīng)授權,嚴禁復制、發(fā)行、匯編、翻譯或網(wǎng)絡傳播等,侵權必究。
- 2. 本站所提供的標準均為PDF格式電子版文本(可閱讀打?。?,因數(shù)字商品的特殊性,一經(jīng)售出,不提供退換貨服務。
- 3. 標準文檔要求電子版與印刷版保持一致,所以下載的文檔中可能包含空白頁,非文檔質(zhì)量問題。
最新文檔
- 單方對外投資合同模板
- 商務租賃合同模板
- 光伏電價合同模板
- 廠家甲醇銷售合同模板
- 合資收廢鐵合同模板
- 合資開店協(xié)議合同模板
- 保險中介代理服務合同模板
- 商砼租賃合同模板
- 農(nóng)村建筑搬運合同模板
- 商鋪租金貸款合同模板
- 列車車鉤緩沖裝置-列車鉤緩裝置結構
- 省市人均國內(nèi)生產(chǎn)總值
- Excel2010備課教案(共11個)
- 創(chuàng)新藥物研發(fā)與臨床試驗
- 城市軌道交通運營管理畢業(yè)論文范文
- 2023年汽車修理廠安全生產(chǎn)自查整改報告
- 第三單元單元復習專題+課件-+2023-2024學年統(tǒng)編版高中語文選擇性必修上冊
- 國家助學金申請表(模板)
- 武警官兵自殺21例分析
- 結題總報告小學數(shù)學計算教學的有效策略研究
- 初中數(shù)學《圖形的相似》大單元教學設計
評論
0/150
提交評論