• DocumentCode
    151891
  • Title

    Formal design of a model repository based on knowledge representation using graphs

  • Author

    Martinez, Sonia ; Pavlich-Mariscal, Jaime A.

  • Author_Institution
    Dept. de Ing. de Sist., Pontificia Univ. Javeriana, Javeriana, Colombia
  • fYear
    2014
  • fDate
    3-5 Sept. 2014
  • Firstpage
    249
  • Lastpage
    254
  • Abstract
    Model Driven Engineering (MDE) is a new approach that utilizes models as main artifacts for software development. Models facilitate the description of the problem in terms of its domain. However, since MDE is a new approach, it still has some drawbacks. One of them is model persistence. Commonly used tools can be inefficient to store and modify big models. Another problem is model representation. Models are usually represented in a graphical or textual notation and later they are stored in a completely different format . These formats may be inadequate to navigate and query the model. This paper addresses the above issues, utilizing graph-based databases to store and query models.
  • Keywords
    database management systems; formal verification; knowledge representation; query processing; MDE; formal design; graph-based databases; knowledge representation; model driven engineering; model persistence; model repository; model representation; query models; software development; textual notation; Computational modeling; Databases; Electronic mail; Silicon compounds; Software; Unified modeling language; XML; Graph databases; MDA; MDE; Software Engineering; graphs; meta modeling; model verification;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Computing Colombian Conference (9CCC), 2014 9th
  • Conference_Location
    Pereira
  • Type

    conf

  • DOI
    10.1109/ColumbianCC.2014.6955346
  • Filename
    6955346