目標(biāo)
第七章 目標(biāo)導(dǎo)向基礎(chǔ)
一、動(dòng)機(jī)
- 對(duì)于系統(tǒng)更好的理解:目標(biāo)對(duì)系統(tǒng)的總體愿景進(jìn)行了精化
- 需求抽取:目標(biāo)驅(qū)動(dòng)并指導(dǎo)需求抽取
- 可選實(shí)現(xiàn)方案的識(shí)別和評(píng)價(jià):滿足一個(gè)目標(biāo)存在多種可能的方案
- 識(shí)別無(wú)關(guān)需求
- 需求的論證:論證合理性
- 需求規(guī)約的完整性
- 沖突的識(shí)別與解決:沖突一般來(lái)源于不同射中的期望
- 目標(biāo)的穩(wěn)定性
目標(biāo):
定義:目標(biāo)是關(guān)于系統(tǒng)的目的、屬性或者使用的意圖廷痘。
二、AND/OR分解
目標(biāo)的AND分解:父目標(biāo)G到一組子目標(biāo)的分解是一個(gè)AND分 解,當(dāng)且僅當(dāng)為滿足父目標(biāo)G所有的子R標(biāo)
都必須滿足花履。
目標(biāo)的OR分解:父目標(biāo)G到一組子目標(biāo)的分解是一個(gè)OR分解,當(dāng)且僅當(dāng)
中任意一個(gè)子目標(biāo)得到滿足就能使父目標(biāo)G得到滿足挚赊。
e.g. 導(dǎo)航系統(tǒng)的目標(biāo)G定義為“舒適诡壁、快速的目的地導(dǎo)航”。通過(guò)AND分解荠割,可以將目標(biāo)G分解 為如下3個(gè)子目標(biāo)妹卿。
G1:方便地選擇目的地旺矾;
G2:根據(jù)用戶特定的參數(shù)自動(dòng)進(jìn)行路線規(guī)劃;
G3:顯示交通擁堵信息夺克,并且能自動(dòng)重新規(guī)劃路線以避免擁堵箕宙。e.g.目標(biāo)G “能夠定位汽車(chē)的位置”,通過(guò)or分解铺纽,分解為如下兩個(gè)子目標(biāo)柬帕。
G1:通過(guò)手機(jī)定位汽車(chē);
通過(guò)GPS定位汽車(chē)狡门。
三陷寝、目標(biāo)依賴(lài)
- 需要依賴(lài)
- 支持依賴(lài)
- 阻礙依賴(lài)
- 沖突依賴(lài)
- 目標(biāo)等價(jià)
1.“需要”依賴(lài)
定義:如果滿足G2是滿足G1的前提,那么G1“需要”依賴(lài)于目標(biāo)G2其馏。
e.g.
G1:系統(tǒng)應(yīng)在交通擁堵時(shí)為駕駛員提供導(dǎo)航
G2:系統(tǒng)能夠接受交通信息
“需要”依賴(lài):G1需要G2
2.“支持”依賴(lài)
定義:如果目標(biāo)G1的滿足對(duì)于目標(biāo)G2的滿足有正面影響凤跑,那么G1支持G2。
e.g.
G1:導(dǎo)航系統(tǒng)應(yīng)該能下載電子地圖
G2:系統(tǒng)能應(yīng)當(dāng)允許方便地選擇目的地
“支持”依賴(lài):G1支持G2
AND/OR分解也隱含這一種“支持”依賴(lài)叛复。
3.“阻礙”依賴(lài)
定義:如果目標(biāo)G1的滿足阻礙目標(biāo)G2的滿足仔引,那么G1阻礙G2。
e.g.
G1:導(dǎo)航系統(tǒng)應(yīng)該能通過(guò)GSM網(wǎng)絡(luò)下載電子地圖
G2:導(dǎo)航系統(tǒng)所產(chǎn)生的GSM網(wǎng)絡(luò)流量數(shù)據(jù)應(yīng)該盡可能低
“阻礙”依賴(lài):G1阻礙G2
4.目標(biāo)之前的沖突依賴(lài)
定義:如果:
(1)G1的滿足排斥G2的滿足褐奥,并且
(2)G2的滿足排斥G1的滿足咖耘。
則目標(biāo)G1和G2之間存在沖突。
e.g.
G1:可通過(guò)GPS訪問(wèn)定位汽車(chē)
G2:遵守特定國(guó)家的隱私法律
“沖突”依賴(lài):G1和G2沖突
5.目標(biāo)等價(jià)
定義:如果:
(1)G1的滿足導(dǎo)致G2的滿足撬码,并且
(2)G2的滿足導(dǎo)致G1的滿足鲤看。
則目標(biāo)G1和G2等價(jià)。
e.g.
G1:系統(tǒng)符合A國(guó)法規(guī)
G2:系統(tǒng)符合B國(guó)法規(guī)
如果A與B國(guó)相關(guān)法規(guī)等價(jià),則G1和G2等價(jià).
第八章 描述目標(biāo)
一耍群、目標(biāo)描述模板
目標(biāo)描述模板的屬性組成:
作為目標(biāo)唯一表示的屬性(1-2)
管理屬性(3-7)
描述上下文引用的屬性(8-10)
目標(biāo)的特有屬性(11-16)义桂,即目標(biāo)層次(11)、目標(biāo)描述(12)蹈垢、與其他目標(biāo)的依賴(lài)關(guān)系(13-15)慷吊,以及與場(chǎng)景的關(guān)系(16)
描述其他附加屬性(17)
目標(biāo)及目標(biāo)屬性的系統(tǒng)化抽取
- 設(shè)法抽取所有相關(guān)目標(biāo)
- 避免一開(kāi)始就捕捉所有的目標(biāo)屬性
- 定義目標(biāo)屬性時(shí),首先定義基本屬性
- 為每個(gè)目標(biāo)定義父目標(biāo)曹抬、子目標(biāo)屬性
- 驗(yàn)證所抽取的目標(biāo)的是否完備溉瓶、以描述的目標(biāo)關(guān)系是否正確
- 補(bǔ)充缺失的目標(biāo)和目標(biāo)關(guān)系,需要?jiǎng)t對(duì)已定義的目標(biāo)和目標(biāo)關(guān)系進(jìn)行修改
- 定義支持目標(biāo)抽取和驗(yàn)證的場(chǎng)景
- 在目標(biāo)模板中添加其他確實(shí)的信息
二谤民、目標(biāo)描述的七個(gè)規(guī)則
1.簡(jiǎn)明扼要地描述目標(biāo)
目標(biāo)G1:高級(jí)用戶堰酿、新用戶應(yīng)能使用該系統(tǒng)。新用戶可以在完全不了解原有系統(tǒng)的情況下使用系統(tǒng)张足。此外触创,新手不經(jīng)培訓(xùn)就可以使用系統(tǒng)。對(duì)任何用戶而言为牍,如何使用該系統(tǒng)應(yīng)當(dāng)是顯而易 見(jiàn)的哼绑⊙意桑可以在沒(méi)有任何類(lèi)似系統(tǒng)知識(shí)的情況下使用該系統(tǒng)。
G1的改進(jìn)定義: 用戶能夠在沒(méi)有經(jīng)過(guò)培訓(xùn)以及不了解原有系統(tǒng)的情況下使用系統(tǒng)抖韩。
2.使用主動(dòng)語(yǔ)態(tài)
描述目標(biāo)時(shí)最好使用主動(dòng)語(yǔ)態(tài)蛀恩,避免使用被動(dòng)語(yǔ)態(tài)。 目標(biāo)G2:創(chuàng)建季報(bào)的時(shí)間與原有系統(tǒng)相比應(yīng)當(dāng)減少一半茂浮。
G2的改進(jìn)定義: 用戶可以僅用當(dāng)前系統(tǒng)所用時(shí)間的一半來(lái)創(chuàng)建季報(bào)双谆。
3.準(zhǔn)確描述涉眾意圖
盡可能準(zhǔn)確地描述涉眾的意圖。理想情況下席揽,所實(shí)現(xiàn)的系統(tǒng)是 否滿足目標(biāo)是可以進(jìn)行客觀評(píng)價(jià)的顽馋。然而,以一種客觀可評(píng)價(jià)的方式描述目標(biāo)并不總是合理的或可能的驹尼。
目標(biāo)G3:系統(tǒng)應(yīng)當(dāng)改進(jìn)公司的業(yè)務(wù)流程趣避。
G3的改進(jìn)定義: 系統(tǒng)應(yīng)將訂單處理流程加快20%以上庞呕。
4.將高層目標(biāo)分解為更具體的子目標(biāo)
如果一個(gè)目標(biāo)比較抽象新翎,那么相關(guān)涉眾應(yīng)當(dāng)在 需求:T程過(guò)程中將該目標(biāo)分解為更具體的子目標(biāo)。這種分解允許涉眾在需求工程過(guò)程中(后期)檢査系統(tǒng)是否滿足這些子目標(biāo)住练。
目標(biāo)G4:提高駕駛安全性地啰。
G4的改進(jìn)定義: 通過(guò)AND分解將目標(biāo)G4分解為如下子目標(biāo): G4.1:在路面濕滑情況下降低20%的剎車(chē)距離; G4.2:在剎車(chē)過(guò)程中確保汽車(chē)的操縱性讲逛。
5.說(shuō)明目標(biāo)所創(chuàng)造的價(jià)值
清晰地描述目標(biāo)為相關(guān)涉眾所創(chuàng)造的價(jià)值亏吝。盡可能準(zhǔn)確地描述所期望創(chuàng)造的價(jià)值。
目標(biāo)G5:導(dǎo)航系統(tǒng)應(yīng)當(dāng)提供一種直觀的輸入旅行目的地的方式盏混。
G5的改進(jìn)定義: 導(dǎo)航系統(tǒng)應(yīng)當(dāng)允許駕駛員在不分散駕駛注意力的情況下輸入所期望的目的地蔚鸥。
6.描述引入目標(biāo)的原因
為引入目標(biāo)的原因提供簡(jiǎn)要而準(zhǔn)確的描述。了解引人目標(biāo)的 原理有助于對(duì)于目標(biāo)本身的討論许赃,并且支持對(duì)其他相關(guān)目標(biāo)的識(shí)別止喷。
目標(biāo)G6:系統(tǒng)應(yīng)當(dāng)提供直觀的用戶接口。
G6的改進(jìn)定義: 因?yàn)?0%的用戶每月僅使用本系統(tǒng)一兩次混聊,因此系統(tǒng)應(yīng)當(dāng)提供直觀的用戶接口弹谁。
7.避免定義不必要的約束
描述目標(biāo)時(shí)應(yīng)避免定義對(duì)于可能的實(shí)現(xiàn)方式的不必要的約束。只定義那些由法律句喜、合同文件等所施加的約束预愤。
目標(biāo)G7:應(yīng)當(dāng)通過(guò)數(shù)據(jù)傳輸時(shí)間,將系統(tǒng)響應(yīng)時(shí)間降低10%咳胃。
G7的改進(jìn)定義: 系統(tǒng)響應(yīng)時(shí)間應(yīng)降低10%植康。
如果相關(guān)約束是由客戶所施加的,那么需求工程師可以通過(guò)應(yīng)用提示8-2中的原則展懈,嘗試對(duì)約束進(jìn)行弱化向图。
三泳秀、目標(biāo)建模語(yǔ)言及方法
目標(biāo)模型:
目標(biāo)模型:
定義:目標(biāo)模型是一種描述目標(biāo)、目標(biāo)向子目標(biāo)的分解關(guān)系榄攀,以及現(xiàn)有的目標(biāo)以來(lái)關(guān)系的概念模型嗜傅。
四、AND/OR樹(shù)和AND/OR圖
AND/OR樹(shù)和AND/OR圖基于AND/OR分解檩赢,來(lái)源于人工智能吕嘀,現(xiàn)在已經(jīng)被引入目標(biāo)建模中描述目標(biāo)的必選(mandatory)和選擇性(alternative)子目標(biāo)分解。
1.AND/OR樹(shù)
定義:AND/OR樹(shù)
一個(gè)AND/OR目標(biāo)樹(shù)由代表目標(biāo)的結(jié)點(diǎn)和代表目標(biāo)間AND分解與OR分解關(guān)系的有向邊組成贞瞒。每一個(gè)結(jié)點(diǎn)(除根結(jié)點(diǎn)外)僅與一個(gè)父目標(biāo)相關(guān)聯(lián)偶房。
2.AND/OR圖
定義:AND/OR樹(shù)
一個(gè)AND/OR目標(biāo)圖是一個(gè)有向無(wú)環(huán)圖,其中結(jié)點(diǎn)代表目標(biāo)军浆,邊代表目標(biāo)之間的AND分解和OR分解棕洋。
3.依賴(lài)
-
需要依賴(lài):
目標(biāo)G1到目標(biāo)G2的需要關(guān)系表示一個(gè)"需要"依賴(lài)。需要關(guān)系由G1到G2的有向邊表示乒融,表示為了滿足G1掰盘,目標(biāo)G2必須被滿足。
-
互斥關(guān)系
目標(biāo)G1到目標(biāo)G2的需要關(guān)系表示一個(gè)"沖突"依賴(lài)赞季。它表示一個(gè)目標(biāo)的滿足會(huì)阻礙另一個(gè)目標(biāo)的滿足愧捕。“沖突”關(guān)系由G1與G2的無(wú)向邊表示申钩。
五次绘、i * 框架
1.i *中的對(duì)象
i *提供5種對(duì)象:
-
參與者:一個(gè)參與者是與待開(kāi)發(fā)系統(tǒng)相關(guān)的人或系統(tǒng)。i*將參與者細(xì)化成以下3個(gè)子概念撒遣。
主體(agent):主體是具有具體的物理表示的參與者邮偎,例如一個(gè)人或一個(gè)系統(tǒng);
角色(role):角色定義了參與者在特定上下文中的行為义黎。一個(gè)參與者可以擁有多個(gè)角色禾进,一個(gè)角色也可以被分配給多個(gè)參與者;
身份(position):身份是通常由一個(gè)主體扮演的一組角色的集合轩缤。一個(gè)主體可以具有多個(gè)身份命迈。
目標(biāo):一個(gè)目標(biāo)回答了“為什么”的問(wèn)題。它描述了參與者期望達(dá)到的現(xiàn)實(shí)世界的某種 特定狀態(tài)火的。但是壶愤,目標(biāo)并不會(huì)指定如何達(dá)到這種狀態(tài)。
任務(wù):任務(wù)描述了完成某些事情的特定方式馏鹤。通常征椒,任務(wù)由參與者為了完成任務(wù)而必須 執(zhí)行的多個(gè)步驟(或子任務(wù))組成。
資源:資源是參與者達(dá)到某個(gè)目標(biāo)或完成某一任務(wù)所需要的(物理或信息)實(shí)體湃累。關(guān)于 資源的主要關(guān)注點(diǎn)是資源是否可用以及從何處獲得勃救。
軟目標(biāo):軟目標(biāo)是參與者希望達(dá)成的現(xiàn)實(shí)世界中的某種條件碍讨,與(硬)目標(biāo)不同的是,要達(dá)到的相關(guān)條件的準(zhǔn)則并沒(méi)有嚴(yán)格定義蒙秒。軟目標(biāo)通常是其他某個(gè)元素(即目標(biāo)勃黍、 任務(wù)或資源)上的一種質(zhì)量屬性。如果有充足的晕讲、證明一個(gè)軟目標(biāo)滿足的正面證據(jù)覆获,并且 幾乎沒(méi)有相關(guān)的負(fù)面證據(jù),那么可以認(rèn)為該軟B標(biāo)得到了滿足瓢省。
2.i *中的依賴(lài)
目標(biāo)依賴(lài):目標(biāo)依賴(lài)表示一個(gè)參與者(依賴(lài)者)依賴(lài)于另一個(gè)參與者(被依賴(lài)者)實(shí)現(xiàn)一個(gè) 所定義的目標(biāo)(依賴(lài)對(duì)象)弄息。依賴(lài)者假設(shè)被依賴(lài)者達(dá)成了目標(biāo),但并不指定是如何達(dá)成的勤婚。
任務(wù)依賴(lài):任務(wù)依賴(lài)表示一個(gè)參與者(依賴(lài)者)依賴(lài)于另一個(gè)參與者(被依賴(lài)者)完成分配給該參與者(被依賴(lài)者)的某個(gè)任務(wù)(依賴(lài)對(duì)象)摹量。任務(wù)依賴(lài)表明了被依賴(lài)者必須完成所分配的任務(wù)來(lái)達(dá)到某個(gè)目標(biāo),但是并沒(méi)有說(shuō)明為何要完成這個(gè)任務(wù)馒胆。
資源依賴(lài):資源依賴(lài)表示一個(gè)參與者(依賴(lài)者)依賴(lài)于另一個(gè)參與者(被依賴(lài)者)所提 供的物理或者信息資源(依賴(lài)對(duì)象)的可用性缨称。
軟目標(biāo)依賴(lài):軟目標(biāo)依賴(lài)表示一個(gè)參與者(依賴(lài)者)依賴(lài)于另一個(gè)參與者(被依賴(lài)者)來(lái)完成某個(gè)能導(dǎo)致特定軟目標(biāo)(依賴(lài)對(duì)象)實(shí)現(xiàn)的任務(wù)。軟目標(biāo)實(shí)現(xiàn)的準(zhǔn)則并沒(méi)有明確地給出国章。通常具钥,被依賴(lài)者提供多個(gè)實(shí)現(xiàn)該軟目標(biāo)的可選方案豆村,而該軟目標(biāo)是否實(shí)現(xiàn)由依賴(lài)者來(lái)決定液兽。
3.i *中對(duì)象間的關(guān)系
i*框架區(qū)分存在于4種對(duì)象(“目標(biāo)”、“任務(wù)”掌动、“資源”和“軟目標(biāo)”)之間的3種鏈接關(guān)系:
目的-手段健接:一個(gè)目的-手段鏈接表示哪些軟目標(biāo)四啰、任務(wù)和/或資源對(duì)于一個(gè)目標(biāo)的實(shí)現(xiàn)存在貢獻(xiàn)。因此目的-手段鏈接描述了一個(gè)參與者為什么要達(dá)成某個(gè)目標(biāo)粗恢、完成某個(gè)任務(wù)或使 用某個(gè)資源柑晒。目的-手段鏈接也為實(shí)現(xiàn)一個(gè)目標(biāo)的多種可選方案的描述和評(píng)價(jià)提供了便利。下圖(a)說(shuō)明了不同類(lèi)型對(duì)象之間的目的-手段鏈接眷射。
貢獻(xiàn)鏈接:一個(gè)貢獻(xiàn)鏈接表示某個(gè)任務(wù)或其他目標(biāo)對(duì) 于軟目標(biāo)的正面(+)或者負(fù)面(-)影響匙赞。它描述了一個(gè)任務(wù)或者軟目標(biāo)對(duì)滿足某個(gè)軟目標(biāo)是否存在 正面或者負(fù)面的影響。它并沒(méi)有精確定義對(duì)其提供了 何種支持或者所支持的程度妖碉。圖(b)展示了不同類(lèi)型對(duì)象之間的貢獻(xiàn)鏈接涌庭。
任務(wù)分解鏈接:任務(wù)分解刻畫(huà)了一個(gè)任務(wù)的基本元素。 任務(wù)分解鏈接將任務(wù)及其組成部分聯(lián)系起來(lái)欧宜,這些組成部分可以是子目標(biāo)坐榆、子任務(wù)、資源或軟目標(biāo)的任意組合冗茸。因此席镀,任務(wù)分解可以包含必須完成的子任務(wù)匹中、必須實(shí)現(xiàn)的子目標(biāo)、所需的資源以及定義任務(wù)質(zhì)量目標(biāo)的軟目標(biāo)豪诲。(c)描述了不同類(lèi)型對(duì)象之間的任務(wù)分解鏈接顶捷。
4.策略依賴(lài)模型(SDM)
策略依賴(lài)模型(SDM)刻畫(huà)了不同參與者之間的依賴(lài)。它記錄了哪些參與者依賴(lài)哪些任務(wù)屎篱、目標(biāo)焊切、軟目標(biāo)以及其他參與者提供的資源。一個(gè)SDM包含一組參與者(結(jié)點(diǎn))和一組參與者之間的依賴(lài)關(guān)系(邊)芳室。 下圖描述了一個(gè)策略依賴(lài)模型(SDM)的一個(gè)部分专肪。它定義了參與者“汽車(chē)駕駛員”和 “汽車(chē)制造商”之間的4個(gè)依賴(lài)關(guān)系。這4個(gè)依賴(lài)分別由參與者結(jié)點(diǎn)之間的4條邊表示堪侯。依賴(lài)的類(lèi)型(目標(biāo)嚎尤、資源、任務(wù)和軟目標(biāo))在每一條依賴(lài)邊上進(jìn)行了標(biāo)注伍宦。邊的方向由邊上標(biāo)注的字母“D”的方向指示(下圖中芽死,依賴(lài)④的方向和依賴(lài)①~③的不同)。
①這是一個(gè)目標(biāo)依賴(lài)次洼。它表示“汽車(chē)駕駛員”(依賴(lài)者)依賴(lài)于“汽車(chē)提供商”(被依賴(lài)者)實(shí)現(xiàn)目標(biāo)“避免事故”关贵。下一個(gè)圖在策略原理模型(SRM)中進(jìn)一步描述了這個(gè)依賴(lài)的細(xì)節(jié)。
②該任務(wù)依賴(lài)表示“汽車(chē)駕駛員”為了完成任務(wù)“行駛一段距離”而依賴(lài)于“汽車(chē)制造商”卖毁。
③該資源依賴(lài)表示“汽車(chē)駕駛員”依賴(lài)于“汽車(chē)制造商”提供資源“汽車(chē)”揖曾。
④這里的軟目標(biāo)依賴(lài)者表示“汽車(chē)制造商”為了達(dá)成軟目標(biāo)“駕駛員滿意度高”而依賴(lài)于 “汽車(chē)駕駛員”。
5.策略原理模型(SRM)
策略原理模型刻畫(huà)了每一個(gè)參與者內(nèi)部的原理結(jié)構(gòu)亥啦。
①虛線(參與者邊界)定義了參與者“駕駛員”的內(nèi)部原理結(jié)構(gòu)的邊界炭剪。
②任務(wù)“安全地由A行駛到B”通過(guò)3個(gè)任務(wù)分解鏈接分解為軟目標(biāo)“駕駛樂(lè)趣”和另外 兩個(gè)目標(biāo)“無(wú)事故駕駛”、“人身及生命安全保護(hù)”翔脱。
③任務(wù)“遵守限速規(guī)定”和軟目標(biāo)“高速駕駛”之間的貢獻(xiàn)鏈接標(biāo)注為減號(hào)奴拦。這表示任務(wù) “遵守限速規(guī)定”對(duì)軟目標(biāo)“高速駕駛”的滿足存在負(fù)面影響。
④參與者“汽車(chē)制造商”的任務(wù)“制造安全的汽車(chē)”通過(guò)任務(wù)分解鏈接精化為目標(biāo)“減少事故數(shù)量”和“減少人身傷害”以及軟目標(biāo)“開(kāi)發(fā)成本低”届吁。
⑤汽車(chē)制造商具有軟目標(biāo)“卓越的品牌聲譽(yù)”错妖。任務(wù)“制造安全的汽車(chē)”對(duì)這個(gè)軟目標(biāo)有著正面影響。這個(gè)貢獻(xiàn)鏈接表明了一個(gè)正面影響疚沐。
⑥任務(wù)“通知駕駛員可能發(fā)生的碰撞”和“彌補(bǔ)駕駛員的錯(cuò)誤”通過(guò)兩個(gè)目的一手段鏈接 連接到目標(biāo)“減少事故數(shù)量”暂氯,表示這兩個(gè)任務(wù)(手段)都有著減少事故數(shù)量的目標(biāo)(目的)。 從不同任務(wù)指向相同目標(biāo)的目的一手段鏈接通常表示存在多種滿足目標(biāo)的方式濒旦。
⑦由任務(wù)“通知駕駛員可能發(fā)生的碰撞”和“彌補(bǔ)駕駛員的錯(cuò)誤”到軟目標(biāo)“開(kāi)發(fā)成本 低”的貢獻(xiàn)鏈接標(biāo)注為減號(hào)株旷,表示這兩個(gè)任務(wù)對(duì)這個(gè)軟目標(biāo)的滿足都是負(fù)面影響。
六、KAOS
對(duì)于目標(biāo)晾剖、需求锉矢、場(chǎng)景和責(zé)任分配進(jìn)行抽取、規(guī)約和分析齿尽。
1.目標(biāo)和主體
-
行為目標(biāo):一個(gè)行為目標(biāo)描述了一組所允許的系統(tǒng)行為沽损。行為目標(biāo)可以以一種明確的方 式進(jìn)行定義,即系統(tǒng)是否滿足一個(gè)行為目標(biāo)是可以驗(yàn)證的循头。典型的行為B標(biāo)實(shí)例包括“當(dāng) 火車(chē)運(yùn)行時(shí)绵估,車(chē)門(mén)應(yīng)該保持關(guān)閉”。KAOS區(qū)分以下兩種行為目標(biāo):
達(dá)成目標(biāo):一個(gè)“達(dá)成目標(biāo)”要求所定義的屬性最終必須成立卡骂;
維持目標(biāo):一個(gè)“維持目標(biāo)”要求所定義的屬性一直保持成立(可能在某些條件下)国裳。 在KAOS目標(biāo)模塑中,目標(biāo)的具體類(lèi)型可以通過(guò)目標(biāo)名稱(chēng)的前綴來(lái)標(biāo)識(shí)全跨。
軟目標(biāo):在KAOS中缝左,軟目標(biāo)用來(lái)描述在多個(gè)可轉(zhuǎn)換的系統(tǒng)行為之間的偏好。軟目標(biāo)的一個(gè)例子是“系統(tǒng)應(yīng)該盡可能減少旅行時(shí)間”浓若。與i*中類(lèi) 似渺杉,軟目標(biāo)的滿足并沒(méi)有明確的驗(yàn)證準(zhǔn)則。因此挪钓,對(duì)于軟目標(biāo)人們都是期望在可接受的范圍內(nèi)得到滿足而不是絕對(duì)滿足是越。
主體:i*主要關(guān)注于組織結(jié)構(gòu)中的主體,而KAOS中的主體則主要與用戶以及軟件密集 型系統(tǒng)的組件相關(guān)碌上。因此倚评,主體(agent)被定義為一種主動(dòng)的系統(tǒng)組件,對(duì)于目標(biāo)的滿 足扮演著特定的角色绍赛。主體可以是一個(gè)人蔓纠、一種設(shè)備(傳感器等)辑畦,或者是一個(gè)軟件組件吗蚌。
2.目標(biāo)關(guān)系
AND分解:AND分解鏈接將一個(gè)父目標(biāo)關(guān)聯(lián)到多個(gè)子目標(biāo)上,表示如果所有子目標(biāo)都被 滿足那么父目標(biāo)就會(huì)得到滿足纯出。
選擇性分解:KAOS中目標(biāo)的OR分解是通過(guò)將多個(gè)AND分解鏈接關(guān)聯(lián)到同一個(gè)父目標(biāo)實(shí)現(xiàn)的蚯妇。其中每一種選擇都被表示為一個(gè)AND分解。這組AND分解將父目標(biāo)精化為多組子目標(biāo)暂筝。當(dāng)這些選擇之一(分配到父目標(biāo)的某—個(gè)AND分解)被滿足時(shí)箩言,父目標(biāo)滿足。
潛在沖突:目標(biāo)間的沖突可用潛在沖突鏈接表示焕襟。潛在沖突鏈接表示滿足某一個(gè)目標(biāo)在 一定條件下可能會(huì)阻礙另一個(gè)目標(biāo)的滿足陨收。因此,這種鏈接關(guān)系并不對(duì)應(yīng)于沖突依賴(lài),這種沖突依賴(lài)表示滿足一個(gè)目標(biāo)會(huì)使另一個(gè)务漩,目標(biāo)無(wú)法得到滿足拄衰。
責(zé)任分配:責(zé)任分配鏈接將目標(biāo)子模型的元素與主體子模型的元素關(guān)聯(lián)起來(lái)。一個(gè)目標(biāo)和主體之間的責(zé)任分配鏈接表示這個(gè)主體具有滿足該目標(biāo)的職責(zé)饵骨。只存終端目標(biāo)才能被分配給單個(gè)主體翘悉。如果一個(gè)目標(biāo)被分配給單個(gè)主體,那么該目標(biāo)不能再進(jìn)一步分解居触。此外還可以定義多個(gè)可選擇的責(zé)任分配妖混,即一個(gè)目標(biāo)可以通過(guò)責(zé)任分配鏈接關(guān)聯(lián)到多個(gè)主體。當(dāng)實(shí)現(xiàn)一個(gè)系統(tǒng)時(shí)轮洋,這些可選擇的責(zé)任分配中至少應(yīng)該有個(gè)要被選擇制市。
如何選擇建模語(yǔ)言?
如果你主要關(guān)注于目標(biāo)弊予、目標(biāo)分解以及目標(biāo)間的依賴(lài)關(guān)系描述息堂,那么可以使用擴(kuò)展的 AND/OR目標(biāo)圖。
如果你的目的是使用一種面向主體的建模范例來(lái)對(duì)組織中不同參與者之間的關(guān)系進(jìn)行 分析和描述的話块促,那么可以使用i *模型荣堰。
如果你的目的是使用一種面向主體的建模范例來(lái)對(duì)軟件密集型系統(tǒng)(特別是嵌入式系統(tǒng))的軟硬件組件的期望屬性進(jìn)行建檔,以及將所定義的目標(biāo)與面向方案的需求模型相關(guān)聯(lián)的話竭翠,那么可以使用KAOS模型振坚。