中科院需求工程8d講)多視點(diǎn)需求工程與矛盾需求處理-文庫吧在線文庫
【正文】 設(shè) ΔI,ΔE 是一個場景， Δ是與該場景相關(guān)的需求說明。 一個合適的邏輯工具 ? 帶注釋的謂詞演算（ Annotated Predicate Calculus， APC） ? 每一個經(jīng)典的原子公式（ . l）都伴隨有一個來自于信任半格（ belief semilattice， BSL）的值（ . r）作為注釋。 不一致性處理的群體決策機(jī)制 不一致性處理的群體決策機(jī)制 如果 φki涉及到了 Δj中的必要的需求，那么 vj可以拒絕提議 φki，或者給出一個新的提議，或者從協(xié)商中退出。 不一致性處理的群體決策機(jī)制 定義一個從實(shí)際處理方案集合到具有組合機(jī)構(gòu)的備選方案集合的一一映射 ； 把每個需求相關(guān)者對方案的評估轉(zhuǎn)化為投票者對備選方案的偏好表達(dá) ； 給定一個社會投票機(jī)制，自動確定選中的方案的集合 ； 把選中方案的集合轉(zhuǎn)換為公共方案的集合 。 （不完整性） 設(shè) ΔI,ΔE 是一個場景， Δ是與該場景相關(guān)的需求說明。如果 Δ∪ ΔI╞ α:r, r∈ {┬,┬p },那么稱 Δ相對于該場景來說是不一致的。 視點(diǎn)類型 ? 一個視點(diǎn)框架就是一個視點(diǎn)類型，它只包含 –風(fēng)格（ style）槽 –工作計劃（ work plan）槽 ? 按照工作計劃槽中定義的行為開發(fā)視點(diǎn)，得到視點(diǎn)類型的一個實(shí)例 主要研究的問題 ? 視點(diǎn)的表示 ? 視點(diǎn)內(nèi)部的交互 ? 視點(diǎn)之間的交互 ? 沖突消解 視點(diǎn)框架 ? 視點(diǎn)框架是可重用的描述，可以多次實(shí)例化，得到多個視點(diǎn) ? 框架的一次實(shí)例化過程就是一個視點(diǎn)的開發(fā)過程 ? 框架不僅刻畫視點(diǎn)要表示的需求 ,還表達(dá)了視點(diǎn)的開發(fā)方法和開發(fā)過程 ? 視點(diǎn)擁有者：負(fù)責(zé)制定該視點(diǎn)的過程模型的人或者智能工具 Style槽 ? 兩部分： – Object ： – Relation： ? Relation(Object1,Object2).Attribute ? Relation(Object1,Object2). ? 例子 – – .`On’ – Transition(On, Off).Name.`Buttonpress’ Work Plan槽 ? 組裝活動 ? 視點(diǎn)內(nèi)檢查 ? 視點(diǎn)間檢查 ? 視點(diǎn)觸發(fā)活動 組裝活動 ? 用來采集（構(gòu)造）該表示框架的規(guī)格說明的基本活動 ? 實(shí)際上是一組基本的編輯活動 視點(diǎn)內(nèi)檢查 ? 檢查視點(diǎn)規(guī)格說明語法上的局部一致性 ? 這些檢查規(guī)則實(shí)際上部分定義了視點(diǎn)表示的語義 ? 是方法設(shè)計者確定良定規(guī)格說明的依據(jù) 視點(diǎn)間檢查 ? 檢查不同視點(diǎn)規(guī)格說明間的一致性 ? 視點(diǎn)間一致性規(guī)則規(guī)定在什么情況下出現(xiàn)不一致 視點(diǎn)觸發(fā)活動 ? 為了創(chuàng)建新視點(diǎn) (實(shí)例化視點(diǎn)框架 )而必須執(zhí)行的活動 ? 一般作為一個其它開發(fā)活動的結(jié)果，比如： –在 agent層次中增加一個 agent觸發(fā)為這個 agent創(chuàng)建一個新的視點(diǎn) –在功能分解層次中增加一個子過程，觸發(fā)創(chuàng)建一個表集視點(diǎn) 過程模型 兩類視點(diǎn)框架 ? Agent結(jié)構(gòu)視點(diǎn) ? 表集視點(diǎn) Agent結(jié)構(gòu)視點(diǎn) 表集視點(diǎn)（一） 表集視點(diǎn)（二） 視點(diǎn)間的關(guān)系（一） 視點(diǎn)間的關(guān)系（二） 案例（圖書館） ? 識別信息處理實(shí)體，作為 Agent，用 Agent層次結(jié)構(gòu)將它們組合起來 Library World視點(diǎn) 案例（圖書館） ? 針對每個葉子 agent，構(gòu)造刻畫信息處理過程的表結(jié)構(gòu) Borrower視點(diǎn) 其它視點(diǎn)內(nèi)活動 ? 檢查源和目的地的存在性，針對 agent的層次結(jié)構(gòu)而言 ? 如果出錯，隱含： –增加新 agent –重命名不一致的源和目的地 視點(diǎn)集成 視點(diǎn)間關(guān)系定義（舉例） ? 表集合圖中的每個源必須是 agent層次中的一個命名 agent =VP(AS,Dd): ? 表集合圖中的每個目的地必須是 agent層次中的一個命名 agent = VP(AS,Dd): 視點(diǎn)間關(guān)系定義（舉例） ? 來自表集合圖的每個輸出必須是另一個agent的表集合圖的一個輸入 Connectedto(Output, Destination).=VP(TC,): Connectedto(Ds,Input). ? 來自表集合圖中一個源的每個輸入必須由該源 agent的表集合圖產(chǎn)生 Connectedto(Source, Input).=VP(TC,): Connectedto(Output, Ds). 兩個視點(diǎn)表集合圖間關(guān)系 視點(diǎn)間關(guān)系定義（舉例） ? Agent層次上的每個 agent必須有一個表集合圖與它關(guān)聯(lián)（蘊(yùn)涵每個 agent都是一個信息處理實(shí)體） Agent?VP(TC,) ? 總之，視點(diǎn)間關(guān)系定義視點(diǎn)之間的結(jié)構(gòu)約束 視點(diǎn)間規(guī)則的援引 ? 在創(chuàng)建包含該規(guī)則的視點(diǎn)類的實(shí)例（源視點(diǎn)）時，聲明： –至少要有一個目的視點(diǎn)，使得它將與源視點(diǎn)維護(hù)這個關(guān)系 –可以觸發(fā)目的視點(diǎn)的創(chuàng)建
環(huán)評公示相關(guān)推薦
鄂ICP備17016276號-1