面向特征的領(lǐng)域建模技術(shù)feature-orienteddomainmodeling-文庫(kù)吧資料
2024-08-14 14:46本頁(yè)面
【正文】 n Requi re me nts Mo delA R M : Appl ica tio n Re quire me nts Mo delDSS A : Doma i n Spec ifi c Sof tware Arc hi te ctureA S S A : Appl ica tio n Spec ifi c So ftware Arch itec ture領(lǐng)域工程與應(yīng)用工程 3 主要內(nèi)容 Domain Analysis DRM Domain Design DSSA Requirements Analysis ARM ? 主要問(wèn)題 –1 DRM的結(jié)構(gòu) –2 DRM的建立 –3 基于 DRM的 ARM的建立 –4 基于 DRM的 DSSA的設(shè)計(jì) 4 領(lǐng)域需求模型 (DRM)的結(jié)構(gòu) 相關(guān)研究成果發(fā)表于 [ICRE05], [REJ06], [SoSyM06] . 5 DRM的結(jié)構(gòu) ? 使用 特征模型 作為 DRM ? 基本思想 – 把 特征 作為問(wèn)題空間的基本實(shí)體 – 使用 特征 以及 特征間的關(guān)系 刻畫問(wèn)題空間 Problem space Feature Relation between features Featureoriented view of the problem space 6 特征 ? 什么是特征？ –從外延來(lái)看：一個(gè)特征描述了一種具有用戶 /客戶價(jià)值的軟件特點(diǎn)。 –從內(nèi)涵來(lái)看：一個(gè)特征是由一組緊密關(guān)聯(lián)的單個(gè)需求構(gòu)成的單元。 Mandatory ? 綁定時(shí)間 (BindingTime) – Reusetime, Compiletime, Installtime, Loadtime, Runtime, … ? 綁定狀態(tài) (BindingState) – Bound。 Undecided 9 精化關(guān)系 (Refinements) ? 精化 是一種存在于 不同 粒度 /抽象層次 的特征之間的關(guān)系 – 不同 粒度 /抽象層次 的特征 通過(guò)精化關(guān)系形成層次式的結(jié)構(gòu) –層次結(jié)構(gòu)提供了一種描述復(fù)雜系統(tǒng)的手段 10 三種精化關(guān)系 ? 分解 (Deposition) – 把一個(gè)特征精化為一組作為其構(gòu)成成分的子特征稱為 分解 ? 屬性化 (Characterization) – 識(shí)別出一個(gè)特征具有的屬性型特征 稱為 屬性化 ? 特殊化 (Specialization) – 把一個(gè)特征精化為一個(gè)包含更多細(xì)節(jié)的特征 稱為 特殊化 11 三種精化關(guān)系 編輯 拷貝 粘貼 刪除 圖元移動(dòng) 移動(dòng)模式 移動(dòng)約束 虛框移動(dòng) 整體移動(dòng) 水平約束 垂直約束 Deposition Characterization Specialization Specialization 整體 部分 實(shí)體 行為屬性 ? 簡(jiǎn)單示例 12 約束關(guān)系 (Constraints) ? 約束 是一種特征間的 靜態(tài)依賴關(guān)系 –更嚴(yán)格而言，約束是不同特征的綁定狀態(tài)之間的依賴關(guān)系 ? 約束提供了對(duì)特征模型的剪裁結(jié)果進(jìn)行驗(yàn)證的手段 –剪裁是對(duì)特征模型進(jìn)行復(fù)用的手段 –約束有助于驗(yàn)證剪裁結(jié)果的完整性和一致性 13 約束關(guān)系 ? 幾種不同類型的約束 –二元約束 (Binary Constraints) –組約束 (Group Constraints) –綁定謂詞 (Binding Predicates) –組合約束 (Composite Constraints) 14 二元約束 ? requires ? mutualrequires ? excludes mutualrequires(A, B: Feature) =def require(A, B) AND require (B, A) requires(A, B: Feature) =def ( = bound) ? ( = bound) excludes(A, B: Feature) =def NOT (( = bound) AND ( = bound)) 15 組約束 ? mutexgroup – 一組相互排斥的特征 ? allgroup – 一組相互依賴的特征 ? nonegroup – 一組松散的特征 mutexgroup(P: set Feature) =def ? A, B ? P : exclude(A, B) allgroup(P: set Feature) =def ? A, B ? P : mutualrequire(A, B) nonegroup(P: set Feature) =def TRUE 16 綁定謂詞 ? singlebound – 一組特征中只有一個(gè)特征處于綁定狀態(tài) ? multiplebound – 一組特征中有多個(gè)特征處于綁定狀態(tài) ? allbound – 一組特征全部處于綁定狀態(tài) singlebound(P: set Feature) =def ?one A ? P : ( = bound) multiplebound(P: set Feature) =def ?some A ? P : ( = bound) allbound(P: set Feature) =def ? A ? P : ( = bound) 17 組合約束 multiplebound allbound + singlebound multiplebound + allbound singlebound requires mutualrequires excludes 示例： singlebound(A, B, C) requires multiplebound(D, E) 18 圖形化約束標(biāo)記 (require) (mutual require) (exclude) (single bound) (multiple bound) (all bound)
電大資料相關(guān)推薦
鄂ICP備17016276號(hào)-1