Itay Maman
ABSTRACT
This paper presents SPLGraph a graph-based model for Software Product Lines, including (1) a formal definition; (2) an algorithm that applies configuration decisions to an SPLGraph thus yielding a product specific graph; (3) a set of patterns for typical SPLGraph structures, such as Boolean operators, reuse of expressions, named configurations, optional and alternative features and staged configuration; and (4) an algorithm that infers product configuration per a variability point.
SPLGraph is generic, simple, and self sustaining in the sense that an SPLGraph instance can apply variability to itself. These properties make SPLGraph a basis for a solid and complete formalism for Software Product Lines.
- D. Batory. Feature models, grammars, and propositional formulas. In SPLC 2005, pages 7--20, Rennes, France, 2005. Springer Verlag. Google Scholar
Digital Library
- J. Bayer, S. Gerard, Ø. Haugen, J. X. Mansell, B. Møller-Pedersen, J. Oldevik, P. Tessier, J.-P. Thibault, and T. Widen. Consolidated product line variability modeling. In Software Product Lines, pages 195--241. Springer, 2006.Google ScholarCross Ref
- Y. Bontemps, P. Heymans, P.-Y. Schobbens, and J.-C. Trigaux. The semantics of FODA feature diagrams. In Workshop on Software Variability Management for Product Derivation, Boston, MA, August 2004.Google Scholar
- P. Cointe. Metaclasses are first class: The ObjVlisp model. In OOPSLA 1987, pages 156--162, New York, NY, USA, 1987. ACM. Google ScholarDigital Library
- T. H. Cormen, C. E. Leiserson, R. L. Rivest, and C. Stein. Introduction to Algorithms. The MIT Press, 2nd revised edition edition, September 2001. Google ScholarDigital Library
- K. Czarnecki and U. W. Eisenecker. Generative programming: methods, tools, and applications. ACM Press/Addison-Wesley Publishing Co., New York, NY, USA, 2000. Google ScholarDigital Library
- K. Czarnecki, S. Helsen, and U. Eisenecker. Formalizing cardinality-based feature models and their specialization. SPI&P, 10(1):7--29, 2005.Google Scholar
- M. de Jonge and J. Visser. Grammars as feature diagrams. manuscript, 2002.Google Scholar
- R. Frost. Jazz and the Eclipse Way of Collaboration. IEEE Software, 24(6):114--117, 2007. Google ScholarDigital Library
- Ø. Haugen, B. Møller-Pedersen, J. Oldevik, G. K. Olsen, and A. Svendsen. Adding standardized variability to domain specific languages. In SPLC 2008, pages 139--148, 2008. Google ScholarDigital Library
- K. Kang, S. Cohen, J. Hess, W. Nowak, and S. Peterson. Feature-oriented domain analysis (FODA) feasibility study. Technical report, CMU/SEI-90TR-21, 1990.Google Scholar
- C. Kästner and S. Apel. Type-checking software product lines - a formal approach. In ASE 2008, pages 258--267, 2008. Google ScholarDigital Library
- M. Mannion. Using first-order logic for product line model validation. In SPLC 2002, pages 176--187, August 2002. Google ScholarDigital Library
- T. Nipkow and D. von Oheimb. Javalight is type-safe---definitely. In POPL 1998, pages 161--170, New York, NY, USA, 1998. ACM. Google ScholarDigital Library
- P.-Y. Schobbens, P. Heymans, and J.-C. Trigaux. Feature diagrams: A survey and a formal semantics. In RE 2006, pages 136--145, 2006. Google ScholarDigital Library
- SPLGraph: towards a graph-based formalism for software product lines
Recommendations
Variability modeling with the integrated variability modeling language (IVML) and EASy-producer
SPLC '18: Proceedings of the 22nd International Systems and Software Product Line Conference - Volume 1EASy-Producer is an open-source research toolset for engineering product lines, variability-rich software ecosystems, and dynamic software product lines. In this tutorial, we will focus on its (textual) variability modeling capabilities as well as its ...
Variability management in software product line engineering
ICSE '06: Proceedings of the 28th international conference on Software engineeringBy explicitly modeling and managing variability, software product line engineering provides a systematic approach for creating a diversity of similar products at low cost, in short time, and with high quality. This tutorial focuses on the two principle ...
Variability Modeling for Service Oriented Product Line Architectures
SPLC '11: Proceedings of the 2011 15th International Software Product Line ConferenceService Oriented Architecture (SOA) has emerged as a model for distributed computing that promotes flexible deployment and reuse. Software product lines (SPL) promote reusable development for product families. SOA systems need the capability of managing ...
Comments