ICS3524050

J07..

中華人民共和國國家標準

GB/T39470—2020/ISO/PAS194502015

:

自動化系統(tǒng)與集成對象過程方法

Automationsystemsandintegration—Object-processmethodology

(ISO/PAS19450:2015,IDT)

2020-11-19發(fā)布2021-06-01實施

國家市場監(jiān)督管理總局發(fā)布

國家標準化管理委員會

GB/T39470—2020/ISO/PAS194502015

:

目次

前言

…………………………Ⅲ

引言

…………………………Ⅳ

范圍

1………………………1

規(guī)范性引用文件

2…………………………1

術語與定義

3………………1

符號

4………………………8

一致性

5……………………9

對象過程方法原理和概念

6(OPM)……………………10

對象過程方法建模原理

6.1(OPM)…………………10

對象過程方法論基本概念

6.2-(OPM)………………11

對象過程方法論事物語法和語義

7-(OPM)……………14

對象

7.1…………………14

過程

7.2…………………14

對象過程方法論事物

7.3-(OPM)……………………15

對象過程方法論關聯(lián)語法和語義概述

8-(OPM)………18

程序關聯(lián)概述

8.1………………………18

操作語義和執(zhí)行控制流

8.2……………18

程序關聯(lián)

9…………………20

轉換關聯(lián)

9.1……………20

使能關聯(lián)

9.2……………21

狀態(tài)指定轉換關聯(lián)

9.3-………………23

狀態(tài)指定使能關聯(lián)

9.4-………………28

控制關聯(lián)

9.5……………29

結構關聯(lián)

10………………43

結構關聯(lián)類型

10.1……………………43

標簽結構關聯(lián)

10.2……………………43

基本結構關系

10.3……………………44

狀態(tài)指定結構關系和關聯(lián)

10.4-………………………55

關系基數(shù)

11………………59

結構和程序關聯(lián)中的對象多重性

11.1………………59

對象多重性表達式和約束

11.2………………………61

屬性值和多重性約束

11.3……………63

邏輯運算符和

12:AND、XOROR……………………63

邏輯的程序關聯(lián)

12.1AND…………63

邏輯和的程序關聯(lián)

12.2XOROR……………………65

Ⅰ

GB/T39470—2020/ISO/PAS194502015

:

趨異型和趨同型和關聯(lián)

12.3XOROR………………66

狀態(tài)指定的和關聯(lián)扇面

12.4-XOROR……………68

控制修正的關聯(lián)扇面

12.5-……………69

狀態(tài)指定控制修正關聯(lián)扇面

12.6--……………………69

關聯(lián)概率和概率關聯(lián)扇面

12.7………………………70

執(zhí)行路徑和路徑標簽

13…………………73

使用管理上下文

14OPM………………74

完成系統(tǒng)圖

14.1(SD)…………………74

實現(xiàn)模型內涵

14.2……………………74

附錄規(guī)范性附錄中的形式化語法

A()EBNFOPL…………………91

附錄規(guī)范性附錄運用指南

B()OPM…………………112

附錄資料性附錄使用對象過程方法論建立模型

C()-(OPM)OPM………………115

附錄資料性附錄動態(tài)性和仿真

D()OPM……………146

參考文獻

……………………152

Ⅱ

GB/T39470—2020/ISO/PAS194502015

:

前言

本標準按照給出的規(guī)則起草

GB/T1.1—2009。

本標準使用翻譯法等同采用自動化系統(tǒng)與集成對象過程方法

ISO/PAS19450:2015《》。

請注意本文件的某些內容可能涉及專利本文件的發(fā)布機構不承擔識別這些專利的責任

。。

本標準由中國機械工業(yè)聯(lián)合會提出

。

本標準由全國自動化系統(tǒng)與集成標準化技術委員會歸口

(SAC/TC159)。

本標準起草單位北京機械工業(yè)自動化研究所有限公司清華大學

:、。

本標準主要起草人孫潔香孫遜黃雙喜黎曉東王凱張雪嫣楊秋影王海丹

:、、、、、、、。

Ⅲ

GB/T39470—2020/ISO/PAS194502015

:

引言

對象過程方法論是一種用于自動化系統(tǒng)建模和知識表達的緊湊型概念性方法語言和方

-(OPM)、

法論的應用范圍可以從基本元素的簡單組合系統(tǒng)到復雜多學科和動態(tài)系統(tǒng)適用于借

。OPM、。OPM

助信息技術和計算機技術工具來實施和提供支持該公用規(guī)范明確地指定了的語言和方法論以

。OPM

便為系統(tǒng)架構師設計師和兼容工具開發(fā)商建立一個能支持所有類型系統(tǒng)建模的共同基礎

、OPM。

為同一模型提供了兩種語義上同等模式的表達方式圖形式和文本式一組層次化和相互

OPM:。

關聯(lián)的對象過程圖構成了圖形模型而一組采用英語語言子集的自動生成的句子則構成了對

-(OPDs),

象過程語言所表達的文本模式在一個圖形化可視模型中每個都包含有以圖形符號被

-(OPL)。,OPD

描繪出來的要素有時還帶有標簽注釋語法指定了管理這些圖形要素之間約定的一致性

OPM,。OPD

和正確性方法通過使用以保留圖形模型約束的方式為每一個生成了相應的文本模

。OPL,OPMOPD

式鑒于的語法和語義是英文自然語言的一個子集域專家可以很容易地理解文本模型

。OPL,。

符號支持具有形式化語法和語義系統(tǒng)的概念建模這種形式通常作為基于模型的系統(tǒng)工程

OPM。

的基礎包括系統(tǒng)架構規(guī)劃工程設計開發(fā)生命周期支持通信和演化此外的這種獨立于領

,、、、、。,OPM

域的性質使系統(tǒng)建模適用于整個科學商業(yè)和工業(yè)團體以用于其特殊應用領域中制造以及其他工業(yè)和

、

商業(yè)系統(tǒng)的開發(fā)調查和分析從而使公司能夠將不同技能和能力融入到一個通用直觀且形式化的框架

、,

中并且提供互操作性

,。

為系統(tǒng)施工測試集成和日常維護提供了一個公共視圖確保了多學科環(huán)境下工作的實施

OPM、、,。

此外公司通過使用可以改善其對系統(tǒng)功能的縱覽人員任務分配的靈活性以及管理異常和錯誤

,OPM、

恢復標準可為任何必要細節(jié)進行擴展包括系統(tǒng)的功能結構和行為方面

。,、。

的一個特殊應用體現(xiàn)在技術標準的起草和編寫有助于勾畫一項標準的實施情況及

OPM。OPM

識別和減少標準中的不足從而顯著提高后續(xù)草案的質量使用即使作為一個系統(tǒng)基于模型的

,。OPM,

文本也可進行擴展以包含更多細節(jié)這樣基礎模型就會一直保持其高度的形式化和一致性

,。

本標準為系統(tǒng)構造師和設計師提供了一個能夠精確而有效地將其用于系統(tǒng)建模的基準工

。OPM

具供應商可將作為一種形式化標準規(guī)范來創(chuàng)建軟件工具以增強概念性建模

PAS。

本標準提供了符合擴展巴科斯范式語言語法規(guī)范的規(guī)范性文本表達式所有要素都呈現(xiàn)

(EBNF)。

在第章到第章中僅很少地涉及方法論第章呈現(xiàn)了與放大和展開相關的上下文管理機制

512,。13。

本標準為展現(xiàn)而使用了若干慣例具體來說文本中的宋體加粗字體和圖表標題表格標題

OPM。,、

以及文本標題中的斜體加粗字體都對用于的對象過程狀態(tài)和關聯(lián)標簽的標簽名稱進行了區(qū)

、OPM、、

分所保留的單詞是帶有宋體加粗字體的逗號和句號的宋體常規(guī)字體大多數(shù)圖形同時包含有

。OPL。

一個圖形圖像部分和一個等效文本即部分鑒于這是一種語言規(guī)范精確使用術語定義

、OPD,OPL。,

是非常重要的且通常用法中的一些術語在使用時具有特殊的意義第章解釋了使用

,OPM。B.6OPM

的其他慣例

。

附錄介紹了以形式表示的形式化語法

AEBNFOPL。

附錄介紹了應用程序中通常使用的約定和模式

BOPM。

附錄介紹了作為模型的的各個方面

COPMOPM。

附錄總結了的動態(tài)性和仿真功能

DOPM。

Ⅳ

GB/T39470—2020/ISO/PAS194502015

:

自動化系統(tǒng)與集成對象過程方法

1范圍

本標準對對象過程方法論進行詳細說明使從業(yè)者可以將對象過程方法論的概

-(OPM),-(OPM)

念語義和語法概念模型作為一種建模范例和語言來建立不同細節(jié)程度的概念模型并可使工具商能夠

、,

提供應用建模產(chǎn)品以幫助那些從業(yè)者們

。

盡管本標準介紹了對象過程方法論所使用的一些例子以提高清晰度但并未嘗試要為對象過程

-,-

方法論的所有可能性應用提供一個完整性的參考

。

2規(guī)范性引用文件

無