Formalizing interactive staged feature model configuration

Journal of software: Evolution and Process

Volumn 24, Issue 4, 2012, Pages 375-400

  Bagheri, Ebrahim ^a,b   Di Noia, Tommaso ^c   Gasevic, Dragan ^a   Ragone, Azzurra ^d  

^a ATHABASCA UNIVERSITY   (Canada)

^b NATIONAL RESEARCH COUNCIL CANADA   (Canada)

^c POLITECNICO DI BARI   (Italy)

^d UNIVERSITY OF TRENTO   (Italy)

Author keywords

Feature models; Logic languages; Soft constraints; Software product lines; Variability

Indexed keywords

FEATURE MODELS; LOGIC LANGUAGES; SOFT CONSTRAINT; SOFTWARE PRODUCT LINE; VARIABILITY;

FORMAL LOGIC;

SOFTWARE DESIGN;

EID: 84863337114     PISSN: None     EISSN: 20477481     Source Type: Journal    
DOI: 10.1002/smr.534     Document Type: Article

References (46)

1. Pohl K, Böckle G, Van Der Linden F. Software Product Line Engineering: Foundations, Principles, and Techniques. Springer: Berlin, 2005.
2. Czarnecki K, Eisenecker U. Generative Programming. Springer: Berlin, 2000.
3. Lee K, Kang K, Lee J. Concepts and guidelines of feature modeling for product line software engineering. Software Reuse: Methods, Techniques, and Tools (Lecture Notes in Computer Science, vol. 2319). Springer: Berlin, 2002; 62-77.
4. Kang K, Cohen S, Hess J, Novak W, Peterson A, Inst CMUPPSE. Feature-oriented domain analysis (FODA) feasibility study. Carnegie Mellon University, Software Engineering Institute, 1990.
5. Simos M. Organization domain modeling (ODM): Formalizing the core domain modeling life cycle. ACM SIGSOFT Software Engineering Notes 1995; 20:196-205.
6. Griss M, Favaro J, dAlessandro M. Integrating feature modeling with the RSEB. Proceedings of the Fifth International Conference on Software Reuse, 1998; 76-85.
7. Kang K, Kim S, Lee J, Kim K, Shin E, Huh M. FORM: A feature oriented reuse method with domain-specific reference architectures. Annals of Software Engineering 1998; 5:143-168.
8. Czarnecki K, Helsen S, Eisenecker U. Formalizing cardinality-based feature models and their specialization. Software Process: Improvement and Practice 2005; 10:7-29. (Pubitemid 40384707)
9. Clements P, Northrop LM. Software product lines, 2003. Available at: http://www.sei.cmu.edu/programs/pls/swproduct-lines-05-03.pdf [June 2009].
10. Czarnecki K, Helsen S, Eisenecker U. Staged configuration using feature models. Software Product Lines (Lecture Notes in Computer Science, vol. 3154). Springer: Berlin, 2004; 266-283.
11. Ragone A, Noia TD, Sciascio ED, Donini FM. Logic-based automated multi-issue bilateral negotiation in peer-to-peer e-marketplaces. Autonomous Agents and Multi-Agent Systems 2008; 16:249-270.
12. Lopez-Herrejon R, Batory D. A standard problem for evaluating product-line methodologies. Generative and Component-Based Software Engineering (Lecture Notes in Computer Science, vol. 2186). Springer: Berlin, 2001; 10-24. (Pubitemid 33348095)
13. Kang K, Lee J, Donohoe P. Feature-oriented product line engineering. IEEE software 2002; 19:58-65. (Pubitemid 34806830)
14. Mendonca M, Wasowski A, Czarnecki K, Cowan D. Efficient compilation techniques for large scale feature models. Proceedings of the Seventh International Conference on Generative Programming and Component Engineering. ACM: New York NY, U.S.A., 2008; 13-22.
15. Wang H, Li Y, Sun J, Zhang H, Pan J. Verifying feature models using OWL. Web Semantics: Science, Services and Agents on the World Wide Web 2007; 5:117-129. (Pubitemid 46856276)
16. Batory D. Feature models, grammars, and propositional formulas. Software Product Lines (Lecture Notes in Computer Science, vol. 3714). Berlin, 2005; 7-20.
17. Bagheri E, Noia TD, Ragone A, Gasevic D. Configuring software product line feature models based on stakeholders' soft and hard requirements. The 14th International Software Product Line Conference. Springer: Berlin, 2010.
18. Sommerville I, Sawyer P. Viewpoints: Principles, problems and a practical approach to requirements engineering. Annals of Software Engineering 1997; 3:101-130.
19. Hess J, Novak W, Carroll P, Cohen S. A domain analysis bibliography. SEI-90-SR-3, Software Engineering Institute, Carnegie Mellon University, Pittsburgh PA, 1990.
20. Ausiello G, Crescenzi P, Kann V, Marchetti Sp, Gambosi G, Spaccamela AM. Complexity and Approximation: Combinatorial Optimization Problems and their Approximability Properties. Springer: Berlin, 2003.
21. Papadimitriou C, Steiglitz K. Combinatorial Optimization: Algorithms and Complexity. Prentice-Hall: Englewood Cliffs NJ, 1982.
22. Ausiello G, Crescenzi P, Kann V, Gambosi G, Spaccamela AM. Complexity and Approximation: Combinatorial Optimization Problems and their Approximability Properties. Springer: Berlin, 2003.
23. Mamdani E. Application of fuzzy logic to approximate reasoning using linguistic synthesis. Proceedings of the Sixth International Symposium on Multiple-valued Logic. IEEE Computer Society Press: Los Alamitos CA, U.S.A., 1976; 196-202.
24. Yager R, Filev D. Essentials of Fuzzy Modeling and Control. Wiley: New York, 1994.
25. Benavides D, Trinidad P, Ruiz-Cortes A. Automated reasoning on feature models. CAiSE 2005: 17th International Conference on Advanced Information Systems Engineering (Lecture Notes in Computer Science, vol. 3520). Springer: Berlin, 2005; 491-503. (Pubitemid 41336123)
26. Benavides D, Segura S, Trinidad P, Ruiz-Cortés A. A first step towards a framework for the automated analysis of feature models. Technical Report, Universidad Politécnica de Madrid, Madrid, Spain, 2006.
27. Moskewicz M, Madigan C, Zhao Y, Zhang L, Malik S. Chaff: Engineering an efficient SAT solver. Proceedings of the Design Automation Conference, 2001; 530-535. (Pubitemid 32841010)
28. Mannion M. Using first-order logic for product line model validation. Software Product Lines (Lecture Notes in Computer Science, vol. 2379). Berlin, 2002; 176-187.
29. Czarnecki K, Kim C. Cardinality-based feature modeling and constraints: A progress report. International Workshop on Software Factories 2005.
30. Tsarkov D, Horrocks I. FaCT++ description logic reasoner: System description. Automated Reasoning (Lecture Notes in Computer Science, vol. 4130). Berlin, 2006; 292-297. (Pubitemid 44532682)
31. Donini F, Nardi D, Rosati R. Description logics of minimal knowledge and negation as failure. ACM Transactions on Computational Logic (TOCL) 2002; 3:177-225.
32. McCarthy J, Laboratory SAI. Circumscription-A form of non-monotonic reasoning. Department of Computer Science, Artificial Intelligence Laboratory, Stanford University, 1980.
33. Haarslev V, Moller R. RACER system description. IJCAR'01 (Lecture Notes in Computer Science, vol. 2083). Springer: Berlin, 2001; 701-706. (Pubitemid 33291468)
34. Parsia B, Sirin E. Pellet: An owl dl reasoner. Proceedings of the International Workshop on Description Logics, 2004; 104.
35. Motik B, Horrocks I, Rosati R, Sattler U. Can owl and logic programming live together happily ever after? International Semantic Web Conference, 2006; 501-514. (Pubitemid 44892052)
36. Horridge M, Parsia B, Sattler U. Laconic and precise justifications in owl. Proceedings of the Seventh International Conference on The Semantic Web. Springer: Berlin, 2008; 323-338.
37. Colucci S, Di Noia T, Di Sciascio E, Donini F, Mongiello M. Concept abduction and contraction in description logics. Proceedings of the 16th International Workshop on Description Logics (DL03). vol. 81, 2003.
38. Schobbens P, Heymans P, Trigaux J. Feature diagrams: A survey and a formal semantics. 14th IEEE International Conference Requirements Engineering, 2006; 139-148.
39. Janota M, Kiniry J. Reasoning about feature models in higher-order logic. 11th International Software Product Line Conference (SPLC'07), 2007; 13-22.
40. Benavides D, Segura S, Trinidad P, Ruiz-Cortes A. FAMA: Tooling a framework for the automated analysis of feature models. Proceeding of the First International Workshop on Variability Modelling of Software-intensive Systems (VAMOS), 2007; 129-134.
41. Jackson D. Alloy: A lightweight object modelling notation. ACM Transactions on Software Engineering Methodology 2002; 11:256-290. (Pubitemid 44159313)
42. Gheyi R, Massoni T, Borba P. A theory for feature models in alloy. First Alloy Workshop, 2006; 71-80.
43. Czarnecki K, She S, Wasowski A. Sample spaces and feature models: There and back again. Proceedings of the 2008 12th International Software Product Line Conference. IEEE Computer Society: Washington DC, U.S.A., 2008; 22-31.
44. Bagheri E, Asadi M, Gasevic D, Soltani S. Stratified analytic hierarchy process: Prioritization and selection of software features. The 14th International Software Product Line Conference, South Korea (Lecture Notes in Computer Science, vol. 6287). Springer: Berlin, 2010; 300-315. Available at: http:dx.doi.org/10.1007/ 978-3-642-15579-6-21.
45. Robak S, Pieczynski A. Employing fuzzy logic in feature diagrams to model variability in software product-lines. Proceedings 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2003; 305-311.
46. Bagheri E, Ghorbani AA. The analysis and management of non-canonical requirement specifications through a belief integration game. Knowledge and Information Systems. Springer: Berlin, 2008.