freepeople性欧美熟妇, 色戒完整版无删减158分钟hd, 无码精品国产vα在线观看DVD, 丰满少妇伦精品无码专区在线观看,艾栗栗与纹身男宾馆3p50分钟,国产AV片在线观看,黑人与美女高潮,18岁女RAPPERDISSSUBS,国产手机在机看影片

正文內容

中科院需求工程8d講)多視點需求工程與矛盾需求處理-資料下載頁

2025-02-09 18:05本頁面
  

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