Proceedings of the 19th International Conference on Software Product Line 2015
DOI: 10.1145/2791060.2791103
|View full text |Cite
|
Sign up to set email alerts
|

VariaMos

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 cr… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

0
6
0

Year Published

2015
2015
2024
2024

Publication Types

Select...
5
3

Relationship

3
5

Authors

Journals

citations
Cited by 22 publications
(6 citation statements)
references
References 13 publications
0
6
0
Order By: Relevance
“…VariaMos is a web-based tool that utilizes microservices to enable the specification, multi-language modeling, and multi-solver reasoning of SPL and DSPL projects [28]. In addition, it enables users to create their own engineering languages in a straightforward manner.…”
Section: Related Workmentioning
confidence: 99%
“…VariaMos is a web-based tool that utilizes microservices to enable the specification, multi-language modeling, and multi-solver reasoning of SPL and DSPL projects [28]. In addition, it enables users to create their own engineering languages in a straightforward manner.…”
Section: Related Workmentioning
confidence: 99%
“…Since the algorithm determines the optimal or correct configuration, features can change their values to valid states once the constraints and dependencies have been satisfied. There are several tools for feature modeling, but in the literature only three for dynamic feature modeling have been identified: MOSKitt4SPL [23], VariaMos [24], and DyMMer [25]. However, only DyMMer was available.…”
Section: Dynamic Variabilitymentioning
confidence: 99%
“…Thus, some studies have extended the feature model to meet these challenges of representing dynamic variability [30][31][32]. However, few tools are supported for representing these extensions, such as the Variamos [24] and the DyMMer [25] tools. In our study, we used the DyMMer tool because it is available and have the option of assessing the quality of dynamic aspects using specific metrics.…”
Section: General Analysis Of the Solar Educational Ecosystemmentioning
confidence: 99%
“…First, we identified conceptual problems in the generalized application of the language to different case studies and examples. Second, we analyzed these issues during the implementation of a tool, VariaMos [24] 2 , to support modeling using REFAS. The following are the most important improvements in the revised meta-model: i. Simplification of the definition of conditional expressions, claims, and soft dependencies, without losing the semantics already supported.…”
Section: Meta-modelmentioning
confidence: 99%
“…In-depth analyses support the second challenge, with aggregation capabilities over concerns and its implied variables. To demonstrate our approach, we apply the modeling process to a running example using the VariaMos software tool 1 [24]. This tool implements the REFAS meta-model, its five default views, and its process.…”
Section: Introductionmentioning
confidence: 99%