Abstract
In the area of Software Product Lines(SPL), most of the research work focuses on automated analysis of SPLs and the traceability relation between the problem domain and solution domain. An SPL with few features can generate billions of products; to analyze such a large product space, we need efficient analysis operations. For a given specification, we can get many possible implementations; choosing one implementation from this is a non-trivial task. In this paper, we extend the work on analyzing software product lines to propose a cost effective approach that fetches products from a given SPL based on various factors. When there are multiple implementations for a given specification, then it is the cost factors which determine the product selection. To this end, we propose a revised formal framework for SPLs with cost factors. This approach has been implemented in a tool SPLANE-CF (SPL Analysis Engine with Cost Factors). We illustrate the efficiency of SPLANE-CF on a fairly large size case study.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Czarnecki, K., Wasowski, A.: Feature diagrams and logics: There and back again. In: SPLC 2007: Proceedings of the 11th International Software Product Line Conference, pp. 23–34. IEEE Computer Society, Washington, DC (2007)
Berg, K., Bishop, J., Muthig, D.: Tracing software product line variability: from problem to solution space. In: SAICSIT 2005: Proceedings of the 2005 Annual Research Conference of the South African Institute of Computer Scientists and Information Technologists on IT Research in Developing Countries, Republic of South Africa, South African Institute for Computer Scientists and Information Technologists, pp. 182–191 (2005)
Czarnecki, K., Eisenecker, U.: Generative Programming: Methods, Tools, and Applications. Addison-Wesley Professional (June 2000)
Pohl, K., Böckle, G., van der Linden, F.: Software Product Line Engineering: Foundations, Principles and Techniques. Springer-Verlag New York, Inc., Secaucus (2005)
Clements, P.C., Northrop, L.M.: Software product lines: practices and patterns. Addison-Wesley Longman Publishing Co., Inc., Boston (2001)
Benavides, D., Segura, S., Ruiz-Corts, A.: Automated analysis of feature models 20 years later: a literature review. Information Systems 35(6) (2010)
Pohl, K., Metzger, A.: Variability management in software product line engineering. In: Proceedings of the 28th International Conference on Software Engineering, ICSE 2006, pp. 1049–1050. ACM, New York (2006)
DeBaud, J.M., Schmid, K.: A systematic approach to derive the scope of software product lines. In: ICSE 1999: Proceedings of the 21st International Conference on Software Engineering, pp. 34–43. ACM, New York (1999)
Satyananda, T.K., Lee, D., Kang, S., Hashmi, S.I.: Identifying traceability between feature model and software architecture in software product line using formal concept analysis. In: International Conference on Computational Science and its Applications, pp. 380–388 (2007)
Anquetil, N., Grammel, B., da Silva, I.G.L., Noppen, J.A.R., Khan, S.S., Arboleda, H., Rashid, A., Garcia, A.: Traceability for model driven, software product line engineering. In: ECMDA Traceability Workshop Proceedings, Berlin, Germany, Norway, SINTEF, pp. 77–86 (June 2008)
Beuche, D., Papajewski, H., Schrder-Preikschat, W.: Variability management with feature models. Science of Computer Programming 53(3), 333–352 (2004); Software Variability Management.
Eisenbarth, T., Koschke, R., Simon, D.: A formal method for the analysis of product maps. In: Requirements Engineering for Product Lines Workshop, Essen, Germany (2002)
Zhu, C., Lee, Y., Zhao, W., Zhang, J.: A feature oriented approach to mapping from domain requirements to product line architecture. In: Arabnia, H.R., Reza, H. (eds.) Software Engineering Research and Practice, pp. 219–225. CSREA Press (2006)
Czarnecki, K., Antkiewicz, M.: Mapping features to models: A template approach based on superimposed variants. In: Glück, R., Lowry, M. (eds.) GPCE 2005. LNCS, vol. 3676, pp. 422–437. Springer, Heidelberg (2005)
Czarnecki, K., Pietroszek, K.: Verifying feature-based model templates against well-formedness ocl constraints. In: Proceedings of the 5th International Conference on Generative Programming and Component Engineering, GPCE 2006, pp. 211–220. ACM, New York (2006)
Cavalcanti, Y.A.C., do Carmo Machado, I., da Mota, P.A., Neto, S., Lobato, L.L., de Almeida, E.S., de Lemos Meira, S.R.: Towards metamodel support for variability and traceability in software product lines. In: Proceedings of the 5th Workshop on Variability Modeling of Software-Intensive Systems, VaMoS 2011, pp. 49–57. ACM, New York (2011)
Anquetil, N., Kulesza, U., Mitschke, R., Moreira, A., Royer, J.C., Rummler, A., Sousa, A.: A model-driven traceability framework for software product lines. In: Software and Systems Modeling [10]
Ghanam, Y., Maurer, F.: Extreme product line engineering: Managing variability and traceability via executable specifications. In: Agile Conference, AGILE 2009, pp. 41–48 (2009)
Riebisch, M., Brcina, R.: Optimizing design for variability using traceability links. In: ECBS 2008: Proceedings of the 15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, pp. 235–244. IEEE Computer Society, Washington, DC (2008)
Metzger, A., Pohl, K., Heymans, P., Schobbens, P.Y., Saval, G.: Disambiguating the documentation of variability in software product lines: A separation of concerns, formalization and automated analysis. In: 15th IEEE Internationa Requirements Engineering Conference, RE 2007, pp. 243–253 (2007)
Goultiaeva, A., Bacchus, F.: (2013), http://www.cs.utoronto.ca/alexia/cirqit/
Mohalik, S., Ramesh, S., Millo, J.V., Krishna, S.N., Narwane, G.K.: Tracing spls precisely and efficiently. In: Proceedings of the 16th International Software Product Line Conference, SPLC 2012, pp. 186–195. ACM, New York (2012)
Benavides, D., Ruiz-Corts, A., Trinidad, P., Segura, S.: A survey on the automated analyses of feature models. In: Jornadas de Ingeniera del Software y Bases de Datos (JISBD 2006), Sitges, Spain (2006)
Goultiaeva, A., Bacchus, F.: (2013), http://www.cs.utoronto.ca/alexia/cirqit/
Peschiera, C., Pulina, L., Tacchella, A., Bubeck, U., Kullmann, O., Lynce, I.: The seventh QBF solvers evaluation (QBFEVAL’10). In: Strichman, O., Szeider, S. (eds.) SAT 2010. LNCS, vol. 6175, pp. 237–250. Springer, Heidelberg (2010)
Narwane, G.K., Krishna, S.N., Bhattacharjee, A.K.: Software product line analysis engine with cost factors, http://www.cse.iitb.ac.in/~krishnas/splane-cf.pdf
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Narwane, G.K., Krishna, S.N., Bhattacharjee, A.K. (2014). A Cost Effective Approach for Analyzing Software Product Lines. In: Natarajan, R. (eds) Distributed Computing and Internet Technology. ICDCIT 2014. Lecture Notes in Computer Science, vol 8337. Springer, Cham. https://doi.org/10.1007/978-3-319-04483-5_22
Download citation
DOI: https://doi.org/10.1007/978-3-319-04483-5_22
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-04482-8
Online ISBN: 978-3-319-04483-5
eBook Packages: Computer ScienceComputer Science (R0)