The purpose of this workshop is to provide a forum to discuss five major challenge areas in formalizing modeling languages and constructing automated tools from such formalizations. They include: (i) inventing a behavioral semantics formalism that is easier to use than existing formalisms and is amenable to further processing for automatic generation of modeling tools (e.g., editors, debuggers, and simulators); (ii) extending not only models, but also metamodels, with semantics; (iii) automatic generation of different mode-ling tools would require tool-specific information and different 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 domain-specific properties). This workshop is colocated with ECOOP 2010.
| Submissions: | April 19, 2010 |
| Notification: | May 5, 2010 |
| Event: | June 21, 2010-June 21, 2010 |