Formal specifications, syntax and semantics, of modeling languages have not been developed yet to the equivalent maturity seen for programming languages. While the syntax of modeling languages is commonly specified by metamo-dels, an appropriate and standard formalism for specifying (behavioral) semantics of modeling languages does not exist yet. Recently, this has been identified as one of the most important research topics in Model-Driven Engineering (MDE).

The purpose of this workshop is to provide a forum to dis-cuss five major challenge areas in formalizing modeling languages and constructing automated tools from such for-malizations. They include: (i) inventing a behavioral seman-tics formalism that is easier to use than existing formalisms and is amenable to further processing for automatic genera-tion of modeling tools (e.g., editors, debuggers, and simula-tors); (ii) extending not only models, but also metamodels, with semantics; (iii) automatic generation of different mode-ling tools would require tool-specific information and diffe-rent generative algorithms to construct them; (iv) mapping to existing low-level formalisms/tools must be automatic and transparent to end-users of the modeling language; and (v) development of new tools that are not possible without a formal semantics (e.g., model checker that can verify do-main-specific properties).

The topics of interest for this workshop include, but are not limited to:

• Adaptation of programming language formalisms to modeling languages (e.g., attribute grammars, operation-al semantics, graph grammars)
• Inferring modeling formalisms from models
• Modeling formalisms for supporting evolution of models and metamodels
• New semantic formalisms for modeling languages
• Semantic formalism based development of modeling languages
• Tool generation (code generator, simulator, verifier) from modeling language formalization
• Validation and verification of models based on modeling language formalism