面向特征的領(lǐng)域建模技術(shù)feature-orienteddomainmodeling(參考版)
2024-08-12 14:46本頁(yè)面
【正文】 準(zhǔn)則2 在不破壞特征間約束關(guān)系的前提下， 每一個(gè)待綁定的特征都有被刪除的可能。 A B Notify 26 Flow – 流 郵件收取 郵件解密 郵件過(guò)濾 垃圾箱 收件箱 Flow Flow 過(guò)濾規(guī)則集合 Read rules Put into 27 二元交互分類(lèi)框架 ? 二元交互中的角色 – Trigger – Triggee Trigger Interaction Triggee A invoke B A metalevel configure B A resource configure B A invoke B A flow B 28 二元交互分類(lèi)框架 DIMENSION 2: Trigger 和 Triggee 是否存在如下的約束 requires (trigger, triggee). VALUES : Explicit(顯式 ), Implicit(隱式 ). DIMENSION 1: Trigger 是否于 Triggee 發(fā)生直接的交互 . VALUES : Direct(直接 ), Indirect(間接 ). 29 二元交互分類(lèi)框架 DIMENSION 2 DIMENSION 1 direct indirect explicit implicit notify invoke resource configure flow metalevel configure 30 領(lǐng)域需求模型 (DRM)的建立 Domain Analysis DRM Domain related resource 相關(guān)研究成果發(fā)表于 [COMPSAC03]. 31 幾種具體類(lèi)型的特征 ? 功能 (Function) – 輸入和輸出之間的關(guān)系 ? 行為特點(diǎn) (Behavior Characteristic) – 對(duì)從輸入到輸出的變換過(guò)程的限制 ? 服務(wù) (Service) – 一組相關(guān)的功能以及行為特點(diǎn)構(gòu)成的單元 ? 用例 (UseCase) – 用戶(hù)和軟件之間的交互序列 ? 質(zhì)量屬性 (Quality) – 對(duì)軟件的非功能性需求 32 一種更具體的特征模型 Behavior Characteristic Layer Function Layer Service Layer Quality Section UseCase Section Interaction Section Constraint Section 33 支持工具 實(shí)踐應(yīng)用：在與云南昆明 863軟件企業(yè)孵化器的合作中， 在 辦公自動(dòng)化 和 公路工程管理 等領(lǐng)域中得到了成功的應(yīng)用 34 基于 DRM的 ARM的建立 DRM Requirements Analysis ARM The Reuse context 相關(guān)研究成果發(fā)表于 [ICFEM04]. 35 基于 DRM的 ARM的建立 ? ARM 的生產(chǎn)過(guò)程是對(duì) DRM 進(jìn)行復(fù)用的過(guò)程 ? 這種復(fù)用是通過(guò) 定制 達(dá)到的 – 剪裁：從 DRM 中選擇一組符合當(dāng)前復(fù)用上下文的特征 – 擴(kuò)充：把 特定于當(dāng)前應(yīng)用的需求 添加到剪裁后的 DRM中 DRM Requirements Analysis ARM The Reuse context 36 基于 DRM的 ARM的建立 DRM ARM Customization PartiallyCustomized Feature Model 1 PartiallyCustomized Feature Model 2 PartiallyCustomized Feature Model N 在綁定時(shí)間 1 做出的剪裁決策 在綁定時(shí)間 2 做出的剪裁決策 ? 復(fù)用過(guò)程 在綁定時(shí)間 N 做出的剪裁決策 在綁定時(shí)間 N+1 做出的剪裁決策 37 剪裁決策 An Undecided Feature A Removed Feature A Bound Feature 刪除 綁定 38 基于 DRM的 ARM的建立 ? 一個(gè)問(wèn)題 –目前的研究 缺乏對(duì) 非完全綁定的特征模型 進(jìn)行驗(yàn)證的有效手段 ? 后果 –增加了定制過(guò)程的困難性 ?在當(dāng)前綁定時(shí)間中做出的錯(cuò)誤的剪裁決策得不到及時(shí)的檢查，從而進(jìn)一步向后續(xù)的綁定時(shí)間傳播 39 三條驗(yàn)證準(zhǔn)則 對(duì)所有待綁定的特征至少存在一種綁定結(jié)果，其滿(mǎn)足特征間的 約束關(guān)系。 Removed。 7 特征模型 FM ? 三種視圖 Features The Refinement Views 記錄了特征間的精化關(guān)系 記錄了特征間的交互關(guān)系 記錄了特征間的約束關(guān)系 特征模型 = 特征 + 關(guān)系 (精化 + 約束 + 交互 ) 8 特征的屬性 ? 名稱(chēng) (Name) – 特征的助記符號(hào) ? 描述 (Description) – 對(duì)特征所指需求的詳細(xì)敘述 ? 可選性 (Optionality) – Optional。1 面向特征的領(lǐng)域建模技術(shù) (FeatureOriented Domain Modeling) 梅 宏 北京大學(xué) 信息科學(xué)技術(shù)學(xué)院軟件研究所 高可信軟件技術(shù)教育部重點(diǎn)實(shí)驗(yàn)室 2022年 2月 25日－交通大學(xué)，新竹 2 Domain Ana l y sisDRMDomain De signDSSADomain Im plem en tat ionDomain ComponentsRe quirem ents Ana l y sisARMSoft w a r e De signASSAComponents CompositionApplica tion Speci ficIm plem en tat ionApplica tionSpeci fic ComponentsA p pl ica tio nDoma in Engineer ingApplic at ion En gine er ingComponents Ada ptati onAda pted ComponentsDR M: Doma i
電大資料相關(guān)推薦
鄂ICP備17016276號(hào)-1