Cited By
View all- Jamil MNour MAlotaibi SHussain MHussaini SNaseer A(2023)Software Product Line Maintenance Using Multi-Objective Optimization TechniquesApplied Sciences10.3390/app1315901013:15(9010)Online publication date: 6-Aug-2023
Validating Partial Configurations of Product Lines
Article No.: 4, Pages 1 - 6
Abstract
Configuring a new variant of a product line is not always a one-time task. In some cases, many stakeholders are involved in the configuration process. This is needed for example, if different stakeholders are responsible for different parts of the product line and they are not allowed to see specific parts of the product line already configured in previous steps. Thus, a partial derivation can be performed, where a part of the configuration process can be done by some stakeholders, while finishing the rest of the configuration process can be achieved by others.
Validating partial configurations is a challenging task, since the selection state of some features can still be open. In addition to these open selection states of features, values of attributes, calculations of expressions, as well as constraints are needed to be handled, as they can use information, which is not defined yet. Thus, a validator that ables to address the aforementioned challenges is required. In this paper, we discuss how the partial configurations can be validated considering different cases. While these discussed cases can be applied in general, we focus in this paper on applying them with respect to the industrial variant management tool pure::variants.
References
[1]
Sven Apel, Don Batory, Christian Kästner, and Gunter Saake. 2013. Feature-Oriented Software Product Lines: Concepts and Implementation. Springer.
[2]
Don Batory. 2005. Feature Models, Grammars, and Propositional Formulas. In Proceedings of the International Software Product Line Conference (SPLC). Springer, 7--20.
[3]
David Benavides, Sergio Segura, and Antonio Ruiz-Cortés. 2010. Automated Analysis of Feature Models 20 Years Later: A Literature Review. Information Systems 35, 6 (2010), 615--708.
[4]
David Benavides, Sergio Segura, Pablo Trinidad, and Antonio Ruiz-Cortés. 2006. A First Step Towards a Framework for the Automated Analysis of Feature Models. In Proceedings of the International Software Product Line Conference (SPLC). IEEE Computer Science, 39--47.
[5]
David Benavides, Sergio Segura, Pablo Trinidad, and Antonio Ruiz-Cortés. 2006. Using Java CSP Solvers in the Automated Analyses of Feature Models. In Proceedings of the summer school on Generative and Transformational Techniques in Software Engineering (GTTSE). Springer, 399--408.
[6]
David Benavides, Pablo Trinidad, and Antonio Ruiz-Cortés. 2005. Automated Reasoning on Feature Models. In Proceedings of the International Conference on Advanced Information Systems Engineering (CAiSE) (CAiSE'05). Springer, Berlin, Heidelberg, 491--503.
[7]
David Benavides, Pablo Trinidad, and Antonio Ruiz-Cortés. 2005. Using Constraint Programming to Reason on Feature Models. In Proceedings of the International Conference on Software Engineering and Knowledge Engineering (SEKE). 677--682.
[8]
Daniel Le Berre. {n. d.}. SAT4J: A Satisfiability Library for Java. Website. ({n. d.}). Available online at http://www.sat4j.org/;.
[9]
Danilo Beuche, Holger Papajewski, and Wolfgang Schröder-Preikschat. 2004. Variability Management with Feature Models. Science of Computer Programming (SCP) 53, 3 (2004), 333--352.
[10]
Johannes Bürdek, Sascha Lity, Malte Lochau, Markus Berens, Ursula Goltz, and Andy Schürr. 2014. Staged Configuration of Dynamic Software Product Lines with Complex Binding Time Constraints. In Proceedings of the Workshop on Variability Modelling of Software-intensive Systems (VaMoS). ACM, Article 16, 8 pages.
[11]
Krzysztof Czarnecki, Simon Helsen, and Ulrich Eisenecker. 2005. Staged configuration through specialization and multilevel configuration of feature models. Software Process: Improvement and Practice 10, 2 (2005), 143--169.
[12]
Christoph Elsner. 2012. Lightweight Tool Support for Staged Product Derivation. In Proceedings of the International Software Product Line Conference (SPLC). ACM, 146--155.
[13]
Christoph Elsner, Daniel Lohmann, and Wolfgang Schröder-Preikschat. 2009. Product Derivation for Solution-driven Product Line Engineering. In Proceedings of the International Workshop Feature-Oriented Software Development (FOSD) (FOSD '09). ACM, 35--41.
[14]
Jose-Miguel Horcas, Mónica Pinto, and Lidia Fuentes. 2018. Variability Models for Generating Efficient Configurations of Functional Quality Attributes. Journal of Information and Software Technology (IST) 95 (2018), 147--164.
[15]
Kyo C. Kang, Sholom G. Cohen, James A. Hess, William E. Novak, and A. Spencer Peterson. 1990. Feature-Oriented Domain Analysis (FODA) Feasibility Study. Technical Report CMU/SEI-90-TR-21. Software Engineering Institute.
[16]
Matthias Kowal, Sofia Ananieva, and Thomas Thüm. 2016. Explaining Anomalies in Feature Models. In Proceedings of the International Conference on Generative Programming and Component Engineering (GPCE). ACM, 132--143.
[17]
Marcílio Mendonça, Andrzej Wąsowski, and Krzysztof Czarnecki. 2009. SAT-Based Analysis of Feature Models is Easy. In Proceedings of the International Software Product Line Conference (SPLC). 231--240.
[18]
Klaus Pohl, Günter Böckle, and Frank J. van der Linden. 2005. Software Product Line Engineering: Foundations, Principles and Techniques. Springer.
[19]
pure::systems. 2018. pure::variants Eclipse Plugin. User Guide. pure-systems GmbH. (2018). https://www.pure-systems.com/fileadmin/downloads/pure-variants/doc/pv-user-manual.pdf
[20]
Rick Rabiser, Paul Grunbacher, and Deepak Dhungana. 2007. Supporting Product Derivation by Adapting and Augmenting Variability Models. In Proceedings of the International Software Product Line Conference (SPLC). IEEE Computer Society, Washington, DC, USA, 141--150.
[21]
Thomas Thüm, Don Batory, and Christian Kästner. 2009. Reasoning about Edits to Feature Models. In Proceedings of the International Conference on Software Engineering (ICSE). IEEE Computer Science, 254--264.
[22]
Pablo Trinidad, David Benavides, Amador Durán, Antonio Ruiz-Cortés, and Miguel Toro. 2008. Automated Error Analysis for the Agilization of Feature Modeling. Journal of Systems and Software (JSS) 81, 6 (June 2008), 883--896.
[23]
Pablo Trinidad, David Benavides, Antonio Ruiz-Cortés, Sergio Segura, and Miguel Toro. 2006. Explanations for Agile Feature Models. In Proceedings of the International SPLC Workshop on Agile Product Line Engineering (APLE). IEEE Computer Science.
[24]
Jules White, Douglas C. Schmidt, David Benavides, Pablo Trinidad, and Antonio Ruiz-Cortés. 2008. Automated Diagnosis of Product-Line Configuration Errors in Feature Models. In Proceedings of the International Software Product Line Conference (SPLC). IEEE Computer Science, 225--234.
[25]
Jules White, Douglas C. Schmidt, David Benavides, Pablo Trinidad, and Antonio Ruiz-Cortés. 2008. Automated Diagnosis of Product-Line Configuration Errors in Feature Models. In Proceedings of the International Software Product Line Conference (SPLC). IEEE Computer Society, Washington, DC, USA, 225--234.
Index Terms
- Validating Partial Configurations of Product Lines
Recommendations
Improving efficiency when deriving numerous products from software product lines simultaneously
SPLC '11: Proceedings of the 15th International Software Product Line Conference, Volume 2In-car infotainment systems must allow for product differentiation and the adaption to the needs of different markets. Product line approaches are applied because large numbers of different product variants need to be developed simultaneously. During ...
A concrete product derivation in software product line engineering: a practical approach
Software Product Lines enable the development of a perfect family of products by reusing shared assets in a systematic manner. Product derivation is a critical activity in software product line engineering and one of the most pressing issues that a ...
Derivation of subset product lines in FeatureIDE
SPLC '22: Proceedings of the 26th ACM International Systems and Software Product Line Conference - Volume BThe development and configuration of software product lines can be challenging tasks. During development, engineers often need to focus on a particular subset of features that is relevant for them. In such cases, it would be beneficial to hide other ...
Comments
Information & Contributors
Information
Published In
February 2019
116 pages
ISBN:9781450366489
DOI:10.1145/3302333
- Conference Chair:
- Danny Weyns,
- Program Chairs:
- Gilles Perrouin,
- Danny Weyns
Copyright © 2019 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]
In-Cooperation
- FWO: Fund for Scientific Research - Flanders (Belgium)
- FNRS: Fonds National de la Recherche Scientifique
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 06 February 2019
Check for updates
Author Tags
Qualifiers
- Research-article
- Research
- Refereed limited
Conference
VAMOS '19
VAMOS '19: 13th International Workshop on Variability Modelling of Software-Intensive Systems
February 6 - 8, 2019
Leuven, Belgium
Acceptance Rates
VaMoS '19 Paper Acceptance Rate 14 of 24 submissions, 58%;
Overall Acceptance Rate 66 of 147 submissions, 45%
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 53Total Downloads
- Downloads (Last 12 months)3
- Downloads (Last 6 weeks)0
Reflects downloads up to 12 Sep 2024
Other Metrics
Citations
Cited By
View all- Jamil MNour MAlotaibi SHussain MHussaini SNaseer A(2023)Software Product Line Maintenance Using Multi-Objective Optimization TechniquesApplied Sciences10.3390/app1315901013:15(9010)Online publication date: 6-Aug-2023
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in