Formalizing cardinality-based feature models and their specialization

Software Process Improvement and Practice

Volumn 10, Issue 1, 2005, Pages 7-29

  Czarnecki, Krzysztof ^a   Helsen, Simon ^a   Eisenecker, Ulrich ^b  

^a UNIVERSITY OF WATERLOO   (Canada)

^b UNIVERSITY OF APPLIED SCIENCES KAISERSLAUTERN   (Germany)

Author keywords

Domain analysis; Software configuration; Software product lines; System families

Indexed keywords

COMPUTER SOFTWARE; CONTEXT FREE GRAMMARS; COSTS; DECISION MAKING; NETWORK PROTOCOLS; SEMANTICS;

CARDINALITY-BASED FEATURE; SOFTWARE CONFIGURATION; SOFTWARE PRODUCT LINES; SYSTEM FAMILIES;

PRODUCT DEVELOPMENT;

EID: 15244361735     PISSN: 10774866     EISSN: None     Source Type: Journal    
DOI: 10.1002/spip.213     Document Type: Article

References (41)

1. Antkiewicz M, Czarnecki K. 2004. FeaturePlugin: feature modeling plug-in for Eclipse. OOPSLA'04 Eclipse Technology eXchange (ETX) Workshop, Paper available from http:/ /www.swen.uwaterloo.ca/~kczarnec/etx04.pdf.Software available from gp.uwaterloo.ca.
2. Barbeau M, Bordeleau F. 2002. A protocol stack development tool using generative programming. In Proceedings of the ACM SIGPLAN/SIGSOFT Conference on Generative Programming and Component Engineering (GPCE'02), Volume 2487 of Lecture Notes in Computer Science, Batory D, Consel C, Taha W (eds). Springer-Verlag: Berlin, Heidelberg, New York, 93-109.
3. Batory D, Johnson C, MacDonald B, von Heeder D. 2002. Achieving extensibility through product-lines and domain-specific languages: a case study. ACM Transactions on Software Engineering and Methodology (TOSEM) 11(2): 191-214.
4. Batory D, O'Malley S. 1992. The design and implementation of hierarchical software systems with reusable components. ACM Transactions on Software Engineering and Methodology (TOSEM) 1(4): 355-398.
5. Batory D, Sarvela JN, Rauschmayer A. 2003. Scaling stepwise refinement. Proceedings of the 25th International Conference on Software Engineering. IEEE Computer Society: Los Alamitos, CA, USA, 187-197.
6. Bednasch T. 2002. Konzept und Implementierung eines konfigurierbaren Metamodells für die Merkmal-modellierung, Diplomarbeit, Fachbereich Informatik und Mikrosystemtechnik, Fachhochschule Kaiserslautern, Standort Zweibrücken, Germany. Available from http://www.informatik.fh-kl.de/ ~eisenecker/studentwork/dt_bednasch.pdf (in German).
7. Bednasch T, Endler C, Lang M. 2002-2004. CaptainFeature, Tool available on SourceForge at https://sourceforge.net/projects/captainfeature/.
8. Beuche D. 2003. Composition and construction of embedded software families, PhD Thesis, Otto-von-Guericke-Universität Magdeburg, Germany. Available from http://www-ivs.cs.uni-magdeburg.de/~danilo.
9. Beuche D. 2004. Pure: variants eclipse plugin. User Guide, pure-systems' GmbH. Available from http://web.pure-systems.com/fileadmin/downloads/ pv_userguide.pdf.
10. Bontemps Y, Heymans P, Schobbens P-Y, Trigaux J-C. 2004. Semantics of FODA feature diagrams, In Proceedings SPLC 2004 Workshop on Software Variability Management for Product Derivation (Towards Tool Support, Männistö T, Bosch J (eds), Technical Report 6-HUT-SoberIT-C6, 48-58. Available from http://www.soberit.hut.fi/SPLC-DWS/.
11. Bosch J. 2000. Design and Use of Software Architecture: Adopting and Evolving a Product-Line Approach. Addison-Wesley, Harlow, England.
12. Cechticky V, Pasetti A, Rohlik O, Schaufelberger W. 2004. XML-based feature modelling. In Software Reuse: Methods, Techniques and Tools: 8th International Conference, ICSR 2004, Vol. 3107 of Lecture Notes in Computer Science, Bosch J, Krueger C (eds). Springer-Verlag: Berlin, Heidelberg, New York, July 5-9, 2004. Proceedings, 101-114.
13. Cleaveland C. 2001. Program Generators with XML and Java. Prentice-Hall, Upper Saddle River NJ, USA.
14. Czarnecki K. 1998. Generative programming: principles and techniques of software engineering based on automated configuration and fragment-based component models, PhD Thesis, Technical University of Ilmenau, Ilmanau, Germany. Available from http://www.prakinf.tu-ilmenau.de/~czarn/diss.
15. Czarnecki K, Eisenecker UW. 2000. Generative Programming: Methods, Tools, and Applications. Addison-Wesley Boston, MA, USA.
16. Czarnecki K, Helsen S, Eisenecker U. 2004a. Staged configuration through specialization and multi-level configuration of feature models. Technical Report 2004-025, Department of Electrical and Computer Engineering, University of Waterloo, 2004. Available from http:/ /www.swen.uwaterloo.ca/~kczarnec/TR2004- 025.pdf.
17. Czarnecki K, Helsen S, Eisenecker U. 2004b. Staged configuration using feature models, In Proceedings of the Third Software - Product-Line Conference (SPLC 2004), RL, Nord, ed., Boston, MA, August/September 2004, Vol. 3154 of Lecture Notes in Computer Science, Springer-Verlag. Available from http://www.ece.uwaterloo.ca/~kczarnec/splc04.pdf.
18. Czarnecki K, Bednasch T, Unger P, Eisenecker UW. 2002. Generative programming for embedded software: an industrial experience report. In Proceedings of the ACM SIGPLAN/SIGSOFT Conference on Generative Programming and Component Engineering (GPCE'02), Volume 2487 of Lecture Notes in Computer Science, Batory D, Consel C, Taha W (eds). Springer-Verlag: Berlin, Heidelberg, New York, October 6-8, 2002, 156-172.
19. DeBaud J-M, Schmid K. 1999. A systematic approach to derive the scope of software product lines. Proceedings of the 21st International Conference on Software Engineering (ICSE). IEEE Computer Society Press: Los Alamitos, CA, USA, 34-43.
20. de Jonge M, Visser J. 2002. Grammars as feature diagrams. ICSR7 Workshop on Generative Programming (GP2002), Austin, TX, April 15, 2002, online proceedings, 23-24. Available from http:/ /www.cwi.nl/events/2002/GP2002/GP2002. html.
21. Greenfield J, Short K. 2004. Software Factories: Assembling Applications with Patterns, Models, Frameworks, and Tools. Wiley Boston, MA, USA.
22. Griss M, Favaro J, d'Alessandro M. 1998. Integrating feature modeling with the RSEB. Proceedings of the Fifth International Conference on Software Reuse (ICSR). IEEE Computer Society Press: Los Alamitos, CA, USA, 76-85.
23. Hall PAV. 1973. Equivalence between AND/OR graphs and context-free grammars. Communications of the ACM 16(7): 444-445.
24. Hein A, Schlick M, Vinga-Martins R. 2000. Applying feature models in industrial settings. In Proceedings of the Software Product Line Conference (SPLC1), Donohoe P (ed.). Kluwer Academic Publishers: Norwell, MA, USA, 47-70.
25. Jones ND, Gomard CK, Sestoft P. 1993. Partial evaluation and Automatic Program Generation. Prentice-Hall, Englewood Cliffs, NJ, USA. 1999 copyright transferred back to authors, Electronic version available at http:/ /www.dina.dk/~sestoft/pebook.html.
26. Kang K, Cohen S, Hess J, Nowak W, Peterson S. 1990. Feature-oriented domain analysis (FODA) feasibility study. Technical Report CMU/SEI-90TR-21, Software Engineering Institute, Carnegie Mellon University: Pittsburgh, PA.
27. Kopisch M, Günter A. 1992. Configuration of a passenger aircraft cabin based on conceptual hierarchy, constraints and flexible control. In Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, 5th International Conference, IEA/AIE (92, Vol. 604 of Lecture Notes in Computer Science, Belli F, Radermacher FJ (eds). Springer-Verlag: Berlin, Heidelberg, New York, June 9-12, 1992, Proceedings, 421-430. Available from http://lki-www.informatik.uni-hamburg.de/~prokon/xkl-kurz.html.
28. Lee K, Kang KC, Lee J. 2002. Concepts and guidelines of feature modeling for product line software engineering. In Software Reuse: Methods, Techniques, and Tools: Proceedings of the Seventh Reuse Conference (ICSR7), Volume 2319 of Lecture Notes in Computer Science, Gacek C (ed.). Springer-Verlag: Berlin, Heidelberg, New York, April 15-19, 2002, 62-77.
29. MacGregor J. 2004. Expressing domain variability for configuration- invited paper. In Software Architecture: First European Workshop, EWSA 2004, Vol. 3047 of Lecture Notes in Computer Science, Oquendo F, Warboys B, Morrison R (eds). Springer-Verlag: Berlin, Heidelberg, New York, May 21-22, 2004, Proceedings, 230-240.
30. Mannion M. 2002. Using first-order logic for product line model validation. In Proceedings of the Second International Conference on Software Product Lines, Vol. 2379 of Lecture Notes in Computer Science, Chastek GJ (ed.). Springer-Verlag: Berlin, Heidelberg, New York, 176-187.
31. Myllärniemi V, Asikainen T, Männistö T, Soininen T. 2004. Tool for configuring product individuals from configurable software product families. In Proceedings SPLC 2004 Workshop on Software Variability Management for Product Derivation-Towards Tool Support, Männistö T, Bosch J (eds), Technical Report 6-HUT-SoberIT-C6, 24-34. Available from http://www.soberit.hut.fi/SPLC-DWS/.
32. Riebisch M. 2003. Towards a more precise definition of feature models-position paper. In Modelling Variability for Object-Oriented Product Lines, Riebisch M, James DS, Coplien O (eds). BookOnDemand Publisher: Norderstedt, 64-76. Available from http://www.theoinf.tuilmenau.de/~riebisch/ publ/06-riebisch.pdf.
33. Riebisch M, Böllert K, Streitferdt D, Philippowl. 2002. Extending feature diagrams with UML multiplicities. 6th Conference on Integrated Design & Process Technology (IDPT 2002), Pasadena, CA.
34. Riebisch M, Streitferdt D, Pashov I. 2004. Modeling variability for object-oriented product lines-workshop report. In Object-Oriented Technology: ECOOP 2003 Workshop Reader, ECOOP 2003 Workshops, Vol. 3013 of Lecture Notes in Computer Science, Buschmann F, Buchmann AP, Cilia MA (eds). Springer-Verlag: Berlin, Heidelberg, New York, July 21-25, 2003, Final Reports, 165-178.
35. Sabin D, Weigel R. 1998. Product configuration frameworks - a survey. IEEE Intelligent Systems 13(4): 42-49.
36. Sinz C, Kaiser A, Küchlin W. 2003. Formal methods for the validation of automotive product configuration data. Artificial Intelligence for Engineering Design, Analysis and Manufacturing 17(2): 75-97.
37. Svahnberg M, van Gurp J, Bosch J. 2001. On the notion of variability in software product lines. Proceedings of The Working IEEE/IFIP Conference on Software Architecture (WICSA), Washington DC, USA, 45-55.
38. van Deursen A, Klint P. 2002. Domain-specific language design requires feature descriptions. Journal of Computing and Information Technology 10(1): 1-17. Available from http://www.cwi.nl/arie/papers/fdl/fdl.pdf.
39. Weiss DM, Lai CTR. 1999. Software Product-Line Engineering: A-Family-Based Software Development Process. Addison-Wesley: Boston, MA, USA.
40. Zeller A, Snelting G. 1997. Unified versioning through feature logic. ACM Transactions on Software Engineering and Methodology 6(4): 398-441.
41. Zhang W, Zhao H, Mei H. 2004. A propositional logic-based method for verification of feature models. In Formal Methods and Software Engineering: 6th International Conference on formal Engineering Methods, ICFEM 2004, Vol. 3308 of Lecture Notes in Computer Science, Davies J, Schulte W, Barnett M (eds). Springer-Verlag: Berlin, Heidelberg, New York, November 8-12, 2004. Proceedings', 115-130.