demonstration

VariaMos: an extensible tool for engineering (dynamic) product lines

Authors:

Raúl Mazo,

Juan C. Muñoz-Fernández,

Luisa Rincón,

Camille Salinesi,

Gabriel TamuraAuthors Info & Claims

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

Pages 374 - 379

https://doi.org/10.1145/2791060.2791103

Published: 20 July 2015 Publication History

Get Access

Abstract

This paper presents the new release of VariaMos, a Java-based tool for defining variability modeling languages, modeling (dynamic) product lines and cyber-physical self-adaptive systems, and supporting automated verification, analysis, configuration and simulation of these models. In particular, we describe the characteristics of this new version regarding its first release: (1) the capability to create languages for modeling systems with variability, even with different views; (2) the capability to use the created language to model (dynamic) product lines; (3) the capability to analyze and configure these models according to the changing context and requirements; and (4) the capability to execute them over several simulation scenarios. Finally, we show how to use VariaMos with an example, and we compare it with other tools found in the literature.

References

[1]

K. C. Kang, S. G. Cohen, J. A. Hess, W. E. Novak, and S. P. Peterson, "Feasibility Study Feature-Oriented Domain Analysis (FODA). Technical Report," 1990.

Crossref

Google Scholar

[2]

K. Pohl, G. Böckle, and F. J. van Der Linden, Software Product Line Engineering: Foundations, Principles and Techniques. Springer-Verlag New York, Inc., 2005.

Digital Library

Google Scholar

[3]

D. Dhungana, P. Grünbacher, and R. Rabiser, "The DOPLER Meta-tool for Decision-oriented Variability Modeling: A Multiple Case Study," Autom. Softw. Engg., vol. 18, no. 1, 2011.

Digital Library

Google Scholar

[4]

B. Gonzales-Baixauli, J. C. S. Prado Leite, and J. Mylopoulos, "Visual variability analysis for goal models," in Requirements Engineering(RE) Conference, 2004.

Digital Library

Google Scholar

[5]

R. Mazo, C. Salinesi, D. Diaz, O. Djebbi, and A. Michiels, "Constraints: the Heart of Domain and Application Engineering in the Product Lines Engineering Strategy," Int. Journal on Information System Modeling and Design (IJISMD), vol. 3, no. 2, 2011.

Digital Library

Google Scholar

[6]

C. Salinesi and R. Mazo, "Defects in Product Line Models and how to identify them," in Software Product Line - Advanced Topic, A. Elfaki, Ed. InTech, 2012, pp. 97--122.

Google Scholar

[7]

J. C. Munoz-Fernandez, G. Tamura, R. Mazo, and C. Salinesi, "Towards a requirements specification multi-view framework for self-adaptive systems," in XL CLEI Conference, 2014.

Google Scholar

[8]

J. O. Kephart and D. M. Chess, "The vision of autonomic computing," Computer (Long. Beach. Calif)., vol. 36, no. 1, 2003.

Digital Library

Google Scholar

[9]

R. Mazo, C. Salinesi, and D. Diaz, "Abstract Constraints: A General Framework for Solver-Independent Reasoning on Product-Line Models," J. Int. Counc. Syst. Eng., vol. 14, no. 4, 2011.

Google Scholar

[10]

T. von der Massen and H. Lichter, "RequiLine: A Requirements Engineering Tool for Software Product Lines," in Proceedings of the Fifth Int. Workshop on Product Family Engineering, 2003.

Google Scholar

[11]

K. Park, D. Ryu, and J. Baik, "An Integrated Software Management Tool for Adopting Software Product Lines," Comput. Inf. Sci. (ICIS), 2012 IEEE/ACIS 11th Int. Conf., 2012.

Digital Library

Google Scholar

[12]

D. Dhungana, R. Rabiser, P. Grunbacher, D. Seichter, G. Botterweck, D. Benavides, J. Galindo, "Integrating heterogeneous variability modeling approaches with Invar," VaMos, 2013.

Digital Library

Google Scholar

[13]

I. Groher and R. Weinreich, "Supporting Variability Management in Architecture Design and Implementation," 2013 46th Hawaii Int. Conf. Syst. Sci., 2013.

Digital Library

Google Scholar

[14]

H. Lee, J. Yang, and K. C. Kang, "VULCAN: architecture-model-based workbench for product line engineering.," SPLC, vol. II, 2012.

Digital Library

Google Scholar

Cited By

View all

Aguayo OSepúlveda SMazo R(2024)Variability Management in Self-Adaptive Systems through Deep Learning: A Dynamic Software Product Line ApproachElectronics10.3390/electronics1305090513:5(905)Online publication date: 27-Feb-2024
https://doi.org/10.3390/electronics13050905
Lima RBezerra CMachado I(2023)A Self-Adaptation Mechanism for Variability Management in Dynamic Software Product LinesProceedings of the 17th Brazilian Symposium on Software Components, Architectures, and Reuse10.1145/3622748.3622754(51-60)Online publication date: 25-Sep-2023
https://dl.acm.org/doi/10.1145/3622748.3622754
Buccella APol’la MCechich A(2022)Improving Variabilty Analysis through Scenario-Based Incompatibility DetectionInformation10.3390/info1303014913:3(149)Online publication date: 11-Mar-2022
https://doi.org/10.3390/info13030149
Show More Cited By

Recommendations

Model Checking of Domain Artifacts in Product Line Engineering
ASE '09: Proceedings of the 24th IEEE/ACM International Conference on Automated Software Engineering

In product line engineering individual products are derived from the domain artifacts of the product line. The reuse of the domain artifacts is constraint by the product line variability. Since domain artifacts are reused in several products, product ...
Wrenching: transient migration from commonality to variability in product line engineering of smart homes
ICOST'11: Proceedings of the 9th international conference on Toward useful services for elderly and people with disabilities: smart homes and health telematics

Currently smart home are created and deployed on each user's specifications, which guarantees their complete satisfaction, but incurs a very high deployment cost and non-usable resources. Techniques from product line engineering provide a framework to ...
Augmenting Product Lines
APSEC '12: Proceedings of the 2012 19th Asia-Pacific Software Engineering Conference - Volume 01

This paper presents a generic approach for automating the augmentation of product lines using model comparison and variability modeling techniques. Product lines are subject to frequent augmentation to include more products. Our approach aims to reduce ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

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

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.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 20 July 2015

Check for updates

Author Tags

Qualifiers

Demonstration

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%

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

19
Total Citations
View Citations
139
Total Downloads

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

Reflects downloads up to 13 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Aguayo OSepúlveda SMazo R(2024)Variability Management in Self-Adaptive Systems through Deep Learning: A Dynamic Software Product Line ApproachElectronics10.3390/electronics1305090513:5(905)Online publication date: 27-Feb-2024
https://doi.org/10.3390/electronics13050905
Lima RBezerra CMachado I(2023)A Self-Adaptation Mechanism for Variability Management in Dynamic Software Product LinesProceedings of the 17th Brazilian Symposium on Software Components, Architectures, and Reuse10.1145/3622748.3622754(51-60)Online publication date: 25-Sep-2023
https://dl.acm.org/doi/10.1145/3622748.3622754
Buccella APol’la MCechich A(2022)Improving Variabilty Analysis through Scenario-Based Incompatibility DetectionInformation10.3390/info1303014913:3(149)Online publication date: 11-Mar-2022
https://doi.org/10.3390/info13030149
Jézéquel JKienzle JAcher MFelfernig AFuentes L(2022)From feature models to feature toggles in practiceProceedings of the 26th ACM International Systems and Software Product Line Conference - Volume A10.1145/3546932.3547009(234-244)Online publication date: 12-Sep-2022
https://dl.acm.org/doi/10.1145/3546932.3547009
Bezerra CLima RSilva P(2021)DyMMer 2.0: A Tool for Dynamic Modeling and Evaluation of Feature ModelProceedings of the XXXV Brazilian Symposium on Software Engineering10.1145/3474624.3476016(121-126)Online publication date: 27-Sep-2021
https://dl.acm.org/doi/10.1145/3474624.3476016
F. Coutinho EI. M. Bezerra C(2020)A study on dynamic aspects variability in the SOLAR educational software ecosystemJournal of the Brazilian Computer Society10.1186/s13173-020-00103-526:1Online publication date: 7-Sep-2020
https://doi.org/10.1186/s13173-020-00103-5
Pol’la MBuccella ACechich A(2020)Analysis of variability models: a systematic literature reviewSoftware and Systems Modeling10.1007/s10270-020-00839-wOnline publication date: 22-Nov-2020
https://doi.org/10.1007/s10270-020-00839-w
Varela-Vaca ÁGasca RCeballos RGómez-López MTorres P(2019)CyberSPL: A Framework for the Verification of Cybersecurity Policy Compliance of System Configurations Using Software Product LinesApplied Sciences10.3390/app92453649:24(5364)Online publication date: 8-Dec-2019
https://doi.org/10.3390/app9245364
Chemingui HGam IMazo RSalinesi CGhezala H(2019)Product Line Configuration Meets Process MiningProcedia Computer Science10.1016/j.procs.2019.12.173164(199-210)Online publication date: 2019
https://doi.org/10.1016/j.procs.2019.12.173
Pol’la MBuccella ACechich A(2019)Using Scope Scenarios to Verify Multiple Variability ModelsComputational Science and Its Applications – ICCSA 201910.1007/978-3-030-24308-1_32(383-399)Online publication date: 29-Jun-2019
https://doi.org/10.1007/978-3-030-24308-1_32
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.

PDF

eReader

View online with eReader.

eReader

Abstract

References

Cited By

Recommendations

Model Checking of Domain Artifacts in Product Line Engineering

Wrenching: transient migration from commonality to variability in product line engineering of smart homes

Augmenting Product Lines

Comments

Information

Published In

Sponsors

Publisher

Publication History

Check for updates

Author Tags

Qualifiers

Conference

Acceptance Rates

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

Login options

Full Access

View options

PDF

eReader

Share

Share this Publication link

Share on social media

Affiliations