Home
VariaMos is an acronym for Variability Models; these models are referred to the specification of the variability of product lines.
VariaMos is 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. VariaMos supports different types of models and views by itself, but also offers the possibility of extending them. This possibility provides extensive generality and flexibility for the designer to accommodate the tool to his needs.
From the point of view of analysis and verification, most of the tools found in the literature are formalism-dependent, and they only focus on feature models. In addition, most of them concentrate on verifying the consistency of a combination of features (a feature configuration) against the feature model. Tools like FAMA (http://www.isa.us.es/fama) and SPLOT (http://www.splot-research.org) consider several verification operations for feature models. VariaMos supports the same verification operations but not only over feature models, but also over other models based in the meta-models defined by engineers in order to represent variability-based systems.
Currently VariaMos focus mainly on domain engineering activities and therefore it primarily provides functionalities related to modeling, reasoning, and simulation on variability models written in any notation.
See the Wiki. In this place you will find useful documentationfor developpers and contributors
- GitHub Issues please check our instructions for reporting issues here
- VariaMos website