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: /dk/atira/pure/subjectarea/asjc/1700/1712
Departments: Faculty of Science and Technology > School of Computing & Communications
ID Code: 70462
Deposited By: ep_importer_pure
Deposited On: 19 Aug 2014 12:33
Refereed?: Yes
Published?: Published
Last Modified: 14 Feb 2020 08:23
URI: https://eprints.lancs.ac.uk/id/eprint/70462

Actions (login required)

View Item View Item