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.