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
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;
Conference_Titel :
Computing Colombian Conference (9CCC), 2014 9th
Conference_Location :
Pereira
DOI :
10.1109/ColumbianCC.2014.6955346