基于一體化建模方法的作戰(zhàn)仿真實(shí)體建模

張永亮， 曹 雷， 潘明聰

(解放軍理工大學(xué)指揮信息系統(tǒng)學(xué)院， 江蘇 南京 210007)

構(gòu)建科學(xué)合理的作戰(zhàn)仿真模型資源，是當(dāng)前我軍開(kāi)展作戰(zhàn)模擬系統(tǒng)建設(shè)和作戰(zhàn)仿真實(shí)驗(yàn)的迫切需求。作戰(zhàn)模擬系統(tǒng)開(kāi)發(fā)實(shí)踐表明：在一體化建模思想指導(dǎo)下，通過(guò)規(guī)范建模過(guò)程和結(jié)果，構(gòu)建可重用、易維護(hù)的模型資源庫(kù)，以滿足不同層次作戰(zhàn)模擬系統(tǒng)的開(kāi)發(fā)需要，已成為當(dāng)前我軍作戰(zhàn)模擬與仿真實(shí)驗(yàn)領(lǐng)域亟待完成的一項(xiàng)前瞻性基礎(chǔ)工程，這一過(guò)程將有力促進(jìn)我軍軍事仿真模型標(biāo)準(zhǔn)化進(jìn)程，具有廣闊的應(yīng)用前景。運(yùn)用一體化建模方法構(gòu)建作戰(zhàn)仿真實(shí)體模型，既是從方法論的角度對(duì)一體化建模理論的進(jìn)一步發(fā)展和深化，同時(shí)也是對(duì)我軍仿真模型工程建設(shè)的積極探索與實(shí)踐。

1 總體思路

一體化建模方法強(qiáng)調(diào)各建模階段遵循一定的建模規(guī)范，實(shí)現(xiàn)不同形態(tài)模型的平滑過(guò)渡，從而使軍事概念模型與程序仿真模型之間可以互相轉(zhuǎn)換。模型轉(zhuǎn)換方式有3種：1) 技術(shù)開(kāi)發(fā)人員利用自身專業(yè)知識(shí)完成對(duì)模型設(shè)計(jì)說(shuō)明的人工轉(zhuǎn)換，然后進(jìn)行編碼實(shí)現(xiàn)；2) 把模型框架與共有功能提取出來(lái)，形成模型開(kāi)發(fā)向?qū)В夹g(shù)人員利用模型開(kāi)發(fā)向?qū)?shí)現(xiàn)模型半自動(dòng)轉(zhuǎn)換；3) 充分利用前2種方法，定義模型間協(xié)議接口規(guī)范，把技術(shù)人員對(duì)模型的推理、轉(zhuǎn)換與實(shí)現(xiàn)過(guò)程進(jìn)一步抽象，描述成可以自動(dòng)處理的“推理機(jī)”，實(shí)現(xiàn)軍事概念模型到程序模型的自動(dòng)轉(zhuǎn)換。基于一體化建模技術(shù)開(kāi)發(fā)作戰(zhàn)仿真實(shí)體模型采用后2種模型轉(zhuǎn)換方式實(shí)現(xiàn)，其總體思路分3步展開(kāi)。

1) 以作戰(zhàn)實(shí)體模型需求分析為牽引，運(yùn)用面向?qū)嶓w的模板化概念建模方法完成對(duì)作戰(zhàn)實(shí)體概念模型的格式化描述，進(jìn)而運(yùn)用基于統(tǒng)一建模語(yǔ)言(Unified Modeling Language,UML)的軍事概念建模方法和規(guī)范化的建模工具，獲取完備的、可讀性強(qiáng)的“半形式化”軍事概念模型資源，為概念模型向數(shù)學(xué)邏輯模型和程序組件模型轉(zhuǎn)換創(chuàng)造條件。

2) 在面向?qū)嶓w的一體化建模方法規(guī)范下，分別從作戰(zhàn)實(shí)體屬性、行為和關(guān)系3要素出發(fā)，實(shí)現(xiàn)對(duì)作戰(zhàn)實(shí)體概念模型的定量分析與描述，完成概念模型向數(shù)學(xué)邏輯模型的一致性轉(zhuǎn)換。

3) 以面向?qū)ο蟮某绦蛟O(shè)計(jì)思想為指導(dǎo)，基于組件對(duì)象模型(Component Obiect Model,COM)的軟件工程方法完成作戰(zhàn)實(shí)體仿真模型組件開(kāi)發(fā)。首先，依據(jù)實(shí)體需求模型，確定需要開(kāi)發(fā)的若干功能模型組件；然后，完成功能組件的規(guī)劃，實(shí)現(xiàn)組件接口的設(shè)計(jì)；最后,完成對(duì)仿真模型組件的測(cè)試和管理。作戰(zhàn)仿真實(shí)體模型開(kāi)發(fā)的總體思路如圖1所示。

圖1 基于一體化建模的作戰(zhàn)仿真實(shí)體模型開(kāi)發(fā)總體思路

2 作戰(zhàn)仿真實(shí)體需求與概念建模

2.1 實(shí)體需求建模

目前，在需求分析階段，可采用結(jié)構(gòu)化的分析方法或用況驅(qū)動(dòng)的分析方法[1]對(duì)開(kāi)發(fā)系統(tǒng)的功能和目標(biāo)需求進(jìn)行分析。結(jié)構(gòu)化的分析方法通過(guò)系統(tǒng)中的數(shù)據(jù)流動(dòng)和系統(tǒng)的內(nèi)部活動(dòng)來(lái)對(duì)系統(tǒng)的功能進(jìn)行分析，其缺點(diǎn)是：在需求分析的初期就必須深入過(guò)多內(nèi)部的細(xì)節(jié)，這樣反而對(duì)系統(tǒng)功能的分析不利，而且其整個(gè)建模策略與面向?qū)ο蟮慕Ｋ枷胂嗥H。而運(yùn)用基于用況的需求分析方法來(lái)構(gòu)建作戰(zhàn)實(shí)體仿真模型的需求模型，其優(yōu)勢(shì)在于：1) 基于用況的實(shí)體模型需求描述為模型的用戶需求(主要是功能需求)提供規(guī)范而準(zhǔn)確的表達(dá)，有利于建模人員準(zhǔn)確地理解模型需求，并進(jìn)行互動(dòng)式的模型開(kāi)發(fā)；2) 該方法可以全面、詳盡地描述出模型系統(tǒng)的功能需求，為建模人員提供準(zhǔn)確的依據(jù)；3) 該方法與面向?qū)嶓w的建模方法都源于面向?qū)ο笏枷耄先藗兊淖匀凰季S方式，軍事人員與技術(shù)人員更易溝通與交流；4) 基于用況的需求描述支持工具環(huán)境，如Rational Rose、PlayCASE、StarUML等，都提供了用況圖表示法，可以與基于UML的實(shí)體概念模型圖(類圖、順序圖等)有機(jī)銜接，便于實(shí)現(xiàn)對(duì)實(shí)體軍事概念模型的形式化或半形式化描述。

為此，本文采用基于UML的用況圖對(duì)模型功能需求進(jìn)行描述，采用表格將模型需求的文字式描述與用況圖描述進(jìn)行整合，以完整表達(dá)實(shí)體的需求模型；然后，以表格的形式將模型的用況圖與用況規(guī)約進(jìn)行綜合，形成規(guī)范化的需求模型文檔。依據(jù)基于用況的需求建模表示法，只要對(duì)模型的參與者名稱、用況(即模型應(yīng)實(shí)現(xiàn)的功能)名稱、用況圖規(guī)約及用況圖進(jìn)行描述，就可以完整表達(dá)實(shí)體模型全部主要功能的需求內(nèi)容。基于用況的作戰(zhàn)仿真實(shí)體需求建模過(guò)程如圖2所示。

圖2 基于用況的作戰(zhàn)仿真實(shí)體需求建模過(guò)程

2.2 實(shí)體概念建模

作戰(zhàn)實(shí)體一體化建模對(duì)概念建模的要求是：1) 采用面向?qū)嶓w的建模思想指導(dǎo)軍事概念建模，以便達(dá)成建模人員之間理解問(wèn)題的一致性；2) 運(yùn)用系統(tǒng)工程的理論和方法規(guī)范化地描述和管理概念模型，確保提高概念模型質(zhì)量的同時(shí)，促進(jìn)概念模型的共享和重用；3) 基于通用的語(yǔ)義和語(yǔ)法(Common Semantics and Syntax, CSS)環(huán)境構(gòu)建形式化或半形式化的概念模型，為實(shí)現(xiàn)一體化建模中的仿真模型正逆工程創(chuàng)造條件[2-4]。

借鑒“概念建模工程”思想和國(guó)內(nèi)關(guān)于軍事概念建模的研究成果[5-8]，本文提出基于概念模型模板進(jìn)行格式化描述和基于統(tǒng)一建模語(yǔ)言UML進(jìn)行半形式化描述的2階段概念建模思路。首先，技術(shù)人員依據(jù)作戰(zhàn)實(shí)體概念模型屬性、行為和關(guān)系3要素描述信息，以表格式模板引導(dǎo)軍事人員完成對(duì)作戰(zhàn)實(shí)體靜態(tài)特征、動(dòng)態(tài)行為和交互關(guān)系的格式化描述；然后，在此基礎(chǔ)上以技術(shù)人員為主，以軍事人員為輔，運(yùn)用UML實(shí)現(xiàn)對(duì)實(shí)體概念模型半形式化表達(dá)。前一階段主要完成對(duì)作戰(zhàn)實(shí)體軍事領(lǐng)域知識(shí)進(jìn)行準(zhǔn)確、完整和詳盡的描述，以解決軍事人員與技術(shù)人員之間溝通難的問(wèn)題；后一階段主要實(shí)現(xiàn)由格式化描述信息向UML模型圖的轉(zhuǎn)換，為作戰(zhàn)實(shí)體概念模型的校驗(yàn)和仿真實(shí)現(xiàn)奠定基礎(chǔ)。面向軍事人員的作戰(zhàn)仿真實(shí)體概念模型模板體系如圖3所示。

圖3 面向軍事人員的作戰(zhàn)仿真實(shí)體概念模型模板體系

在概念模型格式化描述過(guò)程中，作戰(zhàn)使命空間在“使命—任務(wù)—行動(dòng)”分解的基礎(chǔ)上，可進(jìn)一步對(duì)作戰(zhàn)實(shí)體行為進(jìn)行“動(dòng)作—規(guī)則—數(shù)據(jù)”層層分解，即通過(guò)自頂而下的使命任務(wù)空間分解，從而得到需要的實(shí)體行為概念模型；按照“元?jiǎng)幼鳌刂埔?guī)則—支持?jǐn)?shù)據(jù)”的描述方法描述作戰(zhàn)實(shí)體行為，然后自底向上地對(duì)作戰(zhàn)行為的元?jiǎng)幼鞲拍钅Ｐ瓦M(jìn)行“封裝”，可實(shí)現(xiàn)對(duì)實(shí)體行為的完整表達(dá)。作戰(zhàn)實(shí)體的使命任務(wù)空間分解過(guò)程如圖4所示。

圖4 作戰(zhàn)實(shí)體的使命任務(wù)空間分解過(guò)程

基于UML的作戰(zhàn)實(shí)體概念模型半形式化描述，是利用UML把其格式化的實(shí)體概念模型信息從屬性、行為和關(guān)系3個(gè)層面，以明確語(yǔ)義和規(guī)范化模型圖予以表達(dá)。這一階段不僅要實(shí)現(xiàn)基于UML來(lái)描述實(shí)體靜態(tài)結(jié)構(gòu)和動(dòng)態(tài)行為信息，還需確保實(shí)體、任務(wù)、行為、交互等概念建模元素的格式化描述信息與UML模型圖描述內(nèi)容的一致性映射。目前，諸如IBM Rational Rose、StarUML等建模工具支持從基于UML的概念模型到軟件代碼的自動(dòng)生成，極大地方便了工程技術(shù)人員的理解與使用。

為了彌補(bǔ)UML對(duì)概念模型動(dòng)態(tài)行為內(nèi)容描述的缺陷，實(shí)現(xiàn)模型間的要素信息轉(zhuǎn)換不失真，目前主要有2種解決辦法：1) 利用可執(zhí)行UML(Executable UML)；2) 將UML與對(duì)象約束語(yǔ)言(Object Constraint Language，OCL)相結(jié)合使用。從實(shí)踐來(lái)看，比較可行的辦法是利用形式化的OCL來(lái)彌補(bǔ)作戰(zhàn)實(shí)體各階段模型信息的缺失[9]，使得基于UML的概念模型更精確和完備。采用OCL規(guī)約來(lái)描述模型額外的附加信息，可以通過(guò)程序生成工具把模型及規(guī)約提供的模型信息自動(dòng)轉(zhuǎn)換為源程序。作戰(zhàn)仿真實(shí)體概念建模的基本過(guò)程如圖5所示。

圖5 作戰(zhàn)仿真實(shí)體概念建模的基本過(guò)程

3 作戰(zhàn)仿真實(shí)體數(shù)學(xué)邏輯建模

數(shù)學(xué)邏輯建模在面向?qū)嶓w的一體化建模中處于承上啟下的位置，是實(shí)現(xiàn)概念模型向程序模型轉(zhuǎn)換的關(guān)鍵環(huán)節(jié)，因而，無(wú)論是實(shí)現(xiàn)對(duì)概念模型的定量化描述，還是從數(shù)學(xué)模型到仿真模型的程序轉(zhuǎn)換，都對(duì)其提出了規(guī)范的建模要求：1) 適應(yīng)一體化建模中模型聯(lián)動(dòng)開(kāi)發(fā)的需要，遵循面向?qū)嶓w的建模思想，實(shí)現(xiàn)數(shù)學(xué)模型與其他形態(tài)模型的有機(jī)銜接；2) 選擇合理的算法和建模過(guò)程指導(dǎo)，以構(gòu)建規(guī)范化的數(shù)學(xué)邏輯模型；3) 實(shí)現(xiàn)數(shù)學(xué)邏輯模型規(guī)范化的形式化表達(dá)，以縮短其與軟件編程的距離。

為滿足一體化建模中作戰(zhàn)實(shí)體數(shù)學(xué)建模的要求，本文將從作戰(zhàn)實(shí)體概念模型的構(gòu)成要素出發(fā)，運(yùn)用數(shù)學(xué)或邏輯表達(dá)方法描述作戰(zhàn)實(shí)體的靜態(tài)屬性、動(dòng)態(tài)行為及其關(guān)系。具體來(lái)看，實(shí)體概念模型的實(shí)體層包括實(shí)體分類、屬性、行為分類和關(guān)系分類等描述信息，可以直接通過(guò)數(shù)據(jù)采集，定性變量與定量變量轉(zhuǎn)化的方法，完成對(duì)實(shí)體靜態(tài)屬性描述信息的量化，而不需要相應(yīng)算法的支持，其結(jié)果表現(xiàn)為一組便于程序設(shè)計(jì)人員對(duì)照編程的數(shù)據(jù)結(jié)構(gòu)(輸入數(shù)據(jù))；實(shí)體概念模型的行為層主要描述作戰(zhàn)勤務(wù)活動(dòng)、指揮決策活動(dòng)和作戰(zhàn)行動(dòng)等，可以通過(guò)建立行動(dòng)規(guī)則的邏輯流程圖和相關(guān)算法來(lái)反映各元?jiǎng)幼鲀?nèi)容及元?jiǎng)幼鏖g的邏輯和時(shí)序關(guān)系；實(shí)體概念模型的關(guān)系層主要描述實(shí)體與其他實(shí)體間的靜態(tài)和動(dòng)態(tài)關(guān)系，供程序設(shè)計(jì)人員明確作戰(zhàn)實(shí)體模型間的調(diào)用關(guān)系。

總體來(lái)看，作戰(zhàn)實(shí)體數(shù)學(xué)邏輯模型可以有2種描述形式：1) 通過(guò)邏輯流程圖的方式，對(duì)作戰(zhàn)指揮決策和作戰(zhàn)行動(dòng)規(guī)則進(jìn)行邏輯判斷和推理，以反映整個(gè)作戰(zhàn)活動(dòng)的執(zhí)行過(guò)程；2) 對(duì)實(shí)體行為元?jiǎng)幼骱诵乃惴ㄒ詳?shù)學(xué)解析式的形式予以描述，以反映元?jiǎng)幼鞯膬?nèi)在變化規(guī)律。最終，將數(shù)學(xué)算法嵌入到描述相應(yīng)實(shí)體行為的邏輯流程圖中，完成對(duì)數(shù)學(xué)邏輯模型的一體化描述。遵循一體化建模中數(shù)學(xué)邏輯建模規(guī)范，所構(gòu)建的作戰(zhàn)實(shí)體數(shù)學(xué)邏輯模型如圖6所示。

4 作戰(zhàn)仿真實(shí)體模型開(kāi)發(fā)的一體化過(guò)程

4.1 作戰(zhàn)仿真實(shí)體模型開(kāi)發(fā)的正向工程

1) 實(shí)現(xiàn)基于用況的需求模型向基于UML的概念模型映射。這一過(guò)程可以分2步：一是遵循基于用況的需求分析思想，對(duì)作戰(zhàn)實(shí)體模型需求進(jìn)行分析與描述；二是從作戰(zhàn)實(shí)體需求模型的用況圖中找出該模型所涉及的模型參與者(即與之相關(guān)聯(lián)的實(shí)體模型)和用況。

圖6 基于一體化建模的作戰(zhàn)實(shí)體數(shù)學(xué)邏輯模型

2) 在面向?qū)嶓w建模思想的指導(dǎo)下，從用況圖和用況規(guī)約中找出相應(yīng)實(shí)體類及行為，按照面向?qū)ο蟮慕Ｋ枷耄謩e從實(shí)體的靜態(tài)屬性、動(dòng)態(tài)行為及關(guān)系3個(gè)層次完成對(duì)實(shí)體的概念化描述。這一過(guò)程可以用基于UML的類圖來(lái)描述需求模型中的若干實(shí)體類，用順序圖、活動(dòng)圖、交互圖等行為圖進(jìn)一步完善和細(xì)化實(shí)體用況圖，以反映其動(dòng)態(tài)行為特征。利用軍事概念建模軟件平臺(tái)，基于UML、IDEF(Intergrated computer aided manufacturing DEFinition)等知識(shí)描述形式[10]，最終可以實(shí)現(xiàn)對(duì)實(shí)體模型的概念化表達(dá)，生成便于計(jì)算機(jī)存儲(chǔ)和理解的數(shù)據(jù)格式，這是實(shí)現(xiàn)模型自動(dòng)、半自動(dòng)化轉(zhuǎn)換的前提條件。從基于用況的需求模型到基于UML的概念模型的迭代開(kāi)發(fā)過(guò)程如圖7所示。

圖7 從基于用況的需求模型到基于UML的概念模型的迭代開(kāi)發(fā)過(guò)程

3) 實(shí)現(xiàn)從基于UML/OCL的實(shí)體概念模型圖和模型規(guī)約向其邏輯數(shù)學(xué)模型轉(zhuǎn)換。可單純由數(shù)據(jù)結(jié)構(gòu)描述的實(shí)體屬性表就不必進(jìn)行數(shù)學(xué)建模，可直接用于程序?qū)崿F(xiàn)；實(shí)體行為概念模型可繼續(xù)分解為更詳細(xì)的邏輯流程，并通過(guò)確定各框圖間的邏輯關(guān)系、各框圖內(nèi)部的局部算法以及模型的總體算法來(lái)定量表達(dá)。最終構(gòu)建的作戰(zhàn)實(shí)體數(shù)學(xué)邏輯模型可在數(shù)學(xué)邏輯建模軟件平臺(tái)和軍事概念—數(shù)學(xué)邏輯模型轉(zhuǎn)換工具的支持下，實(shí)現(xiàn)從概念模型數(shù)據(jù)向數(shù)學(xué)邏輯模型數(shù)據(jù)的映射和整合，從而方便其向程序代碼的轉(zhuǎn)換。

4) 按照模型一體化設(shè)計(jì)要求，將生成的程序源碼按照COM組件技術(shù)規(guī)范和框架進(jìn)行封裝、集成，就形成了易于調(diào)用和管理的作戰(zhàn)實(shí)體仿真模型組件資源。從概念模型和數(shù)學(xué)邏輯模型向程序組件模型轉(zhuǎn)換，只有遵循規(guī)范的格式標(biāo)準(zhǔn)，才能確保其與程序模型的無(wú)縫連接，其關(guān)鍵原因在于不同形態(tài)模型的語(yǔ)法和語(yǔ)義存在著差異。在軟件工程領(lǐng)域，UML已經(jīng)成為事實(shí)的標(biāo)準(zhǔn)建模語(yǔ)言，諸如Rational Rose、PlayCase、Power Designer等開(kāi)發(fā)工具都支持從基于UML的靜態(tài)概念模型轉(zhuǎn)換為多種程序語(yǔ)言(VC++、Java等)的源代碼。為了確保異構(gòu)模型數(shù)據(jù)之間進(jìn)行互操作和集成，必須要將多種多樣的知識(shí)表述形式和異構(gòu)數(shù)據(jù)轉(zhuǎn)換成統(tǒng)一的數(shù)據(jù)標(biāo)準(zhǔn)。目前，利用可擴(kuò)展標(biāo)記語(yǔ)言(eXtensible Markup Language，XML)作為數(shù)據(jù)交換與集成的數(shù)據(jù)標(biāo)準(zhǔn)，已成為大多數(shù)模型開(kāi)發(fā)者實(shí)現(xiàn)模型之間數(shù)據(jù)交換的選擇[11]。

4.2 作戰(zhàn)仿真實(shí)體模型開(kāi)發(fā)的逆向工程

一體化建模的逆向工程主要任務(wù)是實(shí)現(xiàn)模型從仿真模型向可視化概念模型轉(zhuǎn)換，旨在幫助開(kāi)發(fā)人員在迭代式的模型開(kāi)發(fā)中不斷提高模型可信度，同時(shí)為模型校驗(yàn)提供方法手段。為了滿足一體化建模過(guò)程中模型信息逆向轉(zhuǎn)換的需要，本文從以下2個(gè)方面進(jìn)行技術(shù)準(zhǔn)備。

1) 在面向?qū)ο笏枷氲闹笇?dǎo)下，運(yùn)用面向?qū)嶓w的一體化建模方法實(shí)現(xiàn)對(duì)作戰(zhàn)仿真實(shí)體模型的開(kāi)發(fā)，實(shí)現(xiàn)問(wèn)題空間與模型空間的一致性映射。面向?qū)嶓w的建模方法遵循面向?qū)ο蟮慕Ｋ枷耄褂昧伺c問(wèn)題域一致的概念、詞匯與原則，分別從實(shí)體屬性、行為和關(guān)系3個(gè)層次實(shí)現(xiàn)從需求模型到程序模型的映射，這種一致性將保持到模型設(shè)計(jì)、編程、測(cè)試及維護(hù)等各個(gè)階段。在Rational Rose建模工具及Soda等附屬工具的支持下，可以實(shí)現(xiàn)基于UML的概念模型與程序模型間的自動(dòng)、半自動(dòng)化的轉(zhuǎn)換。在模型測(cè)試和校驗(yàn)過(guò)程中，以類的概念為中心，利用繼承、關(guān)聯(lián)等關(guān)系所提供的信息，可以發(fā)現(xiàn)程序仿真模型與概念模型不一致的錯(cuò)誤，而且當(dāng)程序中發(fā)現(xiàn)錯(cuò)誤時(shí)，可以逆向追蹤到概念模型和問(wèn)題域。

2) 在作戰(zhàn)實(shí)體模板化概念建模過(guò)程中，分別對(duì)作戰(zhàn)實(shí)體概念模型模板體系中的3層10類模型模板描述信息設(shè)置相應(yīng)的編碼。作戰(zhàn)仿真實(shí)體概念模型描述信息編碼體系如圖8所示，可以看出：其概念模型通過(guò)模型編碼信息間的繼承和聚合關(guān)系，分別從屬性、行為和關(guān)系3個(gè)層面對(duì)概念模型要素每一項(xiàng)模型描述信息進(jìn)行唯一標(biāo)志。在面向?qū)ο蟮某绦蛟O(shè)計(jì)過(guò)程中，只要將概念模型的編碼信息作為其在聯(lián)合作戰(zhàn)仿真模型資源庫(kù)的定位標(biāo)簽，就可以實(shí)現(xiàn)模型程序源碼與概念模型描述信息的相互映射，為模型逆向轉(zhuǎn)換提供技術(shù)支持。這種模型描述思想與面向?qū)ο蟮某绦蛟O(shè)計(jì)理念是一致的。

圖8 作戰(zhàn)仿真實(shí)體概念模型描述信息編碼體系

5 結(jié)論

目前，面向?qū)嶓w的一體化建模技術(shù)在軍事仿真領(lǐng)域的應(yīng)用還處于從理論到實(shí)踐的過(guò)渡階段，距離指導(dǎo)工程應(yīng)用還有一定的差距，主要體現(xiàn)在：1) 一體化建模基礎(chǔ)理論中的建模規(guī)范、建模過(guò)程還未達(dá)成共識(shí)；2) 主要建模環(huán)節(jié)的轉(zhuǎn)換技術(shù)還有待攻克，即如何建立模型與代碼之間的映射機(jī)制，實(shí)現(xiàn)軍事概念模型與仿真模型的有機(jī)銜接和相互轉(zhuǎn)換。因而，本文通過(guò)研究作戰(zhàn)仿真實(shí)體模型的一體化建模過(guò)程，旨在探索指導(dǎo)作戰(zhàn)仿真模型一體化建模的工程方法，進(jìn)一步完善一體化建模理論體系。

參考文獻(xiàn)：

[1] Jacobson I. Object-oriented Software Engineering: A Use Case Driven Approach [M]. New York: Addison-Wesley Professional, 1992.

[2] 黃俊領(lǐng), 譚東風(fēng), 張向波. 軍事仿真概念模型開(kāi)發(fā)研究[J]. 計(jì)算機(jī)仿真, 2005, 22(2): 15-18.

[3] 吳永波,沙基昌,譚東風(fēng). 基于本體的兩階段任務(wù)空間概念模型開(kāi)發(fā)方法[J]. 國(guó)防科技大學(xué)學(xué)報(bào), 2005, 27(6): 120-125.

[4] OMG. Unified Modeling Language Specification, Version 1.5 [EB/OL]. (2003-03-01)[2013-10-21]. http://wwwoma.ore/

[5] 謝衛(wèi)平, 鄧蘇, 譚東風(fēng), 等. 概念模型工程研究[J]. 計(jì)算機(jī)仿真, 2003, 20(2): 120-122, 125.

[6] 汪文元, 沙基昌, 譚東風(fēng). 基于概念模型工程的工作流建模研究[J]. 計(jì)算機(jī)工程與科學(xué), 2006, 28(1)：139-142.

[7] 鄭娟, 馮書(shū)興, 曹裕華. 軍事概念模型分階段分層次開(kāi)發(fā)過(guò)程研究[J]. 計(jì)算機(jī)仿真, 2007, 24(7): 9-12, 129.

[8] 胡斌, 常青. 軍事概念模型建模實(shí)踐分析與研究[J]. 系統(tǒng)仿真學(xué)報(bào), 2008, 22(12): 3085-3088.

[9] 邵維忠, 楊芙清. 面向?qū)ο蟮南到y(tǒng)分析[M].2版. 北京: 清華大學(xué)出版社, 2007.

[10] 王杏林, 曹曉東. 概念建模[M]. 北京: 國(guó)防工業(yè)出版社, 2007.

[11] Laurent S S. XML基礎(chǔ)教程[M].2版. 康曉林, 伊希榮, 陳維義, 等譯.北京: 電子工業(yè)出版社, 2000.