TY  - JOUR
N2  - 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. © 2013, Springer-Verlag Berlin Heidelberg.
ID  - scholars5953
Y1  - 2015///
VL  - 14
KW  - Software design; Surveying; Surveys; Verification
KW  -  Bug-free; Coarse-grained; Model transformation; Model transformation verifications; Technical details; Transformation languages; Two-dimension; Verification techniques
KW  -  Model checking
AV  - none
UR  - https://www.scopus.com/inward/record.uri?eid=2-s2.0-84929061309&doi=10.1007%2fs10270-013-0358-0&partnerID=40&md5=47ed2079a60bd265dc5a96dfe3acae54
SP  - 1003
PB  - Springer Verlag
A1  - Ab. Rahim, L.
A1  - Whittle, J.
SN  - 16191366
IS  - 2
N1  - cited By 70
JF  - Software and Systems Modeling
TI  - A survey of approaches for verifying model transformations
EP  - 1028
ER  -