About VariaMos

What is VariaMos?

With it’s first release in 2015 VariaMos was presented in the 19th International Software Product Line Conference (SPLC) in Nashville-USA, as 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. Later in 2018 due to its evolution and scalability needs, it was release VariaMos Web, replacing its desktop version to a web browser version, making it available from any device and providing a way new set of functionalities.

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).

Benefits of VariaMos

  • Available from any major web browser.
  • Continuous releases
  • Well defined documentation
  • Project management for Domain, Application and Adaptation stages in the design of a family of products.
  • Native support for feature-based models, component-based models and binding models.

Universities that support VariaMos

  • CRI – Université Paris 1 (Paris – France)
  • ENSTA Bretagne (Brest – France)
  • Universidad de EAFIT (Medellín-Colombia)