VariaMos

Welcome to the VariaMos Framework!


This framework relies on the the VariaMos Web application (https://variamos.azurewebsites.net/) to cover all the dynamic support to define modelling languages, to create models with these languages and to reason (simulate, verify, configure…) on these models. The language creation capability supports the definition of the syntax (abstract and concrete), the semantics (for different reasoning paradigms and languages) and in the near future it should support also the definition of the operations for different languages. These capabilities enable to use VariaMos to create projects at two levels: domain and applications for both (self) adaptive and non-adaptive systems. Also, this framework enables the execution of the operations defined (at the language level) over the models defined by the user, which permits satisficing different types of modelling and reasoning expectations. Thus, VariaMos Framework permits the dynamic extension of VariaMos to new modelling languages, interdependencies among the languages, operations over the instances of the languages and solvers to execute these operations.

Web-based tool migration

We updated 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 developers and contributors

Current team

The current VariaMos version is supported by the following team

Raul Mazo

Raúl Mazo

Project leader

Daniel Correa

Software architect

Angela Villota

Development team

Carlos Jaramillo

Carlos Jaramillo

Development team

Andres Erazo

Development team

Esteban Echavarría

Esteban Echavarría

Technical support

Jacques Robin

Jacques Robin

Researcher

Yan Wang

Yan Wang

Post-doc researcher

Jairo Soto

Jairo Soto

DevOps

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: