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

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

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

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