Disambiguating the documentation of variability in software product lines: A separation of concerns, formalization and automated analysis

Proceedings - 15th IEEE International Requirements Engineering Conference, RE 2007

Volumn , Issue , 2007, Pages 243-253

  Metzger, Andreas ^a   Heymans, Patrick ^b   Pohl, Klaus ^a   Schobbens, Pierre Yves ^b   Saval, Germain ^b  

^a UNIVERSITY OF DUISBURG ESSEN   (Germany)

^b UNIVERSITY OF NAMUR   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATED ANALYSES; AUTOMATED REASONINGS; FEATURE DIAGRAMS; PRODUCT LINES; PRODUCT MANAGEMENTS; SEPARATION OF CONCERNS; SOFTWARE PRODUCT LINE ENGINEERINGS; SOFTWARE PRODUCT LINES; TOOL SUPPORTING; VARIABILITY MODELS;

AUTOMATA THEORY; COMPUTER SOFTWARE REUSABILITY; NETWORK ARCHITECTURE; PRODUCTION ENGINEERING; REQUIREMENTS ENGINEERING; SOFTWARE DESIGN;

GRAPHIC METHODS;

EID: 47949083738     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RE.2007.20     Document Type: Conference Paper

References (31)

1. T. Asikainen, T. Mannisto, and T. Soininen. A Unified Conceptual Foundation for Feature Modelling. In Proceedings of the 10th International Software Product Line Conference, pages 31-40, 2006.
2. C. Atkinson, J. Bayer, C. Bunse, et al. Component-based Product Line Engineering with UML. Addison Wesley, 2001.
3. F. Bachmann, M. Goedicke, J. C. S. do Prado Leite, R. L. Nord, K. Pohl, B. Ramesh, and A. Vilbig. A meta-model for representing variability in product family development. In Software Product-Family Engineering, 5th Int'l Workshop, PFE 2003, Siena, Italy, November 4-6, 2003, Revised Papers, volume 3014 of LNCS, pages 66-80. Springer, 2003.
4. D. Batory, D. Benavides, and A. Ruiz-Cortes. Automated analysis of feature models: challenges ahead. Commun. ACM, 49(12):45-47, 2006.
5. D. S. Batory. Feature models, grammars, and propositional formulas. In 9th Int'l Software Product Line Conference, SPLC 2005, Rennes, France, September 26-29, 2005, volume 3714 of LNCS, pages 7-20. Springer, 2005.
6. D. S. Batory. Feature Models, Grammars, and Propositional Formulas. In Proceedings of the 9th International Conference on Software Product Lines (SPLC 2005), pages 7-20, 2005.
7. J. Bayer, S. Gerard, Ø. Haugen, J. Mansell, B. Møller-Pedersen, J. Oldevik, P. Tessier, J.-P. Thibault, and T. Widen. Consolidated Product Line Variability Modeling, pages 195-241. Springer, 2006.
8. M. Becker. Towards a general model of variability in product families. In 1st Workshop on Software Variability Management, Groningen, Netherlands, February 2003, 2003.
9. D. Benavides, P. T. Martin-Arroyo, and A. R. Cortés. Automated reasoning on feature models. In 7th Int'l Conference on Advanced Information Systems Engineering, CAiSE 2005, Porto, Portugal, June 13-17, 2005, volume 3520 of LNCS, pages 491-503. Springer, 2005.
10. D. Benavides, A. Ruiz-Cortés, P. Trinidad, and S. Segura. A Survey on the Automated Analyses of Feature Models. In Jornadas de Ingeniería del Software y Bases de Datos (JISBD), 2006.
11. S. Bühne, K. Lauenroth, and K. Pohl. Why is it not sufficient to model requirements variability with feature models. In Int 7 Workshop on Automotive Requirements Engineering, AuRE 2006, Nagoya, Japan, September 11, 2004. IEEE Computer Society, 2004.
12. S. Bühne, K. Lauenroth, and K. Pohl. Modelling requirements variability across product lines. In 13th Int 7 Conference on Requirements Engineering (RE 2005), 29 August - 2 September 2005, Paris, France, pages 41-52. IEEE Computer Society, 2005.
13. S. Bühne, K. Lauenroth, K. Pohl, and M. Weber. Modelling features for multi-criteria product-lines in the automotive industry. In Workshop on Software Engineering for Automotive Systems (SEAS), Edinburgh, UK 2004, co-located at ICSE 2004, pages 9-16, 2004.
14. J. Coplien, D. Hoffman, and D. Weiss. Commonality and variability in software engineering. IEEE Softw., 15(6):37-45, November 1998.
15. K. Czarnecki and K. Pietroszek. Verifying feature-based model templates against well-formedness OCL constraints. In 5th Int'l Conference on Generative Programming and Component Engineering, GPCE 2006, Portland, Oregon, USA, October 22-26, 2006, pages 211-220. ACM, 2006.
16. D. Dhungana, P. Grünbacher, and R. Rabiser. DecisionKing: A flexible and extensible tool for integrated variability modeling. In 1st Int'l Workshop on Variability Modelling of Software-intensive Systems, VaMoS 2007, Limerick, Ireland, January 16-18, 2007, pages 119-127. Lero, 2007.
17. H. Gomaa and M. E. Shin. A Multiple-View Meta-modeling Approach for Variability Management in Software Product Lines. In Software Reuse: Methods, Techniques and Tools: 8th International Conference, ICSR 2004, Madrid, Spain, July 5-9, 2009. Proceedings. Springer, July 2004.
18. I. John, J. Lee, and D. Muthig. Separation of variability dimension and development dimension. In 1st Int'l Workshop on Variability Modelling of Software-intensive Systems, VaMoS 2007, Limerick, Ireland, January 16-18, 2007, pages 45-49. Lero, 2007.
19. K. Kang, S. Cohen, J. Hess, W. Novak, and S. Peterson. Feature-Oriented Domain Analysis (FODA) Feasibility Study. Technical Report CMU/SEI-90-TR-21, SEI, Nov. 1990.
20. K. C. Kang, S. Kim, J. Lee, K. Kim, E. Shin, and M. Huh. FORM: A feature-oriented reuse method with domain-specific reference architectures. Annals of Softw. Eng., 5:143-168, 1998.
21. K.C. Kang, J. Lee, and P. Donohoe. Feature-oriented project line engineering. IEEE Softw., 19(4):58-65, 2002.
22. K. Lee, K. C. Kang, and J. Lee. Concepts and guidelines of feature modeling for product line software engineering. In 7th Int'l Conference on Software Reuse, ICSR-7, Austin, TX, USA, April 15-19, 2002, volume 2319 of LNCS, pages 62-77. Springer, 2002.
23. A. Metzger and P. Heymans. Comparing feature diagram examples found in the research literature. Technical report, Univ. of Duisburg-Essen, 2007.
24. K. Pohl, G. Böckle, and F. van der Linden. Software Product Line Engineering: Foundations, Principles and Techniques. Springer, 2005.
25. M. Riebisch, K. Bollert, D. Streitferdt, and I. Philippow. Extending Feature Diagrams with UML Multiplicities. In Proceedings of the Sixth Conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA, June 2002.
26. K. Schmid. A comprehensive product line scoping approach and its validation. In 22rd Int'l Conference on Software Engineering, ICSE 2002, 19-25 May 2002, Orlando, Florida, USA, pages 593-603. ACM, 2002.
27. P.-Y. Schobbens, P. Heymans, J.-C. Trigaux, and Y. Bontemps. Feature Diagrams: A Survey and A Formal Semantics. In 14th Int'l Requirements Engineering Conference, RE'06, September 2006, pages 139-148, Minneapolis, Minnesota, USA, 2006.
28. P.-Y. Schobbens, P. Heymans, J.-C. Trigaux, and Y. Bontemps. Generic semantics of feature diagrams. Computer Networks, 51:456-479, February 2007.
29. M. Sinnema, S. Deelstra, J. Nijhuis, and J. Bosch. Covamof: A framework for modeling variability in software product families. In 3rd Int'l Software Product Line Conference, SPLC 2004, Boston, MA, USA, August 30-September 2, 2004, volume 3154 of LNCS, pages 197-213. Springer, 2004.
30. C. Sinz. Towards an optimal CNF encoding of boolean cardinality constraints. In Proc. of the 11th Intl. Conf. on Principles and Practice of Constraint Programming (CP 2005), pages 827-831, Sitges, Spain, Oct. 2005.
31. M. Svahnberg, J. van Gurp, and J. Bosch. A taxonomy of variability realization techniques. Softw. Pract. Exper., 35(8):705-754, July 2005.