Paper Info
Title
A Tridimensional Approach for Studying the Formal Verification of Model Transformations
Abstract
In Model Driven Engineering (MDE), models are first-class citizens, and model transformation is MDE's "heart and soul". Since model transformations are executed for a family of conforming models, their validity becomes a crucial issue. This paper proposes to explore the question of the formal verification of model transformation properties through a tri-dimensional approach: the transformation involved, the properties of interest addressed, and the formal verification techniques used to establish the properties. This work allows a better understanding of the expected properties for a particular transformation, and facilitates the identification of the suitable tools and techniques for enabling their verification.
Year
DOI
Venue
2012
10.1109/ICST.2012.197
Software Testing, Verification and Validation
Keywords
Field
DocType
crucial issue,model transformation,tridimensional approach,particular transformation,model transformation property,formal verification,first-class citizen,better understanding,model driven engineering,formal verification technique,expected property,model transformations,computer model,verification,semantics,classification,computational modeling,unified modeling language,properties
Object-oriented modeling,Functional verification,Model transformation,Software engineering,Unified Modeling Language,Computer science,Model-driven architecture,Theoretical computer science,Reliability engineering,Semantics,Formal verification
Conference
ISBN
Citations 
PageRank 
978-1-4577-1906-6
31
1.03
References 
Authors
29
8
Name
Order
Citations
PageRank
Moussa Amrani112010.78
Levi Lucio218513.62
Gehan M. K. Selim31728.94
Benoit Combemale41228.21
Jurgen Dingel5311.03
Hans Vangheluwe61174114.42
Yves Le Traon73922190.39
James R. Cordy82418149.56