VariaMos

A product line tool for variability modeling and reasoning.


VariaMos Web was designed as a modeling tool which incorporates different modeling languages to specify and analyze families of systems, for instance (self) adaptive systems and (dynamic) product lines supporting several types of models and frameworks in a graphically-oriented application available from any web browser.

VariaMos is suppose to be a new way to model the life cycle of (dynamic) product lines and families of systems, through the use of a high level constraint language to represent and reason over different models by means of different solvers (e.g., GNU and SWI Prolog). 

Web-based tool migration

We’re updating our Java stand-alone version to provide a web-based tool

More info

Communication and training materials

See the Wiki . In this place you will find useful documentation for developpers and contributors

What are their differences from other existing software product line tools?

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.

Current team

The web version of VariaMos is supported by the following team

Raul Mazo

Raúl Mazo

Project leader

Andres Erazo

Development team

Angela Villota

Development team

Carlos Jaramillo

Carlos Jaramillo

Development team

Daniel Correa

Development team

Esteban Echavarría

Esteban Echavarría

Technical support

Jacques Robin

Jacques Robin

Researcher

Yan Wang

Yan Wang

Post-doc researcher

VariaMos Past Version Team

Raul Mazo, Juan Muñoz, Daniel Correa, Luisa Rincon, Angela Villota, Jose Lopez, Esteban Echavarría, David Henao

Copyright (c) 2015-2018

Raul Mazo, Diego Quiroz, Sebastian Monsalve, David Lopez, Jose Lopez

Copyright (c) 2014-2015

Raul Mazo

Copyright (c) 2009-2014: