韋正現(xiàn) 宋 敏 陳 霞

(1.中國船舶工業(yè)系統(tǒng)工程研究院 北京 100036) (2.北京外國語大學(xué)信息技術(shù)中心 北京 100089)(3.北京市西三環(huán)中路19號 北京 100841)

基于效果的艦船使命任務(wù)分解與檢驗(yàn)方法*

韋正現(xiàn)1宋 敏2陳 霞3

(1.中國船舶工業(yè)系統(tǒng)工程研究院 北京 100036) (2.北京外國語大學(xué)信息技術(shù)中心 北京 100089)(3.北京市西三環(huán)中路19號 北京 100841)

提出了面向效果的艦船使命任務(wù)分解模式,給出了任務(wù)分解和效果分配的合理性檢驗(yàn)機(jī)制,將使命任務(wù)的分解和使用效果的分配有機(jī)結(jié)合,建立了使命任務(wù)和使用效能的關(guān)聯(lián),描述了使命任務(wù)模型、使用效果指標(biāo)關(guān)系鏈模型和使命任務(wù)分解模式,以便于對艦船使命任務(wù)及其使用效果進(jìn)行分解、分析和精化。

艦船; 任務(wù); 效果; 分解; 檢驗(yàn)

Class Number TP311

1 引言

從系統(tǒng)總體的角度,作戰(zhàn)艦船的任務(wù)分解與分析是系統(tǒng)分析設(shè)計(jì)的重點(diǎn)內(nèi)容,也是困擾艦船及其相關(guān)系統(tǒng)領(lǐng)域的難題,業(yè)界對這兩方面進(jìn)行大量的研究。在艦船及其相關(guān)系統(tǒng)(如電子信息系統(tǒng))的分析設(shè)計(jì)方面主要分為兩類,一類是系統(tǒng)分析設(shè)計(jì)方法,其主要成果有SysML[1]、KAOS[2]、FAST[3]、FODA[4]和FORM[5]等;另一類是艦船使命任務(wù)的需求分析、設(shè)計(jì)與開發(fā)等框架的研究,其中典型代表有MoDAF[6]和DoDAF[7]。目前已有的方法中,對系統(tǒng)分析設(shè)計(jì)存在的主要問題表現(xiàn)為使命任務(wù)和使用效果的確定和論證沒有結(jié)合一起,頂層任務(wù)向下分解沒有與使用效果的分配相互結(jié)合起來,從而使使命任務(wù)和使用效果相互割裂。鑒于以上的問題,文章首先提出了一種基于效果的任務(wù)分解模式,它將使命任務(wù)的分解和使用效果的分配進(jìn)行有機(jī)結(jié)合,能夠指導(dǎo)艦船及其系統(tǒng)使命任務(wù)及其使用效果自頂向下地分解和分配;其次,文章通過對使命任務(wù)采用基于效果的任務(wù)分解模式進(jìn)行分解后形成的任務(wù)分解層次有向模型圖,給出良構(gòu)任務(wù)分解模型圖定義,實(shí)現(xiàn)了使命任務(wù)分解過程及結(jié)果語法合理性的檢查,同時(shí),對任務(wù)分解層次有向模型圖的可實(shí)現(xiàn)性進(jìn)行分析,實(shí)現(xiàn)了使命任務(wù)分解過程及結(jié)果的語義檢驗(yàn),在此基礎(chǔ)上,形成了任務(wù)分解和效果分配的合理性檢驗(yàn)機(jī)制;最后,文章總結(jié)并指出通過基于效果的任務(wù)分解模式與任務(wù)分解和效果分配的合理性檢驗(yàn)機(jī)制,為有效實(shí)現(xiàn)艦船使命任務(wù)自頂向下進(jìn)行分解、分析和精化提供一種有效途徑和方法。

2 面向效能的作戰(zhàn)任務(wù)分解模式

艦船及其系統(tǒng)需要從整體的使命任務(wù)出發(fā),將使命任務(wù)不斷自頂向下進(jìn)行分解,最后形成完成相應(yīng)使命任務(wù)需要的活動(dòng)、流程、資源及操作等,在使命任務(wù)分解的同時(shí)也是將完成該使命任務(wù)需要達(dá)到的效果分配到各個(gè)影響因素(資源)中。

2.1 作戰(zhàn)任務(wù)模型及其分解模式

艦艇作戰(zhàn)領(lǐng)域中,任意可以被識別和操作的事物稱為資源(resource)[8],例如信息(值、數(shù)據(jù)等)、物理實(shí)體(硬件、人等)、軟件系統(tǒng)等。所有資源均可用一組特定的屬性來表示。每個(gè)屬性用于表征資源一個(gè)方面特性。資源的屬性可以分成兩類,固定屬性和可變屬性。固定屬性是指在資源整個(gè)生命周期中,其值不隨時(shí)間發(fā)生變化的屬性,例如聲納設(shè)備本身的屬性、魚雷的參數(shù)屬性等;而可變屬性值將隨外界條件的改變而發(fā)生變化,例如,艦艇所擁有魚雷的數(shù)量會(huì)隨著作戰(zhàn)態(tài)勢轉(zhuǎn)換而不同。

定義1(資源) 艦船上資源可表示為

Res=(SAttr,DAttr,SARan,DARan,ValFuncafSAttr,VaIFuncofDAttr)

其中:

1)SAttr={sa1,…,san}表示艦船上可用資源的固定屬性集;

2)DAttr={da1,…,dan}表示艦船上可用資源的可變屬性集;

3)SARan={sv1,…,svn}表示艦船上可用資源固定屬性的取值范圍;

4)DARan={dv1,…,dvn}表示艦船上可用資源可變屬性的的取值范圍;

5)ValFuncofSAttr:SAttr→SARan表示艦船上可用資源固定屬性的取值函數(shù);

6)ValFuncofDAttr:DAttr→P(DARan)表示艦船上可用資源可變屬性的取值函數(shù),P(DARan)作為DARan的冪集。

為了方便,采用@表示資源和屬性的從屬關(guān)系,例如da@res表示資源res的一個(gè)可變屬性da,sa@res表示資源res的一個(gè)固定屬性sa。

對于艦船上某個(gè)可用資源的可變屬性,當(dāng)屬性順序確定時(shí)構(gòu)成一個(gè)向量,稱此向量為資源的可變屬性向量。資源可變屬性向量的任意一個(gè)有效取值為該資源的一個(gè)狀態(tài)(state)。資源狀態(tài)的變遷表現(xiàn)了資源受外界作用而發(fā)生的屬性改變。

定義2(狀態(tài)) 設(shè)資源res共有n個(gè)可變屬性da1,…,dan,則res的一個(gè)狀態(tài)為da@res=(val1,…,valn),其中,vali=ValFuncofDAttr(dai),i=1,…,n。

因?yàn)橥饨缱饔脤?dǎo)致資源的狀態(tài)發(fā)生變遷,用資源的狀態(tài)變遷來表征這種外部作用,并稱其為作用在資源上的一個(gè)活動(dòng)(activity),即使用活動(dòng),一個(gè)使用活動(dòng)表示一種作用在資源上的操作。

定義3(活動(dòng)) 活動(dòng)可以表示為一個(gè)三元組,Act:=(res,s0,s1),其中,res表示活動(dòng)Act所作用的資源,s0表示活動(dòng)作用前res的狀態(tài),s1表示活動(dòng)作用后res的狀態(tài)。

定義4(活動(dòng)的可加性) 若存在活動(dòng)Act1:=(res,s0,s1),Act2:=(res,s1,s2),則Act1與Act2可加。稱Act1為Act2的一個(gè)直接前驅(qū),Act2為Act1的直接后繼,并且規(guī)定Act3:=(res,s0,s3)為Act1和Act2的復(fù)合活動(dòng),記為

Act3=Act1+Act2

由外部產(chǎn)生的或由內(nèi)部活動(dòng)產(chǎn)生的值得注意的出現(xiàn)情況稱為事件(Event),狀態(tài)和活動(dòng)都可能導(dǎo)致事件的發(fā)生,事件的發(fā)生可能會(huì)導(dǎo)致狀態(tài)的改變和新活動(dòng)的產(chǎn)生,因此,狀態(tài)、事件和活動(dòng)共同推進(jìn)了任務(wù)的完成。

一個(gè)任務(wù)的描述包含完成該任務(wù)所需要進(jìn)行的活動(dòng)、需要的資源、任務(wù)的執(zhí)行狀態(tài)和執(zhí)行后的狀態(tài)、活動(dòng)中產(chǎn)生的事件以及完成該任務(wù)需要達(dá)到效果指標(biāo)[9～10]五部分。資源部分描述該任務(wù)所有的可操作資源,用資源集表示;活動(dòng)部分描述通過一系列的操作或運(yùn)行而完成相應(yīng)的功能,同時(shí)描述了希望資源狀態(tài)變遷情況,用活動(dòng)集表示;狀態(tài)描述了活動(dòng)的執(zhí)行結(jié)果和資源狀態(tài)的變遷情況,用狀態(tài)集來表示;事件主要描述了活動(dòng)的執(zhí)行條件以及在活動(dòng)執(zhí)行和狀態(tài)變化中需要注意的情況,用事件集表示;效果主要描述了完成任務(wù)需要達(dá)到(或預(yù)期)的程度,用效果指標(biāo)表示。

定義5(任務(wù)) 任務(wù)可以表示為一個(gè)五元組:

Mission=(Act,Res,State,Event,EfficGoal)

其中:

1)Act是任務(wù)所含的活動(dòng)集合;

2)Res是任務(wù)所有可操作資源構(gòu)成的集合;

3)State是任務(wù)執(zhí)行過程所含狀態(tài)的集合;

4)Event是Act中每個(gè)活動(dòng)的執(zhí)行條件(資源某個(gè)時(shí)刻的狀態(tài)),以及活動(dòng)產(chǎn)生的需要注意結(jié)果的集合,在一定意義上它是狀態(tài)的一個(gè)條件函數(shù);

5)EfficGoal是完成任務(wù)所期望達(dá)到的效果指標(biāo)集合。

任務(wù)可以分解為更小的子任務(wù),將已有的任務(wù)分解方案進(jìn)行總結(jié)、抽象,形成一種具有領(lǐng)域內(nèi)通用性質(zhì)的任務(wù)分解模式,由于活動(dòng)的可加性,使得一個(gè)任務(wù)可以由多個(gè)活動(dòng)構(gòu)成。同樣,多個(gè)任務(wù)根據(jù)一定條件、按照一定順序也能構(gòu)成更高層的任務(wù)。因此,對于大粒度的任務(wù)而言,一般總能由一些小粒度的子任務(wù)組合而成。這些子任務(wù)及其組合方式就是該大粒度任務(wù)的一個(gè)分解。

一個(gè)任務(wù)分解模式的描述包含子任務(wù)、任務(wù)完成條件等幾部分。任務(wù)是由所有構(gòu)成該任務(wù)的子任務(wù)組成的集合。任務(wù)完成條件部分用于給出子任務(wù)的執(zhí)行條件,用資源狀態(tài)的邏輯表達(dá)式集合來描述。

定義6(任務(wù)分解模式) 任務(wù)mission的一個(gè)分解模式可以表示為一個(gè)八元組:

MissionDecMod(mission)=(SubMissions,Act,State,Event,Prop,PropMissionofSubMissions,EfficGoal,EGRelLinkMissionofSubMissions)

其中:

1)SubMissions={mission1,…,missionn}是一組任務(wù)的集合,其中,missioni(1≤i≤n)是mission的一個(gè)子任務(wù);

2)Act是子任務(wù)所含的活動(dòng)集合;

3)State是子任務(wù)執(zhí)行過程所含狀態(tài)的集合;

4)Event是子任務(wù)中每個(gè)活動(dòng)的執(zhí)行條件(資源某個(gè)時(shí)刻的狀態(tài)),以及活動(dòng)產(chǎn)生的需要注意結(jié)果的集合;

6)PropMissionofSubMissions:SubMissions→Prop,是子任務(wù)的資源分配函數(shù)集合;

7)EfficGoal是完成子任務(wù)所期望達(dá)到的效果指標(biāo)集合;

8)RelLinkMissionofSubMissions:SubMissions→EfficGoal是效果指標(biāo)關(guān)系鏈函數(shù)集合。

2.2 使用效果指標(biāo)關(guān)系鏈

效果指標(biāo)是希望艦船及其系統(tǒng)能夠完成的某種使命任務(wù)具有的可衡量的指標(biāo)。效果指標(biāo)隨著任務(wù)分解而被分配到子任務(wù)中,一個(gè)任務(wù)的完成需要屬于該任務(wù)的子任務(wù)相互配合,因此子任務(wù)之間所分配到的效果也就發(fā)生了聯(lián)系,效果指標(biāo)在任務(wù)與子任務(wù)之間具有的分配關(guān)聯(lián),以及子任務(wù)之間效果指標(biāo)的相互實(shí)現(xiàn)關(guān)聯(lián),構(gòu)成了效果指標(biāo)的關(guān)系鏈。

定義7(效果指標(biāo)關(guān)系鏈) 效果指標(biāo)關(guān)系鏈定義為三元組:

EGRelLink=(EfficGoalofMission0,EfficGoalofMission1,RelLink)

其中:EfficGoalofMission0表示完成任務(wù)Mission0需要達(dá)到的效果指標(biāo);EfficGoalofMission1表示完成任務(wù)Mission1需要達(dá)到的效果指標(biāo);RelLink:=EfficGoalofMission0→EfficGoalofMission1表示效果指標(biāo)關(guān)系鏈函數(shù),RelLink∈RelLinkMissionofSubMissions。

效果指標(biāo)關(guān)系鏈分為橫向關(guān)系鏈和縱向關(guān)系鏈,橫向關(guān)系鏈主要有兩種,分別為: 1) 依賴關(guān)系:一個(gè)效果指標(biāo)的實(shí)現(xiàn)必須以另一個(gè)效果指標(biāo)的實(shí)現(xiàn)為前提,稱前一任務(wù)的效果指標(biāo)依賴于后一任務(wù)的效果指標(biāo),即前一任務(wù)的完成依賴于后一任務(wù)的完成; 2) 沖突關(guān)系:一個(gè)效果指標(biāo)的實(shí)現(xiàn)阻止了另一個(gè)效果指標(biāo)的實(shí)現(xiàn),稱前一效果指標(biāo)干擾了后一個(gè)效果指標(biāo),即前一任務(wù)干擾了后一任務(wù)的完成。

依據(jù)定義6將艦船及其系統(tǒng)進(jìn)行分解后,得到任務(wù)分解有向圖,效果指標(biāo)橫向關(guān)系鏈主要作用在具有相同射出任務(wù)節(jié)點(diǎn)的兩個(gè)子任務(wù)之間?？v向關(guān)系鏈?zhǔn)亲饔迷诨榉峙涞娜蝿?wù)之間關(guān)系函數(shù)組成的關(guān)系鏈,分別有以下幾種函數(shù)關(guān)系:

· 并關(guān)系:ET=EST1∪EST2∪…∪ESTn;其中ET表示上層任務(wù)的效果指標(biāo),τ=[EST1,EST2,…,ESTn]是以ET為射出的子任務(wù)。

· 交關(guān)系:ET=EST1∩EST2∩…∩ESTn。

· 選擇關(guān)系:σ[Pred(RL)]:{τ}→{τ},σ[Pred(RL)]({τ})={τ|Pred(RelLink)},RL為效果指標(biāo)關(guān)系鏈函數(shù)集合,Pred為效果指標(biāo)關(guān)系鏈函數(shù)的條件表達(dá)式,σ表示獲取那些滿足效能指標(biāo)關(guān)系鏈函數(shù)RelLink條件的任務(wù)。

· 投影關(guān)系:π[RLk,…,RLl]:{τ}→{τ},π[RLk,…,RLl]({τ})={τ1|τ中屬于{RLk,…,RLl}的任務(wù)被保留,將它們作為τ1的任務(wù)},π除去τ中不需要的任務(wù)。

· 連接關(guān)系:∞:{τ}:{τ}→{τ},{τ1}∞[ETi∽ETj]{τ2}={∩(τ1,τ2)|τ1任務(wù)效果指標(biāo)的實(shí)現(xiàn)與τ2中任務(wù)的效果指標(biāo)的實(shí)現(xiàn)相互依賴},∽表示任務(wù)的效果指標(biāo)實(shí)現(xiàn)的相互依賴關(guān)系。

3 作戰(zhàn)系統(tǒng)任務(wù)模型構(gòu)建和檢驗(yàn)

根據(jù)任務(wù)分解模式將任務(wù)進(jìn)行分解,是從一個(gè)(組)頂層任務(wù)集合MossionSet出發(fā),建立使命任務(wù)的分解層次有向模型圖(簡稱任務(wù)模型圖),在構(gòu)造好使命任務(wù)模型圖[11]之后,需要對任務(wù)模型圖進(jìn)行分析和檢驗(yàn),檢查任務(wù)分解和效果分配是否合理。在任務(wù)模型圖中,將不帶射入箭頭節(jié)點(diǎn)稱為根節(jié)點(diǎn),不帶射出箭頭的節(jié)點(diǎn)稱為葉子節(jié)點(diǎn)。

定義8(良構(gòu)的模型圖) 一個(gè)任務(wù)模型圖滿足如下條件:

1) 所有的根節(jié)點(diǎn)都是最頂層使命任務(wù)和預(yù)期效果(根節(jié)點(diǎn)代表作戰(zhàn)系統(tǒng)的最高使命任務(wù)以及該任務(wù)所要達(dá)到的效果);

2) 所有的葉子節(jié)點(diǎn)都是一個(gè)原子活動(dòng)所作用的原子任務(wù)和效能(所有任務(wù)都是要落實(shí)到一個(gè)可操作的活動(dòng)以及資源屬性上);

3) 所有的其它節(jié)點(diǎn)都可以通過任務(wù)分解鏈和效果指標(biāo)關(guān)系鏈(或者分解鏈的序列)到達(dá)一個(gè)根節(jié)點(diǎn)(所有其它任務(wù)和活動(dòng)都是為了實(shí)現(xiàn)作戰(zhàn)系統(tǒng)的某個(gè)最高使命任務(wù)和效果而設(shè)置);

4) 任務(wù)分解鏈不能構(gòu)成循環(huán)通路(不能自己實(shí)現(xiàn)自己);

5) 效果指標(biāo)關(guān)系鏈不能構(gòu)成循環(huán)通路(不能自己依賴自己)。

則稱該作戰(zhàn)任務(wù)模型圖是良構(gòu)模型圖。

上面的定義構(gòu)成了任務(wù)模型圖語法上的合理性,同時(shí)還需要對模型圖的語義進(jìn)行分析,即任務(wù)分解和效果分配結(jié)果的可實(shí)現(xiàn)性分析。在模型圖中沖突是不可避免的,模型圖的可實(shí)現(xiàn)性分為強(qiáng)可實(shí)現(xiàn)性、弱可實(shí)現(xiàn)性和不可實(shí)現(xiàn)性。在討論模型圖的可實(shí)現(xiàn)性之前首先討論任務(wù)可實(shí)現(xiàn)性的標(biāo)記規(guī)則。

任務(wù)可實(shí)現(xiàn)性的標(biāo)記規(guī)則:

1) 初始化標(biāo)記:

(1)標(biāo)記模型圖中所有原子活動(dòng)所對應(yīng)的任務(wù)為“終止任務(wù)”;

(2)標(biāo)記模型圖中所有作為葉節(jié)點(diǎn)的非原子活動(dòng)所對應(yīng)的任務(wù)為“可分任務(wù)”。

2) “可分任務(wù)”傳播:下述規(guī)則用于傳播“可分任務(wù)”:

(1)如果M依賴于m,并且m是“可分任務(wù)”,則M也是“可分任務(wù)”;

(2)如果M存在唯一的一個(gè)與歸結(jié),則如果其中的一個(gè)子任務(wù)m為“可分任務(wù)”,則M也是一個(gè)“可分任務(wù)”。如果M存在多個(gè)與歸結(jié),其中的一個(gè)與歸結(jié)的一個(gè)子任務(wù)m為“可分任務(wù)”,則標(biāo)記M的這個(gè)與分支為“可分任務(wù)”,M是否為“可分任務(wù)”則要看下面一條規(guī)則;

(3)如果M所有或分支(或者子任務(wù))都是“可分任務(wù)”,則M也是“可分任務(wù)”。

3) 可實(shí)現(xiàn)性初始標(biāo)記:對模型圖中的每個(gè)“終止任務(wù)”M:

(1)如果M的干擾任務(wù)集為空,或干擾集不為空,但其中所有的干擾任務(wù)都是“可分任務(wù)”,則M是強(qiáng)可實(shí)現(xiàn)性;

(2)如果M的干擾任務(wù)集不為空,并且至少存在一個(gè)干擾任務(wù)不是“可分任務(wù)”,則M是弱可實(shí)現(xiàn)性。

4) 可實(shí)現(xiàn)性傳播:對任務(wù)模型圖中的每一個(gè)任務(wù)M:

(1)如果M是“可分任務(wù)”,則M是不可實(shí)現(xiàn)的;

(2)如果M的所有依賴者都是強(qiáng)可實(shí)現(xiàn)的,并且所依賴的任務(wù)都是強(qiáng)可實(shí)現(xiàn)的,則M是強(qiáng)可實(shí)現(xiàn)的;

(3)否則,M是弱可實(shí)現(xiàn)的。

定義9(模型圖的可勝任性) 令MissionSet為一個(gè)任務(wù)模型圖,Root為它所有根任務(wù)集合。如果對所有的任務(wù)M∈Root,有M是強(qiáng)可實(shí)現(xiàn)的,則稱MissionSet是強(qiáng)可勝任的;如果對所有的任務(wù)M′∈Root,有M是可實(shí)現(xiàn)的,但如果存在任務(wù)M′∈Root是弱可實(shí)現(xiàn)的,則稱MissionSet是弱可勝任的;如果存在一個(gè)任務(wù)M∈Root是不可實(shí)現(xiàn)的,則稱MissionSet是不可勝任的。

使命任務(wù)分解的過程就是對任務(wù)不斷進(jìn)行精化的過程,因此在對艦船及其系統(tǒng)任務(wù)進(jìn)行分解后,得到一組子任務(wù)集合、一組效果指標(biāo)集合以及一組任務(wù)模型圖。在任務(wù)模型圖是良構(gòu)模型圖的情況下,有以下性質(zhì)1和2。

性質(zhì)1 一組子任務(wù)m1,m2,m3,…,mn是任務(wù)M的完全精化,當(dāng)且僅當(dāng)以下條件滿足:

m1,m2,m3,…,mnM(必要性)

m1,m2,m3,…,mn/False(一致性)

n>1 (非平凡性)

對任意j,1

性質(zhì)2 一組效果指標(biāo)e1,e2,e3,…,en是效果指標(biāo)E的完全分解,當(dāng)且僅當(dāng)以下條件滿足:

e1,e2,e3,…,enE(必要性)

e1,e2,e3,…,en/False(一致性)

n>1 (非平凡性)

對任意i和j,fre:ei→{sai@res,dai@res|sai@res?sa@res,dai@res?da@res,i=1,…,n},fre:ej→{saj@res,daj@res|saj@res?sa@res,daj@res?da@res,j=1,…,n},都有saj@res∩sai@res=?,daj@res∩dai@res=?(非重復(fù)性)。

fre表示效果指標(biāo)到資源可變屬性和固定屬性的映射函數(shù)。

使命任務(wù)模型分析的意義在于分析結(jié)果可以進(jìn)一步導(dǎo)引系統(tǒng)設(shè)計(jì)者修改或補(bǔ)充使用業(yè)務(wù)情況描述,以保證使命任務(wù)描述的完整性,提高艦船及其系統(tǒng)模型的質(zhì)量。具體說,模型是可勝任的,說明設(shè)計(jì)者對艦船及其系統(tǒng)的使命任務(wù)描述是相對完整,可以進(jìn)行下一步工作。目標(biāo)模型是弱可實(shí)現(xiàn)的,需要進(jìn)行進(jìn)一步修改和完善。目標(biāo)模型是不可勝任的,設(shè)計(jì)者描述的艦船及其系統(tǒng)的使命任務(wù)模型是不完整的,需要進(jìn)一步補(bǔ)充。

4 結(jié)語

艦船及其系統(tǒng)使命任務(wù)和使用效果的確定、分析、抽象和精化是目前困擾艦船及其系統(tǒng)設(shè)計(jì)、開發(fā)和實(shí)現(xiàn)的主要問題。文章提出了基于效果的使命任務(wù)分解模式,給出了任務(wù)分解和效果分配結(jié)果的合理性檢驗(yàn)機(jī)制,將傳統(tǒng)的面向使命任務(wù)的方法中將使命任務(wù)分為任務(wù)(功能)和效果(能力指標(biāo))兩方面進(jìn)行有機(jī)結(jié)合,形成使命任務(wù)和使用效果為一體的任務(wù)能力包的形式,對使命任務(wù)進(jìn)行分解、分析和精化,描述了任務(wù)模型、效果指標(biāo)關(guān)系鏈模型和任務(wù)分解模式,建立了使命任務(wù)和使用效果指標(biāo)的關(guān)聯(lián),實(shí)現(xiàn)了艦船及其使命任務(wù)分解過程及結(jié)果的語法合理性分析和語義可實(shí)現(xiàn)性驗(yàn)證,為在艦艇及其系統(tǒng)研制過程中能夠以使命任務(wù)為基礎(chǔ),以使用效果為中心,實(shí)現(xiàn)艦船及其系統(tǒng)自頂向下的分解和設(shè)計(jì)提供一種有效的途徑和方法。

[1] Object Modeling Group, Inc. (OMG), System Modeling Language (SysML) Specification v.1.0 alpha[OL]. http://www.sysml.org/artifacts.htm,2005.

[2] Pohl K. The three dimensions of requirements engineering: a framework and its applications[J]. Inf Syst,1994,19(3):243-258.

[3] Weiss, D. M. Family-Oriented abstraction, specification, and translation. In: The FAST Process, Keynote Talk at Computer Assurance Conference (COMPASS). 1996[OL]. http://www.bell-labs.com/user/weiss/pubs/compass96.ps.

[4] Kang, K.C., Cohen, S.G., Hess, J.A., et al. A spencer peterson: feature-oriented domain analysis(FODA) feasibility study[R]. Technical Report, CMU/SEI-90-TR-21,1990.

[5] Kyo C Kang, Sajoong Kim, Jaejoon Lee, et al. FORM: A Feature-Oriented Reuse Method with Domain-Specific Reference Architectures[J]. Annals of Software Engineering,1998(5):143-168.

[6] Matthew Hause, Francis Thom. MoDAF and SysML-A Winning Combination[OL]. URL http://www.artisansw.com/whitepapers/incose05_modaf_sysml.pdf,2005.

[7] DoD Architecture Framework Working Group. DoD Architecture Framework. Version 1.0, Volume Ⅰ: Definitions and Guidelines[M]. The United States:Department of Defense,2004.

[8] 鄭麗偉,金芝.需求驅(qū)動(dòng)的主動(dòng)網(wǎng)構(gòu)實(shí)體聚合[J].軟件學(xué)報(bào),2008,19(5):1083-1089.

[9] 彭征明,羅小明.用不確定性度量作戰(zhàn)效能的評估方法[J].火力與指揮控制,2006,31(8):18-21.

[10] 單胡方,黃建國,張群飛.基于信息熵的水下航行器灰色評估方法研究[J].西北工業(yè)大學(xué)學(xué)報(bào),2007,25(4):547-551.

[11] 金芝,劉璘,金英.軟件需求工程:原理與方法[M].北京:科學(xué)出版社,2008:38-45.

Navy Vessel Mission Decomposition and Verification Based on Efficiency

WEI Zhengxian1SONG Min2CHEN Xia3

(1. Ship System Engineering Research Institute, CSSC, Beijing 100036) (2. Information Technique Center, Beijing Foreign Studies University, Beijing 100089) (3. No. 19 Central Xisanhuan Road, Beijing 100841)

An way of navy vessel mission decomposition pattern and its verification based on efficiency are proposed in this paper, through which, navy vessel mission decomposition and efficiency assignment are combined, and relationship between mission and efficiency is established. In order to conveniently decompose the mission and efficiency, navy vessel mission model and efficiency relation model and mission decomposition pattern are described.

vessel, mission, efficiency, decomposition, verification

2014年6月9日,

2014年7月27日

韋正現(xiàn),男,博士研究生,高級工程師,研究方向:體系結(jié)構(gòu)、信息系統(tǒng)等。宋敏,女,博士,工程師,研究方向:體系結(jié)構(gòu)、信息系統(tǒng)等。陳霞,女,碩士,高級工程師,研究方向:艦船電子與信息系統(tǒng)。

TP311

10.3969/j.issn1672-9730.2014.12.046