Towards Verifying Model Transformations

12 years 3 months ago
Towards Verifying Model Transformations
In model-based software development, a complete design and analysis process involves designing the system using the design language, converting it into the analysis language, and performing the verification and analysis on the analysis model. Graph transformation is increasingly being used to automate this conversion. In such a scenario, it is very important that the conversion preserves the semantics of the design model. This paper discusses an approach to verify this semantic equivalence for each transformation. We will show how to check whether a particular transformation resulted in an output model that preserves the semantics of the input model with respect to a particular property. Key words: Graph Transformation, Verification, Bisimulation.
Anantha Narayanan, Gabor Karsai
Added 10 Dec 2010
Updated 10 Dec 2010
Type Journal
Year 2008
Authors Anantha Narayanan, Gabor Karsai
Comments (0)