posted by user: szschaler || 1193 views || tracked by 3 users: [display]

FML 2010 : International Workshop on Formalization of Modeling Languages


When Jun 21, 2010 - Jun 22, 2010
Where Maribor, Slovenia
Abstract Registration Due Apr 12, 2010
Submission Deadline Apr 19, 2010

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 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

Related Resources

MDASD 2020   6th Workshop on Model Driven Approaches in System Development
ITCCMA 2020   7th International Conference on Information Technology, Control, Chaos, Modeling and Applications
OOPSLA 2020   Conference on Object-Oriented Programming Systems, Languages,and Applications
LCTES 2020   The 21st ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems
MODELS 2020   Model Driven Engineering Languages and Systems
LCPC 2020   Languages and Compilers for Parallel Computing
SPM 2020   7th International Conference on Signal, Image Processing and Multimedia
MODELSWARD 2021   9th International Conference on Model-Driven Engineering and Software Development
EI/SCOPUS-CGIIT 2021   5th International Conference on Graphics, Images and Interactive Techniques (CGIIT 2021)