Title:
Simulation and Analysis of Domain Specific Languages

Abstract:
Modeling languages play a cornerstone role in Model-Driven Software Development for representing models and metamodels. Modeling languages are usually defined in terms of their abstract and concrete syntax. This allows the rapid development of languages and some associated tools (e.g., model editors), but does not allow the representation of their behavioral semantics, something especially important in certain industrial environments in which simulation and verification are critical issues. In this talk we explore some engineering approaches to describing models, metamodels and their dynamic behavior, which make models amenable to formal analysis, reasoning and simulation.