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