• DocumentCode
    2439929
  • Title

    Model translations among big-step modeling languages

  • Author

    Faghih, Fathiyeh

  • Author_Institution
    Sch. of Comput. Sci., Univ. of Waterloo, Waterloo, ON, Canada
  • fYear
    2012
  • fDate
    2-9 June 2012
  • Firstpage
    1555
  • Lastpage
    1558
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Software Engineering (ICSE), 2012 34th International Conference on
  • Conference_Location
    Zurich
  • ISSN
    0270-5257
  • Print_ISBN
    978-1-4673-1066-6
  • Electronic_ISBN
    0270-5257
  • Type

    conf

  • DOI
    10.1109/ICSE.2012.6227038
  • Filename
    6227038
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2439929