中科院需求工程8d講)多視點(diǎn)需求工程與矛盾需求處理(文件)
【正文】 模是全局開(kāi)發(fā)組的難題 –從事務(wù)中抽取的意圖元素太多不好管理，也無(wú)法檢查相似項(xiàng) –難以決定如何將一個(gè)大的模型劃分為小的視圖 –不得不將大的 actor分割成小的 roles，否則依賴關(guān)系太多 –模型太大導(dǎo)致圖形布局問(wèn)題，可讀性受到影響，檢查和驗(yàn)證幾乎不可能 ? 視點(diǎn)開(kāi)發(fā)組可以克服這些問(wèn)題 模型的規(guī)模 比較 ? 后向可追蹤性 –視點(diǎn)開(kāi)發(fā)組比較容易做到 –全局開(kāi)發(fā)組比較難，在整個(gè)開(kāi)發(fā)過(guò)程，他們只查閱了原始事務(wù)描述 5次 ? 它們的模型離原始事務(wù)比較遠(yuǎn)， ? 在建模過(guò)程中引入了許多原始事務(wù)中沒(méi)有的概念， ? 意圖元素的列表是原始事務(wù)和模型之間的中間表示 ? 意圖元素的列表對(duì)選擇建模問(wèn)題的初始分解起到重要作用 比較 ? 視點(diǎn)合并是視點(diǎn)開(kāi)發(fā)組的主要難題，這個(gè)組不得不針對(duì)所有不同點(diǎn)提出解決方案，經(jīng)常要回到原始事務(wù)描述中，識(shí)別某個(gè)概念的真正含義，需要所有的建模人員參加 –不同詳細(xì)程度 –不同建模風(fēng)格 –不同形式化程度 –建模過(guò)于自由 –不同術(shù)語(yǔ) 比較 ? 模型分析，不同小組開(kāi)發(fā)的模型，采用不同的模型分析技術(shù)： –全局開(kāi)發(fā)組的模型用目標(biāo)評(píng)估過(guò)程 –視點(diǎn)開(kāi)發(fā)組的模型讓涉眾檢查分析，理解涉眾之間觀點(diǎn)的不同 “問(wèn)題”需求的處理框架 對(duì) 軟件問(wèn)題本身只有有限的理解 需求相關(guān)者 眾多 軟件復(fù)雜程度的增加 需求陳述比較模糊，需求信息不完整，不同相關(guān)人的需求陳述重疊、冗余甚至相互沖突等 軟件需求抽取和表達(dá)中的困難 相關(guān)工作 不一致需求的檢測(cè)和處理 1993年，Easterbrook等人 1999年，Nuseibeh等人 1997年Spanoudakis 2023年，Haase等人 1998年，Hunter等人 2023年，Easterbrook等人 2023年，Konieczny 2023年Sabetzadeh等人 1998年Lamsweerde等人 2023年 Nentwich等人 不一致需求的管理框架 實(shí)際上，不一致信息和 ―有問(wèn)題 ‖的需求信息緊密相連， 需求信息的不完整性和冗余性的處理，在一些相關(guān)文獻(xiàn)中只是略有涉及，缺乏深入的探討。 在 I﹡ 和 AGORA方法中，對(duì)不完整需求說(shuō)明的檢測(cè)通過(guò)在與 /或圖中簡(jiǎn)化和說(shuō)明目標(biāo)來(lái)完成。如果 Δ∪ ΔI╞ α:r, r∈ {┬,┬p },那么稱 Δ相對(duì)于該場(chǎng)景來(lái)說(shuō)是不一致的。如果 Δ∪ ΔI╞ α:t（或 Δ∪ ΔI╞ α:f）并且 Δ∪ ΔI╞ α: fp（或 Δ∪ ΔI╞ α: tp），那么稱 Δ相對(duì)于該場(chǎng)景是潛在不一致的。 （不完整性） 設(shè) ΔI,ΔE 是一個(gè)場(chǎng)景， Δ是與該場(chǎng)景相關(guān)的需求說(shuō)明。 對(duì)于冗余需求信息， 必要需求描述不能被移除， 而有用但不必要的需求描述則代表了客戶需求的一種可能的方式； 無(wú)用的需求描述是完全冗余的，他們最終需要被精簡(jiǎn)掉。 不一致性處理的群體決策機(jī)制 定義一個(gè)從實(shí)際處理方案集合到具有組合機(jī)構(gòu)的備選方案集合的一一映射 ； 把每個(gè)需求相關(guān)者對(duì)方案的評(píng)估轉(zhuǎn)化為投票者對(duì)備選方案的偏好表達(dá) ； 給定一個(gè)社會(huì)投票機(jī)制，自動(dòng)確定選中的方案的集合 ； 把選中方案的集合轉(zhuǎn)換為公共方案的集合 。 謝謝觀看 /歡迎下載 BY FAITH I MEAN A VISION OF GOOD ONE CHERISHES AND THE ENTHUSIASM THAT PUSHES ONE TO SEEK ITS FULFILLMENT REGARDLESS OF OBSTACLES. BY FAITH I BY FAITH 。 不一致性處理的群體決策機(jī)制 不一致性處理的群體決策機(jī)制 如果 φki涉及到了 Δj中的必要的需求，那么 vj可以拒絕提議 φki，或者給出一個(gè)新的提議，或者從協(xié)商中退出。 需求翻譯 修改需求說(shuō)明 不一致管理 協(xié)商 方案翻譯 “問(wèn)題”需求的處理過(guò)程 不一致性度量 基于對(duì)需求描述不同的相對(duì)優(yōu)先級(jí)的考慮，需求度量即考慮到不一致的重要（顯著）性（ significance）又考慮到不一致的嚴(yán)重程度（ degree）。 一個(gè)合適的邏輯工具 ? 帶注釋的謂詞演算（ Annotated Predicate Calculus， APC） ? 每一個(gè)經(jīng)典的原子公式（ . l）都伴隨有一個(gè)來(lái)自于信任半格（ belief semilattice， BSL）的值（ . r）作為注釋。如果 ?Γ?Δ使得 ?！?ΔI╞ΔE并且 Γ相對(duì)于該場(chǎng)景是一致的，那么稱 Δ相對(duì)于該場(chǎng)景是冗余的。 （ 潛在不一致性） 設(shè) ΔI,ΔE 是一個(gè)場(chǎng)景， Δ是與該場(chǎng)景相關(guān)的需求說(shuō)明。 需求的完整性總是與一致性和正確性問(wèn)題聯(lián)系在一起的，它們之間存在重要的因果關(guān)系。需 求 工 程 金芝 中國(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)題 –等等 ?
環(huán)評(píng)公示相關(guān)推薦
鄂ICP備17016276號(hào)-1