Abstract | ||
---|---|---|
•We describe a method to compute weakest pre-conditions for model transformations (MT).•The condition to be advanced—the post-condition—is described in OCL.•A pre-condition holds before applying the MT iff the post-condition holds afterwards.•The method enables a wide set of analysis mechanisms, based on backwards reasoning.•These include derivation of application conditions, V&V, MT testing and diagnosis. |
Year | DOI | Venue |
---|---|---|
2016 | 10.1016/j.jss.2015.08.017 | Journal of Systems and Software |
Keywords | DocType | Volume |
Model transformation,OCL,Weakest pre-condition | Journal | 116 |
ISSN | Citations | PageRank |
0164-1212 | 3 | 0.39 |
References | Authors | |
33 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Robert Clarisó | 1 | 474 | 27.51 |
Jordi Cabot | 2 | 1677 | 132.70 |
Esther Guerra | 3 | 504 | 45.53 |
Juan de Lara | 4 | 1596 | 132.28 |