GB/T 39470-2020自動(dòng)化系統(tǒng)與集成對(duì)象過(guò)程方法

ICS3524050

J07..

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

GB/T39470—2020/ISO/PAS194502015

:

自動(dòng)化系統(tǒng)與集成對(duì)象過(guò)程方法

Automationsystemsandintegration—Object-processmethodology

(ISO/PAS19450:2015,IDT)

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

國(guó)家市場(chǎng)監(jiān)督管理總局發(fā)布

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

GB/T39470—2020/ISO/PAS194502015

:

目次

前言

…………………………Ⅲ

引言

…………………………Ⅳ

范圍

1………………………1

規(guī)范性引用文件

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

術(shù)語(yǔ)與定義

3………………1

符號(hào)

4………………………8

一致性

5……………………9

對(duì)象過(guò)程方法原理和概念

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

對(duì)象過(guò)程方法建模原理

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

對(duì)象過(guò)程方法論基本概念

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

對(duì)象過(guò)程方法論事物語(yǔ)法和語(yǔ)義

7-(OPM)……………14

對(duì)象

7.1…………………14

過(guò)程

7.2…………………14

對(duì)象過(guò)程方法論事物

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

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

8-(OPM)………18

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

8.1………………………18

操作語(yǔ)義和執(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)類(lèi)型

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)中的對(duì)象多重性

11.1………………59

對(duì)象多重性表達(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ī)范性附錄中的形式化語(yǔ)法

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

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

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

附錄資料性附錄使用對(duì)象過(guò)程方法論建立模型

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

附錄資料性附錄動(dòng)態(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)使用翻譯法等同采用自動(dòng)化系統(tǒng)與集成對(duì)象過(guò)程方法

ISO/PAS19450:2015《》。

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

。。

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

。

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

(SAC/TC159)。

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

:、。

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

:、、、、、、、。

Ⅲ

GB/T39470—2020/ISO/PAS194502015

:

引言

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

-(OPM)、

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

。OPM、。OPM

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

。OPM

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

、OPM。

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

OPM:。

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

-(OPDs),

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

-(OPL)。,OPD

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

OPM,。OPD

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

。OPL,OPMOPD

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

。OPL,。

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

OPM。

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

,、、、、。,OPM

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

、

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

、,

中并且提供互操作性

,。

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

OPM、、,。

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

,OPM、

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

。,、。

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

OPM。OPM

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

,。OPM,

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

,。

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

。OPM

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

PAS。

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

(EBNF)。

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

512,。13。

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

OPM。,、

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

、OPM、、

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

。OPL。

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

、OPD,OPL。,

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

,OPM。B.6OPM

的其他慣例

。

附錄介紹了以形式表示的形式化語(yǔ)法

AEBNFOPL。

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

BOPM。

附錄介紹了作為模型的的各個(gè)方面

COPMOPM。

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

DOPM。

Ⅳ

GB/T39470—2020/ISO/PAS194502015

:

自動(dòng)化系統(tǒng)與集成對(duì)象過(guò)程方法

1范圍

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

-(OPM),-(OPM)

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

、,

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

。

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

-,-

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

。

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

無(wú)