基于體系結(jié)構(gòu)流程仿真的天基預(yù)警系統(tǒng)服務(wù)描述與驗(yàn)證*

簡 平，熊 偉

(裝備學(xué)院復(fù)雜電子系統(tǒng)仿真實(shí)驗(yàn)室，北京 101416)

天基預(yù)警系統(tǒng)的主要應(yīng)用之一是彈道導(dǎo)彈防御作戰(zhàn)。系統(tǒng)工作過程及其作戰(zhàn)應(yīng)用過程具有復(fù)雜性、動(dòng)態(tài)性特點(diǎn)，而且存在大量不確定性信息。從體系結(jié)構(gòu)入手是從全局和根本上理解天基預(yù)警系統(tǒng)及其作戰(zhàn)應(yīng)用內(nèi)在規(guī)律的途徑之一。在當(dāng)前體系結(jié)構(gòu)框架下設(shè)計(jì)體系結(jié)構(gòu)模型通常描述的系統(tǒng)靜態(tài)信息或動(dòng)態(tài)信息的靜態(tài)表示(如作戰(zhàn)活動(dòng)模型和服務(wù)過程演化描述模型)，這些模型不能提供信息在什么條件下產(chǎn)生，以及信息是如何接收和發(fā)送的具體細(xì)節(jié)，很難對系統(tǒng)之間的交互作用等動(dòng)態(tài)行為進(jìn)行分析。動(dòng)態(tài)可執(zhí)行模型可以定義信息接收、產(chǎn)生發(fā)送的條件，反映隨時(shí)間變化的活動(dòng)、行為的信息交換以及活動(dòng)和角色之間的動(dòng)態(tài)交互［1］，本文研究建立天基預(yù)警服務(wù)可執(zhí)行流程模型，分析天基預(yù)警服務(wù)的效用。

1 流程任務(wù)時(shí)序描述模型

天基預(yù)警服務(wù)流程模型包括服務(wù)節(jié)點(diǎn)、服務(wù)行為的任務(wù)時(shí)序關(guān)系，任務(wù)的時(shí)序關(guān)系是進(jìn)行任務(wù)描述和建立任務(wù)描述模型的基礎(chǔ)，通常把任務(wù)時(shí)序關(guān)系分為串行和并行兩大類。根據(jù)任務(wù)執(zhí)行時(shí)間的重疊形式，串行又可分為匯合和超前關(guān)系，并行又可分為相等、期間、重疊、開始和結(jié)束關(guān)系，任務(wù)時(shí)序關(guān)系如圖1所示，設(shè)有任務(wù)A和B，TAs和 TBs分別為A和 B任務(wù)開始時(shí)間，TAe和TBe分別為A和B任務(wù)結(jié)束時(shí)間。

1)串行關(guān)系。A與B為串行關(guān)系，有TAe≤TBs。當(dāng)TAe=TBs時(shí)，稱為匯合關(guān)系(meets)，如圖1(a)所示;當(dāng)TAe＜TBs時(shí)，稱為超前關(guān)系，如圖1(b)所示。……