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 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).
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
All submissions should follow the ACM format and should include the authors’ names, affiliations and contact details. Further instructions for submitting a paper are available at http://www.cis.uab.edu/FML2010. All workshop papers will appear in the ACM Digital Library. Furthermore, 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.
IMPORTANT DATES
− Paper submission: 19 April 2010 − Notification of acceptance: 5 May 2010 − Final Paper submission: 19 May 2010 − Workshop date: 21 June 2010
ORGANIZING COMMITTEE
Workshop Chairs Barrett R. Bryant, Univ. Alabama at Birmingham (USA) Viljan Mahnič, University of Ljubljana (Slovenia)
Co-Organizers Jeff Gray, University of Alabama (USA) Marjan Heričko, University of Maribor (Slovenia) Marjan Mernik, University of Maribor (Slovenia)
PROGRAM COMMITTEE
Paulo Borba, Fed. Univ. Pernambuco (Brazil) Kai Chen, Google (USA) Benoit Combemale, IRISA/INRIA (France) Ethan Jackson, Microsoft Research (USA) Julia Lawall, DIKU (Denmark) Pieter Mosterman, Math Works (USA) Ileana Ober, Université Paul Sabatier (France) Claudia Pons, University of La Plata (Argentina) Andy Schürr, TU Darmstadt (Germany) Jonathan Sprinkle, University of Arizona (USA) Juha-Pekka Tolvanen, MetaCase (Finland) Antonio Vallecillo, Universidad de Málaga (Spain) Eric Van Wyk, University of Minnesota (USA)