面向特征的领域建模技术Feature.pptVIP

*基于DRM的DSSA的设计C：种子构件创建对于每一个特征，在规约层上建立一个对应的实体，称为种子构件种子构件解决了构件的“原罪问题”，即：构件从哪里来在后继活动中，将对种子构件进行进一步的合并，以获取更大粒度的构件ComponentSeed11Feature*绑定谓词single-bound一组特征中只有一个特征处于绑定状态multiple-bound一组特征中有多个特征处于绑定状态all-bound一组特征全部处于绑定状态single-bound(P:setFeature)=def ?oneA?P:(A.Binding-State=bound)multiple-bound(P:setFeature)=def ?someA?P:(A.Binding-State=bound)all-bound(P:setFeature)=def ?A?P:(A.Binding-State=bound)*组合约束multiple-boundall-bound+single-boundmultiple-bound+all-boundsingle-boundrequiresmutual-requiresexcludes示例：single-bound(A,B,C)requiresmultiple-bound(D,E)*图形化约束标记(require)(mutualrequire)(exclude)(single-bound)(multiple-bound)(all-bound)CompositeConstraints:BasicConstraints:GroupConstraints:BindingPredicates:(Mutex-Group)(None-Group)(All-Group)*图形化约束标记简单示例Constraints:ArequireE,CexcludeF，mutex-group(A,B,C),single-bound(A,B,C)requireD.GraphicalNotation:*交互关系交互是一种特征间的动态依赖关系交互是约束在软件系统运行时刻的体现交互提供了将各个相对独立的成分组装生成系统的手段即：系统=构成成分+构成成分之间的交互同时，关注交互和约束之间的追踪关系*几种特征之间的交互关系InvokeMeta-levelconfigureResourceconfigureNotifyFlow*Invoke–调用定时邮件收取邮件收取邮件收取用例invokeinvoke尝试从预先设定的邮件服务器上收取邮件当用户点击特定的UI构件时，尝试从预先设定的邮件服务器上收取邮件在每一个预先设置的时间点上尝试从预先设定的邮件服务器上收取邮件*Meta-levelconfigure–元层配置定时邮件收取定时邮件收取配置器Meta-levelconfigure根据用户的请求设定定时邮件收取的绑定状态，即在bound和undecided两个状态之间切换这是一个运行时刻绑定的特征*Resourceconfigure–资源配置邮件过滤器邮件过滤配置器Resourceconfigure根据预先设定的过滤规则对收到的邮件进行过滤根据用户的请求修改邮件过滤规则过滤规则集合ReadrulesWriterules资源容器*Notify–通知对特征A和B,“AnotifyB”表示:A向B发送一条消息，以指明某种条件已满足或某事件已发生。ABNotify*Flow–流邮件收取邮件解密邮件过滤垃圾箱收件箱FlowFlow过滤规则集合ReadrulesPutinto*二元交互分类框架二元交互中的角色TriggerTriggeeTriggerInteractionTriggeeAinvokeBAmeta-levelconfigureBAresourceconfigureBAinvokeBAflowB*二元交互分类框架DIMENSION2:Trigger和Tr