A survey of approaches for verifying model transformations

Ab. Rahim, Lukman and Whittle, Jon (2015) A survey of approaches for verifying model transformations. Software and Systems Modeling, 14 (2). pp. 1003-1028. ISSN 1619-1366

Full text not available from this repository.


As with other software development artifacts, model transformations are not bug-free and so must be systematically verified. Their nature, however, means that transformations require specialist verification techniques. This paper brings together current research on model transformation verification by classifying existing approaches along two dimensions. Firstly, we present a coarse-grained classification based on the technical details of the approach (e.g., testing, theorem proving, model checking). Secondly, we present a finer-grained classification which categorizes approaches according to criteria such as level of formality, transformation language, properties verified. The purpose of the survey is to bring together research in model transformation verification to act as a resource for the community. Furthermore, based on the survey, we identify a number of trends in current and past research on model transformation verification.

Item Type:
Journal Article
Journal or Publication Title:
Software and Systems Modeling
Uncontrolled Keywords:
ID Code:
Deposited By:
Deposited On:
19 Aug 2014 12:33
Last Modified:
22 Nov 2022 01:03