| Title | Description and proof of property preservation of model transformations |
| Authors | Liu, Hui Ma, Zhi-Yi Shao, Wei-Zhong |
| Affiliation | Institute of Software, School of Electronics Engineering and Computer Science, Peking University, Beijing 100871, China Key Laboratory of High Confidence Software Technologies, Peking University, Beijing 100871, China |
| Issue Date | 2007 |
| Publisher | ruan jian xue baojournal of software |
| Citation | Ruan Jian Xue Bao/Journal of Software.2007,18,(10),2369-2379. |
| Abstract | Model transformations are heavily used in model evolution, refinement and refactorings. Model transformations are carried out against certain constraints to preserve certain properties of the models. During model evolution, model transformations should preserve system interfaces; during model refactoring, model transformations should preserve system behaviors. In order to prove that a software transformation satisfies transformation constraints, constraints should be formalized first. And in order to automate the proof, the process of the proof should be universal to be supported by algorithms. This paper proposes an approach for formalizing transformation constraints with graph productions. With the formalized constraints and software transformation rules, an algorithm is also proposed based on critical pair analyzing technologies to automatically prove whether a transformation rule satisfies a transformation constraint or not. The proposed approach is validated with a motivating example used throughout the paper. |
| URI | http://hdl.handle.net/20.500.11897/294195 |
| ISSN | 10009825 |
| DOI | 10.1360/jos182369 |
| Indexed | EI |
| Appears in Collections: | 信息科学技术学院 高可信软件技术教育部重点实验室 |
