中科院需求工程8d講)多視點(diǎn)需求工程與矛盾需求處理-資料下載頁
2025-02-09 18:05本頁面
【正文】 IC） 定理證明技術(shù)（ QClogic） ? 不利用封閉世界假設(shè) 定理證明技術(shù)（ QClogic） ? 擴(kuò)展可滿足性關(guān)系：強(qiáng)可滿足 +弱可滿足 定理證明技術(shù)（ QClogic） “問題”需求的種類 非 規(guī) 范 需 求 （不一致性） 設(shè) ΔI,ΔE 是一個場景， Δ是與該場景相關(guān)的需求說明。如果 Δ∪ ΔI╞ α:r, r∈ {┬,┬p },那么稱 Δ相對于該場景來說是不一致的。否則，稱 Δ相對于該場景是一致的。 （ 潛在不一致性） 設(shè) ΔI,ΔE 是一個場景， Δ是與該場景相關(guān)的需求說明。假設(shè) Δ∪ ΔI是一致的。如果 Δ∪ ΔI╞ α:t（或 Δ∪ ΔI╞ α:f）并且 Δ∪ ΔI╞ α: fp（或 Δ∪ ΔI╞ α: tp），那么稱 Δ相對于該場景是潛在不一致的。 （冗余性） 設(shè) ΔI,ΔE 是一個場景， Δ是與該場景相關(guān)的需求說明。如果 ?Γ?Δ使得 Γ∪ ΔI╞ΔE并且 Γ相對于該場景是一致的，那么稱 Δ相對于該場景是冗余的。進(jìn)而， Γ被看作是 Δ相對于該場景的一個簡化 。 （不完整性） 設(shè) ΔI,ΔE 是一個場景， Δ是與該場景相關(guān)的需求說明。如果 ?Φ∈ ΔE使得 Δ∪ ΔI|≠Φ， 那么稱Δ相對于該場景是不完整的。 一個合適的邏輯工具 ? 帶注釋的謂詞演算（ Annotated Predicate Calculus， APC） ? 每一個經(jīng)典的原子公式（ . l）都伴隨有一個來自于信任半格（ belief semilattice， BSL）的值（ . r）作為注釋。 ? 例： Reserve(User, Book): t→ Borrow(User, Book): tp “問題”需求的處理框架 非規(guī)范軟件需求統(tǒng)一管理框架 需求規(guī)格說明 Δ 應(yīng)用場景 輸入 Δ I, 期望響應(yīng) Δ E 自然語言描述的需求規(guī)格說明 自然語言描述的應(yīng)用場景 形式化：翻譯成 APC邏輯公式 不一致性 潛在不一致性 冗余性 不完整性 需求推理 Δ ∪ Δ I╞┬ ？ 分析推理結(jié)果 修正 處理方案選擇 （ 決策機(jī)制 ） 對于模糊需求信息采用如下元策略或者規(guī)則： 對與（潛在）不一致性有關(guān)聯(lián)的模糊信息采取降格策略； 對與不一致性無關(guān)的模糊信息采取確認(rèn)或者升格策略。 對于冗余需求信息， 必要需求描述不能被移除， 而有用但不必要的需求描述則代表了客戶需求的一種可能的方式； 無用的需求描述是完全冗余的，他們最終需要被精簡掉。 對不完整的需求， 在實(shí)際操作過程中，我們可以通過向需求說明中添加該場景中未能得到的期望響應(yīng)的降格形式來提醒開發(fā)人員去收集完善相關(guān)的需求信息。 需求翻譯 修改需求說明 不一致管理 協(xié)商 方案翻譯 “問題”需求的處理過程 不一致性度量 基于對需求描述不同的相對優(yōu)先級的考慮，需求度量即考慮到不一致的重要（顯著）性（ significance）又考慮到不一致的嚴(yán)重程度（ degree）。 基于優(yōu)先級的打分序關(guān)系 基于優(yōu)先級的打分向量序關(guān)系 基于優(yōu)先級的重要性序關(guān)系 對嚴(yán)重程度的度量 對重要性的度量 整合度量 我們假定需求的抽取和描述都是正確無誤的，獲得的需求正確地表達(dá)需求相關(guān)者的真實(shí)意圖。 不一致性處理的群體決策機(jī)制 定義一個從實(shí)際處理方案集合到具有組合機(jī)構(gòu)的備選方案集合的一一映射 ； 把每個需求相關(guān)者對方案的評估轉(zhuǎn)化為投票者對備選方案的偏好表達(dá) ； 給定一個社會投票機(jī)制，自動確定選中的方案的集合 ； 把選中方案的集合轉(zhuǎn)換為公共方案的集合 。 不一致性處理的群體決策機(jī)制 不一致性處理的群體決策機(jī)制 協(xié)商元語言，包括如下幾種語言行為： ? request(i, j,φ)：從主體 i到主體 j關(guān)于提議 φ的請求； ? offer(i, j,φ)： 主體 i向主體 j提出一個提議 φ； ? accept(i, j,φ)：主體 i接受了主體 j的提議 φ； ? reject(i, j,φ)：主體 i拒絕了主體 j的提議 φ； ? withdraw(i, j)：主體 i退出與主體 j的協(xié)商。 不一致性處理的群體決策機(jī)制 不一致性處理的群體決策機(jī)制 如果 φki涉及到了 Δj中的必要的需求，那么 vj可以拒絕提議 φki，或者給出一個新的提議，或者從協(xié)商中退出。也就是說， vj不接受提議； 對于 vj，如果通過執(zhí)行提議 φki，當(dāng)前需求集合的最重要（顯著）的最小不一致子集將會被消除，并且提議 φki所涉及的需求集合的重要性沒有其他的需求集合高，那么 vj可以接受這個提議，或者進(jìn)一步提出這個提議的改進(jì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
環(huán)評公示相關(guān)推薦
鄂ICP備17016276號-1