多視點需求工程中視點一致性定義的研究new

《多視點需求工程中視點一致性定義的研究new》由會員上傳分享，免費在線閱讀，更多相關(guān)內(nèi)容在教育資源-天天文庫。

1、第23卷第4期深圳大學學報理工版Vol123No142006年10月JOURNALOFSHENZHENUNIVERSITYSCIENCEANDENGINEERINGOct12006文章編號:100022618(2006)0420332205多視點需求工程中視點一致性定義的研究梁正平,紀震,王志強(深圳大學信息工程學院,深圳518060)摘要:視點一致性是多視點需求工程中的核心,如何合理有效地定義視點的一致性,直接影響到視點一致性的檢查和不一致的管理.介紹視點一致性定義的相關(guān)研究,從形式上將視點一致性的定義分為3種類型.基于問題框架的方法標識和

2、表示視點的方式,可導致視點不一致的相關(guān)因素進行了分析,且從內(nèi)容和形式兩方面討論視點一致性的定義,及其相關(guān)性質(zhì).關(guān)鍵詞:需求工程;視點;問題域;問題框架;一致性定義中圖分類號:TP31115;TP31111文獻標識碼:A大型、復雜軟件系統(tǒng)的開發(fā),往往涉及眾多的致.宏觀上,視點間的不一致可分為靜態(tài)約束與動項目相關(guān)人員,因其各自背景、知識和職責等的不態(tài)交互兩大類型,其中靜態(tài)約束又可分為結(jié)構(gòu)上的同,他們對開發(fā)軟件系統(tǒng)有各自的看法和要求.為約束和行為上的約束兩類.視點間可能存在的不一在系統(tǒng)開發(fā)的早期全面獲取不同項目相關(guān)人員的各致類型與視點間關(guān)系的類型及

3、其性質(zhì)密切相關(guān).形[3]種需求信息,防止重要需求信息的遺漏,降低需求式上,視點間的關(guān)系可分為如下類型:獲取和分析的難度,確保最終需求規(guī)格說明書的完①完全重疊.兩個視點所包含的內(nèi)容完全相整性和一致性,學術(shù)界提出了面向多視點的需求工同,或一個視點所包含的內(nèi)容是另一個視點所包含程方法,采用視點形式獲取和組織不同用戶需內(nèi)容的子集;[122]求.雖然采用視點的形式有利于分散、獨立且②部分重疊.兩個視點內(nèi)容上存在公共的部全面地獲取各方面的需求信息,但也因此在多視點分但不完全重疊;需求工程中造成了一個無法回避且重要的問題,即③鄰近相關(guān).兩個視點內(nèi)容上不存在

4、重疊的如何檢查并確保不同視點相互一致,且全局一致.部分,但相互之間具有一定的關(guān)聯(lián)關(guān)系;視點一致性的檢查和不一致性的管理,包括一④無關(guān).兩個視點內(nèi)容上不存在重疊的部分,致性的定義、檢查方式、檢查過程和不一致性的管相互之間也不存在任何關(guān)聯(lián).理方式、管理過程等.其中,視點一致性的定義是顯然,當兩個視點在形式上相互無關(guān)時,自然所有其他工作展開的前提和基礎(chǔ).具體如何定義視不存在產(chǎn)生不一致的前提條件,故它們是相互一致點的一致性與視點間可能存在的不一致的來源及其的;而當兩個視點之間的關(guān)系在形式上屬于前3種類型密切相關(guān).基于從問題框架的方法來標識和表時,則存

5、在產(chǎn)生不一致的可能性.若兩個視點存在示視點的方式,本文對可能導致視點不一致的相關(guān)重疊或靜態(tài)的關(guān)聯(lián)關(guān)系,兩者相互依賴或相互約因素及其類型進行了深入分析,從內(nèi)容和形式兩個束,則說明它們之間存在某些結(jié)構(gòu)或行為方面的約方面討論了視點一致性的定義及其相關(guān)性質(zhì).束,當這些約束不成立時,就出現(xiàn)了不一致問題;若兩個視點存在動態(tài)的關(guān)聯(lián)關(guān)系,使兩者之間存在1視點一致性定義概述動態(tài)的交互,則兩者在交互上必須保持某種協(xié)調(diào),否則也會出現(xiàn)不一致問題.對一個實際的多視點需求工程方法而言,如何視點間關(guān)系的類型及其性質(zhì)與視點的標識方式定義視點的一致性取決于視點間可能存在的不一

6、及視點的表示方式密切相關(guān).不同的多視點需求工收稿日期:2006209204基金項目:國家自然科學基金資助項目(60572100,60673122)作者簡介:梁正平(19792),男(漢族),湖南省漣源市人,深圳大學講師、博士.E2mail:lzp@szu1edu1cn第4期梁正平,等:多視點需求工程中視點一致性定義的研究333程方法由于采用的視點標識與表示方式不同,導致視點間可能存在的關(guān)系類型也不同,對視點一致性[4]的定義各不相同.如VOSD方法通過實例化預定圖1問題框架的組成元素及其關(guān)系義的視點模板集來生成具體的視點,其中視點模板Fig1

7、1Composedelementsanditsrelation集基于某一特定的需求工程方法,是對該需求工程ofproblemframe方法中的需求描述方式和開發(fā)過程及其各類約束的建模,故VOSD中將視點的一致性定義為滿足視點問題框架方法主要包括如下思想:①軟件需的模板集中所要求的各類約束,包括描述語言、開求的本質(zhì)在于從待求解問題的角度,考慮待開發(fā)軟發(fā)過程等方面的約束.而在ZaveP所采用的方法件系統(tǒng)將在與待求解問題相關(guān)的域內(nèi)產(chǎn)生的效果.中,假設(shè)各個視點的內(nèi)容可用經(jīng)典邏輯的形式表②與軟件需求相關(guān)的描述從內(nèi)容及性質(zhì)上,設(shè)K示,故她對視點一致性的定

8、義是各視點在內(nèi)容上不為問題所處問題域知識的描述;R為用戶期望在問[5]存在邏輯意義上的矛盾.題域中產(chǎn)生的效果,又稱用戶需求;為實現(xiàn)期望效對于視點一致性定義的具體形式