FINAL PROGRAM
CALL FOR PAPERS
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 metamodels, 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 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 modeling 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).
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, operational 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 formalisms
Submission Guidelines
Submission Page:
http://www.easychair.org/conferences/?conf=fml10
All submissions should follow the ACM proceedings format and should include the authors' names, affiliations and contact details. Submissions should be no longer than 5 pages. All workshop papers will appear in the ACM Digital Library. We intend to publish proceedings which will be available at the workshop and are seeking a journal special issue to publish a selection of workshop papers.