
Industrial automation systems and integration - Product data representation and exchange - Part 11: Description methods:The EXPRESS language reference manual
標準號:GB/T 16656.11-2010
基本信息
標準號:GB/T 16656.11-2010
發布時間:2010-12-01
實施時間:2011-05-01
首發日期:1996-12-17
出版單位:中國標準出版社查看詳情>
起草人:詹俊峰、李文武、劉守華、柳青
出版機構:中國標準出版社
標準分類: 計算機應用
ICS分類:工業過程的測量與控制
提出單位:中國機械工業聯合會
起草單位:中國標準化研究院
歸口單位:全國自動化系統與集成標準化技術委員會
發布部門:中華人民共和國國家質量監督檢驗檢疫總局 中國國家標準化管理委員會
主管部門:全國自動化系統與集成標準化技術委員會
標準簡介
GB/T16656的本部分規定了能夠定義產品數據的一種語言。這種語言被稱作EXPRESS。本部分還規定了EXPRESS 語言中資源構造子集的圖形化表達,這種圖形化表達被稱作EXPRESS-G。在GB/T16656.1中EXPRESS被定義為一種數據描述語言。它由各種語言元素構成,允許無二義性的數據定義,并對所定義數據的約束進行描述。
標準摘要
GB/T16656《工業自動化系統與集成 產品數據表達與交換》是一個由多個部分組成的標準,各部分單獨出版。GB/T16656的所屬各部分又組成多個子系列,即: ———第1至第19部分規定了描述方法; ———第20至第29部分規定了實現方法; ———第30至第39部分規定了一致性測試方法與框架; ———第40至第59部分規定了集成通用資源; ———第100至第199部分規定了集成應用資源; ———第200至第299部分規定了應用協議; ———第300至第399部分規定了抽象測試套件; ———第400至第499部分規定了應用模塊; ———第500至第599部分規定了應用解釋構造; ———第1000至第1999部分規定了應用模塊。 GB/T16656《工業自動化系統與集成:產品數據表達與交換》現已發布了以下26個部分: ———第1部分:概述與基本原理; ———第11部分:描述方法:EXPRESS語言參考手冊; ———第21部分:實現方法:交換結構的純正文編碼; ———第31部分:一致性測試方法與框架:基本概念; ———第32部分:一致性測試方法與框架:測試實驗室與客戶的要求; ———第34部分:一致性測試方法與框架:應用協議實現的抽象測試方法; ———第41部分:集成通用資源:產品描述和支持原理; ———第42部分:集成通用資源:幾何與拓撲表達; ———第43部分:集成通用資源:表達結構; ———第44部分:集成通用資源:產品結構配置; ———第45部分:集成通用資源:物料; ———第46部分:集成通用資源:可視化顯示; ———第47部分:集成通用資源:形變公差; ———第49部分:集成通用資源:工藝結構與特性; ———第101部分:集成應用資源:繪圖; ———第105部分:集成應用資源:運動學; ———第201部分:應用協議:顯式繪圖; ———第202部分:應用協議:相關繪圖; ———第203部分:應用協議:配置控制設計; ———第501部分:應用解釋構造:基于邊的線框; ———第502部分:應用解釋構造:基于殼的線框; ———第503部分:應用解釋構造:幾何邊界的二維線框; ———第513部分:應用解釋構造:基本邊界表達; ———第520部分:應用解釋構造:相關繪圖元素; ———第1001部分:應用模塊:外觀賦值; ———第1006部分:應用模塊:基礎表達。 本部分為GB/T16656的第11部分。 本部分等同采用國際標準ISO 10303-11:2004《工業自動化與集成 產品數據表達與交換 第11部分:描述方法:EXPRESS語言參考手冊》(英文版)。 本部分代替GB/T16656.11—1996《工業自動化和集成 產品數據表達與交換 第11部分:描述方法:EXPRESS語言參考手冊》。 本部分與GB/T16656.11—1996相比主要變化如下: 本部分規定了EXPRESS語言元素,每個語言元素在各自的上下文語境中用示例表示,先描述簡單的元素,然后按照遞增的方式描述更復雜的概念。本部分的修訂是為了滿足多模式規范的需求,新的概念構成了可擴展數據模型的體系架構,本部分的本次修訂版本中增加了以下關鍵詞: ———BASED_ON; ———END_SUBTYPE_CONSTRAINT; ———EXTENSIBLE; ———GENERIC_ENTITY; ———RENAMED; ———SUBTYPE_CONSTRAINT; ———TOTAL_OVER; ———WITH。 若模式中將這些關鍵詞作為EXPRESS標識符,則在本修訂版本中該模式是無效的。此外,本修訂版中修改的內容保持與上一個版本的向上兼容性。 本部分的附錄A、附錄B、附錄C、附錄D、附錄E、附錄F和附錄G 均為規范性附錄,附錄H、附錄I、附錄J、附錄K、附錄NA 均為資料性附錄。 本部分由中國機械工業聯合會提出。 本部分由全國自動化系統與集成標準化技術委員會(SAC/TC159)歸口。 本部分主要起草單位:中國標準化研究院。 本部分主要起草人:詹俊峰、李文武、劉守華、柳青。 |
標準目錄
前言 Ⅴ 1 范圍 1 2 規范性引用文件 1 3 術語和定義 1 3.1 GB/T16656.1中定義的術語 1 3.2 GB/T13000.1中定義的術語 2 3.3 其他術語和定義 2 4 一致性要求 4 4.1 用EXPRESS表示的形式化描述 4 4.2 EXPRESS的實現 4 5 基本原則 5 6 語言描述語法 5 6.1 語法說明 5 6.2 專用字符標記 6 7 基本語言元素 7 7.1 字符集 7 7.2 保留字 10 7.3 符號 11 7.4 標識符 11 7.5 文字 12 8 數據類型 14 8.1 簡單數據類型 14 8.2 聚合數據類型 16 8.3 命名數據類型 20 8.4 構造數據類型 21 8.5 廣義數據類型 25 8.6 數據類型使用分類 25 9 聲明 27 9.1 類型聲明 27 9.2 實體聲明 28 9.3 模式 45 9.4 常量 46 9.5 算法 46 9.6 規則 53 9.7 子類約束 55 10 范圍和可見性 58 10.1 范圍規則 59 10.2 可見性規則 59 10.3 顯式項規則 60 11 接口描述 64 11.1 USE接口描述 65 11.2 REFERENCE接口描述 65 11.3 USE和REFERENCE的相互作用 65 11.4 隱式接口 66 12 表達式 68 12.1 算術操作符 69 12.2 關系操作符 70 12.3 二進制操作符 77 12.4 邏輯操作符 78 12.5 字符串操作符 80 12.6 聚合操作符 80 12.7 引用 85 12.8 函數調用 88 12.9 聚合預置符 89 12.10 復合實體實例構造操作符 90 12.11 類型兼容性 91 12.12 表達式中的選擇數據類型 91 13 可執行語句 92 13.1 空語句 93 13.2 別名語句 93 13.3 賦值 93 13.4 選擇語句 95 13.5 復合語句 96 13.6 轉移語句 96 13.7 IfThenElse語句 97 13.8 過程調用語句 97 13.9 重復語句 97 13.10 返回語句 99 13.11 跳語句 99 14 內部常數 100 14.1 常數e 100 14.2 不確定值 100 14.3 假 100 14.4 常數PI 100 14.5 Self 100 14.6 真 100 14.7 未知 100 15 內部函數 100 15.1 算術函數 Abs 100 15.2 算術函數 ACos 100 15.3 算術函數 ASin 101 15.4 算術函數 ATan 101 15.5 二進制函數 BLength 101 15.6 算術函數 Cos 101 15.7 廣義函數 Exists 101 15.8 算術函數 Exp 101 15.9 廣義函數 Format 102 15.10 算術函數 HiBound 103 15.11 算術函數 HiIndex 104 15.12 串函數 Length 104 15.13 算術函數 LoBound 104 15.14 算術函數 Log 105 15.15 算術函數 Log2 105 15.16 算術函數 Log10 105 15.17 算術函數 LoIndex 105 15.18 空值函數 NVL 106 15.19 算術函數 Odd 106 15.20 廣義函數 RolesOF 106 15.21 算術函數 Sin 107 15.22 聚合函數 SizeOf 107 15.23 算術函數 Sqrt 107 15.24 算術函數 Tan 108 15.25 廣義函數 TypeOf 108 15.26 廣義函數 UsedIn 110 15.27 算術函數 Value 110 15.28 隸屬函數 Value_in 111 15.29 唯一性函數 Value_unique 111 16 內部過程 111 16.1 插入 111 16.2 刪除 112 附錄A (規范性附錄) EXPRESS語言的語法 113 附錄B(規范性附錄) 許可實體實例化的確定 132 附錄C (規范性附錄) 接口描述規定的實例限制 145 附錄D (規范性附錄) EXPRESS-G:EXPRESS圖形子集 148 附錄E (規范性附錄) 接口描述規定的實例限制 160 附錄F(規范性附錄) 信息對象注冊 161 附錄G (規范性附錄) 從多個模式生成單個模式 162 附錄H (資料性附錄) 關系 185 附錄I(資料性附錄) EXPRESS-G圖例的EXPRESS模型 190 附錄J(資料性附錄) 不推薦使用的EXPRESS語言的語法特征 195 附錄K (資料性附錄) EXPRESS語言新構造的示例 196 附錄NA (資料性附錄) ISO10303各部分的目錄 199 參考文獻 212 |
推薦檢測機構
申請入駐
暫未檢測到相關機構,邀您申請入駐~
推薦認證機構
申請入駐
暫未檢測到相關機構,邀您申請入駐~
推薦培訓機構
申請入駐
暫未檢測到相關機構,邀您申請入駐~