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
International Journal on Software Tools for Technology Transfer, Springer Verlag, 2010
Liste complète des métadonnées


https://hal.inria.fr/inria-00477521
Contributor : Didier Vojtisek <>
Submitted on : Thursday, April 29, 2010 - 2:16:37 PM
Last modification on : Friday, January 13, 2017 - 2:21:08 PM
Document(s) archivé(s) le : Wednesday, November 30, 2016 - 5:45:11 PM

File

Moha10b.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00477521, version 1

Collections

Citation

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>

Share

Metrics

Record views

376

Document downloads

245