We use cookies to improve your experience with our site.

Indexed in:

SCIE, EI, Scopus, INSPEC, DBLP, CSCD, etc.

Submission System
(Author / Reviewer / Editor)
Advanced Search
Volume 29 Issue 4
July  2014
Turn off MathJax
Article Contents
Abstract
References
Related Articles
Bo Wang, Ying-Fei Xiong, Zhen-Jiang Hu, Hai-Yan Zhao, Wei Zhang, Hong Mei. Interactive Inconsistency Fixing in Feature Modeling[J]. Journal of Computer Science and Technology, 2014, 29(4): 724-736. DOI: 10.1007/s11390-014-1462-5
Citation: Bo Wang, Ying-Fei Xiong, Zhen-Jiang Hu, Hai-Yan Zhao, Wei Zhang, Hong Mei. Interactive Inconsistency Fixing in Feature Modeling[J]. Journal of Computer Science and Technology, 2014, 29(4): 724-736. DOI: 10.1007/s11390-014-1462-5
shu

Interactive Inconsistency Fixing in Feature Modeling

  • 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

Funds: 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.
More Information
  • Author Bio:

    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.

  • Published Date: July 04, 2014
    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.
    • FullText(HTML)
    • References (22)
  • [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.
    • Relative Articles

  • Related Articles

    [1]Yue-Feng Du, De-Rong Shen, Tie-Zheng Nie, Yue Kou, Ge Yu. Content-Related Repairing of Inconsistencies in Distributed Data[J]. Journal of Computer Science and Technology, 2016, 31(4): 741-758. DOI: 10.1007/s11390-016-1660-4
    [2]Xin Wang, Lin-Peng Huang, Yi Zhang, Xiao-Hui Xu, Jun-Qing Chen. A Solution of Data Inconsistencies in Data Integration --- Designed for Pervasive Computing Environment[J]. Journal of Computer Science and Technology, 2010, 25(3): 499-508.
    [3]Ai-Hua Wu, Zi-Jing Tan, Wei Wang. Annotation Based Query Answer over Inconsistent Database[J]. Journal of Computer Science and Technology, 2010, 25(3): 469-481.
    [4]Tao Ju. Fixing Geometric Errors on Polygonal Models: A Survey[J]. Journal of Computer Science and Technology, 2009, 24(1): 19-29.
    [5]Shu-Ming Zhou, Wen-Jun Xiao. A New Family of Interconnection Networks of Fixed Degree Three[J]. Journal of Computer Science and Technology, 2004, 19(2).
    [6]ZHAO XiShun, DING DeCheng. Fixed-Parameter Tractability of Disjunction-FreeDefault Reasoning[J]. Journal of Computer Science and Technology, 2003, 18(1).
    [7]LI Xuandong, TAN Wenkai, ZHENG Guoliang. Checking MSC Specifications for Timing Inconsistency[J]. Journal of Computer Science and Technology, 2002, 17(1).
    [8]Lin Zuoquan. Tableau Systems for Paraconsistency and Minimal Inconsistency[J]. Journal of Computer Science and Technology, 1998, 13(2): 174-188.
    [9]Gao Shuming, Peng Qunsheng. Hierarchical Geometric Constraint Model for Parametric Feature Based Modeling[J]. Journal of Computer Science and Technology, 1997, 12(3): 193-201.
    [10]Chen Xiexiong, Wu Haomin. The Mapping Synthesis of Ternary Functions under Fixed Polarities[J]. Journal of Computer Science and Technology, 1993, 8(4): 70-75.
    • Supplements (0)

  • Cited by

    Periodical cited type(1)

    1. Chitra Sabapathy Ranganathan, Rajeshkumar Sampathrajan, P L Kishan Kumar Reddy, et al. Big Data Infrastructures Using Apache Storm for Real-Time Data Processing. 2025 International Conference on Intelligent Control, Computing and Communications (IC3), DOI:10.1109/IC363308.2025.10956412

    Other cited types(0)

Catalog

    Get Citation
    PDF
    XML
    Article views (18) PDF downloads (1226) Cited by(1)
    Related

    Copyright ©2025 JCST, All Rights Reserved     京ICP备05002829号-1

    Institute of Computing Technology, Chinese Academy of Sciences
    P.O. Box 2704, Beijing 100190, P.R. China

    Tel.: 86-10-62610746 E-mail: jcst@ict.ac.cn

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return