面向特征的领域建模技术featureorienteddomainmodeling培训讲学

1、面向特征的领域建模技术FeatureOrientedDomainModelingDomain AnalysisDRMDomain DesignDSSARequirements AnalysisARM 主要问题主要问题1 DRM的结构的结构2 DRM的建立的建立3 基于基于DRM的的ARM的建立的建立4 基于基于DRM的的DSSA的设计的设计相关研究成果发表于相关研究成果发表于 ICRE05, REJ06, SoSyM06ICRE05, REJ06, SoSyM06 . . 使用使用 特征模型特征模型 作为作为DRM 基本思想基本思想把把 特征特征 作为问题空间的基本实体作为问题空间的基本实体使

2、用使用 特征特征 以及以及 特征间的关系特征间的关系 刻画问题空间刻画问题空间Problem spaceFeatureRelation between features Feature-oriented view of the problem space 什么是特征？什么是特征？从外延来看：一个特征描述了一种具有用户从外延来看：一个特征描述了一种具有用户/客户价值的软件特点。客户价值的软件特点。从内涵来看：一个特征是由一组紧密关联的单从内涵来看：一个特征是由一组紧密关联的单个需求构成的单元。个需求构成的单元。FM 三种视图三种视图FeaturesThe Refinement ViewsThe

3、Constraint ViewsThe Interaction Views记录了特征间的精化关系记录了特征间的精化关系记录了特征间的交互关系记录了特征间的交互关系记录了特征间的约束关系记录了特征间的约束关系特征模型特征模型 = 特征特征 + 关系关系 (精化精化 + 约束约束 + 交互交互) 名称名称(Name) 特征的助记符号特征的助记符号 描述描述(Description) 对特征所指需求的详细叙述对特征所指需求的详细叙述 可选性可选性(Optionality) Optional; Mandatory 绑定时间绑定时间(Binding-Time) Reuse-time, Compile-t

4、ime, Install-time, Load-time, Run-time, 绑定状态绑定状态(Binding-State) Bound; Removed; Undecided 精化精化 是一种存在于是一种存在于 不同不同 粒度粒度/ /抽象层次抽象层次 的特征之间的关系的特征之间的关系不同不同 粒度粒度/ /抽象层次抽象层次 的特征的特征 通过精化关系形通过精化关系形成层次式的结构成层次式的结构层次结构提供了一种描述复杂系统的手段层次结构提供了一种描述复杂系统的手段 分解分解(Decomposition)把一个特征精化为一组作为其构成成分的子特把一个特征精化为一组作为其构成成分的子特征称为

5、征称为 分解分解 属性化属性化(Characterization)识别出一个特征具有的属性型特征识别出一个特征具有的属性型特征 称为称为 属性属性化化 特殊化特殊化(Specialization)把一个特征精化为一个包含更多细节的特征把一个特征精化为一个包含更多细节的特征 称称为为 特殊化特殊化编辑编辑拷贝拷贝粘贴粘贴删除删除图元移动图元移动移动模式移动模式移动约束移动约束虚框移动虚框移动整体移动整体移动水平约束水平约束垂直约束垂直约束DecompositionCharacterizationSpecializationSpecialization整体整体部分部分实体实体行为属性行为属性 简单

6、示例简单示例 约束约束 是一种特征间的是一种特征间的 静态依赖关系静态依赖关系更严格而言，约束是不同特征的绑定状态之间更严格而言，约束是不同特征的绑定状态之间的依赖关系的依赖关系 约束提供了对特征模型的剪裁结果进行验约束提供了对特征模型的剪裁结果进行验证的手段证的手段剪裁是对特征模型进行复用的手段剪裁是对特征模型进行复用的手段约束有助于验证剪裁结果的完整性和一致性约束有助于验证剪裁结果的完整性和一致性 几种不同类型的约束几种不同类型的约束二元约束二元约束(Binary Constraints)组约束组约束(Group Constraints)绑定谓词绑定谓词(Binding Predicate

7、s)组合约束组合约束(Composite Constraints) requires mutual-requires excludesmutual-requires(A, B: Feature) =def require(A, B) AND require (B, A)requires(A, B: Feature) =def (A.Binding-State = bound) (B.Binding-State = bound)excludes(A, B: Feature) =defNOT (A.Binding-State = bound) AND (B.Binding-State = boun

8、d) mutex-group 一组相互排斥的特征一组相互排斥的特征 all-group 一组相互依赖的特征一组相互依赖的特征 none-group 一组松散的特征一组松散的特征mutex-group(P: set Feature) =def A, B P : exclude(A, B) all-group(P: set Feature) =def A, B P : mutual-require(A, B)none-group(P: set Feature) =def TRUE single-bound 一组特征中只有一个特征处于绑定状态一组特征中只有一个特征处于绑定状态 multiple-bo

9、und 一组特征中有多个特征处于绑定状态一组特征中有多个特征处于绑定状态 all-bound 一组特征全部处于绑定状态一组特征全部处于绑定状态single-bound(P: set Feature) =def one A P : (A.Binding-State = bound)multiple-bound(P: set Feature) =def some A P : (A.Binding-State = bound)all-bound(P: set Feature) =def A P : (A.Binding-State = bound)multiple-boundall-bound +s

10、ingle-bound multiple-bound+ all-bound single-boundrequiresmutual-requires excludes示例：示例： single-bound(A, B, C) requires multiple-bound(D, E)(require)(mutual require)(exclude)(single-bound)(multiple-bound)(all-bound)Composite Constraints:Basic Constraints:GroupConstraints:Binding Predicates:(Mutex-Gr

11、oup)(None-Group)(All-Group) 简单示例简单示例Constraints:A requireE, C excludeF，mutex-group(A, B, C),single-bound(A, B, C) requireD.Graphical Notation: 交互交互 是一种特征间的是一种特征间的 动态依赖关系动态依赖关系交互交互 是是 约束约束 在软件系统运行时刻的体在软件系统运行时刻的体现现交互提供了将各个相对独立的成分组装交互提供了将各个相对独立的成分组装生成系统的手段生成系统的手段即：系统即：系统 = 构成成分构成成分 + 构成成分之间的交构成成分之间的交互互

12、 同时，关注交互和约束之间的追踪关同时，关注交互和约束之间的追踪关系系 Invoke Meta-level configure Resource configure Notify Flow定时邮件收取定时邮件收取邮件收取邮件收取邮件收取用例邮件收取用例invokeinvoke尝试从预先设定的邮尝试从预先设定的邮件服务器上收取邮件件服务器上收取邮件当用户点击特定的当用户点击特定的UIUI构件时，尝试从预构件时，尝试从预先设定的邮件服务器上收取邮件先设定的邮件服务器上收取邮件在每一个预先设置的时间点上尝试从预在每一个预先设置的时间点上尝试从预先设定的邮件服务器上收取邮件先设定的邮件服务器上收取邮件

13、定时邮件收取定时邮件收取定时邮件收取定时邮件收取配置器配置器Meta-level configure根据用户的请求设定根据用户的请求设定 定时邮件收取定时邮件收取 的绑的绑定状态，即在定状态，即在 bound bound 和和 undecided undecided 两个两个状态之间切换状态之间切换这是一个运行时这是一个运行时刻绑定的特征刻绑定的特征邮件过滤器邮件过滤器邮件过滤配置器邮件过滤配置器Resource configure根据预先设定的过滤规则对收到根据预先设定的过滤规则对收到的邮件进行过滤的邮件进行过滤根据用户的请求修改根据用户的请求修改邮件过滤规则邮件过滤规则过滤规则集合过滤规则

14、集合Read rulesWrite rules 对特征对特征 A 和和 B, “, “A notify B” ” 表示表示: : A 向向 B 发送一条消息，以指明某种条件已满足发送一条消息，以指明某种条件已满足或某事件已发生。或某事件已发生。ABNotify邮件收取邮件收取邮件解密邮件解密邮件过滤邮件过滤垃圾箱垃圾箱收件箱收件箱FlowFlow过滤规则集合过滤规则集合Read rulesPut into 二元交互中的角色二元交互中的角色 Trigger TriggeeTriggerInteractionTriggeeAinvokeBAmeta-level configureBAresourc

15、e configureBAinvokeBAflowBDIMENSION 2: Trigger 和和 Triggee 是否存在如下的约束是否存在如下的约束requires (trigger, triggee). VALUES : Explicit(显式显式), Implicit(隐式隐式).DIMENSION 1: Trigger 是否于是否于 Triggee 发生直接的交互发生直接的交互. VALUES : Direct(直接直接), Indirect(间接间接).DIMENSION 2DIMENSION 1directindirectexplicitimplicitnotifyinvoker

16、esource configureflowmeta-level configureDomain AnalysisDRMDomain related resource相关研究成果发表于相关研究成果发表于 COMPSAC03.COMPSAC03. 功能功能 (Function) 输入和输出之间的关系输入和输出之间的关系 行为特点行为特点 (Behavior Characteristic) 对从输入到输出的变换过程的限制对从输入到输出的变换过程的限制 服务服务 (Service) 一组相关的功能以及行为特点构成的单元一组相关的功能以及行为特点构成的单元 用例用例 (Use-Case) 用户和软件之间

17、的交互序列用户和软件之间的交互序列 质量属性质量属性 (Quality) 对软件的非功能性需求对软件的非功能性需求Behavior Characteristic LayerFunction LayerService Layer QualitySectionUse-CaseSectionInteraction SectionConstraint Section实践应用：在与云南昆明实践应用：在与云南昆明863软件企业孵化器的合作中，软件企业孵化器的合作中， 在在 办公自动化办公自动化 和和 公路工程管理公路工程管理 等领域中得到了成功的应用等领域中得到了成功的应用DRMRequirements

18、AnalysisARMThe Reuse context相关研究成果发表于相关研究成果发表于 ICFEM04.ICFEM04. ARM 的生产过程是对的生产过程是对 DRM 进行复用的过程进行复用的过程 这种复用是通过这种复用是通过 定制定制 达到的达到的剪裁：从剪裁：从 DRM 中选择一组符合当前复用上下文的特征中选择一组符合当前复用上下文的特征扩充：把扩充：把 特定于当前应用的需求特定于当前应用的需求 添加到剪裁后的添加到剪裁后的DRM中中DRMRequirements AnalysisARMThe Reuse contextDRMARMCustomizationPartially-Cus

19、tomized Feature Model 1Partially-Customized Feature Model 2Partially-Customized Feature Model N在绑定时间在绑定时间1 做出的剪裁决策做出的剪裁决策在绑定时间在绑定时间2 做出的剪裁决策做出的剪裁决策 复用过程复用过程在绑定时间在绑定时间N 做出的剪裁决策做出的剪裁决策在绑定时间在绑定时间N+1 做出的剪裁决策做出的剪裁决策An UndecidedFeatureA RemovedFeatureA BoundFeature删除删除绑定绑定 一个问题一个问题目前的研究目前的研究 缺乏对缺乏对 非完全绑定的

20、特征模型非完全绑定的特征模型 进进行验证的有效手段行验证的有效手段 后果后果增加了定制过程的困难性增加了定制过程的困难性 在当前绑定时间中做出的错误的剪裁决策得不到及在当前绑定时间中做出的错误的剪裁决策得不到及时的检查，从而进一步向后续的绑定时间传播时的检查，从而进一步向后续的绑定时间传播对所有待绑定的特征至少存在一种绑定结果，其满足特征间的对所有待绑定的特征至少存在一种绑定结果，其满足特征间的约束关系。约束关系。在不破坏特征间约束关系的前提下，在不破坏特征间约束关系的前提下，每一个待绑定的特征都有被绑定的可能。每一个待绑定的特征都有被绑定的可能。在不破坏特征间约束关系的前提下，在不破坏特征间

21、约束关系的前提下，每一个待绑定的特征都有被删除的可能。每一个待绑定的特征都有被删除的可能。 I CRSet: I |= i=1,., n Ci f UFSet, I CRSet: I |= ( i=1,., n Ci ) (f.Binding-State = bound) f UFSet, I CRSet: I |= ( i=1,., n Ci ) (f.Binding-State = removed)相关研究成果发表于相关研究成果发表于 MODELS05, REJ06MODELS05, REJ06ResponsibilityA cluster of specifications 在设计阶段如

22、何利用特征模型中的信息在设计阶段如何利用特征模型中的信息 我们的途径我们的途径: :FeaturesDependencies between FeaturesComponentsInteractions between ComponentsGAP(THE PROBLEM SPACE)(THE SOLUTION SPACE) 需求层需求层 单个需求单个需求 被聚集成具有更大粒度的特征被聚集成具有更大粒度的特征 一个特征包含了一组紧密关联的单个需求一个特征包含了一组紧密关联的单个需求 规约层规约层 规约规约 是对是对 需求的需求的 操作化操作化(Operationalization) 软件开发人员

23、按照规约去编写软件，从而满足需求软件开发人员按照规约去编写软件，从而满足需求 规约规约 被聚集成具有更大粒度的责任被聚集成具有更大粒度的责任(Responsibility) 一个责任包含了一组紧密关联的规约一个责任包含了一组紧密关联的规约 实现层实现层 该层中包含了预先编程实现的软件构件，使用这些构件该层中包含了预先编程实现的软件构件，使用这些构件能够快速实现特定的责任能够快速实现特定的责任 称之为称之为 基础设施构件基础设施构件 A：特征的操作化：特征的操作化每一个特征分别被操作化为每一个特征分别被操作化为 一组责任一组责任 以及以及 责任之间责任之间/ /责任与资源容器之间责任与资源容器之

24、间 的交互的交互Direct-InteractionInteractionResponsibility1.*Operationalized -into1FeatureResource ContainerDirect-Interaction B：资源容器分析：资源容器分析从特征之间的从特征之间的间接交互间接交互中发现资源容器中发现资源容器 资源容器往往是间接交互的特征之间的媒介资源容器往往是间接交互的特征之间的媒介从特征的描述中发现资源容器从特征的描述中发现资源容器InteractionResource ContainerFeature 通过 A.特征操作化 和 B.资源容器分析，特征以及特征之

25、间的交互被转化为 责任、资源容器、以及 直接的交互Direct-InteractionRequirement1.*InteractionResponsibilityResource Container1.*Operationalized -into1FeatureDirect-InteractionThe Requirement LevelThe Specification Level C：种子构件创建种子构件创建对于每一个特征，在规约层上建立一个对应的实体，对于每一个特征，在规约层上建立一个对应的实体，称为称为 种子构件种子构件种子构件种子构件 解决了解决了 构件的构件的“原罪问题原罪问题”

26、，即：构件从，即：构件从哪里来哪里来 在后继活动中，将对种子构件进行进一步的合并，以获取更在后继活动中，将对种子构件进行进一步的合并，以获取更大粒度的构件大粒度的构件Component Seed11Feature D：责任分配责任分配把把 责任责任 分配到分配到 种子构件种子构件 上上 从这种意义上，特征构件从这种意义上，特征构件 可以被视为可以被视为 责任容器责任容器根据责任分配的结果可以区分两种类型的责任根据责任分配的结果可以区分两种类型的责任 核心责任核心责任 (Core-Responsibility) 附加责任附加责任 (Added-Responsibility)Component S

27、eedCore ResponsibilityAdded ResponsibilityResponsibility*ABACBCAR1AR2AR3Operationalized intoBR3BR2BR1Operationalized intoAR1AR2AR3Assigned toBR2BR1BR3Assigned to: Core-Responsibility: Added-Responsibility E：概念构件分析概念构件分析把把 种子构件种子构件/ /资源容器资源容器 聚集成聚集成 更大粒度的单元，更大粒度的单元， 称为称为 概念构件概念构件 把具有较紧密联系的把具有较紧密联系的 种

28、子构件种子构件/ /资源容器资源容器 聚集成聚集成 概念构件概念构件 把具有相同相同交互上下文的把具有相同相同交互上下文的 种子构件种子构件 聚集成聚集成 概念构件概念构件Direct-InteractionComponent SeedCore ResponsibilityAdded ResponsibilityResponsibilityConceptual ComponentResource Container*Direct-Interaction*Direct-Interaction F：基础设施构件分析基础设施构件分析 分析概念构件的实现上下文，发掘出分析概念构件的实现上下文，发掘出

29、对其实现有益的对其实现有益的 基础设施构件基础设施构件Conceptual ComponentInfrastructure ComponentDepend-on 一个简单的文档编辑软件一个简单的文档编辑软件 特征特征1：Save 将当前文档保存到将当前文档保存到 磁盘磁盘 上上 特征特征2：Copy 将当前文档中被选择的文字拷贝到将当前文档中被选择的文字拷贝到 粘贴板粘贴板 上上 特征特征3：Cut 将当前文档中被选择的文字剪切到将当前文档中被选择的文字剪切到 粘贴板粘贴板 上上 特征特征4：Paste 将将 粘贴板粘贴板 上的文字粘贴到当前文档光标所在位置上的文字粘贴到当前文档光标所在位置

30、特征特征5：Un/Re-do 根据用户的请求，撤销根据用户的请求，撤销/ /重做重做 那些未被存盘的编辑那些未被存盘的编辑操作操作 特征间的交互分析特征间的交互分析SaveCopyCutPasteUn/Re-doNotify23451Resource configureResource configureResource configure 种子构件建立种子构件建立SaveCopyCutPasteUn/Re-do23451 特征操作化；资源容器分析；责任分配特征操作化；资源容器分析；责任分配SaveCopyCutPasteUn/Re-doCopyCutPasteSaveClipboard234

31、516: Core Responsibility: Added Responsibility 交互分析交互分析SaveCopyCutPasteUn/Re-doCopyCutPasteSaveClipboardwritewriteread234516: Core Responsibility: Added Responsibility 特征特征 Un/Re-do的操作化；资源构件分析；责任分配的操作化；资源构件分析；责任分配SaveCopyCutPasteUn/Re-doCopyCutPasteSaveInform SavedUndoRedoClear URIRecord URIRecord U

32、RIRecord URIClipboardwritewritereadUn/Re-do Info(URI)2345167: Core Responsibility: Added Responsibility 交互分析交互分析SaveCopyCutPasteUn/Re-doCopyCutPasteSaveInform SavedUndoRedoClear URIUn/Re-do Info(URI)Record URIRecord URIRecord URIClipboardinformwritewritereadwritewritewriteconsumeconsumeclear2345167: Core Responsibility: Added Responsibility 概念构件分析概念构件分析SaveCopyCutPasteUn/Re-doCopyCutPasteSaveInform SavedUndoRedoClear URIUn/Re-do Info(URI)Record URIRe