Please use this identifier to cite or link to this item:
Title: Verification and validation of declarative model-to-model transformations through invariants
Author: Cabot Sagrera, Jordi  
Clarisó Viladrosa, Robert  
Lara Jaramillo, Juan de
Guerra, Esther
Others: Universitat Oberta de Catalunya. Internet Interdisciplinary Institute (IN3)
Universidad Carlos III de Madrid
Universidad Autónoma de Madrid
Keywords: model-to-model transformation
model-driven development
verification and validation
triple graph grammars
Issue Date: 15-Aug-2010
Publisher: Journal of Systems and Software
Citation: Cabot, J., Clarisó, R., Guerra, E. & de Lara Jaramillo, J. (2010). Verification and Validation of Declarative Model-to-Model Transformations Through Invariants. Journal of Systems and Software, 83(2), 283-302. doi: 10.1016/j.jss.2009.08.012
Project identifier: info:eu-repo/grantAgreement/TIN2006-09678
Also see:
Abstract: In this paper we propose a method to derive OCL invariants from declarative model-to-model transformations in order to enable their verification and analysis. For this purpose we have defined a number of invariant-based verification properties which provide increasing degrees of confidence about transformation correctness, such as whether a rule (or the whole transformation) is satisfiable by some model, executable or total. We also provide some heuristics for generating meaningful scenarios that can be used to semiautomatically validate the transformations. As a proof of concept, the method is instantiated for two prominent model-to-model transformation languages: Triple Graph Grammars and QVT.
Language: English
ISSN: 0164-1212MIAR
Appears in Collections:Articles

Files in This Item:
File Description SizeFormat 
Cabot_JSS_2010_ps.pdfPre-print1.28 MBAdobe PDFView/Open

This item is licensed under a Creative Commons License Creative Commons