中科院需求工程8d講)多視點(diǎn)需求工程與矛盾需求處理-免費(fèi)閱讀
【正文】 不一致性處理的群體決策機(jī)制 不一致性處理的群體決策機(jī)制 協(xié)商元語(yǔ)言，包括如下幾種語(yǔ)言行為： ? request(i, j,φ)：從主體 i到主體 j關(guān)于提議 φ的請(qǐng)求； ? offer(i, j,φ)： 主體 i向主體 j提出一個(gè)提議 φ； ? accept(i, j,φ)：主體 i接受了主體 j的提議 φ； ? reject(i, j,φ)：主體 i拒絕了主體 j的提議 φ； ? withdraw(i, j)：主體 i退出與主體 j的協(xié)商。如果 ?Φ∈ ΔE使得 Δ∪ ΔI|≠Φ， 那么稱Δ相對(duì)于該場(chǎng)景是不完整的。否則，稱 Δ相對(duì)于該場(chǎng)景是一致的。需 求 工 程 金芝 中國(guó)科學(xué)院數(shù)學(xué)與系統(tǒng)科學(xué)研究院 什么是視點(diǎn)？ ? 理解系統(tǒng)的需求，需要理解： –系統(tǒng)提供的服務(wù) –系統(tǒng)的應(yīng)用領(lǐng)域 –系統(tǒng)將處于的環(huán)境 –影響系統(tǒng)的組織問(wèn)題 –等等 ? 因此，需求工程過(guò)程涉及： –捕獲、分析和決定 ——各種意見(jiàn) 什么是視點(diǎn)？ ? 視點(diǎn)： –出自一個(gè)特定角度的，關(guān)于系統(tǒng)或相關(guān)問(wèn)題、環(huán)境和應(yīng)用領(lǐng)域的一組信息 –角度： ? 系統(tǒng)的最終用戶 ? 其它的系統(tǒng) ? 涉及系統(tǒng)開(kāi)發(fā)的工程師 ? 任何系統(tǒng)相關(guān)者 什么是視點(diǎn)？ ? 假設(shè)： –針對(duì)整個(gè)系統(tǒng)而言，每個(gè)視點(diǎn)都是不完整的 –整個(gè)系統(tǒng)的需求將通過(guò)集成各個(gè)視點(diǎn)信息得到 –由于一般而言視點(diǎn)之間會(huì)包含不同的需求，因此特別地要涉及矛盾的歸結(jié)過(guò)程 什么是視點(diǎn)？ ? “火車(chē)自動(dòng)控制系統(tǒng)”中的可能視點(diǎn)和需求來(lái)源： – 司機(jī)：來(lái)自火車(chē)司機(jī)的需求，可能大部分是涉及可用性的非功能性需求 – 軌道設(shè)備：來(lái)自軌道設(shè)備的需求，這些軌道設(shè)備將與系統(tǒng)發(fā)生交互 – 已有的其它系統(tǒng)：來(lái)自已經(jīng)存在的其它系統(tǒng)的兼容性需求 – 安全工程師：來(lái)自于鐵路安全工程師的系統(tǒng)安全性需求 – 火車(chē)制動(dòng)裝置的特征：從火車(chē)制動(dòng)裝置的特性中導(dǎo)出的需求 什么是視點(diǎn)？ ? 視點(diǎn) ： 需求相關(guān)者對(duì)問(wèn)題某個(gè)方面的觀點(diǎn) ，顯式區(qū)別不同的需求來(lái)源 ? 視點(diǎn)是分離關(guān)注點(diǎn)的一種方法，讓參與者僅僅關(guān)注他們感興趣的問(wèn)題，忽略與他們無(wú)關(guān)的問(wèn)題 ? 提供組織和結(jié)構(gòu)化這些不同信息的機(jī)制 ? 提供手段，讓需求源或需求相關(guān)者標(biāo)識(shí)和檢查他們對(duì)需求的貢獻(xiàn) 第十講：面向視點(diǎn)的需求方法 ?結(jié)構(gòu)化分析和設(shè)計(jì)技術(shù)（ SADT） ?控制需求表達(dá)（ CORE） ?面向視點(diǎn)的系統(tǒng)工程（ VOSE） ?面向視點(diǎn)的需求定義（ VORD） ?面向視點(diǎn)的需求驗(yàn)證 ?“問(wèn)題”需求的處理框架 從結(jié)構(gòu)化分析和設(shè)計(jì)技術(shù)（ SADT）中談起 SADT方法 A c t i v i t yI n p u tControlO u t p u tMechanism?由長(zhǎng)方形（表示活動(dòng)）和不同含義的箭頭組成 ?將問(wèn)題分解為層次圖，每層含一組長(zhǎng)方形和箭頭 ?低層的是高層的精化 ?最上層的是上下文圖，表示系統(tǒng)的輸入／輸出／控制／支撐機(jī)制 SADT方法中的視點(diǎn) ? 沒(méi)有顯式的視點(diǎn)定義，是其建模技術(shù)的直觀推廣 ? 由它的數(shù)據(jù)和來(lái)源和去向決定視點(diǎn) SADT方法中的視點(diǎn) I s s u e l i b r a r y I t e m ( 0 1 )L i b r a r y c a r dValid memberI s s u e d i t e mR e t u r n d a t eR e q u e s t e d i t e m[ L i b r a r y u s e r ][ L i b r a r y u s e r ][ I s s u e c l e r k ][ L i b r a r y u s e r ]Item availabilityU s e r d a t a b a s e I t e m d a t a b a s e?視點(diǎn) Library user表示檢查和未檢查的館藏的 來(lái)源 和 目的地 ?視點(diǎn) Issue clerk表示檢查這些館藏并注明歸還日期 ?視點(diǎn) Item database表示關(guān)于館藏的信息的 來(lái)源 和 要修改的信息 ?視點(diǎn) User database表示驗(yàn)證合法用戶的 信息來(lái)源 SADT方法中的視點(diǎn) ? 視點(diǎn)只是一種直覺(jué) ,而沒(méi)有明確的表示 ? 沒(méi)有關(guān)注視點(diǎn)定義的專門(mén)步驟 ? 視點(diǎn)只出現(xiàn)在上下文層 ? 沒(méi)有超出只將視點(diǎn)作為數(shù)據(jù)的來(lái)源和出處的視點(diǎn)分析 控制式需求表達(dá)（ CORE） CORE方法概述 ? 英國(guó)宇航局，七十年代末期 ? 關(guān)注功能分解（與 SADT相同），但不同的是，它顯式地以視點(diǎn)為基礎(chǔ) ? 用于歐洲宇航工業(yè)界，著名的項(xiàng)目包括： –八十年代中旬的實(shí)驗(yàn)飛行器計(jì)劃， CORE用于系統(tǒng)和軟件定義 –最近的歐洲戰(zhàn)斗機(jī)計(jì)劃， CORE作為標(biāo)準(zhǔn)的需求分析方法 CORE方法中的視點(diǎn) ? 分兩層考慮視點(diǎn) –第一層次：識(shí)別與目標(biāo)系統(tǒng)交互的或者影響目標(biāo)系統(tǒng)的實(shí)體 – CORE提供識(shí)別功能性和非
環(huán)評(píng)公示相關(guān)推薦
鄂ICP備17016276號(hào)-1