Consistency maintenance for evolving feature models

Expert Systems with Applications

Volumn 39, Issue 5, 2012, Pages 4987-4998

  Guo, Jianmei ^a   Wang, Yinglin ^a   Trinidad, Pablo ^b   Benavides, David ^b  

^a SHANGHAI JIAO TONG UNIVERSITY   (China)

^b UNIVERSITY OF SEVILLE   (Spain)

Author keywords

Consistency maintenance; Evolution; Feature models; Ontology; Semantics; Software product lines

Indexed keywords

CONSISTENCY CONSTRAINTS; CONSISTENCY MAINTENANCE; ERROR PRONES; EVOLUTION; FEATURE MODELS; PRIMITIVE OPERATIONS; PROOF OF CONCEPT; SOFTWARE PRODUCT LINES;

COMPUTER SOFTWARE MAINTENANCE; MAINTAINABILITY; NETWORK ARCHITECTURE; ONTOLOGY; SEMANTICS; SOFTWARE DESIGN;

EXPERIMENTS;

EID: 84855890521     PISSN: 09574174     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.eswa.2011.10.014     Document Type: Article

References (34)

1. Alves, V.; Gheyi, R.; Massoni, T.; Kulesza, U.; Borba, P.; Lucena, C. (2006). Refactoring product lines. In Proceedings of GPCE'06, Portland, Oregon, USA (pp. 201-210).
2. Batory, D. (2005). Feature models, grammars, and propositional formulas. In Proceedings of SPLC'05, Rennes, France (pp. 7-20).
3. D. Batory, D. Benavides, and A. Ruiz-Cortes Automated analysis of feature models: challenges ahead Communications of the ACM 49 2006 45 47
4. Benavides, D.; Martin-Arroyo, P. T.; Cortes, A. R. (2005). Automated reasoning on feature models. In Proceedings of CAiSE'05, Porto, Portugal (pp. 491-503).
5. D. Benavides, S. Segura, and A.R. Cortes Automated analysis of feature models 20 years later: A literature review Information Systems 35 2010 615 636
6. P. Clements, and L. Northrop Software product lines: Practices and patterns 2001 Addison-Wesley Boston, MA, USA
7. Czarnecki, K.; Wasowski, A. (2007). Feature diagrams and logics: there and back again. In Proceedings of SPLC'07, Kyoto, Japan (pp. 23-34).
8. K. Czarnecki, S. Helsen, and U.W. Eisenecker Formalizing cardinality-based feature models and their specialization Software Process: Improvement and Practice 10 2005 7 29
9. T.R. Gruber A translation approach to portable ontologies Knowledge Acquisition 5 1993 199 220
10. T. Gruber Ontology Encyclopedia of database systems 2008 Springer-Verlag
11. Guo, J.; Wang, Y. (2010). Towards consistent evolution of feature models. In Proceedings of SPLC'10, Jeju Island, South Korea. LNCS (Vol. 6287, pp. 451-455).
12. Haase, P.; Stojanovic, L. (2005). Consistent evolution of OWL ontologies. In Proceedings of ESWC'05, Heraklion, Greece (pp. 182-197).
13. W. Huersch Maintaining consistency and behaviour of object-oriented systems during evolution ACM SIGPLAN Notices 32 1997 1 21
14. Janota, M.; Kiniry, J. (2007). Reasoning about feature models in higher-order logic. In Proceedings of SPLC'07, Kyoto, Japan (pp. 13-22).
15. Kang, K. C.; Cohen, S. G.; Hess, J. A.; Novak, W. E.; Peterson, A. S. (1990). Feature-oriented domain analysis (FODA) feasibility study. Technical Report CMU/SEI-90-TR-021, Software Engineering Institute, CMU.
16. K.C. Kang, J. Lee, and P. Donohoe Feature-oriented product line engineering IEEE Software 19 2002 58 65
17. Kastner, C.; Apel, S. (2008). Type-checking software product lines - A formal approach. In Proceedings of ASE'08, L'Aquila, Italy (pp. 258-267).
18. Lauenroth, K.; Pohl, K. (2008). Dynamic consistency checking of domain requirements in product line engineering. In Proceedings of RE'08, Barcelona, Spain (pp. 193-202).
19. Loesch, F.; Ploedereder, E. (2007). Optimization of variability in software product lines. In Proceedings of SPLC'07, Kyoto, Japan (pp. 151-162).
20. Lutz, R. R. (2008). Enabling verifiable conformance for product lines. In Proceedings of SPLC'08, Limerick, Ireland (pp. 35-44).
21. Mannion, M. (2002). Using first-order logic for product line model validation. In Proceedings of SPLC'02, San Diego, CA, USA (pp. 176-187).
22. Metzger, A.; Heymans, P.; Pohl, K.; Saval, P.-Y. S. G. (2007). Disambiguating the documentation of variability in software product lines: A separation of concerns, formalization and automated analysis. In Proceedings of RE'07, New Delhi, India (pp. 243-253).
23. K. Pohl, G. Bockle, and F. van der Linden Software product line engineering: foundations, principles, and techniques 2005 Springer-Verlag Berlin, Heidelberg
24. Rundensteiner, E.; Leem, A.; Ra, Y. (1998). Capacity-augmenting schema changes on object-oriented databases: towards increased interoperability. In Proceedings of OOIS'98, Paris, France (pp. 349-368).
25. Schobbens, P.-Y.; Heymans, P.; Trigaux, J.-C. (2006). Feature diagrams: A survey and a formal semantics. In Proceedings of RE'06, Minneapolis/St.Paul, Minnesota, USA (pp. 136-145).
26. P.-Y. Schobbens, P. Heymans, J.-C. Trigaux, and Y. Bontemps Generic semantics of feature diagrams Computer Networks 51 2007 456 479
27. Steger, M.; Tischer, C.; Boss, B.; Muller, A.; Pertler, O.; Stolz, W.; et al. (2004). Introducing PLA at Bosch gasoline systems: Experiences and practices. In Proceedings of SPLC'04, Boston, MA, USA (pp. 34-50).
28. Stojanovic, L. (2004). Methods and tools for ontology evolution. Ph.D. Thesis, University of Karlsruhe.
29. V. Sugumaran, S. Park, and K.C. Kang Software product line engineering: Introduction Communications of the ACM 49 2006 28 32
30. Thum, T.; Batory, D. S.; Kastner, C. (2009). Reasoning about edits to feature models. In Proceedings of ICSE'09, Vancouver, Canada (pp. 254-264).
31. P. Trinidad, D. Benavides, A. Duran, A. Ruiz-Cortes, and M. Toro Automated error analysis for the agilization of feature modeling Journal of Systems and Software 81 2008 883 896
32. von der MaBen, T.; Lichter, H. (2004). Deficiencies in feature models. In Proceedings of workshop on software variability management for product derivation, SPLC'04, Boston, MA, USA.
33. Wang, H.; Li, Y.; Sun, J.; Zhang, H.; Pan, J. (2005). A semantic web approach to feature modeling and verification. In Proceedings of workshop on semantic web enabled software engineering (SWESE'05).
34. J. White, D. Benavides, D.C. Schmidt, P. Trinidad, B. Dougherty, and A.R. Cortes Automated diagnosis of feature model configurations Journal of Systems and Software 83 2010 1094 1107