ICS3524050

J07..

中華人民共和國國家標(biāo)準(zhǔn)

GB/T39470—2020/ISO/PAS194502015

:

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

Automationsystemsandintegration—Object-processmethodology

(ISO/PAS19450:2015,IDT)

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

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

國家標(biāo)準(zhǔn)化管理委員會

GB/T39470—2020/ISO/PAS194502015

:

目次

前言

…………………………Ⅲ

引言

…………………………Ⅳ

范圍

1………………………1

規(guī)范性引用文件

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

術(shù)語與定義

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

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

8-(OPM)………18

程序關(guān)聯(lián)概述

8.1………………………18

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

8.2……………18

程序關(guān)聯(lián)

9…………………20

轉(zhuǎn)換關(guān)聯(lián)

9.1……………20

使能關(guān)聯(lián)

9.2……………21

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

9.3-………………23

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

9.4-………………28

控制關(guān)聯(lián)

9.5……………29

結(jié)構(gòu)關(guān)聯(lián)

10………………43

結(jié)構(gòu)關(guān)聯(lián)類型

10.1……………………43

標(biāo)簽結(jié)構(gòu)關(guān)聯(lián)

10.2……………………43

基本結(jié)構(gòu)關(guān)系

10.3……………………44

狀態(tài)指定結(jié)構(gòu)關(guān)系和關(guān)聯(lián)

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

關(guān)系基數(shù)

11………………59

結(jié)構(gòu)和程序關(guān)聯(lián)中的對象多重性

11.1………………59

對象多重性表達(dá)式和約束

11.2………………………61

屬性值和多重性約束

11.3……………63

邏輯運(yùn)算符和

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

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

12.1AND…………63

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

12.2XOROR……………………65

Ⅰ

GB/T39470—2020/ISO/PAS194502015

:

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

12.3XOROR………………66

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

12.4-XOROR……………68

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

12.5-……………69

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

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

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

12.7………………………70

執(zhí)行路徑和路徑標(biāo)簽

13…………………73

使用管理上下文

14OPM………………74

完成系統(tǒng)圖

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

實(shí)現(xiàn)模型內(nèi)涵

14.2……………………74

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

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

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

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

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

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

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

D()OPM……………146

參考文獻(xiàn)

……………………152

Ⅱ

GB/T39470—2020/ISO/PAS194502015

:

前言

本標(biāo)準(zhǔn)按照給出的規(guī)則起草

GB/T1.1—2009。

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

ISO/PAS19450:2015《》。

請注意本文件的某些內(nèi)容可能涉及專利本文件的發(fā)布機(jī)構(gòu)不承擔(dān)識別這些專利的責(zé)任

。。

本標(biāo)準(zhǔn)由中國機(jī)械工業(yè)聯(lián)合會提出

。

本標(biāo)準(zhǔn)由全國自動化系統(tǒng)與集成標(biāo)準(zhǔn)化技術(shù)委員會歸口

(SAC/TC159)。

本標(biāo)準(zhǔn)起草單位北京機(jī)械工業(yè)自動化研究所有限公司清華大學(xué)

:、。

本標(biāo)準(zhǔn)主要起草人孫潔香孫遜黃雙喜黎曉東王凱張雪嫣楊秋影王海丹

:、、、、、、、。

Ⅲ

GB/T39470—2020/ISO/PAS194502015

:

引言

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

-(OPM)、

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

。OPM、。OPM

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

。OPM

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

、OPM。

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

OPM:。

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

-(OPDs),

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

-(OPL)。,OPD

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

OPM,。OPD

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

。OPL,OPMOPD

式鑒于的語法和語義是英文自然語言的一個子集域?qū)＜铱梢院苋菀椎乩斫馕谋灸Ｐ?/p>

。OPL,。

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

OPM。

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

,、、、、。,OPM

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

、

商業(yè)系統(tǒng)的開發(fā)調(diào)查和分析從而使公司能夠?qū)⒉煌寄芎湍芰θ谌氲揭粋€通用直觀且形式化的框架

、,

中并且提供互操作性

,。

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

OPM、、,。

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

,OPM、

恢復(fù)標(biāo)準(zhǔn)可為任何必要細(xì)節(jié)進(jìn)行擴(kuò)展包括系統(tǒng)的功能結(jié)構(gòu)和行為方面

。,、。

的一個特殊應(yīng)用體現(xiàn)在技術(shù)標(biāo)準(zhǔn)的起草和編寫有助于勾畫一項標(biāo)準(zhǔn)的實(shí)施情況及

OPM。OPM

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

,。OPM,

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

,。

本標(biāo)準(zhǔn)為系統(tǒng)構(gòu)造師和設(shè)計師提供了一個能夠精確而有效地將其用于系統(tǒng)建模的基準(zhǔn)工

。OPM

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

PAS。

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

(EBNF)。

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

512,。13。

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

OPM。,、

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

、OPM、、

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

。OPL。

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

、OPD,OPL。,

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

,OPM。B.6OPM

的其他慣例

。

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

AEBNFOPL。

附錄介紹了應(yīng)用程序中通常使用的約定和模式

BOPM。

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

COPMOPM。

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

DOPM。

Ⅳ

GB/T39470—2020/ISO/PAS194502015

:

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

1范圍

本標(biāo)準(zhǔn)對對象過程方法論進(jìn)行詳細(xì)說明使從業(yè)者可以將對象過程方法論的概

-(OPM),-(OPM)

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

、,

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

。

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

-,-

方法論的所有可能性應(yīng)用提供一個完整性的參考

。

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

無