Testeo de modelos orientados a líneas de producto

Abstract

A partir de un metamodelo, se pretende formalizar y analizar un modelo recibido, con el fin de validarlo con respecto a dicho metamodelo y asegurarnos de su correcto funcionamiento.Given a metamodel from a different project, the goal is to formalize and analyze another model received. That way we can validate the previous metamodel and make sure that it works as intended.