SPLGraph: towards a graph-based formalism for software product lines
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.
References
[1]
D. Batory. Feature models, grammars, and propositional formulas. In SPLC 2005, pages 7--20, Rennes, France, 2005. Springer Verlag.
[2]
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.
[3]
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.
[4]
P. Cointe. Metaclasses are first class: The ObjVlisp model. In OOPSLA 1987, pages 156--162, New York, NY, USA, 1987. ACM.
[5]
T. H. Cormen, C. E. Leiserson, R. L. Rivest, and C. Stein. Introduction to Algorithms. The MIT Press, 2nd revised edition edition, September 2001.
[6]
K. Czarnecki and U. W. Eisenecker. Generative programming: methods, tools, and applications. ACM Press/Addison-Wesley Publishing Co., New York, NY, USA, 2000.
[7]
K. Czarnecki, S. Helsen, and U. Eisenecker. Formalizing cardinality-based feature models and their specialization. SPI&P, 10(1):7--29, 2005.
[8]
M. de Jonge and J. Visser. Grammars as feature diagrams. manuscript, 2002.
[9]
R. Frost. Jazz and the Eclipse Way of Collaboration. IEEE Software, 24(6):114--117, 2007.
[10]
Ø. 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.
[11]
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.
[12]
C. Kästner and S. Apel. Type-checking software product lines - a formal approach. In ASE 2008, pages 258--267, 2008.
[13]
M. Mannion. Using first-order logic for product line model validation. In SPLC 2002, pages 176--187, August 2002.
[14]
T. Nipkow and D. von Oheimb. Javalight is type-safe---definitely. In POPL 1998, pages 161--170, New York, NY, USA, 1998. ACM.
[15]
P.-Y. Schobbens, P. Heymans, and J.-C. Trigaux. Feature diagrams: A survey and a formal semantics. In RE 2006, pages 136--145, 2006.
- 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
Information & Contributors
Information
Published In
May 2010
68 pages
ISBN:9781605589688
DOI:10.1145/1808937
- Conference Chairs:
- Julia Rubin,
- Goetz Botterweck,
- Mira Mezini,
- Itay Maman,
- Andreas Pleuss Lero
Copyright © 2010 ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 02 May 2010
Check for updates
Author Tags
Qualifiers
- Research-article
Funding Sources
Conference
ICSE '10
Sponsor:
Upcoming Conference
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 159Total Downloads
- Downloads (Last 12 months)1
- Downloads (Last 6 weeks)0
Reflects downloads up to 08 Feb 2025
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in