Loading...
Please wait, while we are loading the content...
Similar Documents
Electronic Communications of the EASST Volume 10 ( 2008 ) Proceedings of the Seventh International Workshop on Graph Transformation and Visual Modeling Techniques ( GT-VMT 2008 ) Verifying Model Transformations by Structural Correspondence
| Content Provider | Semantic Scholar |
|---|---|
| Author | Narayanan, Anantha Karsai, Gabor |
| Copyright Year | 2007 |
| Abstract | Model transformations play a significant role in model based software development, and the correctness of the transformation is crucial to the success of the development effort. We have previously shown how we can use bisimulation to verify the preservation of certain behavioral properties across a transformation. However, transformations are often used to construct structurally different models, and we might wish to ensure that there is some structural correspondence to the original model. It may be possible to verify such transformations without having to explicitly specify the dynamic semantics of the source and target languages. In this paper, we present a technique to verify such transformations, by first specifying certain structural correspondence rules between the source and target languages, and extending the transformation so that these rules can be easily evaluated on the instance models. This will allow us to conclude if the output model has the expected structure. The verification is performed at the instance level, meaning that each execution of the transformation is verified. We will also look at some examples using this technique. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | https://journal.ub.tu-berlin.de/eceasst/article/download/157/137 |
| Alternate Webpage(s) | http://www.isis.vanderbilt.edu/sites/default/files/25_AN_GK.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
