軍事信息服務(wù)混合工作流模型研究.pdf

1、隨著面向服務(wù)架構(gòu)（SOA）的迅速發(fā)展以及Web服務(wù)的成熟與完善，軟件應(yīng)用服務(wù)化思想已經(jīng)在新一代軍事信息系統(tǒng)構(gòu)建中被廣泛接受并予以實(shí)現(xiàn)。然而，僅由Web服務(wù)及其組合構(gòu)成的業(yè)務(wù)流程已越來(lái)越不能滿(mǎn)足實(shí)際應(yīng)用的需求，軍事信息系統(tǒng)中作戰(zhàn)流程的執(zhí)行和業(yè)務(wù)功能的實(shí)現(xiàn)離不開(kāi)指揮員的參與，某些活動(dòng)還需要指揮員和相關(guān)軍事保障人員的具體執(zhí)行。如何將指揮員活動(dòng)以面向服務(wù)思想集成到服務(wù)化系統(tǒng)中，建立人機(jī)協(xié)作的混合工作流程，實(shí)現(xiàn)人機(jī)之間的松散耦合和靈活互操作是服務(wù)

2、化軍事信息系統(tǒng)構(gòu)建亟需研究和解決的問(wèn)題。為此本文結(jié)合BPEL的擴(kuò)展規(guī)范BPEL4People建立了軍事信息服務(wù)混合工作流的描述機(jī)制，提出了軍事信息服務(wù)混合工作流的著色Petri網(wǎng)建模方法，利用Petri網(wǎng)技術(shù)分析驗(yàn)證混合工作流的有界性、可達(dá)性、活性等性質(zhì)。
　　本研究主要內(nèi)容包括：⑴介紹了面向服務(wù)架構(gòu)目前的發(fā)展情況，分析了軍事信息服務(wù)系統(tǒng)中的人機(jī)交互問(wèn)題，總結(jié)了面向服務(wù)架構(gòu)領(lǐng)域的服務(wù)組合方法、工作流建模方法和服務(wù)組合驗(yàn)證技術(shù)。⑵介

3、紹了標(biāo)準(zhǔn)化的工作流描述語(yǔ)言WS-BPEL的基本組成和流程交互過(guò)程，結(jié)合 BPEL4People給出了軍事信息系統(tǒng)中人工指控任務(wù)的描述機(jī)制，分析了人工指控任務(wù)的執(zhí)行過(guò)程和狀態(tài)轉(zhuǎn)換，通過(guò)Web服務(wù)和人工指控任務(wù)的有機(jī)組織，形成了混合工作流程的描述方法，設(shè)計(jì)實(shí)現(xiàn)了能得到混合工作流描述文件的可視化建模工具，建立了混合工作流執(zhí)行調(diào)度框架。⑶利用著色Petri網(wǎng)這一形式化的數(shù)學(xué)性建模工具，對(duì)軍事信息系統(tǒng)中的混合工作流中的服務(wù)組合和任務(wù)組合進(jìn)行模塊化