Prototyping Software Product Lines analysis with Pharo
Article No.: 12, Pages 1 - 11
Abstract
Software Product Lines (SPLs) are an emerging software engineering paradigm that aims to optimize software development costs and time to market trough systematic development of reusable of core assets. At the heart of SPL engineering is variability modelling. Feature models (FM) are a common way to model variability and reason about it. Examples of reasoning are for instance checking that at least one product is represented by a given FM (satisfiability) or finding the product that best fits a given set of requirements. In practice however, such operations are often complex and time consuming. In order to address these challenges, we introduce in the present article the notion of transitive dependency between features and show how it can be used as the basis for efficient analysis and automatic reasoning on feature models. We exploit this new concept to implement a first platform for prototyping and reasoning on large SPLs in Pharo. Finally we illustrate the efficiency of our proposal on the problem of features selection optimisation.
References
[1]
F. van der Linden, K. Schmid, and E. Rommes. Software Product Lines in Action: The Best Industrial Practice in Product Line Engineering. Springer-Verlag New York, Inc., Secaucus, NJ, USA, 2007.
[2]
IEEE Std 829-1998. "IEEE Standard for Software Test Documentation". September 16th 1998.
[3]
S. Apel and C. Kästner. An overview of feature-oriented software development. Journal of Object Technology (JOT), 8(5):49--84, 2009.
[4]
Mark Dalgarno. Software Product Line Engineering with Feature Models, Design of applications and programs, Overload Journal #78-Apr 2007
[5]
K. Kang, et al., Feature Oriented Domain Analysis (FODA) Feasibility Study, Technical report CMU/SEI-90-TR-021, Software Engineering Institute, Carnegie Mellon University, 1990
[6]
K. Czarnecki, U.W. Eisenecker, Generative Programming: Methods, Tools, and Applications, Addison-Wesley, 2000
[7]
klaus pohl, gruner bockle, and frank j. van der linden Software product line engineering: foundation, principles and techniques. Springer_verlag 2005
[8]
Gustavo G. Pascual, Mónica Pinto, Lidia Fuentes, Self-adaptation of mobile systems driven by the Common Variability Language, Future Generation Computer Systems, Volume 47, June 2015, Pages 127--144, ISSN 0167-739X, http://dx.doi.org/10.1016/j.future.2014.08.015.
[9]
M. Harman, Y. Jia, J. Krinke, B. Langdon, J. Petke, Y. Zhang, Search based software engineering for software product line engineering: a survey and directions for future work (keynote paper), in: 18th International Software Product Line Conference (SPLC 14), Florence, Italy, 2014, pp. 5--18.
[10]
A. Sayyad, J. Ingram, T. Menzies, H. Ammar, Scalable product line configuration: A straw to break the camel's back, in: 2013 IEEE/ACM 28th International Conference on Automated Software Engineering (ASE), 2013, pp. 465--474.
[11]
J.Guo, J.White, G.Wang, J.Li, Y.Wang, A genetic algorithm for optimised feature selection with resource constraints in software product lines, Journal of Systems and Software 84 (12) (2011) 2208--2221.
[12]
S. Soltani, M. Asadi, D. Gasevic, M. Hatala, E. Bagheri, Automated planning for feature model configuration based on functional and non-functional requirements, in: Proceedings of the 16th International Software Product Line Conference-Volume 1, ACM, 2012, pp 56--65.
[13]
J. White, B. Dougherty, D. C. Schmidt, Selecting highly optimal architectural feature sets with filtered cartesian flattening, Journal of Systems and Software 82 (8) (2009) 1268--1284.
[14]
J. White, B. Dougherty, D. Schmidt, D. Benavides, Automated reasoning for multi-step feature model configuration problems, in: Proceedings of the 13th International Software Product Line Conference, Carnegie Mellon University, 2009, pp. 11--20.
[15]
J.White, D.Schmidt, E. Wuchner, A. Nechypurenko, Automating productline variant selection for mobile devices, in: Software Product Line Conference, 2007. SPLC 2007. 11th International, IEEE, 2007, pp. 129--140.
[16]
G. Brataas, S.O. Hallsteinsen, R. Rouvoy, F. Eliassen, Scalability of decision models for dynamic product lines in: SPLC, (2), 2007, pp. 23--32.
[17]
André Almeida, Francisco Dantas, Everton Cavalcante, Thais Batista. A Branch-and-Bound Algorithm for Autonomic Adaptation of Multi-Cloud Applications. IEEE. 14th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid 2014), May 2014, Chicago, United States. pp. 315--323.
[18]
C. Henard, M. Papadakis, M. Harman, and Y. Le Traon, Combining Multi-Objective Search and Constraint Solving for Configuring Large Software Product Lines.
[19]
D. Benavides, S. Segura, A. Ruiz-Cortes, Automated analysis of feature models 20 years later: A literature review, Information Systems 35 (6) (2010) 615--636.
[20]
D. Benavides, P. Trinidad, A. Ruiz-Cortes, Automated reasoning on feature models, in: Advanced Information Systems Engineering, Springer, 2005, pp. 381--390.
[21]
Gustavo G. Pascual, Roberto E. Lopez-Herrejon, Monica Pinto, Lidia Fuentes, Alexander Egyed, Applying Multiobjective Evolutionary Algorithms to Dynamic Software Product Lines for Reconfiguring Mobile Applications, The Journal of Systems & Software (2015).
[22]
Thum, T., Batory, D. S., Kastner, C., 2009. Reasoning about edits to feature models. In: Proceedings of ICSE'09, van- couver, Canada, pp. 254--264.
[23]
M. Mannion. Using First-Order Logic for Product Line Model Validation. In Proceedings of the Second Software Product Line Conference (SPLC2), LNCS 2379, pages 176--187, San Diego, CA, 2002. Springer.
[24]
W. Zhang, H. Zhao, and H. Mei. A propositional logic-based method for verification of feature models. In J. Davies, editor, ICFEM 2004, volume 3308, pages 115--130. Springer--Verlag, 2004.
[25]
Sun, H. Zhang, Y.F. Li, and H. Wang. Formal semantics and verification for feature modeling. In Proceedings of the ICECSS05, 2005.
[26]
H. Wang, Y. Li, J. Sun, H. Zhang, and J. Pan. A semantic web approach to feature modeling and verification. In Workshop on Semantic Web Enabled Software Engineering (SWESE'05), November 2005.
[27]
D. Benavides, A. Ruiz-Cortés, B. Smith, Barry O'Sullivan, and P. Trinidad. Computational issues on the automated analyses of feature models using constraint programming. International Journal of Software Engineering and Knowl- edge Engineering, in preparation, 2006.
[28]
D. Benavides, A. Ruiz-Cortés, and P. Trinidad. Using constraint programming to reason on feature models. In The Seventeenth International Conference on Software Engineering and Knowledge Engineering, SEKE 2005, 2005.
[29]
F. Cao, B. Bryant, C. Burt, Z. Huang, R. Raje, A. Olson, and M. Auguston. Automating feature-oriented domain analysis. In International Conference on Software Engineering Research and Practice (SERP'03), pages 944--949, June 2003.
[30]
Carlos Cetina, Pau Giner, Joan Fons, and Vicente Pelechano, "Autonomic Computing through Reuse of Variability Models at Runtime: The Case of Smart Homes", IEEE Computer, 2009, pp 46--52.
[31]
A. S. Karataş, H. Oguztüzün, and A. Dogru. "Global Constraints on Feature Models". Proceedings of Principles and Practice of Constraint Programming - 16th International Conference (CP-2010), Scotland 2010. Springer, vol. 6308, pp. 537--551. ISBN 9783642153952.
[32]
Carlos Eduardo Alvarez Divo, Automated Reasoning on Feature Models via Constraint Programming, master thesis., June 2011
[33]
A. S. Karataş, H. Oguztüzün, and A. Dogru. "Mapping Extended Feature Models to Constraint Logic Programming over Finite Domains". Proceedings of Software Product Lines: Going Beyond -14th International Conference, (SPLC-2010), South Korea 2010. Springer, vol. 6287, pp. 286--299. ISBN 9783642155789.
[34]
Nelly Bencomo, Jaejoon Lee, Svein O. Hallsteinsen, "How dynamic is your Dynamic Software Product Line?". In proceeding of: Software Product Lines - 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010. Workshop Proceedings
[35]
J. H. Holland. Adaptation in Natural and Artificial Systems. MIT Press, Cambridge, MA, USA, 1992
[36]
Faezeh Ensan, Ebrahim Bagheri, Dragan Gasevic: Evolutionary Search-Based Test Generation for Software Product Line Feature Models. CAiSE 2012: 613--628
[37]
K. De Jong, "An analysis of the behavior of a class of genetic adaptive systems," Doctoral Dissertation. Ann Arbor: The University of Michigan, 1975.
[38]
D. Batory. Feature models, grammars, and propositional formulas. In Software Product Lines Conference, LNCS 3714, pages 7--20, 2005
[39]
A Alidra, MT Kimour. ≪ A new evolutionary approach to decision-making in autonomic systems ≫. In Proceedings of the 3th IEEE control International Conference on System and control (), Algiers 2013
[40]
A. Alidra, M.T. Kimour, A new genetic algorithm for enhanced decision-making in large adaptable systems" submitted to the International Journal of Computational Science and Engineering (IJCSE).
[41]
S. Urli, A. Bergel, M, Blay-Fornarino, P. Collet. A visual support for decomposing complex feature models IEEE 3rd Working Conference on Software Visualization. Pages 76--85 Bremen. Sept. 2015
Index Terms
- Prototyping Software Product Lines analysis with Pharo
Recommendations
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 ...
Context Aware Reconfiguration in Software Product Lines
VaMoS '16: Proceedings of the 10th International Workshop on Variability Modelling of Software-Intensive SystemsSoftware Product Lines (SPLs) are a mechanism for large-scale reuse where families of related software systems are represented in terms of commonalities and variabilities, e.g., using Feature Models (FMs). While FMs define all possible configurations of ...
Multi-objective test generation for software product lines
SPLC '13: Proceedings of the 17th International Software Product Line ConferenceSoftware Products Lines (SPLs) are families of products sharing common assets representing code or functionalities of a software product. These assets are represented as features, usually organized into Feature Models (FMs) from which the user can ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
Copyright © 2016 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 the author(s) 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
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 23 August 2016
Check for updates
Author Tags
Qualifiers
- Research-article
- Research
- Refereed limited
Conference
IWST'16
Acceptance Rates
IWST'16 Paper Acceptance Rate 25 of 27 submissions, 93%;
Overall Acceptance Rate 25 of 27 submissions, 93%
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 36Total Downloads
- Downloads (Last 12 months)2
- Downloads (Last 6 weeks)0
Reflects downloads up to 03 Jan 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