TY - GEN
T1 - VariaMos
T2 - 19th International Software Product Line Conference, SPLC 2015
AU - Mazo, Raúl
AU - Muñoz-Fernández, Juan C.
AU - Rincón, Luisa
AU - Salinesi, Camille
AU - Tamura, Gabriel
N1 - Publisher Copyright:
© 2015 ACM.
PY - 2015/7/20
Y1 - 2015/7/20
N2 - 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.
AB - 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.
KW - Constraints
KW - Dynamic product line models
KW - Product line engineering
KW - Simulation
KW - Tool
KW - Variability
UR - http://www.scopus.com/inward/record.url?scp=84982792200&partnerID=8YFLogxK
U2 - 10.1145/2791060.2791103
DO - 10.1145/2791060.2791103
M3 - Conference contribution
AN - SCOPUS:84982792200
T3 - ACM International Conference Proceeding Series
SP - 374
EP - 379
BT - Proceedings - 19th International Software Product Line Conference, SPLC 2015
PB - Association for Computing Machinery
Y2 - 20 July 2015 through 24 July 2015
ER -