特征模型定制的一种自动传播策略与选择性回退机制.docVIP

第３卷　第１期 ２１年１月 计　　算　　机　　学　　报 ＣＩＥＥＪＵＮＬＯＣＭＵＥＳ Ｖｌ３Ｎ． Ｊ．０３ 　 特征模型定制的一种自动传播策略与选择性回退机制  高可信软件技术教育部重点实验室　北京　０８１ 北京大学信息科学技术学院软件研究所　北京　０８１ 摘　要　面向特征的分析方法已被主流的软件复用方法接受．基本思想是将软件的特征作为软件解决需求问题 的基本要素使用特征以及特征之间的关系这两者的组合也被称为特征模型来组织软件的需求．征模型良好 的可剪裁性和可扩展性为领域需求的复用提供了有力的支持．当前的面向特征的方法中特征模型上的一个定 制决策会影响其他相关特征的绑定状态．何使用特征模型之间内在的关联关系来实现特征模型的定制的自动传 播算法与选择性回退算法是一个值得进行深入研究的课题．者给出了特征模型定制的一种自动传播策略与选择 性回退机制针对特征模型中存在的二元约束与组合约束进行分析介绍该算法的实现细节． 关键词　软件复用特征模型模型定制自动传播选择性回退 中图法分类号Ｔ３１　　犗号　０３２Ｓ．１１．１．１２ 犃犃狋犿狋狉犪狋狀犛犪犵犪犱犛犲犻犝犱犕犮犪犿犳 犉狋犲犕犾犆狀犵狋狀 ＬＬｎ　ＨＯＨｉａ　Ｈ ＧＷｉ 犓狔犪狉狅 犳犎犵犆狀犻狀犛犳狑狉犜犮狀狅犻犳犕狀狋 犳犈狌狋狀犅犼犵１０７） 犐狋狌狅犛犳狑狉犛犺犾犳犈犮狅狊犈犵犲犻犪犱犆犿狌狉犛犲 犘犽犵犝犻狉狋犅犼犵１０７） 犃狊犪　Ｆａｒｏｅｄｏａａａｓｍｔｏｓｈｖｂｎｄｐｄｂｍｓｉｐｔｔｏ ｗｒｒｅｍｔｏｓｗｈｒａｆｔｅａ ｅｂｉｅｍｎｎｔｅｐｂｍｓｃａｄｅ ｐｙｅｕｓｎｔｒａｏｉｂｗｅｆｕ ｃｌｆｔｅｏｅｔｓｕｕｔｐｂ ｌｍｓｃ．ｙｕｏｉｔｎａｄｅｅｓｎｆｔｅｍｄｓｐｏｔｒｓｏｄｍｉｒｕｅ ｍｎｎｓｍｅｅ．ｎｆｔｅｏｅｄｍｔｏｓｉｉａｓｂｃｗｒｙｆｎｅｈｔｙｏ ｈｗｔｕｉｒｓｒａｏｉｉａｆｔｅｍｄｏｒｌｅｕｍｔｏａａｎａｄｓｅ ｔｅｕｄｏｆｔｅｍｌｃｎｇｒｉ．ｈｐｒｐｓｔａａｏａｃｒａａｎａｏ ｒｈａｄｏｅｅｃｖｕｏｍｃａｍｆｃｎｇｒｇｈｍｔｘａｄｅｕｍｄ ｂｔ ｇｂｈｈｓ ｅａｄｃｍｏｔｏｓａｔｉｏｏｓｅｔｎａｄｎｅｉ ｇｔｅｄａｓｆ ｅａｏｔｓｍｌｍｎｔｎ 犓狔狅狊ｓｔｒｒｓｆｔｅｍｄｓｍｄｃｎｇｒｉ ａｏａｃｒａａｏｓｅ ｔｅｕｄ 越高软件自身的规模和复杂性也随之迅速增长软 成熟高效的工业产品生产方式来开发软件产品． 随着用户对软件产品的质量和性能的要求越来 ２世纪９年代以来软件复用研究重新成为了热  收稿日期２１７ 最终修改稿收到日期２１１ 本课题得到国家九七三重点基础研究发展规划项目基金２０Ｃ３００） 国家自然科学基金重大研究计划课题９８８２ 国家自然科学基金面上项目６２２６资助．　龙男１８年生硕士主要研究 方向为软件工程需求工程．ｍｉｌｎ１＠ｅｐｕｅｕｃ．海燕女１６年生博士副教授主要研究方向为软件工程需求工 程．　伟男１７年生博士副教授主要研究方向为软件工程需求工程．１期 李　龙等：特征模型定制的一种自动传播策略与选择性回退机制 １３ 点软件复用被认为是解决软件危机提高软件开 法可以保证满足同一个变化点的子特征之间的约 发效率和质量实现软件产业工业化生产方式的有 束然而未必可以保证满足全局的约束． ［］ 作为软件复用的一种重要途径特征建模技术 该方法使用专门的配置语言将特征用户需求和其 被用来捕获和组织领域需求文献２的思想是将软 它制品在一个单独的配置模型中进行建模并且提 件需求组织成为客户用户价值的一组特征通过特 供工具对产品的定制生成实现部分自动化．而该 征间的的精化关系与约束关系来表示需求间的依赖 方法没有说明配置模型与特征模型以及其它模型之 关系提高软件需求的易定制性．目的是通过定制 间的联系以及相互的影响． 操作提取领域内的需求实现软件复用将领域特征 ＦＲＭ方法的提出者］就意识到了在选择特 模型转化为应用系统特征模型实现领域工程与应 征的时候需要检查特征模型的完整性和一致性并 用工程之间的联系将已有的应用系统转化为新的 且提议采用约束检查算法来辅助验证．ａｎｎ等 应用系统实现大粒度的软件复用． 人基于文献６中的思路提出使用命题逻辑对特 基于特征模型的复用一般通过特征模型的定制 征的树状结构以及特征间的约束关系进行形式化． 来实现．征模型的定制技术是指在领域特征模型 是就将特征模型的验证问题转化为逻辑表达式的可 中选择特征添加到应用系统特征模型中并且满足 满足性问题．ｔ ７也采用了基于命题逻辑的约 领域特征模型所建立的特征间的约束关系．于特 束形式化方法提到了将定制决策进行传播的思想． 征模型中存在着大量的约束关系与精化关系使得 然而上述方法都没有提出特征模型定制的选择性回 特征模型中的特征间存在着一定联系因此在确