Skip to Main content Skip to Navigation
Journal articles

Evaluation of Kermeta on Graph Transformation Problems

Naouel Moha 1 Sagar Sen 1 Cyril Faucher 1 Olivier Barais 1 Jean-Marc Jézéquel 1
1 TRISKELL - Reliable and efficient component based software engineering
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : Kermeta is a meta-language for specifying the structure and behavior of graphs of interconnected objects called models. In this paper, we show that Kermeta is relatively suitable for solving three graph-based problems. First, Kermeta allows the specification of generic model transformations such as refactorings that we apply to different metamodels including Ecore, Java, and Uml. Second, we demonstrate the extensibility of Kermeta to the formal language Alloy using an inter-language model transformation. Kermeta uses Alloy to generate recommendations for completing partially specified models. Third, we show that the Kermeta compiler achieves better execution time and memory performance compared to similar graph-based approaches using a common case study. The three solutions proposed for those graph-based problems and their evaluation with Kermeta according to the criteria of genericity, extensibility, and performance are the main contribution of the paper. Another contribution is the comparison of these solutions with those proposed by other graph-based tools.
Document type :
Journal articles
Complete list of metadata

Cited literature [25 references]  Display  Hide  Download
Contributor : Didier Vojtisek Connect in order to contact the contributor
Submitted on : Thursday, April 29, 2010 - 2:16:37 PM
Last modification on : Wednesday, June 23, 2021 - 12:00:04 PM
Long-term archiving on: : Wednesday, November 30, 2016 - 5:45:11 PM


Files produced by the author(s)


  • HAL Id : inria-00477521, version 1


Naouel Moha, Sagar Sen, Cyril Faucher, Olivier Barais, Jean-Marc Jézéquel. Evaluation of Kermeta on Graph Transformation Problems. International Journal on Software Tools for Technology Transfer, Springer Verlag, 2010. ⟨inria-00477521⟩



Les métriques sont temporairement indisponibles