Towards Verifying Model Transformations

@article{NarayananK2008, abstract = {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.}, author = {Narayanan, Anantha and Karsai, Gabor }, booktitle = {Proceedings of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2006)}, citeulike-article-id = {2745938}, doi = {http://dx.doi.org/10.1016/j.entcs.2008.04.041}, journal = {Electronic Notes in Theoretical Computer Science}, month = {April}, pages = {191--200}, posted-at = {2008-07-03 11:42:11}, priority = {2}, title = {Towards Verifying Model Transformations}, url = {http://dx.doi.org/10.1016/j.entcs.2008.04.041}, volume = {211}, year = {2008} }

TY - JOUR ID - NarayananK2008 L3 - citeulike-article-id:2745938 TI - Towards Verifying Model Transformations T2 - Proceedings of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2006) JF - Electronic Notes in Theoretical Computer Science VL - 211 SP - 191 EP - 200 N2 - 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. AU - Narayanan, Anantha AU - Karsai, Gabor PY - 2008/04/28/ UR - http://dx.doi.org/10.1016/j.entcs.2008.04.041 ER -