趙 凱，郭齊勝，樊延平，穆 歌，董志明

(裝甲兵工程學(xué)院裝備指揮與管理系，北京 100072)

裝備需求論證本體元建模方法

趙 凱，郭齊勝，樊延平，穆 歌，董志明

(裝甲兵工程學(xué)院裝備指揮與管理系，北京 100072)

著眼提高裝備需求論證模型的重用性與共享性，圍繞裝備需求論證元模型構(gòu)建問題，給出了裝備需求論證元模型的層次結(jié)構(gòu)及其數(shù)學(xué)描述，分析了元模型的構(gòu)建過程，提出了本體元模型的構(gòu)成及其設(shè)計要求，以及基于Web本體語言(Ontology Web Language，OWL)的裝備需求論證元模型描述方法，給出了元模型的形式化結(jié)構(gòu)，并開展了實例分析，為提高裝備需求論證模型的可重用性提供了方法支撐。

裝備需求論證； 本體； 元模型； Web本體語言

作戰(zhàn)需求是武器裝備體系建設(shè)與優(yōu)化的主要依據(jù)，是決定武器裝備體系結(jié)構(gòu)組成與功能組合的關(guān)鍵[1]。開展武器裝備需求論證工作，一方面應(yīng)著眼于未來不斷發(fā)展變化的使命任務(wù)需求，綜合考慮可能的作戰(zhàn)威脅和預(yù)期的作戰(zhàn)效果，以武器裝備體系整體能力建設(shè)為目標，科學(xué)研究武器裝備體系的結(jié)構(gòu)、功能、規(guī)模與數(shù)量需求；另一方面，應(yīng)在武器裝備體系需求框架下，針對型號裝備的使命任務(wù)、運用模式和協(xié)同方式，科學(xué)提出型號裝備的需求方案。由于裝備需求論證目標與對象的不同，必然導(dǎo)致裝備需求論證的應(yīng)用流程具有較大的差異，但在構(gòu)建不同應(yīng)用流程的過程中，往往會使用相同的論證模型，這就需要裝備需求論證模型具有較高的可重用性。而建立可重用的論證模型是提高裝備需求論證模型可重用性的基本方法之一。元模型通常是指模型的模型。利用元模型可有效刻畫許多具有相似特征的實例模型，為實現(xiàn)模型的可重用性和互操作性提供可行的技術(shù)途徑。

筆者依據(jù)裝備需求論證流程和論證環(huán)節(jié)，采用元建模理論與方法，提出裝備需求論證本體元建模方法，并進行裝備需求論證本體元模型實例分析，為提高裝備需求論證模型可重用性提供方法支撐。

1 裝備需求論證元模型

1.1 元模型基本概念

為了有效地規(guī)范和應(yīng)用元建模技術(shù)，國際對象管理組織(Object Management Group,OMG)制定了元對象設(shè)施(Meta Object Facility，MOF)規(guī)范。該規(guī)范提供了一個4層元模型體系框架，如圖1所示。

圖1 MOF規(guī)范的4層元模型體系框架

OMG定義的MOF模型與UML模型密切相關(guān)。其中：MOF模型是對通用元模型或特殊領(lǐng)域元模型的定義，采用了面向?qū)ο髾C制，特別適合于采用面向?qū)ο蠓椒ǖ脑Ｐ?。由圖1可見：M2層模型由M3層元模型來描述；M1層模型由M2層元模型來描述；M0層模型由M1層元模型來描述。

元模型是對模型的抽象，而模型是元模型的實例化。在裝備需求論證領(lǐng)域，裝備需求論證環(huán)節(jié)元模型、模型及系統(tǒng)之間的關(guān)系如圖2所示?？梢钥闯觯菏紫?，要對裝備需求論證系統(tǒng)進行系統(tǒng)分析，獲得裝備需求論證的流程及其環(huán)節(jié)組成；然后，依據(jù)裝備需求論證流程、論證環(huán)節(jié)及其信息交互，構(gòu)建裝備需求論證流程和論證環(huán)節(jié)模型，并集成為裝備需求論證系統(tǒng)模型。其中：擬合元模型是對裝備論證流程和論證環(huán)節(jié)模型的簡化，即通過輸入、輸出數(shù)據(jù)對原來的流程和環(huán)節(jié)進行擬合，主要作用是對論證流程和論證環(huán)節(jié)進行驗證，輔助建立符合論證要求的流程模型；類型元模型既可提供論證流程模型，也可通過實例化元模型來定義論證流程模型。

圖2 裝備需求論證環(huán)節(jié)元模型、模型及系統(tǒng)之間的關(guān)系

1.2 元模型層次結(jié)構(gòu)

裝備需求論證元模型包括類、屬性、約束和操作4類要素，通過定義元模型類與屬性的關(guān)系，可實現(xiàn)各種實例對象之間的關(guān)聯(lián)。根據(jù)MOF的4層元模型體系框架，可得裝備需求論證元模型層次結(jié)構(gòu)，如圖3所示，其組成環(huán)節(jié)或環(huán)節(jié)活動采用活動類來表示，具體由屬性、關(guān)系和操作3部分組成。其中：屬性用來描述活動對象的特征，是區(qū)分不同類事物的主要標志，同時也提供了有效的索引關(guān)鍵詞；關(guān)系用來定義活動對象之間的關(guān)系，以方便描述元模型之間的相互關(guān)系；操作用來定義對活動對象的更新、修改和刪除等操作，為用戶提供良好的活動對象模型管理接口。

圖3 裝備需求論證元模型層次結(jié)構(gòu)

1.3 元模型數(shù)學(xué)描述

裝備需求論證元模型可采用3元組描述為Model={Attri,Cons,Opt}。其中：Attri表示模型屬性；Cons表示模型約束；Opt表示模型操作。模型屬性和模型約束描述了裝備需求論證元模型及其相互關(guān)系；模型操作定義了裝備需求論證元模型的元操作，用來描述裝備需求論證元模型的動態(tài)變化和建立過程。裝備需求論證元模型的語義圖如圖4所示。

圖4 裝備需求論證元模型語義圖

圖4中：關(guān)系a表示裝備需求論證模型類由模型屬性和模型操作按規(guī)則組合生成，如裝備需求論證活動模型由裝備需求論證活動的相關(guān)屬性及其相互關(guān)系組成；關(guān)系b表示裝備需求論證模型類之間的相互關(guān)系，包括繼承、關(guān)聯(lián)和聚合等,如多個活動可組合形成論證環(huán)節(jié)，則組成論證環(huán)節(jié)的多個活動之間存在聚合關(guān)系；關(guān)系c表示模型屬性之間存在繼承、關(guān)聯(lián)和聚合關(guān)系，如論證方法的方法類別屬性又可細分為粒度更細的方法類別集合，說明子方法類別與方法類別之間存在繼承關(guān)系；關(guān)系d表示模型約束之間的相互關(guān)系，主要有聚合、繼承和關(guān)聯(lián)關(guān)系；關(guān)系e表示裝備需求論證模型約束與模型類及模型屬性之間的關(guān)系，繼承約束既可作用于繼承類,也可作用于繼承屬性，如某項約束同時是某繼承類及其屬性的約束。

2 裝備需求論證本體元模型構(gòu)建

2.1 本體構(gòu)建原則

本體用來給出構(gòu)成相關(guān)領(lǐng)域詞匯的基本術(shù)語和關(guān)系，并利用這些術(shù)語和關(guān)系定義相關(guān)領(lǐng)域詞匯的外延規(guī)則[2]。Studer進一步將本體定義為共享概念模型的、明確的和形式化的規(guī)范說明[3]。

基于本體的裝備需求論證元建模就是根據(jù)裝備需求論證領(lǐng)域的特征，采用元模型技術(shù)構(gòu)建裝備需求論證元模型的過程。其基本思路為：首先，明確裝備需求論證領(lǐng)域和范圍，抽取裝備需求論證領(lǐng)域中的重要概念，并按照特定的邏輯規(guī)則進行概念分組；然后，定義概念的類、屬性及其關(guān)系，并采用Web本體語言(Ontology Web Language，OWL)進行裝備需求論證本體的形式化描述。

裝備需求論證本體應(yīng)具有較高的可讀性和可重用性，構(gòu)建裝備需求論證本體應(yīng)遵循如下4項原則：

1)一致性。本體應(yīng)與領(lǐng)域相一致，具備與領(lǐng)域相同的推理邏輯并遵守相同的推理規(guī)則。

2)可擴展性。本體應(yīng)隨著領(lǐng)域的拓展和知識庫的更新而更新，并可拓展概念本體或以現(xiàn)有的本體為基礎(chǔ)描述新概念。

3)明確性和客觀性。本體應(yīng)能客觀、準確地反映領(lǐng)域中的概念、屬性及其關(guān)系，保證本體與領(lǐng)域事理的一致性。

4)最小編碼偏差。本體的建立應(yīng)不依賴于特定的計算機實現(xiàn)語言，應(yīng)適應(yīng)不同系統(tǒng)環(huán)境下程序?qū)崿F(xiàn)的要求。

2.2 本體元建模步驟

本體元模型構(gòu)建方法主要有7步法、骨架方法和TOVE(TOronto Virtuol Enterprise)方法等。其中：骨架方法著眼于有效獲取領(lǐng)域知識并確定應(yīng)用目的，可直接采用形式化語言進行編碼，通過本體模型的不斷迭代，由粗到精反復(fù)優(yōu)化，最終形成成熟的本體模型，此方法與特定的本體語言無關(guān)，抽象層次更高，模型的可重用性和拓展能力更強。因此，筆者采用骨架方法構(gòu)建裝備需求論證本體元模型，建模流程如圖5所示，具體建模步驟如下：

圖5 裝備需求論證本體元建模流程

1)領(lǐng)域分析。通過對裝備需求論證領(lǐng)域的綜合分析，提出裝備需求論證的規(guī)范化流程和主要方法，明確裝備需求論證的工作過程和要求。

2)本體抽取。根據(jù)裝備需求論證工作過程及要求，圍繞裝備需求論證環(huán)節(jié)及其活動，抽取裝備需求論證核心概念，明確裝備需求論證核心概念之間的相關(guān)關(guān)系。

3)本體分析。確定裝備需求論證概念屬性集，定義裝備需求論證概念之間的關(guān)系類型與關(guān)系模式，并采用關(guān)聯(lián)矩陣法分析概念與關(guān)系之間的匹配情況。

4)本體設(shè)計。采用合適的本體元建模語言，設(shè)計本體結(jié)構(gòu)，并對活動模型、環(huán)節(jié)模型和流程模型進行實例化，驗證裝備需求論證本體元模型的適應(yīng)性和可用性。

總之，在裝備需求論證本體元建模過程中，應(yīng)圍繞裝備需求論證本體元建模的終極目標，根據(jù)各步驟的特點，有針對性地做好各步驟的分析與驗證工作，并通過本體元建模過程的反復(fù)迭代，實現(xiàn)裝備需求論證本體元模型的不斷成熟和優(yōu)化。

2.3 本體元模型

2.3.1 本體元模型庫構(gòu)成

裝備需求論證本體元模型庫是對裝備需求論證領(lǐng)域(特別是裝備需求論證流程)中存在的概念、關(guān)系和屬性的統(tǒng)一化描述，包括概念庫、屬性庫和關(guān)系庫3個部分[4]，如圖6所示。

1)概念庫。主要用于規(guī)范裝備需求論證模型構(gòu)建中規(guī)范化的、公認的術(shù)語，通常具有相同的屬性或行為對象。概念庫中包含裝備需求論證領(lǐng)域提取的所有概念，經(jīng)過逐條審核，具有全局一致性，與其他概念之間不存在任何沖突。

2)關(guān)系庫。是在確定裝備需求論證概念后，結(jié)合本體的設(shè)計原則提出的關(guān)于概念之間關(guān)系的規(guī)則，主要包括Belong-to、Is-a、Instance-of和Reference-of等。

圖6 裝備需求論證本體元模型庫構(gòu)成

3)屬性庫。定義概念的基本屬性，通?？筛鶕?jù)屬性的特定類型采用不同的數(shù)據(jù)類型來表示。

2.3.2 本體元模型類設(shè)計

本體元模型類設(shè)計是將本體元模型庫中的概念設(shè)計成類，并進行反復(fù)檢驗和修改。由裝備需求論證環(huán)節(jié)的規(guī)范化描述結(jié)果可知：裝備需求論證元模型類可抽取為活動類(ActivityClass)、輸入類(InputClass)、輸出類(OutputClass)、方法類(MethodClass)、組織類(OrganizationClass)、角色類(RoleClass)和約束條件類(RuleClass)，其含義如表1所示。

表1 裝備需求論證本體元模型類的含義

2.3.3 本體元模型關(guān)系定義

通過分析裝備需求論證本體元模型類來確定本體元模型類之間的關(guān)系，具體如表2所示。由表2可以看出：活動類通過讀取輸入類、方法類、組織類、角色類和約束條件類，獲取活動執(zhí)行所必需的輸入數(shù)據(jù)、使用方法、論證主體及其角色和活動規(guī)則等信息；活動類通過向輸出類寫入信息，生成活動的輸出信息。

表2 裝備需求論證本體元模型類之間的關(guān)系

2.3.4 本體元模型屬性定義

本體元模型屬性是對本體元模型類特性的描述，提供了關(guān)于屬性及其值的描述定義[5]，具體如下：

1)輸入類本體元模型屬性定義

輸入類本體元模型屬性是對裝備需求論證活動輸入信息的結(jié)構(gòu)化描述，通常包括輸入類名稱、標志號、來源編碼、信息類型和信息內(nèi)容等。

2)輸出類本體元模型屬性定義

輸出類本體元模型屬性是對裝備需求論證活動輸出信息的結(jié)構(gòu)化描述，通常包括輸出類名稱、標志號、輸出活動類、信息類型和信息內(nèi)容等。

3)活動類本體元模型屬性定義

活動類本體元模型屬性是對裝備需求論證活動自身的結(jié)構(gòu)化描述，通常包括活動類名稱、活動功能、活動粒度和活動描述等。

4)組織類本體元模型屬性定義

組織類本體元模型屬性是對裝備需求論證活動主體的描述，如作戰(zhàn)需求論證機構(gòu)、裝備需求論證機構(gòu)、技術(shù)需求論證機構(gòu)、需求方案評估機構(gòu)等，通常包括組織類名稱、組織類型、聯(lián)系電話、組織簡介和專業(yè)特長等。

5)角色類本體元模型屬性定義

角色類本體元模型是組織類本體元模型的組成部分，是對組織在裝備需求論證活動中所擔負職責的劃分，如項目組長、子項目負責人和環(huán)節(jié)執(zhí)行者等，包括角色類名稱、角色類型和角色職能等。

6)規(guī)則類本體元模型屬性定義

規(guī)則類本體元模型屬性描述了裝備需求論證活動開展所必須遵守的約束條件或相關(guān)規(guī)則，如某些方法需要在特定的規(guī)則下使用，作戰(zhàn)活動分析需要與軍隊的編制體制和條令條例相一致等，主要包括規(guī)則名稱、規(guī)則類型、規(guī)則表示方法和規(guī)則內(nèi)容等。

7)方法類本體元模型屬性定義

方法類本體元模型屬性描述了開展裝備需求論證活動所采用方法的相關(guān)特征，包括方法類名稱、方法類型、方法標志、方法原理和方法模型等。

2.3.5 本體元模型類圖

根據(jù)裝備需求論證元模型類及其屬性和關(guān)系的設(shè)計情況，可構(gòu)建裝備需求論證本體元模型的類、屬性及其關(guān)系,如圖7所示。

由圖7可知：裝備需求論證本體元模型既可描述和表示裝備需求論證過程中的實體性和事實性知識，也可描述和表示其關(guān)系性知識和過程性知識，最大限度地滿足裝備需求論證模型重用性和共享性要求。

圖7 裝備需求論證本體元模型的類、屬性及其關(guān)系

3 基于OWL的本體元模型描述

筆者采用OWL語言來描述裝備需求論證本體元模型類的關(guān)系、屬性、屬性約束、規(guī)則、函數(shù)和實例[5-8]。

3.1 類的關(guān)系描述

由2.3.3節(jié)可知：類之間存在多種關(guān)系，如定性論證方法類是方法類的一種，它們之間的關(guān)系為part-of，采用rdfs:subClassOf分類構(gòu)造器將這2個類聯(lián)系起來，可表示為

Qualitative Method

Qualitative Method

3.2 屬性描述

采用枚舉類來表示定性論證方法的類型，如頭腦風暴法(Brain Storm Method)、專家會議法(Meeting Method)、Delphi法(Delphi Method)等，可表示為

3.3 屬性約束描述

以武器裝備的兵種屬性為例，其通常包括裝甲、機步、炮兵、防空、陸航、偵察、通信、指揮、工程、防化和測繪等，可表示為

…

3.4 規(guī)則描述

以生成需求評估結(jié)論的活動為例，當需求評估值>0.7時，則活動輸出為真，否則為假，可表示為

If CaculationValue greaterThan 0.7 Then

true

3.5 函數(shù)描述

首先利用JAVA語言編寫加權(quán)和算法的函數(shù)，然后采用OWL代碼調(diào)用JAVA代碼，可表示為

Java代碼：

public LinerWeightedSum

{

public float [] weght；

public float [] subvalue；

public LinerWeightedSum (float [] weght,float [] subvalue)

…

public float LinerWeightedSum (float [] weght,float [] subvalue)

{

…

}

}

OWL代碼：

3.6 實例描述

使命任務(wù)分析環(huán)節(jié)是活動類的一個實例，可表示為

4 結(jié)論

在裝備需求論證本體元建模方法指導(dǎo)下，可將復(fù)雜的、不同應(yīng)用層面的裝備需求論證流程和環(huán)節(jié)模型抽象成為“同源”的本體元模型，通過擴展與梳理得出本體元模型類及其關(guān)系和屬性，可進一步細化本體元模型，進而規(guī)范、統(tǒng)一裝備需求論證流程和環(huán)節(jié)模型數(shù)據(jù)；基于OWL的本體元模型描述，在形式、語義和語法上較好地刻畫了本體元模型類的關(guān)系和屬性等，具有較好的工程實踐性，滿足了裝備需求論證工程化的要求。

[1] 樊延平,郭齊勝,穆歌,等.裝備作戰(zhàn)需求論證流程規(guī)范化建模[J].裝甲兵工程學(xué)院學(xué)報,2014,28(2):1-6.

[2] 王宇華.基于本體的流程類業(yè)務(wù)需求建模方法研究[D].哈爾濱:哈爾濱工程大學(xué),2011.

[3] 修佳鵬,熊燕,張雷,等.基于OWL的戰(zhàn)場本體構(gòu)建方法[J].鄭州大學(xué)學(xué)報(理學(xué)版),2007,39(2):136-141.

[4] 石鑫.基于過程本體的設(shè)計過程表示研究[J].現(xiàn)代制造工程,2013(8):35-41.

[5] 陳鋼.基于本體的特征知識庫[D].天津:天津大學(xué),2004.

[6] 謝磊.基于互表性的動態(tài)本體描述語言的研究[D].西安:西北工業(yè)大學(xué),2014.

[7] 張開朋.STEP轉(zhuǎn)換為語義Web本體的研究[D].哈爾濱:哈爾濱工程大學(xué),2013.

[8] 赫磊.基于云平臺的智慧旅游信息推送系統(tǒng)研究[D].西安:西北工業(yè)大學(xué),2014.

(責任編輯：王生鳳)

Ontology-meta Modeling Method for Equipment Requirement Demonstration

ZHAO Kai,GUO Qi-sheng,FAN Yan-ping,MU Ge,DONG Zhi-ming

(Department of Equipment Command and Administration,Academy of Armored Force Engineering,Beijing 100072,China)

Focusing on the reusability and sharing of the equipment requirement demonstration model,based on the problem of constructing the meta-model of equipment requirement demonstration,the hierarchical structure and mathematical description of the equipment requirement demonstration meta-model is proposed.The construction process of meta-model is analyzed,the structure and design requirements as well as the description method of meta-model based on Ontology Web Language (OWL) are presented.Then,the formal structure of meta-model is given and case analysis is carried out,which provides method support for improving the reusability of equipment requirement demonstration model.

equipment requirement demonstration; ontology; meta-model; Ontology Web Language (OWL)

1672-1497(2017)01-0001-07

2016-12-19

軍隊科研計劃項目

趙 凱(1986-)，男，博士研究生。

E917

A

10.3969/j.issn.1672-1497.2017.01.001