research-article

Multi-view modeling and automated analysis of product line variability in systems engineering

Authors:

Mattias NybergAuthors Info & Claims

SPLC '16: Proceedings of the 20th International Systems and Software Product Line Conference

Pages 287 - 296

https://doi.org/10.1145/2934466.2946044

Published: 16 September 2016 Publication History

Abstract

Product Lines (PL) in the systems engineering (SE) domain are one of the largest and most complex ones. The sheer number of different products that can be derived from PL points out to the scale of the challenge that Product Line Engineering (PLE) faces. Various development artifacts describe PL but due to their diversity, variability modeling across PL is a challenging task. Moreover, this complexity is a major obstacle for achieving traceability across PL which is especially important for product verification. In order to support systems engineering by establishing traceability across PL and aid verification planning we propose Multi-View Variability Model (MVVM). MVVM introduces a set of variability models that represent variability in various development artifacts, e.g. architecture, requirements etc. and corresponding inter-model constraints. We provide a formalization of MVVM and perform a transformation of the MVVM model to a Constraint Satisfiability Problem (CSP) where we formulate queries for the CSP model in order to extract information about variability dependencies among MVVM views. Throughout the paper we use a real system from the automotive domain as the working example in order to illustrate the introduced concepts.

References

[1]

Minizinc. http://www.minizinc.org/index.html. Accessed: 2016-05-21.

[2]

D. Benavides. On The Automated Analysis Of Software Product Lines Using Feature Models. PhD thesis, June 2007.

[3]

D. Benavides, A. Felfernig, J. A. Galindo, and F. Reinfrank. Safe and Secure Software Reuse: 13th International Conference on Software Reuse, ICSR 2013, Pisa, June 18-20. Proceedings, chapter Automated Analysis in Feature Modelling and Product Configuration, pages 160--175. 2013.

[4]

D. Benavides, S. Segura, and A. Ruiz Cortés. Automated analysis of feature models 20 years later: A literature review. Information Systems, 35(6), 2010.

Digital Library

[5]

A. Benveniste, B. Caillaud, A. Ferrari, L. Mangeruca, R. Passerone, and C. Sofronis. Multiple viewpoint contract-based specification and design. In Formal Methods for Components and Objects, Lecture Notes in Computer Science. 2008.

Digital Library

[6]

K. Berg, J. Bishop, and D. Muthig. Tracing software product line variability: From problem to solution space. In Proceedings of the 2005 Annual Research Conference of the South African Institute of Computer Scientists and Information Technologists on IT Research in Developing Countries, SAICSIT '05, 2005.

Digital Library

[7]

S. Bühne, H. Günter, and P. Klaus. Modeling dependencies between variation points in use case diagrams. In Proceedings of the 9th Intl. Workshop on Requirements Engineering - Foundations for Software Quality, REFSQ 2002, 2002.

[8]

S. P. C. S. Corporation. Reuse-driven Software Processes Guidebook: SPC-92019-CMC, Version 02.00.03. Software Productivity Consortium Services Corporation, 1993.

[9]

K. Czarnecki, S. Helsen, and E. Ulrich. Formalizing cardinality-based feature models and their specialization. Software Process: Improvement and Practice, 10:7 -- 29, Jan 2005.

[10]

J. Díaz, J. Pérez, and J. Garbajosa. A model for tracing variability from features to product-line architectures: A case study in smart grids. Requir. Eng., 20(3), Sept. 2015.

Digital Library

[11]

O. Djebbi, C. Salinesi, and D. Diaz. Deriving product line requirements: the red-pl guidance approach. In 14th Asia-Pacific Software Engineering Conference, APSEC., Dec 2007.

Digital Library

[12]

A. Felfernig. Standardized configuration knowledge representations as technological foundation for mass customization. IEEE Trans. Engineering Management, 54:41--56, 2007.

[13]

H. Gustavsson and U. Eklund. Software Product Lines: Going Beyond: 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010. Proceedings. 2010.

[14]

L. Hotz, Y. Wang, M. Riebisch, O. Götz, and J. Lackhove. Evaluation across multiple views for variable automation systems. In Proceedings of the 19th International Conference on Software Product Line, SPLC '15, 2015.

Digital Library

[15]

A. Hubaux, P. Heymans, P.-Y. Schobbens, D. Deridder, and E. K. Abbasi. Supporting multiple perspectives in feature-based configuration. Softw. Syst. Model., 12(3):641--663, July 2013.

Digital Library

[16]

B. Hui, S. Liaskos, and J. Mylopoulos. Requirements analysis for customizable software: a goals-skills-preferences framework. In Requirement Engineering Conference, 2003. Proceedings. 11th IEEE International, pages 117--126, Sept 2003.

Digital Library

[17]

ISO61508: Functional Safety. standard, The International Electrotechnical Commission, Geneva, CH, 2010.

[18]

ISO26262: Road vehicles - Functional safety. standard, International Organization for Standardization, Geneva, CH, 2011.

[19]

N. Itzik and I. Reinhartz-Berger. Generating feature models from requirements: Structural vs. functional perspectives. In Proceedings of the 18th International Software Product Line Conference: Companion Volume for Workshops, Demonstrations and Tools - Volume 2, SPLC '14, 2014.

Digital Library

[20]

K. Kang, S. Cohen, J. Hess, W. Novak, and A. Peterson. Feature-oriented domain analysis (foda) feasibility study. Technical report, Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA, 1990.

[21]

K. C. Kang, S. Kim, J. Lee, K. Kim, E. Shin, and M. Huh. Form: A feature-oriented reuse method with domain-specific reference architectures. Annals of Software Engineering, 5(1):143--168, 1998.

Digital Library

[22]

M. Mannion, J. Savolainen, and T. Asikainen. Viewpoint-oriented variability modeling. In Computer Software and Applications Conference, 2009. COMPSAC '09. 33rd Annual IEEE International, 2009.

Digital Library

[23]

R. Mazo, P. Grünbacher, W. Heider, R. Rabiser, C. Salinesi, and D. Diaz. Using Constraint Programming to Verify DOPLER Variability Models. In 5th International Workshop on Variability Modelling of Software-intensive Systems (VaMos'11), Namur, Belgium, Jan 2011.

Digital Library

[24]

M. Mendonca, A. Wąsowski, and K. Czarnecki. Sat-based analysis of feature models is easy. In Proceedings of the 13th International Software Product Line Conference, SPLC '09, pages 231--240, 2009.

Digital Library

[25]

A. Metzger, K. Pohl, P. Heymans, P. Schobbens, and G. Saval. Disambiguating the documentation of variability in software product lines: A separation of concerns, formalization and automated analysis. In Requirements Engineering Conference, 2007. RE '07. 15th IEEE International, pages 243--253, Oct 2007.

[26]

M. Persson, M. Torngren, A. Qamar, J. Westman, M. Biehl, S. Tripakis, H. Vangheluwe, and J. Denil. A characterization of integrated multi-view modeling in the context of embedded and cyber-physical systems. In Embedded Software (EMSOFT), 2013 Proceedings of the International Conference on, Sept 2013.

Digital Library

[27]

K. Pohl, G. Böckle, and F. J. van der Linden. Software Product Line Engineering. Foundations, Principles, and Techniques. Springer-Verlag Berlin Heidelberg, 2005.

Digital Library

[28]

F. Roos-Frantz, D. Benavides, and A. R. Cortés. Automated analysis of orthogonal variability models using constraint programming. In XV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2010), Spain., 2010.

[29]

F. Rossi, P. v. Beek, and T. Walsh. Handbook of Constraint Programming (Foundations of Artificial Intelligence). Elsevier Science Inc., New York, NY, USA, 2006.

Digital Library

[30]

C. Salinesi, R. Mazo, O. Djebbi, D. Diaz, and A. Lora-Michiels. Constraints: The core of product line engineering. In Research Challenges in Information Science (RCIS), 2011 Fifth International Conference on, pages 1--10, May 2011.

[31]

P.-Y. Schobbens, P. Heymans, J.-C. Trigaux, and Y. Bontemps. Generic semantics of feature diagrams. Computer Networks, 51(2):456 -- 479, 2007.

Digital Library

[32]

S. Thiel and A. Hein. Software product lines: Second international conference, splc '02 san diego, ca, usa, august 19--22, 2002 proceedings. 2002.

[33]

P. Trinidad, D. Benavides, A. Durán, A. Ruiz-Cortés, and M. Toro. Automated error analysis for the agilization of feature modeling. J. Syst. Softw., 81(6):883--896, June 2008.

Digital Library

[34]

A. van Lamsweerde. Goal-oriented requirements engineering: a guided tour. In Requirements Engineering, 2001. Proceedings. Fifth IEEE International Symposium on, pages 249--262, 2001.

Digital Library

[35]

J. Westman and M. Nyberg. Cyber-Physical Systems: From Theory to Practice, chapter Contracts for Specifying and Structuring Requirements on Cyber-Physical Systems. CRS Press, 2015.

[36]

J. White, D. C. Schmidt, D. Benavides, P. Trinidad, and A. Ruiz-Cortés. Automated diagnosis of product-line configuration errors in feature models. In Proceedings of the 2008 12th International Software Product Line Conference, SPLC '08, 2008.

Digital Library

[37]

L. Wozniak and P. Clements. How automotive engineering is taking product line engineering to the extreme. In Proceedings of the 19th International Conference on Software Product Line, SPLC '15, 2015.

Digital Library

Cited By

Fadhlillah HRabiser R(2024)Towards a Product Configuration Representation for the Universal Variability LanguageProceedings of the 28th ACM International Systems and Software Product Line Conference10.1145/3646548.3676544(50-54)Online publication date: 2-Sep-2024
https://dl.acm.org/doi/10.1145/3646548.3676544
Fu YGrossmann GKaur KSelway MStumptner M(2023)Towards the Integration of Multi-Level and Multi-View Modelling for Interoperability2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)10.1109/MODELS-C59198.2023.00109(679-688)Online publication date: 1-Oct-2023
https://doi.org/10.1109/MODELS-C59198.2023.00109
Fadhlillah HFeichtinger KMeixner KSonnleithner LRabiser RZoitl A(2022)Towards Multidisciplinary Delta-Oriented Variability Management in Cyber-Physical Production SystemsProceedings of the 16th International Working Conference on Variability Modelling of Software-Intensive Systems10.1145/3510466.3511273(1-10)Online publication date: 23-Feb-2022
https://dl.acm.org/doi/10.1145/3510466.3511273
Show More Cited By

Index Terms

Multi-view modeling and automated analysis of product line variability in systems engineering

Recommendations

Variability management in software product line engineering
ICSE '06: Proceedings of the 28th international conference on Software engineering

By 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 Conference

Service 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 ...
A Study of Variability Models and Languages in the Systems Software Domain

Variability models represent the common and variable features of products in a product line. Since the introduction of FODA in 1990, several variability modeling languages have been proposed in academia and industry, followed by hundreds of research ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Other conferences

SPLC '16: Proceedings of the 20th International Systems and Software Product Line Conference

September 2016

367 pages

ISBN:9781450340502

DOI:10.1145/2934466

General Chair:
Hong Mei
Shanghai Jiao Tong University, China

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 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

Huawei Technologies Co. Ltd.: Huawei Technologies Co. Ltd.
Key Laboratory of High Confidence Software Technologies: Key Laboratory of High Confidence Software Technologies, Ministry of Education
DC Holdings: Digital China Holdings Limited

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 16 September 2016

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

SPLC '16

Sponsor:

Huawei Technologies Co. Ltd.
Key Laboratory of High Confidence Software Technologies
DC Holdings

SPLC '16: The 20th International Systems and Software Product Line Conference

September 16 - 23, 2016

Beijing, China

Acceptance Rates

Overall Acceptance Rate 167 of 463 submissions, 36%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

7
Total Citations
View Citations
174
Total Downloads

Downloads (Last 12 months)8
Downloads (Last 6 weeks)1

Reflects downloads up to 29 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Fadhlillah HRabiser R(2024)Towards a Product Configuration Representation for the Universal Variability LanguageProceedings of the 28th ACM International Systems and Software Product Line Conference10.1145/3646548.3676544(50-54)Online publication date: 2-Sep-2024
https://dl.acm.org/doi/10.1145/3646548.3676544
Fu YGrossmann GKaur KSelway MStumptner M(2023)Towards the Integration of Multi-Level and Multi-View Modelling for Interoperability2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)10.1109/MODELS-C59198.2023.00109(679-688)Online publication date: 1-Oct-2023
https://doi.org/10.1109/MODELS-C59198.2023.00109
Fadhlillah HFeichtinger KMeixner KSonnleithner LRabiser RZoitl A(2022)Towards Multidisciplinary Delta-Oriented Variability Management in Cyber-Physical Production SystemsProceedings of the 16th International Working Conference on Variability Modelling of Software-Intensive Systems10.1145/3510466.3511273(1-10)Online publication date: 23-Feb-2022
https://dl.acm.org/doi/10.1145/3510466.3511273
Kahraman GCleophas LFelfernig AFuentes L(2022)A tool for modeling and analysis of relationships among feature model viewsProceedings of the 26th ACM International Systems and Software Product Line Conference - Volume B10.1145/3503229.3547076(103-109)Online publication date: 12-Sep-2022
https://dl.acm.org/doi/10.1145/3503229.3547076
Fadhlillah HFelfernig AFuentes L(2022)Multidisciplinary variability management for cyber-physical production systemsProceedings of the 26th ACM International Systems and Software Product Line Conference - Volume B10.1145/3503229.3547063(23-28)Online publication date: 12-Sep-2022
https://dl.acm.org/doi/10.1145/3503229.3547063
Fadhlillah HFeichtinger KSonnleithner LRabiser RZoitl AMousavi MSchobbens P(2021)Towards heterogeneous multi-dimensional variability modeling in cyber-physical production systemsProceedings of the 25th ACM International Systems and Software Product Line Conference - Volume B10.1145/3461002.3473941(123-129)Online publication date: 6-Sep-2021
https://dl.acm.org/doi/10.1145/3461002.3473941
Nešić DNyberg M(2019)Modular Safety Cases for Product Lines Based on Assume-Guarantee ContractsComputer Safety, Reliability, and Security10.1007/978-3-030-26250-1_3(28-40)Online publication date: 9-Aug-2019
https://doi.org/10.1007/978-3-030-26250-1_3

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents