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

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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [8 references]  Display  Hide  Download

https://hal-paris1.archives-ouvertes.fr/hal-01185815
Contributor : Juan Carlos Muñoz Fernández <>
Submitted on : Friday, August 21, 2015 - 3:35:16 PM
Last modification on : Tuesday, February 6, 2018 - 12:32:01 PM
Long-term archiving on : Wednesday, April 26, 2017 - 10:18:33 AM

File

Tool Paper SPLC_V23 - with app...
Files produced by the author(s)

Identifiers

Collections

Citation

Raul Mazo, Juan C Muñoz-Fernández, Luisa Rincón-Perez, Camille Salinesi, Gabriel Tamura. VariaMos: an extensible tool for engineering (dynamic) product lines. SPLC 2015, Vanderbilt University, Jul 2015, Nashville, United States. pp.374-379, ⟨10.1145/2791060.2791103⟩. ⟨hal-01185815⟩

Share

Metrics

Record views

361

Files downloads

358