【正文】 ?VPs?VPd such that VPs ? VPd 視點集成（援引） 視點間規(guī)則的應用 ? 檢查模式：？ ? –失敗導致不一致性處理 ? 變換模式： f(?, VPs, VPd) –將一個視點中的對象或關系一對一映射到另一個視點的對應對象或關系上（滿足關系 ? ） 視點集成（應用） 視點集成 視點間不一致性的處理 視點間不一致性的處理 ( a ) T e m p l a t e i n C OR E( b ) Hi e r a r c h y o f Ag e n t s( c ) Ac t i o n t a b l e o f Ag e n t B o r r o w e r ( d ) Ac t i o n t a b l e o f Ag e n t C l e r k ( e ) Ac t i o n t a b l e o f Ag e n t L i b r a r i a n 視點間不一致性的處理 利用封閉世界假設，可以推出矛盾： 討論 ? 基本觀點： –在處理概念建模問題時，建立多個代表不同視角的片段模型，比試圖構造單個模型要好 –分離地為不同涉眾建模，然后再組合起來，會導致對領域的更豐富的理解 視點方法的好處 ? 得到涉眾的認可：分離地獲取不同涉眾的視點，他們可以看到自己的貢獻 ? 結構化過程：需求制品的并行開發(fā)，不受一致性的局限，建模過程可以分派給不同的開發(fā)小組 ? 延遲承諾：容許問題的不同表示，對哪些需求更重要的問題，他們應該如何建模等，分析員可以推遲做出選擇，直到對涉眾的視角有更好的理解 其它可能的好處 ? 視點建模改進可追蹤性：因為比較和合并是顯式地進行的，過程可以記錄下來 ? 視點建模改進結果模型的可讀性：原始涉眾對模型的理解能力 ? 視點建模改進捕獲不同觀點和微弱觀點的能力：沒有視點，有些不符合特定建模原則的事實會被忽略 ? 視點建模使小組的建模更容易，因為分解了建模任務 帶來的新問題 ? 如何識別視點之間的關系？ ? 如何發(fā)現(xiàn)和處理不一致性？ 通過實驗評估這個方法 ? 多倫多大學 ? 問題： Kids Help Phone ? 基本表示框架： I* 實驗設計 全局建模組開發(fā)包含所有事務的單個 I*模型 視點開發(fā)組為每個被面談的涉眾開發(fā)個體模型，然后合并它們獲得整個模型，合并過程由整個開發(fā)組共同完成 全局開發(fā)組的活動 ? 輸入： 14個事務 ? 概念獲?。杭s 950個意圖元素，約 120個潛在的 Actors和 Roles ? SR模型： 9個分離的 SR模型 ? 結果檢查：交叉檢查、裁剪過合并元素 ? 推斷 9個 SR模型之間的策略依賴關系，得出一個完整的組織 SD模型 視點開發(fā)組的活動 ? 視點劃分： 14個事務分成 3組 ? 分別開發(fā)： – 每個模型僅包含本組事務中的信息，排除其它事務的信息 – 模型采用與涉眾相同的詞匯 ? 視點合并 – 選擇一個看起來被所有視點共享的元素作為開始點 – 構造一個合并模型，使它包含能與所有視點匹配的元素和只出現(xiàn)在一個視點中出現(xiàn)的元素 – 如果元素表示的詳細程度不同，則使用最詳細的版本 – 如果同一個術語被用來表示不同的概念，改變其中的一個術語，使能夠區(qū)別這個不同 – 如果同一個概念在不同的視點中采用了不同方式來表示，就比較麻煩，常常需要開發(fā)一個新的結構 一般的結論 ? 兩個組都覺得從文本中抽取模型元素比較困難 ? 對更大的模型，唯一實際的方法是將它劃分成許多分離的視圖（注意不是視點） 比較 ? 模型規(guī)模是全局開發(fā)組的難題 –從事務中抽取的意圖元素太多不好管理，也無法檢查相似項 –難以決定如何將一個大的模型劃分為小的視圖 –不得不將大的 actor分割成小的 roles，否則依賴關系太多 –模型太大導致圖形布局問題，可讀性受到影響，檢查和驗證幾乎不可能 ? 視點開發(fā)組可以克服這些問題 模型的規(guī)模 比較 ? 后向可追蹤性 –視點開發(fā)組比較容易做到 –全局開發(fā)組比較難，在整個開發(fā)過程，他們只查閱了原始事務描述 5次 ? 它們的模型離原始事務比較遠， ? 在建模過程中引入了許多原始事務中沒有的概念， ? 意圖元素的列表是原始事務和模型之間的中間表示 ? 意圖元素的列表對選擇建模問題的初始分解起到重要作用 比較 ? 視點合并是視點開發(fā)組的主要難題，這個組不得不針對所有不同點提出解決方案，經(jīng)常要回到原始事務描述中，識別某個概念的真正含義，需要所有的建模人員參加 –不同詳細程度 –不同建模風格 –不同形式化程度 –建模過于自由 –不同術語 比較 ? 模型分析，不同小組開發(fā)的模型，采用不同的模型分析技術： –全局開發(fā)組的模型用目標評估過程 –視點開發(fā)組的模型讓涉眾檢查分析，理解涉眾之間觀點的不同 “問題”需求的處理框架 對 軟件問題本身只有有限的理解 需求相關者 眾多 軟件復雜程度的增加 需求陳述比較模糊，需求信