基于體系結(jié)構(gòu)物理交換規(guī)范的作戰(zhàn)活動(dòng)可執(zhí)行模型構(gòu)建方法

羅愛(ài)民， 傅 炯

(國(guó)防科技大學(xué) 信息系統(tǒng)工程重點(diǎn)實(shí)驗(yàn)室， 湖南 長(zhǎng)沙 410073)

?

基于體系結(jié)構(gòu)物理交換規(guī)范的作戰(zhàn)活動(dòng)可執(zhí)行模型構(gòu)建方法

羅愛(ài)民， 傅 炯

(國(guó)防科技大學(xué) 信息系統(tǒng)工程重點(diǎn)實(shí)驗(yàn)室， 湖南 長(zhǎng)沙 410073)

作戰(zhàn)活動(dòng)是體系結(jié)構(gòu)的核心數(shù)據(jù)，保證作戰(zhàn)活動(dòng)的正確性是提高體系結(jié)構(gòu)質(zhì)量的關(guān)鍵?；贒oDAF2.0提出的體系結(jié)構(gòu)數(shù)據(jù)物理交換規(guī)范，定義了作戰(zhàn)活動(dòng)模型和作戰(zhàn)規(guī)則模型的數(shù)據(jù)模型；對(duì)基本Petri網(wǎng)交換規(guī)范進(jìn)行擴(kuò)展，形成擴(kuò)展Petri網(wǎng)的數(shù)據(jù)交換規(guī)范；建立活動(dòng)模型相關(guān)數(shù)據(jù)與擴(kuò)展Petri網(wǎng)交換規(guī)范的映射規(guī)則，根據(jù)映射規(guī)則自動(dòng)生成作戰(zhàn)活動(dòng)Petri網(wǎng)模型，并研制了可執(zhí)行模型自動(dòng)生成工具。最后,通過(guò)案例驗(yàn)證了方法的合理性。

體系結(jié)構(gòu)；可執(zhí)行模型；物理交換規(guī)范；擴(kuò)展Petri網(wǎng)標(biāo)記語(yǔ)言

體系結(jié)構(gòu)是系統(tǒng)組成及其關(guān)系，以及它們隨時(shí)間演進(jìn)的原則和指南。組成、關(guān)系以及指南是體系結(jié)構(gòu)設(shè)計(jì)的基本要素。作戰(zhàn)活動(dòng)不僅反映了系統(tǒng)體系結(jié)構(gòu)的功能和流程，而且也決定了信息交換關(guān)系和交換內(nèi)容。因此作戰(zhàn)活動(dòng)及其流程是體系結(jié)構(gòu)設(shè)計(jì)的核心內(nèi)容。在美國(guó)國(guó)防部體系結(jié)構(gòu)框架(DoD Architecture Framework，DoDAF)2.0提出的DM2[1](DoDAF Meta-model)中，活動(dòng)也是重要的數(shù)據(jù)實(shí)體?？茖W(xué)地分析、驗(yàn)證與評(píng)估活動(dòng)的動(dòng)態(tài)特性是保證體系結(jié)構(gòu)設(shè)計(jì)質(zhì)量的關(guān)鍵。利用可執(zhí)行模型進(jìn)行數(shù)據(jù)分析、驗(yàn)證與評(píng)估是體系結(jié)構(gòu)開發(fā)中最常用的方法之一。通過(guò)構(gòu)建體系結(jié)構(gòu)可執(zhí)行模型，可以分析行為合理性、邏輯合理性，驗(yàn)證評(píng)估與活動(dòng)相關(guān)的屬性、性能等。因此，體系結(jié)構(gòu)可執(zhí)行模型構(gòu)建方法多年來(lái)一直受到關(guān)注。如Levis等[2-3]將UML模型、IDEF0模型和IDEF3模型轉(zhuǎn)為有色Petri網(wǎng)(Colored Petri Net,CPN)可執(zhí)行模型；倪楓等[4]將IDEF0模型和IDEF1X模型等轉(zhuǎn)換為層次有色Petri網(wǎng)(Hierarchical Colored Petri Net,HCPN)模型；文獻(xiàn)[5]將IDEF0模型和IDEF3模型等轉(zhuǎn)為對(duì)象Petri網(wǎng)(Object Petri Net,OPN)可執(zhí)行模型。這些研究都是針對(duì)具體的建模方法制定的轉(zhuǎn)換規(guī)則，生成體系結(jié)構(gòu)可執(zhí)行模型。如采用IDEF0對(duì)作戰(zhàn)活動(dòng)建模，將其轉(zhuǎn)換為Petri網(wǎng)模型時(shí)，一般采用將建模元素-活動(dòng)轉(zhuǎn)換為轉(zhuǎn)移，輸入(輸出)箭頭轉(zhuǎn)換為位置和弧等。DoDAF2.0中提出了以數(shù)據(jù)為中心的體系結(jié)構(gòu)設(shè)計(jì)方法，體系結(jié)構(gòu)最終以規(guī)范的數(shù)據(jù)文件展示，與具體的建模方法和表現(xiàn)形式無(wú)關(guān)，體系結(jié)構(gòu)數(shù)據(jù)值包含數(shù)據(jù)的具體內(nèi)容，沒(méi)有每類數(shù)據(jù)具體的建模方法以及數(shù)據(jù)對(duì)應(yīng)的建模元素。因此，原有的方法不能滿足需求，必須研究基于體系結(jié)構(gòu)數(shù)據(jù)規(guī)范的可執(zhí)行模型構(gòu)建方法。在這方面有學(xué)者[6-9]研究了基于DM2的體系結(jié)構(gòu)數(shù)據(jù)向Petri網(wǎng)模型轉(zhuǎn)換的相關(guān)問(wèn)題，在一定程度上解決了可執(zhí)行模型生成時(shí)體系結(jié)構(gòu)建模語(yǔ)言多樣化帶來(lái)的問(wèn)題。但這些研究更多是針對(duì)體系結(jié)構(gòu)中的一類模型數(shù)據(jù)，難以對(duì)活動(dòng)整體數(shù)據(jù)進(jìn)行分析。

本文基于符合物理交換規(guī)范(PES)的體系結(jié)構(gòu)數(shù)據(jù)，在擴(kuò)展Petri網(wǎng)標(biāo)記語(yǔ)言(PNML)規(guī)范的基礎(chǔ)上，提出了作戰(zhàn)活動(dòng)的Petri網(wǎng)可執(zhí)行模型構(gòu)建方法，能夠?qū)崿F(xiàn)作戰(zhàn)活動(dòng)數(shù)據(jù)直接構(gòu)建符合PNML規(guī)范的Petri網(wǎng)模型。

1 體系結(jié)構(gòu)數(shù)據(jù)模型

1.1 體系結(jié)構(gòu)數(shù)據(jù)物理交換規(guī)范

為規(guī)范體系結(jié)構(gòu)數(shù)據(jù)收集、共享與交換，DoDAF2.0中提出了PES規(guī)范。按照DoDAF2.0，PES規(guī)范分為2部分(如圖1所示)，即核心數(shù)據(jù)(IdeasData)和模型數(shù)據(jù)(IdeasViews)部分。其中，IdeasData是按照DM2中定義的類別來(lái)組織數(shù)據(jù)，并對(duì)分布在不同模型中的同一數(shù)據(jù)匯總，將不同類數(shù)據(jù)組織在不同的目錄下。如分布在不同模型中的information數(shù)據(jù)都被匯集在IdeasData的Information目錄下，并且記錄Information的名稱、ID、描述等各類信息。

圖1 PES規(guī)范根目錄

IdeasViews主要是各模型包含的數(shù)據(jù)及其表現(xiàn)形式等，它按照模型類別來(lái)組織模型中包含的數(shù)據(jù)。一般來(lái)講，IdeasViews按照IdeasViews→ViewName(視圖名稱)→ModelName(模型名稱)→…(模型數(shù)據(jù))的層次關(guān)系來(lái)組織數(shù)據(jù)。

PES作為一種推薦的體系結(jié)構(gòu)數(shù)據(jù)交換規(guī)范，正在成為不同體系結(jié)構(gòu)框架進(jìn)行數(shù)據(jù)交換的規(guī)范。目前已經(jīng)有一些工具支持該規(guī)范，如No Magic公司旗下的MagicDraw和Cameo Enterprise Architecture[10]系列建模工具等。

1.2 作戰(zhàn)活動(dòng)模型的設(shè)計(jì)

活動(dòng)作為體系結(jié)構(gòu)中設(shè)計(jì)的核心內(nèi)容，通常需要從不同側(cè)面進(jìn)行描述。一般可采用活動(dòng)模型、規(guī)則模型、時(shí)序圖等。因此，活動(dòng)的描述內(nèi)容分布在不同的模型中。如DoDAF2.0中作戰(zhàn)視角的作戰(zhàn)活動(dòng)模型(OV-5b)、作戰(zhàn)規(guī)則模型(OV-6a)和作戰(zhàn)事件跟蹤關(guān)系(OV-6c)等。本文重點(diǎn)研究作戰(zhàn)活動(dòng)模型和作戰(zhàn)規(guī)則模型組合生成可執(zhí)行模型的構(gòu)建方法。根據(jù)作戰(zhàn)活動(dòng)模型的定義和DM2中定義的活動(dòng)元模型，建立作戰(zhàn)活動(dòng)OV-5b模型的元模型如圖2所示。圖中各模型的含義見DM2相關(guān)文檔。

根據(jù)作戰(zhàn)規(guī)則模型的定義以及DM2定義的活動(dòng)元模型，建立作戰(zhàn)規(guī)則模型(OV-6a)的元模型如圖3所示。

圖2 OV-5b元模型

圖3 OV-6a元模型

以上述元模型為基礎(chǔ)，利用具體的建模方法可以設(shè)計(jì)作戰(zhàn)活動(dòng)和作戰(zhàn)規(guī)則。在具體建模方式上，作戰(zhàn)活動(dòng)模型可選擇IDEF0建模語(yǔ)言。作戰(zhàn)規(guī)則模型可采用活動(dòng)圖描述。為更好地描述規(guī)則執(zhí)行中信息的輸入和輸出關(guān)系，在基本活動(dòng)圖的基礎(chǔ)上擴(kuò)展2個(gè)建模元素：輸入信息和輸出信息，它們分別表示每個(gè)規(guī)則模型執(zhí)行過(guò)程中與外界交換的信息元素。

為精確描述作戰(zhàn)活動(dòng)及其執(zhí)行過(guò)程，在體系結(jié)構(gòu)設(shè)計(jì)中，作戰(zhàn)活動(dòng)模型描述活動(dòng)的組成及其相互關(guān)系，作戰(zhàn)規(guī)則模型是對(duì)活動(dòng)執(zhí)行細(xì)節(jié)的詳細(xì)說(shuō)明。因此，作戰(zhàn)活動(dòng)模型與作戰(zhàn)規(guī)則模型必須相互關(guān)聯(lián)。在體系結(jié)構(gòu)設(shè)計(jì)中，針對(duì)OV-5b中葉子活動(dòng)，分別建立相應(yīng)的作戰(zhàn)規(guī)則模型，這樣形成對(duì)作戰(zhàn)活動(dòng)細(xì)化的描述。在圖2中，利用RuleConstrainsActivity關(guān)系數(shù)據(jù)可以建立OV-5b中的Activity和OV-6a定義Rule的關(guān)系，對(duì)作戰(zhàn)活動(dòng)進(jìn)行細(xì)化說(shuō)明。

由于建立了作戰(zhàn)活動(dòng)與作戰(zhàn)規(guī)則的關(guān)聯(lián)關(guān)系，因此在設(shè)計(jì)中要對(duì)作戰(zhàn)活動(dòng)與作戰(zhàn)規(guī)則進(jìn)行數(shù)據(jù)一致性檢查。重點(diǎn)檢查作戰(zhàn)活動(dòng)與關(guān)聯(lián)的作戰(zhàn)規(guī)則在輸入、輸出信息上是否一致，保證作戰(zhàn)活動(dòng)需要消耗的信息(輸入信息)、作戰(zhàn)活動(dòng)產(chǎn)生的信息(輸出信息)與關(guān)聯(lián)作戰(zhàn)規(guī)則定義的輸入和輸出信息保持一致。

2 作戰(zhàn)活動(dòng)模型的Petri網(wǎng)模型構(gòu)建

通?？蓤?zhí)行模型的類型有多種選擇，本文選用的可執(zhí)行模型是Petri 網(wǎng)模型。

2.1 擴(kuò)展PNML數(shù)據(jù)規(guī)范

PNML是一種基于XML的Petri網(wǎng)數(shù)據(jù)建模語(yǔ)言，是一種常用的Petri網(wǎng)模型數(shù)據(jù)交換的規(guī)范。為保證生成的可執(zhí)行模型能夠在不同的Petri網(wǎng)建模工具中使用，研究生成了符合PNML規(guī)范的Petri網(wǎng)模型。

對(duì)象Petri網(wǎng)[11]是一種支持對(duì)象、層次化的Petri網(wǎng)，是對(duì)基本Petri網(wǎng)的擴(kuò)展。標(biāo)準(zhǔn)PNML規(guī)范主要針對(duì)基本Petri網(wǎng)，只包含了位置(place)、轉(zhuǎn)移(transition)和弧(arc)3類信息，不能支持層次化建模。因此，要支持對(duì)象Petri網(wǎng)數(shù)據(jù)交換，必須對(duì)PNML進(jìn)行擴(kuò)展。為此，引入模塊(module)、輸入位置(referenceImportPlace)、輸出位置(referenceExportPlace)等概念。Module相當(dāng)于對(duì)象Petri網(wǎng)中對(duì)象的概念，Module包含位置、轉(zhuǎn)移、弧、輸入位置、輸出位置和模塊實(shí)例。Module中也可以嵌含其他對(duì)象的實(shí)例。

擴(kuò)展PNML規(guī)范分為Page和Module 2部分。其中，Page為Petri網(wǎng)的頂層頁(yè)面，包含位置、轉(zhuǎn)移、弧、輸入位置、輸出位置、模塊實(shí)例(instance)，如圖4所示。需要說(shuō)明的是，輸入位置和輸出位置是由位置擴(kuò)展得到的Petri網(wǎng)元素，它們是模塊輸入接口和輸出接口，目的是用于模塊實(shí)例和轉(zhuǎn)移之間的連接。

圖4 Page基本規(guī)范

擴(kuò)展后的PNML可以作為對(duì)象Petri網(wǎng)的數(shù)據(jù)規(guī)范，支持對(duì)象Petri網(wǎng)的XML文件存儲(chǔ)。

2.2 轉(zhuǎn)換方法

建立體系結(jié)構(gòu)Petri網(wǎng)模型的過(guò)程如圖5所示。從圖中可以看出，建立PES中活動(dòng)數(shù)據(jù)與擴(kuò)展PNML規(guī)范中各元素之間的映射關(guān)系是構(gòu)建作戰(zhàn)活動(dòng)Petri網(wǎng)模型的關(guān)鍵。

圖5 體系結(jié)構(gòu)Petri網(wǎng)模型構(gòu)建過(guò)程

在分析PES中關(guān)于活動(dòng)元模型和擴(kuò)展PNML規(guī)范中數(shù)據(jù)元素映射關(guān)系的基礎(chǔ)上，建立活動(dòng)數(shù)據(jù)模型轉(zhuǎn)化為對(duì)象Petri網(wǎng)模型的轉(zhuǎn)換規(guī)則，如表1和表2所示。表中：A表示非葉子活動(dòng)；a1表示關(guān)聯(lián)屬性RuleConstrainsActivity關(guān)系不為空的葉子活動(dòng)；a2表示關(guān)聯(lián)屬性RuleConstrainsActivity關(guān)系為空的葉子活動(dòng)。

在上述轉(zhuǎn)換規(guī)則的基礎(chǔ)上，利用Java平臺(tái)設(shè)計(jì)實(shí)現(xiàn)了活動(dòng)的可執(zhí)行模型轉(zhuǎn)換工具，實(shí)現(xiàn)了作戰(zhàn)活動(dòng)數(shù)據(jù)到擴(kuò)展PNML數(shù)據(jù)轉(zhuǎn)換功能，即利用體系結(jié)構(gòu)中的活動(dòng)數(shù)據(jù)，生成了對(duì)象Petri網(wǎng)可執(zhí)行模型。

表1 OV-5b核心數(shù)據(jù)轉(zhuǎn)換規(guī)則

表2 OV-6a核心數(shù)據(jù)轉(zhuǎn)換規(guī)則

3 案例分析

下面以殲擊機(jī)防空為例[12]來(lái)驗(yàn)證本文提出的方法。某指揮所負(fù)責(zé)對(duì)某一高度敏感區(qū)域執(zhí)行防空任務(wù)。如果雷達(dá)在該區(qū)域發(fā)現(xiàn)目標(biāo)，通知?dú)灀魴C(jī)升空迎擊。在戰(zhàn)爭(zhēng)狀態(tài)下，目標(biāo)進(jìn)入攻擊范圍擊毀該目標(biāo)。在和平狀態(tài)下，發(fā)送電子應(yīng)答信息。若對(duì)方無(wú)應(yīng)答，就當(dāng)作敵方目標(biāo)驅(qū)逐；若為友軍目標(biāo)，則返回基地。該過(guò)程包括感知、指揮和交戰(zhàn)等作戰(zhàn)活動(dòng)，并針對(duì)指揮活動(dòng)建立規(guī)則模型。

針對(duì)上述案例采用國(guó)防科技大學(xué)研制的體系結(jié)構(gòu)設(shè)計(jì)工具設(shè)計(jì)體系結(jié)構(gòu)，得到滿足PES規(guī)范的體系結(jié)構(gòu)數(shù)據(jù)。利用開發(fā)的可執(zhí)行模型轉(zhuǎn)換工具，對(duì)體系結(jié)構(gòu)數(shù)據(jù)轉(zhuǎn)換后，生成滿足擴(kuò)展PNML規(guī)范的XML文件，其中指揮活動(dòng)及其執(zhí)行規(guī)則部分?jǐn)?shù)據(jù)如下所示。

id=" "

在對(duì)象Petri網(wǎng)建模環(huán)境中打開轉(zhuǎn)換得到的XML文件，對(duì)應(yīng)的Petri 網(wǎng)模型如圖6所示。圖6a)對(duì)應(yīng)作戰(zhàn)活動(dòng)模型，圖6b)對(duì)應(yīng)“指揮”活動(dòng)的規(guī)則模型。

a) 防空作戰(zhàn)活動(dòng)頂層Petri網(wǎng)模型 b) 指揮規(guī)則Petri網(wǎng)模型 圖6 防空作戰(zhàn)活動(dòng)轉(zhuǎn)換后對(duì)應(yīng)的Petri網(wǎng)模型

4 結(jié) 束 語(yǔ)

本文針對(duì)體系結(jié)構(gòu)中活動(dòng)的設(shè)計(jì)與驗(yàn)證問(wèn)題，以遵循PES規(guī)范的體系結(jié)構(gòu)數(shù)據(jù)文件為基礎(chǔ)，將活動(dòng)數(shù)據(jù)轉(zhuǎn)換成符合PNML規(guī)范的數(shù)據(jù)，實(shí)現(xiàn)了活動(dòng)的對(duì)象Petri網(wǎng)模型生成，為分析、驗(yàn)證和評(píng)估活動(dòng)相關(guān)的屬性、性能提供支持。該方法直接利用體系結(jié)構(gòu)數(shù)據(jù)構(gòu)建可執(zhí)行模型，與體系結(jié)構(gòu)模型和數(shù)據(jù)的表現(xiàn)形式無(wú)關(guān)，體現(xiàn)以數(shù)據(jù)為中心的設(shè)計(jì)思想。該方法可以推廣到體系結(jié)構(gòu)其他數(shù)據(jù)的可執(zhí)行模型。

References)

[1]DoD Architecture Framework Working Group.DoD architecture framework version 2.0 volume 3:DoDAF meta-model[R].Washington D.C.:Department of Defense,2009:28-138.

[2]WAGENHALS L W,LEVIS A H.Service oriented architectures,the DoD architecture framework 1.5,and executable architectures [J].System Engineering,2009,12(4):312-343.

[3]WAGENHALS L W,HAIDER S,LEVIS A H.Synthesizing executable models of object oriented architectures [J].System Engineering,2003,6(4):266-300.

[4]倪楓,王明哲,周豐,等.可執(zhí)行體系結(jié)構(gòu)的HCPN建模方法 [J].系統(tǒng)工程與電子技術(shù),2010,32(5):959-965.

[5]羅愛(ài)民.基于可執(zhí)行模型的體系結(jié)構(gòu)驗(yàn)證評(píng)估方法[J].計(jì)算機(jī)科學(xué),2010,37(8):294-297.

[6]葛冰峰，任長(zhǎng)晟，趙青松，等.可執(zhí)行體系結(jié)構(gòu)建模與分析[J].系統(tǒng)工程理論與實(shí)踐，2011,31(11):2191-2201.

[7]LI L,DOU Y J,GE B F,et al.Executable system-of-systems architecting based on DoDAF meta-model [C]//Proceedings ofIEEE.2012 7th International Conference of System of Systems Engineering.Genoa：IEEE，2012：362-367.

[8]張曉雪,羅愛(ài)民,黃力,等.基于DM2的體系結(jié)構(gòu)可執(zhí)行模型構(gòu)建方法[J].國(guó)防科技大學(xué)學(xué)報(bào),2013,35(2):27-33.

[9]謝文才,于曉浩,朱鵬飛.基于模型轉(zhuǎn)換的C4ISR體系結(jié)構(gòu)可執(zhí)行模型構(gòu)建[J].系統(tǒng)工程與電子技術(shù),2014,36(8):1537-1543.

[10]Cameo enterprise architecture[EB/OL].(2015-06-13)[2015-12-04].http://www.nomagic.com/products//cameo-enterprise-architecture.html.

[11]羅雪山，羅愛(ài)民，張耀鴻，等.Petri網(wǎng)在C4ISR系統(tǒng)建模、仿真與分析中的應(yīng)用[M].長(zhǎng)沙：國(guó)防科技大學(xué)出版社，2007：268-290.

[12]修勝龍，羅雪山，羅愛(ài)民，等.C4ISR體系結(jié)構(gòu)描述的邏輯和行為驗(yàn)證[J].系統(tǒng)工程與電子技術(shù)，2005，27(2):275-279.

(編輯：李江濤)

Construction Method of an Operational Activity Executable Model Based on the Physical Exchange Specification of Architecture

LUO Aimin, FU Jiong

(Science and Technology on Information Systems Engineering Laboratory,National University of Defense Technology, Changsha Hunan 410073, China)

Operational activities constitute the core data of the architecture and the correction of operational activities is key to enhance architectural quality. The DoDAF2.0-based data physical exchange specification (PES) defines data models in the operational activity model and operation rule model; it extends the basic Petri network switching criterion and forms a data exchange criterion for extended Petri net; the paper also establishes a mapping rule of exchange criterion between data related to activity model and extended Petri net, which is the basis in automatically generating operational activity Petri net model, and develops an executable model automatic generating tool. In the end, the paper verifies the reasonability of the method by case study.

architecture; executable model; physical exchange specification (PES); extended Petri net markup language (PNML)

2016-04-11

國(guó)家自然科學(xué)基金資助項(xiàng)目(71571189)

羅愛(ài)民(1970-)，女，教授，博士，主要研究方向?yàn)樾畔⑾到y(tǒng)工程。amluo@nudt.edu.cn

TP311

2095-3828(2016)06-0127-06

A DOI 10.3783/j.issn.2095-3828.2016.06.024