舒 振,皇甫先鵬,羅雪山

(國(guó)防科技大學(xué) C4 ISR技術(shù)國(guó)防科技重點(diǎn)實(shí)驗(yàn)室,長(zhǎng)沙 410073)

基于OPN的軍事信息服務(wù)組合模型構(gòu)建方法*

舒 振,皇甫先鵬,羅雪山

(國(guó)防科技大學(xué) C4ISR技術(shù)國(guó)防科技重點(diǎn)實(shí)驗(yàn)室,長(zhǎng)沙 410073)

介紹了軍事信息服務(wù)的基本含義,給出了基于對(duì)象 Petri網(wǎng)的軍事信息服務(wù)組合模型的形式化描述方法,構(gòu)建了軍事信息服務(wù)組合模型的基本結(jié)構(gòu),并針對(duì)一個(gè)具體的防空反導(dǎo)作應(yīng)用案例,使用國(guó)防科大對(duì)象 Petri網(wǎng)建模仿真環(huán)境工具開發(fā)了相應(yīng)的軍事信息服務(wù)組合模型,并對(duì)組合服務(wù)進(jìn)行了簡(jiǎn)要分析。實(shí)踐表明,該方法能滿足軍事信息服務(wù)組合模型構(gòu)建的需要,并具有良好的服務(wù)建模與仿真分析能力。

軍事信息服務(wù),對(duì)象 Petri網(wǎng) ,服務(wù)組合,模型

引 言

隨著軍事變革和信息技術(shù)的發(fā)展,傳統(tǒng)的 C/S架構(gòu)和基于構(gòu)件的金字塔狀指揮控制系統(tǒng)解決方案已經(jīng)不能滿足聯(lián)合作戰(zhàn)需求。近年來(lái),由于服務(wù)具有松耦合和互操作性強(qiáng)等優(yōu)點(diǎn),面向服務(wù)的思想越來(lái)越深入人心,日后軍事信息系統(tǒng)也必將采用面向服務(wù)的思想進(jìn)行構(gòu)建。而單一的服務(wù)只能解決單一的應(yīng)用,服務(wù)組合才能實(shí)現(xiàn)復(fù)雜的應(yīng)用,滿足系統(tǒng)構(gòu)建的要求。

目前國(guó)內(nèi)外圍繞Web服務(wù)組合的研究有很多,提出了很多Web服務(wù)的組合方法。包括Web服務(wù)工作流、進(jìn)程代數(shù)、Petri網(wǎng)、語(yǔ)義等在內(nèi)的諸多理論和技術(shù)都已經(jīng)應(yīng)用于 Web服務(wù)組合領(lǐng)域的研究,并取得了一定的研究成果,如文獻(xiàn)[2-4]提出了基于 Petri網(wǎng)的W eb服務(wù)組合方法,文獻(xiàn) [5-6]提出了基于語(yǔ)義的 Web服務(wù)組合方法,文獻(xiàn) [7]使用語(yǔ)義代理agent的工作流方法實(shí)現(xiàn)了服務(wù)的自動(dòng)組合等。

在復(fù)雜、激烈、多變的戰(zhàn)場(chǎng)環(huán)境下,軍事信息服務(wù)組合與一般民用 Web服務(wù)組合相比,具有調(diào)用規(guī)模龐大、系統(tǒng)功能復(fù)雜、實(shí)時(shí)性、安全性、保密性要求高等特點(diǎn)。而一般Petri網(wǎng)的主要弱點(diǎn)是規(guī)模難以控制。特別是當(dāng)系統(tǒng)的可達(dá)狀態(tài)增加時(shí),模型的復(fù)雜性將呈指數(shù)增長(zhǎng),使 Petri網(wǎng)模型的分析和理解變得十分困難,另外,傳統(tǒng)的 Petri網(wǎng)模型只能依據(jù)系統(tǒng)運(yùn)行的實(shí)例數(shù)據(jù)進(jìn)行路由選擇,而無(wú)法解決組合模型運(yùn)行過(guò)程中不確定活動(dòng)的路徑選擇問(wèn)題。因此,本文利用對(duì)象 Petri網(wǎng)(Object Petri-Net,OPN)建模方法,構(gòu)建了軍事信息服務(wù)組合的基本結(jié)構(gòu),對(duì)其數(shù)學(xué)算子的組合性質(zhì)進(jìn)行了分析,并采用了國(guó)防科大C4ISR技術(shù)國(guó)防科技重點(diǎn)實(shí)驗(yàn)室開發(fā)的對(duì)象 Petri網(wǎng)建模仿真環(huán)境OPMSE[8],構(gòu)建了相應(yīng)的軍事信息服務(wù)組合實(shí)例,進(jìn)行了簡(jiǎn)要分析。

1 對(duì)象 Petri網(wǎng)概述

Petri網(wǎng)是一種適合于描述和分析離散事件動(dòng)態(tài)系統(tǒng)尤其是并行系統(tǒng)的模型工具。下面給出 Petri網(wǎng)和對(duì)象 Petri網(wǎng)的定義。

定義 1.1:若四元組N=(P,T,F,M0),滿足下述條件,則稱其為 Petri網(wǎng):

4)M0:p→ (0,1,2,… )是初始標(biāo)記。

其中 P是位置(Place)的集合,T是轉(zhuǎn)移(Transition)的集合,F稱為流關(guān)系。

傳統(tǒng)Petri網(wǎng)中的位置、轉(zhuǎn)移和 Token所攜帶的信息量不夠豐富,缺乏語(yǔ)義描述功能,且Petri網(wǎng)不涉及時(shí)間因素,僅能反映出事件間的因果關(guān)系。為了適應(yīng)軍事信息服務(wù)組合的特點(diǎn)和建模仿真的需要,國(guó)防科大 C4ISR技術(shù)國(guó)防科技重點(diǎn)實(shí)驗(yàn)室從網(wǎng)的結(jié)構(gòu)、建模元素、執(zhí)行規(guī)則等幾個(gè)方面對(duì)基本 Petri網(wǎng)進(jìn)行了擴(kuò)展,提出了對(duì)象 Petri網(wǎng)的概念,并在此基礎(chǔ)上設(shè)計(jì)了模型描述語(yǔ)言O(shè)PDL。具體的擴(kuò)展是:

把 Petri網(wǎng)和面向?qū)ο蟮乃枷敕椒ńY(jié)合起來(lái),引進(jìn)對(duì)象的概念和機(jī)制。對(duì)象作為建模的基本模塊,也是模型重用的基本單位,事實(shí)上就是封裝起來(lái)的一張子網(wǎng)。對(duì)象間通過(guò)接口實(shí)現(xiàn)交互,而它們的內(nèi)部結(jié)構(gòu)用擴(kuò)展的 Petri網(wǎng)進(jìn)行描述。

定義1.2對(duì)象Petri網(wǎng)是一個(gè)八元組N,N=(P,T,SubOBJ,IP,OP,F,M 0,C),其中:

1)P是位置的集合,可以對(duì)位置的屬性信息進(jìn)行設(shè)置,以和令牌的屬性相對(duì)應(yīng)。

2)T是轉(zhuǎn)移的集合,此處轉(zhuǎn)移可以分為兩類,一類是一般意義上的轉(zhuǎn)移;另一類是開關(guān),此種轉(zhuǎn)移可以通過(guò)設(shè)置腳本函數(shù)控制流程的執(zhí)行順序。

3)SubOBJ是子對(duì)象的集合,可以代表另一個(gè)具體的對(duì)象 Petri網(wǎng)模型。

4)IP是對(duì)象輸入端口的集合,OP是對(duì)象輸出端口的集合。輸入、輸出端口各分為兩類,分別稱為內(nèi)部輸入端口 IIP、外部輸入端口OIP、內(nèi)部輸出端口IOP、外部輸出端口OOP。對(duì)象通過(guò)IIP和IOP與其子對(duì)象交互,通過(guò)OIP和OOP與外部調(diào)用者或仿真環(huán)境交互。

2 基于對(duì)象 Petri網(wǎng)(OPN)的軍事信息服務(wù)組合模型

2.1 軍事信息服務(wù)的描述

軍事信息服務(wù)作為一類特殊的 Web服務(wù),能夠通過(guò)標(biāo)準(zhǔn)的網(wǎng)絡(luò)協(xié)議以及接口實(shí)現(xiàn)不同應(yīng)用間的交互,并且可以利用自身提供的功能實(shí)現(xiàn)輸入信息至輸出信息的轉(zhuǎn)換。因此,本文結(jié)合軍事信息服務(wù)與對(duì)象 Petri網(wǎng)的特點(diǎn),將軍事信息服務(wù)定義為一個(gè)帶輸入輸出信息的對(duì)象 Petri網(wǎng)模型,利用對(duì)象 Petri網(wǎng)的輸入輸出位置來(lái)描述軍事信息服務(wù)的接口信息,利用轉(zhuǎn)移來(lái)描述服務(wù)內(nèi)部的各種邏輯操作。

定義 2.1:軍事信息服務(wù) OPN的形式化描述M IS=(P,T,F,IP,OP,SubOBJ,M0),其中

1)P是位置的集合,表示與軍事信息服務(wù)操作(轉(zhuǎn)移)相關(guān)聯(lián)的接口信息;

2)T是轉(zhuǎn)移的集合,此處轉(zhuǎn)移可以分為兩類,一類是基本轉(zhuǎn)移,表示服務(wù)內(nèi)部的各種操作,通過(guò)這些操作可以將服務(wù)的輸入信息加工為輸出信息;另一類是輔助轉(zhuǎn)移,這類轉(zhuǎn)移并無(wú)實(shí)際的物理意義,可以進(jìn)一步區(qū)分為開關(guān)和空轉(zhuǎn)移;

3)F是控制函數(shù)的集合,每個(gè)控制函數(shù)都和一個(gè)轉(zhuǎn)移相關(guān)聯(lián),控制函數(shù)的主要目的是用來(lái)控制轉(zhuǎn)移的執(zhí)行條件,通過(guò)轉(zhuǎn)移控制函數(shù)的設(shè)置能增強(qiáng)轉(zhuǎn)移執(zhí)行的可控性和靈活性,更好地模擬操作的執(zhí)行情況;

4)IP是服務(wù)輸入端口的集合,OP是服務(wù)輸出端口的集合。輸入、輸出端口各分為兩類,分別稱為內(nèi)部輸入端口IIP、外部輸入端口OIP、內(nèi)部輸出端口IOP、外部輸出端口OOP。對(duì)象通過(guò)IIP和IOP與其子服務(wù)對(duì)象交互,通過(guò)O IP和OOP與外部服務(wù)調(diào)用者或仿真環(huán)境交互;

5)SubOBJ是子服務(wù)對(duì)象的集合,該元素抽象表示了另一個(gè)由位置、轉(zhuǎn)移以及控制函數(shù)等元素構(gòu)成的子服務(wù);

6)M0表示軍事信息服務(wù)描述模型的初始資源標(biāo)識(shí),描述了每個(gè)位置所擁有的初始資源的個(gè)數(shù),即M 0:(P∪ IP∪ OP)→ (0,1,2,… )。

由定義 2.1,可以得出以下推論:

推論 2.1:如果 SubOBJ=?,那么 M IS為不可分的原子軍事信息服務(wù),否則M IS為組合軍事信息服務(wù)。

推論2.2:如果P∪ T=?,那么該軍事信息服務(wù)表示空服務(wù),為了軍事信息服務(wù)描述模型的需要,空服務(wù)可以作為一種用于服務(wù)連接的輔助元素,可以用空轉(zhuǎn)移來(lái)表示。

推論 2.4:若 Smis∈ SubOBJ(M IS),則 O IP(Sm is)=IP(Sm is),即若某軍事信息服務(wù)作為另一個(gè)軍事信息服務(wù)的子服務(wù),那么該服務(wù)的外部輸入端口與其輸入端口是一致的;同理,若 Smis∈SubOBJ(M IS),則 OOP(Sm is)=OP(Smis)。

推論 2.5:若 SubOBJ=?,那么 IIP(M IS)=?,且IOP(M IS)=?,該推論表示若某軍事信息服務(wù)為不可分的原子軍事信息服務(wù),那么該服務(wù)內(nèi)部輸入端口與內(nèi)部輸出端口都是空集。

推論2.6:若SubOBJ=?,那么IIP(M IS)=IP(M IS),且 IOP(M IS)=OP(M IS),該推論表示若某軍事信息服務(wù)為不可分的原子軍事信息服務(wù),那么該服務(wù)外部輸入 (輸出)端口與輸入(輸出 )端口是相同的。

圖 1 基本軍事信息服務(wù)示例

推論2.7:若|T|=1,表示該軍事信息服務(wù)內(nèi)部只有一個(gè)獨(dú)立的操作,稱此種類型的軍事信息服務(wù)為基本軍事信息服務(wù)。圖1所示的便是一個(gè)最簡(jiǎn)單的基本軍事信息服務(wù)。

2.2 軍事信息服務(wù)組合的基本結(jié)構(gòu)

軍事信息服務(wù)組合模型由原子軍事信息服務(wù)與控制結(jié)構(gòu)兩部分構(gòu)成。根據(jù)工作流控制模式的相關(guān)研究成果以及文獻(xiàn)[10-12]的相關(guān)描述,并結(jié)合軍事信息服務(wù)組合的具體需求,本文構(gòu)建了如下 7種基本的軍事信息服務(wù)組合結(jié)構(gòu),并運(yùn)用對(duì)象 Petri網(wǎng)模型對(duì)這7種基本結(jié)構(gòu)進(jìn)行了描述。下面以兩個(gè)基本軍事信息服務(wù)的組合為例進(jìn)行說(shuō)明。

1)順序結(jié)構(gòu) (Sequence)

圖2描述了軍事信息服務(wù) M IS1和M IS2順序執(zhí)行的組合模型結(jié)構(gòu)。該組合結(jié)構(gòu)的數(shù)學(xué)表示為M IS=M IS1⊕M IS2=(P,T,F,IP,OP,SubOBJ,M0),其中⊕為組合服務(wù)的順序運(yùn)算符,M IS1=(P1, T1, F1, IP1, OP1, SubOBJ1, M1),M IS2=(P2,T2,F2,IP2,OP2,SubOBJ2,M2),以下類同。則有:

圖 2 軍事信息服務(wù)的順序執(zhí)行結(jié)構(gòu)

圖 3 軍事信息服務(wù)的并發(fā)執(zhí)行結(jié)構(gòu)

2)并發(fā)結(jié)構(gòu) (And Sp lit)

該結(jié)構(gòu)表示了組合模型中的各個(gè)軍事信息服務(wù)應(yīng)該并行執(zhí)行,圖 3描述了軍事信息服務(wù) M IS1和M IS2并發(fā)執(zhí)行的組合模型結(jié)構(gòu)。該組合結(jié)構(gòu)的數(shù)學(xué)表示為 M IS=M IS1‖ M IS2=(P,T,F,IP,OP,SubOBJ,M 0),其中‖為組合服務(wù)的并發(fā)運(yùn)算符,則有:

3)并發(fā)匯聚(And Join)

該結(jié)構(gòu)表示了組合模型中的各個(gè)軍事信息服務(wù)必須都執(zhí)行后,后續(xù)的軍事信息服務(wù)才能開始執(zhí)行,圖 4描述了軍事信息服務(wù)M IS1和M IS2并發(fā)匯聚的組合模型結(jié)構(gòu)。該組合結(jié)構(gòu)的數(shù)學(xué)表示為MIS=M IS1ΘM IS2=(P,T,F,IP,OP,SubOBJ,M0),其中Θ為組合服務(wù)的并發(fā)匯聚運(yùn)算符,則有:

圖4 軍事信息服務(wù)的并發(fā)匯聚結(jié)構(gòu)

4)選擇結(jié)構(gòu)(XOR Sp lit)

該結(jié)構(gòu)表示了組成該模型結(jié)構(gòu)的各個(gè)軍事信息服務(wù)可以根據(jù)開關(guān)條件的設(shè)置,靈活的選擇后續(xù)一個(gè)或多個(gè)軍事信息服務(wù)來(lái)執(zhí)行。圖 5描述了軍事信息服務(wù)M IS1和M IS2選擇執(zhí)行的組合模型結(jié)構(gòu)。該組合結(jié)構(gòu)的數(shù)學(xué)表示為M IS=M IS1? MIS2=(P,T,F,IP,OP,SubOBJ,M0),其中?為組合服務(wù)的選擇執(zhí)行運(yùn)算符,則有:

圖 5 軍事信息服務(wù)的選擇執(zhí)行結(jié)構(gòu)

5)選擇匯聚 (XOR Split)

該結(jié)構(gòu)表示了該組合模型將多個(gè)子軍事信息服務(wù)流程匯聚成一個(gè)單一的軍事信息服務(wù),只要這多個(gè)子服務(wù)流程中任意一個(gè)服務(wù)流程執(zhí)行完畢后,那么后續(xù)的軍事信息服務(wù)便可執(zhí)行。圖 6描述了軍事信息服務(wù)M IS1和M IS2選擇匯聚的組合模型結(jié)構(gòu)。該組合結(jié)構(gòu)的數(shù)學(xué)表示為M IS=(M IS1?MIS2)=(P,T,F,IP,OP,SubOBJ,M0),其中?為組合服務(wù)的選擇匯聚運(yùn)算符,則有:

圖 6 軍事信息服務(wù)的選擇匯聚結(jié)構(gòu)

圖 7 軍事信息服務(wù)的循環(huán)組合結(jié)構(gòu)

6)循環(huán)結(jié)構(gòu) (Iteration)

該結(jié)構(gòu)表示了該模型結(jié)構(gòu)的軍事信息服務(wù)需要反復(fù)執(zhí)行多次,具體的執(zhí)行次數(shù)可以根據(jù)實(shí)際的執(zhí)行情況來(lái)判讀,通過(guò)開關(guān)的控制函數(shù)進(jìn)行設(shè)置。圖 7描述了軍事信息服務(wù)M IS1循環(huán)執(zhí)行的組合模型結(jié)構(gòu)。該組合結(jié)構(gòu)的數(shù)學(xué)表示為M IS=k M IS1(P,T,F,IP,OP,SubOBJ,M0),其中k為組合服務(wù)的循環(huán)執(zhí)行運(yùn)算符,則有:

該結(jié)構(gòu)的主要思想是運(yùn)用子對(duì)象來(lái)替代軍事信息服務(wù)組合中的子服務(wù),以實(shí)現(xiàn)層次化建模的思想。圖 8展示了服務(wù)對(duì)象 SubMIS1替代軍事信息服務(wù)M IS1的示意圖。該組合結(jié)構(gòu)的數(shù)學(xué)表示為M IS=nM IS1=(P,T,F,IP,OP,SubOBJ,M 0),其中 n 為組合服務(wù)的嵌套結(jié)構(gòu)運(yùn)算符,表示在軍事信息服務(wù)組合模型結(jié)構(gòu)中使用子服務(wù)對(duì)象來(lái)代替軍事信息服務(wù)M IS1,設(shè)替代之前的軍事信息服務(wù)M IS′=(P′,T′,F′,IP′,OP′,SubOBJ′,M′0),則有:

在這幾種基本組合結(jié)構(gòu)的基礎(chǔ)上,便可實(shí)現(xiàn)各種復(fù)雜組合模型的構(gòu)建。如組合服務(wù)(M IS1?…?M ISn)⊕ M IS,其 對(duì) 象Petri網(wǎng)的圖形化表示如圖 9所示。該組合服務(wù)表示先在原子服務(wù)集合中的選擇某個(gè)軍事信息服務(wù)M ISi(i∈ 1,2,… ,n)先執(zhí)行,然后再執(zhí)行軍事信息服務(wù)M IS。其中原子軍事信息服務(wù)的選擇標(biāo)準(zhǔn)可以根據(jù)服務(wù)的執(zhí)行時(shí)間、服務(wù)的可靠性以及服務(wù)的執(zhí)行代價(jià)等條件來(lái)靈活設(shè)定。

圖 8 軍事信息服務(wù)的循環(huán)組合結(jié)構(gòu)

圖 9 組合服務(wù)(M IS1?…?M ISn)⊕M IS示意圖

3 基于對(duì)象 Petri網(wǎng)(OPN)的軍事信息服務(wù)組合應(yīng)用實(shí)例

3.1 背景案例分析

為了更好地闡述基于OPN的軍事信息服務(wù)組合模型的構(gòu)建過(guò)程,此處以某防空反導(dǎo)指揮系統(tǒng)為例,采用對(duì)象 Petri網(wǎng)的方法來(lái)構(gòu)建相應(yīng)的軍事信息服務(wù)組合模型。由于防空反導(dǎo)系統(tǒng)具體的流程較為復(fù)雜,在構(gòu)建應(yīng)用案例時(shí),僅以制定攔截方案之前的流程為例進(jìn)行說(shuō)明。其簡(jiǎn)化流程描述如下:①接收預(yù)警雷達(dá)或預(yù)警衛(wèi)星傳來(lái)的來(lái)襲目標(biāo)信息,啟動(dòng)反導(dǎo)系統(tǒng)作戰(zhàn)流程;②根據(jù)目標(biāo)特征信號(hào),進(jìn)行信息預(yù)處理,判斷是真實(shí)的導(dǎo)彈目標(biāo),還是假目標(biāo)(氣球誘餌、自由飛行段突防裝備等),若是假目標(biāo)則放棄;③若是真實(shí)導(dǎo)彈目標(biāo),則要進(jìn)一步判斷是中高空來(lái)襲導(dǎo)彈或是低空來(lái)襲導(dǎo)彈,分別啟動(dòng)相應(yīng)的目標(biāo)跟蹤處理服務(wù)(以識(shí)別導(dǎo)彈的運(yùn)行軌跡、落地時(shí)間等信息),同時(shí)還要獲取我方武器裝備的信息(包括戰(zhàn)區(qū)防御陣地的部署情況和攔截武器的特性等)以及從氣象部門獲取當(dāng)?shù)貧庀髼l件的信息;④對(duì)所獲取的信息進(jìn)行融合處理;⑤根據(jù)這些信息進(jìn)行指揮決策,制定攔截方案。該流程可以用圖10來(lái)表示。

3.2 實(shí)例分析

根據(jù)上述應(yīng)用案例可知,在該系統(tǒng)的執(zhí)行流程中共涉及預(yù)警衛(wèi)星探測(cè)服務(wù)(M IS1)、預(yù)警雷達(dá)探測(cè)服務(wù)(M IS2)、目標(biāo)預(yù)處理服務(wù)(M IS3)、目標(biāo)類型區(qū)分服務(wù)(M IS4)、我軍信息上報(bào)服務(wù)(M IS5)、氣象信息服務(wù)(M IS6)、中高空目標(biāo)跟蹤服務(wù)(M IS7)、低空目標(biāo)跟蹤服務(wù)(M IS8)、信息融合處理服務(wù)(M IS9)和決策方案制定服務(wù)(M IS10)等軍事信息服務(wù)。由系統(tǒng)執(zhí)行流程可知,M IS1與M IS2,MIS5與 M IS6是并行執(zhí)行的,而M IS7與M IS8則是選擇執(zhí)行的,M IS9與 M IS10則是順序執(zhí)行的。采用國(guó)防科大OPMSE對(duì)象 Petri網(wǎng)建模仿真環(huán)境,依據(jù)上述系統(tǒng)執(zhí)行的流程,可以繪制出如圖 11所示的軍事信息服務(wù)組合模型:

圖11 反導(dǎo)作戰(zhàn)系統(tǒng)的軍事信息服務(wù)組合模型

在該組合模型中,對(duì)開關(guān)S0和 S1還分別設(shè)置了相應(yīng)的控制函數(shù),主要是用于對(duì)組合模型的執(zhí)行路徑進(jìn)行控制,其中 S0主要是根據(jù)目標(biāo)的類型(真假目標(biāo))來(lái)選擇路徑,而 S1主要是根據(jù)目標(biāo)的屬性(中高空目標(biāo)或低空目標(biāo))來(lái)選擇路徑,路徑的選擇過(guò)程主要通過(guò)開關(guān)控制函數(shù)F來(lái)進(jìn)行控制。

在對(duì)象 Petri網(wǎng)建模仿真環(huán)境(OPMSE)的支持下,還可以進(jìn)一步模擬組合服務(wù)的具體調(diào)用執(zhí)行過(guò)程,從而清晰地表達(dá)組合服務(wù)的組成邏輯,并通過(guò)分析對(duì)象、位置、轉(zhuǎn)移等元素?cái)y帶屬性信息或設(shè)置動(dòng)作函數(shù),可實(shí)現(xiàn)豐富的語(yǔ)義功能。在對(duì)象 Petri網(wǎng)仿真運(yùn)行器OPDL-Runner的支持下,還可實(shí)現(xiàn)仿真模型的連續(xù)或單步運(yùn)行,并輸出事件控制腳本函數(shù)、仿真報(bào)告結(jié)果等,可以對(duì)組合服務(wù)的執(zhí)行時(shí)間、可靠性、穩(wěn)定性等關(guān)鍵屬性進(jìn)行分析,為服務(wù)組合的優(yōu)化選擇提供了支持,并能對(duì)流程結(jié)構(gòu)的合理性和正確性進(jìn)行驗(yàn)證,從而可以實(shí)現(xiàn)在仿真階段就發(fā)現(xiàn)制約效能的瓶頸,從而有針對(duì)性的加以解決,減少服務(wù)組合實(shí)際部署才發(fā)現(xiàn)問(wèn)題引起的巨大成本消耗。

4 結(jié) 論

軍事信息服務(wù)組合是充分發(fā)揮和擴(kuò)展軍事信息服務(wù)功能的一個(gè)重要研究方向。本文在普通Petri網(wǎng)服務(wù)組合模型的基礎(chǔ)上,提出了利用對(duì)象 Petri網(wǎng)建立軍事信息服務(wù)組合模型的方法,構(gòu)建了 7種基本的服務(wù)組合結(jié)構(gòu),對(duì)服務(wù)組合數(shù)學(xué)算子的性質(zhì)進(jìn)行了分析,并在此基礎(chǔ)上,運(yùn)用具體的應(yīng)用案例對(duì)基于OPN的軍事信息服務(wù)組合方法進(jìn)行了分析與驗(yàn)證,為改善和優(yōu)化軍事信息服務(wù)組合模型結(jié)構(gòu)提供了支持。下一步工作是研究如何實(shí)現(xiàn)軍事信息服務(wù)的動(dòng)態(tài)自動(dòng)化組合。

[1] Rao Y,Feng B Q,Li Z C.Research on Service Composition Techno logy Summarization Based on W eb Services[J].System Engineering and Electric Techno logy,2005,27(8):1481-1489.

[2] Qian Z Z,Lu S L,Xie L.Automatic Composition of Petri Net Based W eb Services[J].Journal of Computer,2006,29(7):1057-1066.

[3] Narayanan S, M cllraith A S.Verification and Automated Composition o f W eb Services[C]//In:Proceedings of the 11th International World W ide W eb Conference(WWW 2002),Honolulu,USA,2002:77-88.

[4] Hamadi R,Benata llah B.A Petri Net-Based Model for W eb Service Composition[C]//In:Proceedings of the Australasian Database Con ference,Adelaide,Australian,2003:191-200.

[5] 李 曼,王大治,杜小勇,等.基于領(lǐng)域本體的服務(wù)動(dòng)態(tài)組合[J].計(jì)算機(jī)學(xué)報(bào),2005,28(4):644-670.

[6] Li M,W ang D Z,Du X Y,etal.Dynam ic Composition of W eb Services Based on Domain Onto logy[J].Journal of Computers,2005,28(4):644-650.

[7] Korhonen J,Pajunen L,Puustjarvi J.Automatic Composition of W eb Service Work flow s using a Semantic Agent[C]//Proceedings of the IEEE/W IC International Con ference on W eb Intelligence(W I 2003).Halifax,Canada,2003:566-569.

[8] Bai X L,Yu B,Huang G Q.Computer Network Simu lation Modeling Based on Object Petri Net[J].Computer Sim ulation,2003,20(9):45-47.

[9] 王志強(qiáng).軍事網(wǎng)格服務(wù)的組織與定位方法研究[D].長(zhǎng)沙:國(guó)防科學(xué)技術(shù)大學(xué),2008.

[10] W.M.P.van der Aalst,et al.Advanced Workflow Patterns[C]//The 7th International Conference on Cooperative Information Systems(Coop IS 2000),Volume 1901 of LNCS pages 18-29. Springer-Verlag,Berlin,2000.

[11] W.M.P.van der Aa lst,A.H.M ter Hofstede.W orkflow Patterns:On the Expressive Pow er of(Petri-net-based) Work flow Languages[C]//Proceedings of the Fourth Workshop on the Practical Use of Coloured Petri Nets and CPN Tools,2002.

[12] W orkflow Patterns Hom e Page.http://www.tm.tue[EB/OL].n l/it/research/patterns.

Research on Construction Method of M ilitary Information Service Com position M odel Base on Ob ject PetriNet

SHU Zhen,HUANGFU Xian-peng,LUO Xue-shan
(C4 ISR Technology N ationa l Defense Scienceand Technology Key Lab,Nationa l University o f Defense Technology,Changsha 410073,China)

This paper defines the concept ofmilitary information service,brings forward formalization descriptionmethod of military information service com position model based on object Petri-net,constrcts the basic composition structure o f military information service com position model.Aim ing at a concrete case of aerial defence and antimissile information system,making use of object Petri-net modeling and simulation environment of national university of defense technology,we construct m ilitary information service com position model and analyze the constructed model.The practice indicates that this modeling approach can meet the need of the military information service com position and has well capability in exp ressing and analyzing themilitary information service composition.

military information service,object petri net,service compositon,model

TP393

A

1002-0640(2012)03-0194-06

2011-03-01

2011-05-07

國(guó)防預(yù)研重點(diǎn)基金;“十一五”武器裝備預(yù)研基金資助項(xiàng)目

舒 振 (1977- ),男,江西上饒人,博士生,研究方向:指揮控制系統(tǒng)總體技術(shù),服務(wù)計(jì)算、需求工程等。