demonstration

The BVR tool bundle to support product line engineering

Authors:

Anatoly Vasilevskiy,

Øystein Haugen,

Franck Chauvel,

Martin Fagereng Johansen,

Daisuke ShimbaraAuthors Info & Claims

SPLC '15: Proceedings of the 19th International Conference on Software Product Line

Pages 380 - 384

https://doi.org/10.1145/2791060.2791094

Published: 20 July 2015 Publication History

Abstract

The Base Variability Resolution (BVR) is a modern language to build software product lines (SPL). The language incorporates advanced concepts for feature modeling, reuse and realization of components in SPL. The BVR bundle implements and supports the language. The tool covers design, implementation and quality assurance to close the development cycle. The bundle enables feature modeling, resolution, realization and derivation of products, their testing and analysis. We integrate the SPLCA additions to provide the state of the art algorithms for analysis. The project is open-source and available for practitioners. The tool consists of Eclipse plug-ins which work seamlessly together as well as separate stand-alone components. We describe how the tool collaboration contributes to variability modeling. In addition, we present how the bundle applies well-known design patterns, principals to achieve synergy between components.

References

[1]

The CVL 2 Tool. Research group on model-driven software engineering at SINTEF, 2014. Also available as http://modelbased.net/tools/cvl-2-tool/.

[2]

J. Bayer, S. Gerard, Ø. Haugen, J. Mansell, B. Møller-Pedersen, J. Oldevik, P. Tessier, J.-P. Thibault, and T. Widen. Consolidated Product Line Variability Modelling. In T. Käköla and J. C. Duenas, editors, Software Product Lines, pages 195--241. Springer Berlin Heidelberg, 2006.

[3]

K. Czarnecki and A. Wasowski. Feature Diagrams and Logics: There and Back Again. In 11th International Software Product Line Conference (SPLC 2007), pages 23--34. IEEE, Sept. 2007.

Digital Library

[4]

FP7-ICT, Project Number: 610640, DREAMS. Distributed REal-time Architecture for Mixed Criticality Systems, 2013-2017. Also available as http://www.dreams-project.eu/.

[5]

E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design patterns: elements of reusable object-oriented software. Pearson Education, 1994.

Digital Library

[6]

Ø. Haugen, B. Møller-Pedersen, J. Oldevik, G. K. Olsen, and A. Svendsen. Adding Standardized Variability to Domain Specific Languages. In Software Product Line Conference, 2008. SPLC '08. 12th International, pages 139--148, 2008.

Digital Library

[7]

Ø. Haugen and O. Øgård. Bvr - better variability results. In D. Amyot, P. Fonseca i Casas, and G. Mussbacher, editors, System Analysis and Modeling: Models and Reusability, volume 8769 of Lecture Notes in Computer Science, pages 1--15. Springer International Publishing, 2014.

[8]

M. F. Johansen, Ø. Haugen, and F. Fleurey. An algorithm for generating t-wise covering arrays from large feature models. In E. S. de Almeida, C. Schwanninger, and D. Benavides, editors, SPLC (1), pages 46--55. ACM, 2012.

Digital Library

[9]

M. F. Johansen, Ø. Haugen, F. Fleurey, E. Carlson, J. Endresen, and T. Wien. A technique for agile and automatic interaction testing for product lines. In B. Nielsen and C. Weise, editors, ICTSS, volume 7641 of Lecture Notes in Computer Science, pages 39--54. Springer, 2012.

[10]

M. F. Johansen, Ø. Haugen, F. Fleurey, A. G. Eldegard, and T. Syversen. Generating better partial covering arrays by modeling weights on sub-product lines. In R. B. France, J. Kazmeier, R. Breu, and C. Atkinson, editors, MoDELS, volume 7590 of Lecture Notes in Computer Science, pages 269--284. Springer, 2012.

Digital Library

[11]

K. C. Kang, S. G. Cohen, J. A. Hess, W. E. Novak, and A. S. Peterson. Feature-Oriented Domain Analysis (FODA) Feasibility Study. Technical Report CMU/SEI-90-TR-21 ESD-90-TR-222, Carnegie Mellon University, Pittsburgh, Pennsylvania 15213, 1990.

[12]

C. Kästner and S. Apel. Feature-oriented software development. In R. Lämmel, J. Saraiva, and J. Visser, editors, Generative and Transformational Techniques in Software Engineering IV, volume 7680 of Lecture Notes in Computer Science, pages 346--382. Springer Berlin Heidelberg, 2013.

[13]

K. Pohl, G. Böckle, and F. J. van der Linden. Software Product Line Engineering: Foundations, Principles and Techniques. Springer Publishing Company, Incorporated, 1st edition, 2010.

Digital Library

[14]

J.-P. Tolvanen and S. Kelly. Integrating models with domain-specific modeling languages. In Proceedings of the 10th Workshop on Domain-Specific Modeling, DSM '10, pages 10:1--10:6, New York, NY, USA, 2010. ACM.

Digital Library

[15]

A. Van Deursen, P. Klint, and J. Visser. Domain-specific languages. Centrum voor Wiskunde en Informatika, 2000.

[16]

A. Vasilevskiy and Ø. Haugen. Resolution of interfering product fragments in software product line engineering. In J. Dingel, W. Schulte, I. Ramos, S. Abrahão, and E. Insfran, editors, Model-Driven Engineering Languages and Systems, volume 8767 of Lecture Notes in Computer Science, pages 467--483. Springer International Publishing, 2014.

Cited By

Horcas JPinto MFuentes L(2022)Empirical analysis of the tool support for software product linesSoftware and Systems Modeling10.1007/s10270-022-01011-222:1(377-414)Online publication date: 8-Jun-2022
https://doi.org/10.1007/s10270-022-01011-2
Allian ANakagawa EMartinez JAssunção WOliveiraJr E(2022)Variability Implementation and UML-Based Software Product LinesUML-Based Software Product Line Engineering with SMarty10.1007/978-3-031-18556-4_2(27-40)Online publication date: 28-Sep-2022
https://doi.org/10.1007/978-3-031-18556-4_2
Bressan Lde Oliveira ACampos FMontecchi LCapilla RParker DAslansefat KPapadopoulos Y(2022)Modeling the Variability of System Safety Analysis Using State-Machine DiagramsModel-Based Safety and Assessment10.1007/978-3-031-15842-1_4(43-59)Online publication date: 9-Sep-2022
https://doi.org/10.1007/978-3-031-15842-1_4
Show More Cited By

Index Terms

The BVR tool bundle to support product line engineering
1. Software and its engineering

Recommendations

Safety-oriented process line engineering via seamless integration between EPF composer and BVR tool
SPLC '18: Proceedings of the 22nd International Systems and Software Product Line Conference - Volume 2

The integration between process engineering and variability management is required for tailoring of safety-oriented processes with variabilities to individual projects in a similar manner to the product lines. Previous studies have not adequately ...
Model checking software product lines with SNIP

We present SNIP, an efficient model checker for software product lines (SPLs). Variability in software product lines is generally expressed in terms of features, and the number of potential products is exponential in the number of features. Whereas ...
Integrated tool support for software product line engineering
ASE '07: Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering

Product line engineering comprises many heterogeneous activities such as capturing the variability of reusable assets, supporting the derivation of products from the product line, evolving the product line, or tailoring the approach to the specifics of ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Other conferences

SPLC '15: Proceedings of the 19th International Conference on Software Product Line

July 2015

460 pages

ISBN:9781450336130

DOI:10.1145/2791060

General Chair:
Douglas C. Schmidt
Vanderbilt University

Copyright © 2015 Owner/Author.

Permission to make digital or hard copies of part or all 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 third-party components of this work must be honored. For all other uses, contact the Owner/Author.

Sponsors

Vanderbilt University: Vanderbilt University
Biglever: BigLever Software, Inc.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 20 July 2015

Check for updates

Author Tags

Qualifiers

Demonstration

Funding Sources

FP7-ICT DREAMS
ARTEMIS VARIES

Conference

SPLC '15

Sponsor:

Vanderbilt University
Biglever

SPLC '15: 2015 International Conference on Software Product Lines

July 20 - 24, 2015

Tennessee, Nashville

Acceptance Rates

SPLC '15 Paper Acceptance Rate 34 of 87 submissions, 39%;

Overall Acceptance Rate 167 of 463 submissions, 36%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

16
Total Citations
View Citations
199
Total Downloads

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

Reflects downloads up to 12 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Horcas JPinto MFuentes L(2022)Empirical analysis of the tool support for software product linesSoftware and Systems Modeling10.1007/s10270-022-01011-222:1(377-414)Online publication date: 8-Jun-2022
https://doi.org/10.1007/s10270-022-01011-2
Allian ANakagawa EMartinez JAssunção WOliveiraJr E(2022)Variability Implementation and UML-Based Software Product LinesUML-Based Software Product Line Engineering with SMarty10.1007/978-3-031-18556-4_2(27-40)Online publication date: 28-Sep-2022
https://doi.org/10.1007/978-3-031-18556-4_2
Bressan Lde Oliveira ACampos FMontecchi LCapilla RParker DAslansefat KPapadopoulos Y(2022)Modeling the Variability of System Safety Analysis Using State-Machine DiagramsModel-Based Safety and Assessment10.1007/978-3-031-15842-1_4(43-59)Online publication date: 9-Sep-2022
https://doi.org/10.1007/978-3-031-15842-1_4
Bressan Lde Oliveira ACampos FCapilla R(2021)A variability modeling and transformation approach for safety-critical systemsProceedings of the 15th International Working Conference on Variability Modelling of Software-Intensive Systems10.1145/3442391.3442398(1-7)Online publication date: 9-Feb-2021
https://dl.acm.org/doi/10.1145/3442391.3442398
Muram FJaved MHansson HPunnekkat S(2020)Dynamic Reconfiguration of Safety-Critical Production Systems2020 IEEE 25th Pacific Rim International Symposium on Dependable Computing (PRDC)10.1109/PRDC50213.2020.00023(120-129)Online publication date: Dec-2020
https://doi.org/10.1109/PRDC50213.2020.00023
Bressan Lde Oliveira ACampos F(2020)An Approach to Support Variant Management on Safety Analysis using CHESS Error Models2020 16th European Dependable Computing Conference (EDCC)10.1109/EDCC51268.2020.00030(135-142)Online publication date: Sep-2020
https://doi.org/10.1109/EDCC51268.2020.00030
Horcas JPinto MFuentes L(2019)Software Product Line EngineeringProceedings of the 23rd International Systems and Software Product Line Conference - Volume A10.1145/3336294.3336304(164-176)Online publication date: 9-Sep-2019
https://dl.acm.org/doi/10.1145/3336294.3336304
Berger TCollet P(2019)Usage Scenarios for a Common Feature Modeling LanguageProceedings of the 23rd International Systems and Software Product Line Conference - Volume B10.1145/3307630.3342403(174-181)Online publication date: 9-Sep-2019
https://dl.acm.org/doi/10.1145/3307630.3342403
Javed MGallina BCarlsson AHung CPapadopoulos G(2019)Towards variant management and change impact analysis in safety-oriented process-product linesProceedings of the 34th ACM/SIGAPP Symposium on Applied Computing10.1145/3297280.3297634(2372-2375)Online publication date: 8-Apr-2019
https://dl.acm.org/doi/10.1145/3297280.3297634
de Oliveira ABraga RMasiero PParker DPapadopoulos YHabli IKelly T(2019)Variability management in safety-critical systems design and dependability analysisJournal of Software: Evolution and Process10.1002/smr.2202(e2202)Online publication date: 12-Aug-2019
https://doi.org/10.1002/smr.2202
Show More Cited By

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.

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