›› 2014,Vol. 29 ›› Issue (4): 724-736.doi: 10.1007/s11390-014-1462-5

• Special Section on Selected Paper from NPC 2011 • 上一篇    

特征模型中不一致性的交互式修复

Bo Wang1,2 (王波), Ying-Fei Xiong1,2 (熊英飞), Member, CCF, ACM, IEEE, Zhen-Jiang Hu1,2,3,* (胡振江), Member, ACM, IEEE, Hai-Yan Zhao1,2 (赵海燕), Member, CCF, ACM, IEEE, Wei Zhang1,2 (张伟), and Hong Mei1,2,4 (梅宏), Fellow, CCF, Member, ACM, IEEE   

  1. 1. Key Laboratory of High Confidence Software Technologies, Ministry of Education, Beijing 100871, China;
    2. Institute of Software, School of Electronics Engineering and Computer Science, Peking University, Beijing 100871, China;
    3. National Institute of Informatics, Tokyo 101-8430, Japan;
    4. Department of Computer Science and Engineering, Shanghai Jiao Tong University, Shanghai 200240, China
  • 出版日期:2014-07-05 发布日期:2014-07-05
  • 作者简介:Bo Wang received his B.S. degree in computer science from University of Electronic Science and Technology of China, Chengdu, in 2007, and his Ph.D. degree in computer science from Peking University, Beijing, in 2014. His research interests are requirements engineering, domain engineering, and variability model configuration.
  • 基金资助:

    This work is supported by the National High Technology Research and Development 863 Program of China under Grant No. 2013AA01A605, the National Basic Research 973 Program of China under Grant No. 2011CB302604, the National Natural Science Foundation of China under Grant Nos. 61121063, U1201252, 61272163, 61202071, and 60528006, and the Japan MEXT Grant-in-Aid for Scientific Research (A) under Grant No. 25240009.

Interactive Inconsistency Fixing in Feature Modeling

Bo Wang1,2 (王波), Ying-Fei Xiong1,2 (熊英飞), Member, CCF, ACM, IEEE, Zhen-Jiang Hu1,2,3,* (胡振江), Member, ACM, IEEE, Hai-Yan Zhao1,2 (赵海燕), Member, CCF, ACM, IEEE, Wei Zhang1,2 (张伟), and Hong Mei1,2,4 (梅宏), Fellow, CCF, Member, ACM, IEEE   

  1. 1. Key Laboratory of High Confidence Software Technologies, Ministry of Education, Beijing 100871, China;
    2. Institute of Software, School of Electronics Engineering and Computer Science, Peking University, Beijing 100871, China;
    3. National Institute of Informatics, Tokyo 101-8430, Japan;
    4. Department of Computer Science and Engineering, Shanghai Jiao Tong University, Shanghai 200240, China
  • Online:2014-07-05 Published:2014-07-05
  • About author:Bo Wang received his B.S. degree in computer science from University of Electronic Science and Technology of China, Chengdu, in 2007, and his Ph.D. degree in computer science from Peking University, Beijing, in 2014. His research interests are requirements engineering, domain engineering, and variability model configuration.
  • Supported by:

    This work is supported by the National High Technology Research and Development 863 Program of China under Grant No. 2013AA01A605, the National Basic Research 973 Program of China under Grant No. 2011CB302604, the National Natural Science Foundation of China under Grant Nos. 61121063, U1201252, 61272163, 61202071, and 60528006, and the Japan MEXT Grant-in-Aid for Scientific Research (A) under Grant No. 25240009.

PDF (PC)

1215

特征模型被广泛应用于复用特定领域中一组相似产品的需求。在构造特征模型的过程中，一项基本的任务就是保证特征模型的一致性。这一任务包含检测及修复特征模型的不一致。目前，大部分现有方法均关注于不一致性的检测，忽略了不一致性的修复。本文提出一个新颖的基于动态优先级的交互式修复方法来修复特征模型中不一致性，并实现了相应的工具。该方法不但能自动推荐修复不一致性的解决方案，并通过动态修改优先级，帮助领域分析员逐步找到理想的解决方案。本文的关键贡献是：第一个将约束层次理论引入特征建模，采用优先级表达领域分析员对于约束的信心程度，并通过删除一个或多个低优先级的约束来解决冲突。本文通过两个实例研究展示了方法的可用性及可伸缩性（高效性）。

Abstract: Feature models have been widely adopted to reuse the requirements of a set of similar products in a domain. In feature models' construction, one basic task is to ensure the consistency of feature models, which often involves detecting and fixing of inconsistencies in feature models. While many approaches have been proposed, most of them focus on detecting inconsistencies rather than fixing inconsistencies. In this paper, we propose a novel dynamic-priority based approach to interactively fixing inconsistencies in feature models, and report an implementation of a system that not only automatically recommends a solution to fixing inconsistencies but also supports domain analysts to gradually reach the desirable solution by dynamically adjusting priorities of constraints. The key technical contribution is, as far as we are aware, the first application of the constraint hierarchy theory to feature modeling, where the degree of domain analysts' confidence on constraints is expressed by using priority and inconsistencies are resolved by deleting one or more lower-priority constraints. Two case studies demonstrate the usability and scalability (efficiency) of our new approach.

[1] Kang K C, Cohen S G, Hess J A, Novak W E, Peterson A S. Feature-oriented domain analysis (FODA) feasibility study. Technical Report, CMU-SEI 90-TR-21, Software Engineering Institute, Carnegie Mellon University, USA, Nov. 1990.

[2] Czarnecki K, Helsen S, Eisenecker U W. Formalizing cardinality-based feature models and their specialization. Software Process: Improvement and Practice, 2005, 10(1): 7-29.

[3] von der Maßen T, Lichter H. Deficiencies in feature models. In Proc. Workshop on Software Variability Management for Product Derivation, August 30-September 2, 2004.

[4] Benavides D, Segura S, Cortés A R. Automated analysis of feature models 20 years later: A literature review. Information Systems, 2010, 35(6): 615-636.

[5] Mannion M. Using first-order logic for product line model validation. In Proc. the 2nd International Software Product Line Conference, August 2002, pp.176-187.

[6] Batory D S. Feature models, grammars, and propositional formulas. In Proc. the 9th International Software Product Line Conference, September 2005, pp.7-20.

[7] Zhang W, Yan H, Zhao H, Jin Z. A BDD-based approach to verifying clone-enabled feature models' constraints and customization. In Proc. the 10th International Conference on Software Reuse, May 2008, pp.186-199.

[8] She S, Lotufo R, Berger T, Wasowski A, Czarnecki K. The variability model of the Linux kernel. In Proc. the 4th International Workshop on Variability Modelling of SoftwareIntensive Systems, January 2010, pp.45-51.

[9] Batory D S, Benavides D, Cortés A R. Automated analysis of feature models: Challenges ahead. Commun. ACM, 2006, 49(12): 45-47.

[10] Borning A, Freeman-Benson B N, Wilson M. Constraint hierarchies. Lisp and Symbolic Computation, 1992, 5(3): 223-270.

[11] Sannella M. SkyBlue: A multi-way local propagation constraint solver for user interface construction. In Proc. the 7th Symp. User Interface Software and Technology, Nov. 1994, pp.137-146.

[12] Sannella M. The SkyBlue constraint solver and its applications. In Proc. Workshop on Principles and Practice of Constraint Programming, Apr. 1993, pp.258-268.

[13] Zhang W, Mei H, Zhao H. Feature-driven requirement dependency analysis and high-level software design. Requir. Eng., 2006, 11(3): 205-220.

[14] Wang B, Passos L, Xiong Y, Czarnecki K, Zhao H, Zhang W. Smartfixer: Fixing software configurations based on selfadaptive priorities. In Proc. the 17th International Software Product Line Conference, Aug. 2013, pp.82-90.

[15] Czarnecki K, She S, Wasowski A. Sample spaces and feature models: There and back again. In Proc. the 12th Int. Software Product Line Conference, Sept. 2008, pp.22-31.

[16] Benavides D, Trinidad P, Cortés A R. Using constraint programming to reason on feature models. In Proc. the 17th International Conference on Software Engineering and Knowledge Engineering, July 2005, pp.677-682.

[17] Egyed A. Fixing inconsistencies in UML design models. In Proc. the 29th International Conference on Software Engineering, May 2007, pp.292-301.

[18] Trinidad P, Benavides D, Durán A, Cortés A R, Toro M. Automated error analysis for the agilization of feature modeling. J. Syst. Softw., 2008, 81(6): 883-896.

[19] White J, Schmidt D C, Benavides D, Trinidad P, Cortés A R. Automated diagnosis of product-line configuration errors in feature models. In Proc. the 12th International Software Product Line Conference, September 2008, pp.225-234.

[20] Schubert M, Felfernig A, Mandl M. Fastxplain: Conflict detection for constraint-based recommendation problems. In Proc. the 23rd International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, June 2010, Part 1, pp.621-630.

[21] Felfernig A, Friedrich G, Jannach D, Stumptner M. Consistency-based diagnosis of configuration knowledge bases. Artificial Intelligence, 2004, 152(2): 213-234.

[22] Wang B, Xiong Y, Hu Z et al. A dynamic-priority based approach to fixing inconsistent feature models. In Proc. the 13th International Conference on Model Driven Engineering Languages and Systems, October 2010, Part 1, pp.181-195.
No related articles found!
Viewed
Full text


Abstract

Cited
  Shared   
  Discussed   
[1] 周巢尘; 柳欣欣;. Denote CSP with Temporal Formulas[J]. , 1990, 5(1): 17 -23 .
[2] 沈理;. Testability Analysis at Switch Level for CMOS Circuits[J]. , 1990, 5(2): 197 -202 .
[3] 韩建超; 史忠植;. Formalizing Default Reasoning[J]. , 1990, 5(4): 374 -378 .
[4] 黄志毅; 胡守仁;. Detection of And-Parallelism in Logic Programs[J]. , 1990, 5(4): 379 -387 .
[5] 李涛;. Competition Based Neural Networks for Assignment Problems[J]. , 1991, 6(4): 305 -315 .
[6] 沈一栋;. Form alizing Incomplete Knowledge in Incomplete Databases[J]. , 1992, 7(4): 295 -304 .
[7] 蒋昌俊; 吴哲辉;. Net Operations[J]. , 1992, 7(4): 333 -344 .
[8] 王学军; 石纯一;. A Multiagent Dynamic interaction Testbed:Theoretic Framework, System Architecture and Experimentation[J]. , 1997, 12(2): 121 -132 .
[9] 秦开怀;. Representing Quadric Surfaces Using NURBS Surfaces[J]. , 1997, 12(3): 210 -216 .
[10] Schubert Foo; Siu Cheung Hui;. System Architectural Design for DeliveringVideo Mail over the World-Wide-Web[J]. , 1997, 12(4): 372 -385 .
版权所有 © 《计算机科学技术学报》编辑部
本系统由北京玛格泰克科技发展有限公司设计开发 技术支持：support@magtech.com.cn
总访问量：