Title :
Model translations among big-step modeling languages
Author :
Faghih, Fathiyeh
Author_Institution :
Sch. of Comput. Sci., Univ. of Waterloo, Waterloo, ON, Canada
Abstract :
Model Driven Engineering (MDE) is a progressive area that tries to fill the gap between problem definition and software development. There are many modeling languages proposed for use in MDE. A challenge is how to provide automatic analysis for these models without having to create new analyzers for each different language. In this research, we tackle this problem for a family of modeling languages using a semantically configurable model translation framework.
Keywords :
program verification; simulation languages; software engineering; MDE; big-step modeling languages; model driven engineering; model translation framework; modeling languages; problem definition; software development; Analytical models; Computational modeling; Educational institutions; Mathematical model; Semantics; Syntactics; Unified modeling language; Big-Step Modeling Languages; Formal Analysis; Model Checking; Model Translation;
Conference_Titel :
Software Engineering (ICSE), 2012 34th International Conference on
Conference_Location :
Zurich
Print_ISBN :
978-1-4673-1066-6
Electronic_ISBN :
0270-5257
DOI :
10.1109/ICSE.2012.6227038
