More Web Proxy on the site http://driver.im/

research-article

The PLA model: on the combination of product-line analyses

Authors:

Alexander von Rhein,

Christian Kästner,

Ina SchaeferAuthors Info & Claims

VaMoS '13: Proceedings of the 7th International Workshop on Variability Modelling of Software-Intensive Systems

Article No.: 14, Pages 1 - 8

https://doi.org/10.1145/2430502.2430522

Published: 23 January 2013 Publication History

Abstract

Product-line analysis has received considerable attention in the last decade. As it is often infeasible to analyze each product of a product line individually, researchers have developed analyses, called variability-aware analyses, that consider and exploit variability manifested in a code base. Variability-aware analyses are often significantly more efficient than traditional analyses, but each of them has certain weaknesses regarding applicability or scalability. We present the Product-Line-Analysis model, a formal model for the classification and comparison of existing analyses, including traditional and variability-aware analyses, and lay a foundation for formulating and exploring further, combined analyses. As a proof of concept, we discuss different examples of analyses in the light of our model, and demonstrate its benefits for systematic comparison and exploration of product-line analyses.

References

[1]

S. Apel and D. Hutchins. A calculus for uniform feature composition. ACM TOPLAS, 32(5):19:1--19:33, 2008.

Digital Library

[2]

S. Apel, C. Kästner, and C. Lengauer. FeatureHouse: Language-Independent, Automated Software Composition. In Proc. of ICSE, pages 221--231. IEEE, 2009.

Digital Library

[3]

S. Apel, H. Speidel, P. Wendler, A. von Rhein, and D. Beyer. Detection of Feature Interactions using Feature-Aware Verification. In Proc. of ASE, pages 372--375. IEEE, 2011.

Digital Library

[4]

S. Apel, A. von Rhein, P. Wendler, A. Größlinger, and D. Beyer. Strategies for Product-Line Verification: Case Studies and Experiments. In Proc. of ICSE. IEEE, 2013. to appear.

[5]

I. Cabral, M. Cohen, and G. Rothermel. Improving the testing and testability of software product lines. In Proc. of SPLC, pages 241--255. Springer, 2010.

Digital Library

[6]

Sheng Chen, Martin Erwig, and Eric Walkingshaw. An error-tolerant type system for variational lambda calculus. In Proc. of ICFP, pages 29--40. ACM, 2012.

Digital Library

[7]

A. Classen, P. Heymans, P.-Y. Schobbens, and A. Legay. Symbolic model checking of software product lines. In Proc. of ICSE, pages 321--330. ACM, 2011.

Digital Library

[8]

A. Classen, P. Heymans, P.-Y. Schobbens, A. Legay, and J.-F. Raskin. Model checking lots of systems: Efficient verification of temporal properties in software product lines. In Proc. of ICSE, pages 335--344. ACM, 2010.

Digital Library

[9]

P. Clements and L. Northrop. Software Product Lines: Practices and Patterns. Addison-Wesley, 2001.

Digital Library

[10]

K. Czarnecki and U. Eisenecker. Generative programming: Methods, Tools, and Applications. Addison-Wesley, 2000.

Digital Library

[11]

C. Kästner, S. Apel, T. Thüm, and G. Saake. Type checking annotation-based product lines. ACM TOSEM, 21(3):14:1--14:39, 2012.

Digital Library

[12]

Christian Kästner, Klaus Ostermann, and Sebastian Erdweg. A variability-aware module system. In Proc. of OOPSLA, pages 773--792. ACM, 2012.

Digital Library

[13]

H. Li, S. Krishnamurthi, and K. Fisler. Modular verification of open features using three-valued model checking. Automated Software Engineering, 12(3):349--382, 2005.

Digital Library

[14]

Harry C. Li, Shriram Krishnamurthi, and Kathi Fisler. Interfaces for modular feature verification. In Proc. of ASE, pages 195--204. IEEE, 2002.

Digital Library

[15]

S. Oster, M. Zink, M. Lochau, and M. Grechanik. Pairwise feature-interaction testing for SPLs: Potentials and limitations. In Proc. of SPLC, volume 2, pages 6:1--6:8. ACM, 2011.

Digital Library

[16]

N. Siegmund, S. Kolesnikov, C. Kästner, S. Apel, D. Batory, M. Rosenmüller, and G. Saake. Predicting performance via automated feature-interaction detection. In Proc. of ICSE, pages 167--177. IEEE, 2012.

Digital Library

[17]

T. Thüm, S. Apel, C. Kästner, M. Kuhlemann, I. Schaefer, and G. Saake. Analysis strategies for software product lines. Technical Report FIN-004-2012, University of Magdeburg, 2012.

[18]

T. Thüm, I. Schaefer, S. Apel, and M. Hentschel. Family-based deductive verification of software product lines. In Proc. of GPCE, pages 11--20. ACM, 2012.

Digital Library

Cited By

Fortz STemple PDevroey XPerrouin G(2024)Towards Feature-based ML-enabled Behaviour LocationProceedings of the 18th International Working Conference on Variability Modelling of Software-Intensive Systems10.1145/3634713.3634734(152-154)Online publication date: 7-Feb-2024
https://dl.acm.org/doi/10.1145/3634713.3634734
Chen XAtlee J(2023)Variability-aware Neo4j for Analyzing a Graphical Model of a Software Product Line2023 ACM/IEEE 26th International Conference on Model Driven Engineering Languages and Systems (MODELS)10.1109/MODELS58315.2023.00034(307-318)Online publication date: 1-Oct-2023
https://doi.org/10.1109/MODELS58315.2023.00034
Cordy MDevroey XLegay APerrouin GClassen AHeymans PSchobbens PRaskin J(2022)A Decade of Featured Transition SystemsFrom Software Engineering to Formal Methods and Tools, and Back10.1007/978-3-030-30985-5_18(285-312)Online publication date: 11-Mar-2022
https://dl.acm.org/doi/10.1007/978-3-030-30985-5_18
Show More Cited By

Index Terms

Recommendations

A Classification and Survey of Analysis Strategies for Software Product Lines

Software-product-line engineering has gained considerable momentum in recent years, both in industry and in academia. A software product line is a family of software products that share a common set of features. Software product lines challenge ...
All roads lead to Rome

The formalization of seven strategies for product-line reliability analysis.The first feature-family-product-based strategy for product-line model checking.A general principle for lifting analyses to product lines using ADDs.Proofs that the formalized ...
Family-based deductive verification of software product lines
GPCE '12

A software product line is a set of similar software products that share a common code base. While software product lines can be implemented efficiently using feature-oriented programming, verifying each product individually does not scale, especially ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Other conferences

VaMoS '13: Proceedings of the 7th International Workshop on Variability Modelling of Software-Intensive Systems

January 2013

136 pages

ISBN:9781450315418

DOI:10.1145/2430502

General Chair:
Stefania Gnesi
ISTI-CNR, Italy
,
Program Chairs:
Philippe Collet
Université Nice Sophia Antipolis - CNRS/I3S, France
,
Klaus Schmid
University of Hildesheim, Germany

Copyright © 2013 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

ICAR, National Research Council, Section of Naples, Italy: ICAR, National Research Council, Section of Naples, Italy
CNR: Istituto di Scienza e Tecnologie dell Informazione

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 23 January 2013

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Funding Sources

Deutsche Forschungsgemeinschaft

Conference

VaMoS '13

Sponsor:

ICAR, National Research Council, Section of Naples, Italy
CNR

VaMoS '13: The Seventh International Workshop on Variability Modelling of Software-intensive Systems

January 23 - 25, 2013

Pisa, Italy

Acceptance Rates

Overall Acceptance Rate 66 of 147 submissions, 45%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

27
Total Citations
View Citations
198
Total Downloads

Downloads (Last 12 months)4
Downloads (Last 6 weeks)2

Reflects downloads up to 21 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Fortz STemple PDevroey XPerrouin G(2024)Towards Feature-based ML-enabled Behaviour LocationProceedings of the 18th International Working Conference on Variability Modelling of Software-Intensive Systems10.1145/3634713.3634734(152-154)Online publication date: 7-Feb-2024
https://dl.acm.org/doi/10.1145/3634713.3634734
Chen XAtlee J(2023)Variability-aware Neo4j for Analyzing a Graphical Model of a Software Product Line2023 ACM/IEEE 26th International Conference on Model Driven Engineering Languages and Systems (MODELS)10.1109/MODELS58315.2023.00034(307-318)Online publication date: 1-Oct-2023
https://doi.org/10.1109/MODELS58315.2023.00034
Cordy MDevroey XLegay APerrouin GClassen AHeymans PSchobbens PRaskin J(2022)A Decade of Featured Transition SystemsFrom Software Engineering to Formal Methods and Tools, and Back10.1007/978-3-030-30985-5_18(285-312)Online publication date: 11-Mar-2022
https://dl.acm.org/doi/10.1007/978-3-030-30985-5_18
Morais Ferreira DTenev VBecker MMousavi MSchobbens P(2021)Product-line analysis cookbookProceedings of the 25th ACM International Systems and Software Product Line Conference - Volume B10.1145/3461002.3473951(99-104)Online publication date: 6-Sep-2021
https://dl.acm.org/doi/10.1145/3461002.3473951
Pett TKrieter SRunge TThüm TLochau MSchaefer I(2021)Stability of Product-Line Samplingin Continuous IntegrationProceedings of the 15th International Working Conference on Variability Modelling of Software-Intensive Systems10.1145/3442391.3442410(1-9)Online publication date: 9-Feb-2021
https://dl.acm.org/doi/10.1145/3442391.3442410
Castro TTeixeira LAlves VApel SCordy MGheyi R(2021)A Formal Framework of Software Product Line AnalysesACM Transactions on Software Engineering and Methodology10.1145/344238930:3(1-37)Online publication date: 23-Apr-2021
https://dl.acm.org/doi/10.1145/3442389
Thüm TTeixeira LSchmid KWalkingshaw EMukelabai MVarshosaz MBotterweck GSchaefer IKehrer T(2019)Towards Efficient Analysis of Variation in Time and SpaceProceedings of the 23rd International Systems and Software Product Line Conference - Volume B10.1145/3307630.3342414(57-64)Online publication date: 9-Sep-2019
https://dl.acm.org/doi/10.1145/3307630.3342414
Beek MSchmid KEichelberger H(2019)Textual Variability Modeling LanguagesProceedings of the 23rd International Systems and Software Product Line Conference - Volume B10.1145/3307630.3342398(151-157)Online publication date: 9-Sep-2019
https://dl.acm.org/doi/10.1145/3307630.3342398
Varshosaz MAl-Hajjaji MThüm TRunge TMousavi MSchaefer I(2018)A classification of product sampling for software product linesProceedings of the 22nd International Systems and Software Product Line Conference - Volume 110.1145/3233027.3233035(1-13)Online publication date: 10-Sep-2018
https://dl.acm.org/doi/10.1145/3233027.3233035
Halin ANuttinck AAcher MDevroey XPerrouin GHeymans PSchaefer I(2017)Yo variability! JHipsterProceedings of the 11th International Workshop on Variability Modelling of Software-Intensive Systems10.1145/3023956.3023963(44-51)Online publication date: 1-Feb-2017
https://dl.acm.org/doi/10.1145/3023956.3023963
Show More Cited By

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