Home > Research > Publications & Outputs > A survey of approaches for verifying model tran...

Research

Links

Text available via DOI:

Keywords

View graph of relations

A survey of approaches for verifying model transformations

Research output: Contribution to Journal/Magazine › Journal article › peer-review

Published

Standard

A survey of approaches for verifying model transformations. / Ab. Rahim, Lukman; Whittle, Jon.
In: Software and Systems Modeling, Vol. 14, No. 2, 05.2015, p. 1003-1028.

Research output: Contribution to Journal/Magazine › Journal article › peer-review

Harvard

Ab. Rahim, L & Whittle, J 2015, 'A survey of approaches for verifying model transformations', Software and Systems Modeling, vol. 14, no. 2, pp. 1003-1028. https://doi.org/10.1007/s10270-013-0358-0

APA

Ab. Rahim, L., & Whittle, J. (2015). A survey of approaches for verifying model transformations. Software and Systems Modeling, 14(2), 1003-1028. https://doi.org/10.1007/s10270-013-0358-0

Vancouver

Ab. Rahim L, Whittle J. A survey of approaches for verifying model transformations. Software and Systems Modeling. 2015 May;14(2):1003-1028. Epub 2013 Jun 13. doi: 10.1007/s10270-013-0358-0

Author

Ab. Rahim, Lukman ; Whittle, Jon. / A survey of approaches for verifying model transformations. In: Software and Systems Modeling. 2015 ; Vol. 14, No. 2. pp. 1003-1028.

Bibtex

@article{c92f3d03f3af4918bdee699e621ea2b5,
title = "A survey of approaches for verifying model transformations",
abstract = "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.",
keywords = "Model transformations, Verification, Survey",
author = "{Ab. Rahim}, Lukman and Jon Whittle",
year = "2015",
month = may,
doi = "10.1007/s10270-013-0358-0",
language = "English",
volume = "14",
pages = "1003--1028",
journal = "Software and Systems Modeling",
issn = "1619-1366",
publisher = "Springer Verlag",
number = "2",

}

RIS

TY - JOUR

T1 - A survey of approaches for verifying model transformations

AU - Ab. Rahim, Lukman

AU - Whittle, Jon

PY - 2015/5

Y1 - 2015/5

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.

AB - 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.

KW - Model transformations

KW - Verification

KW - Survey

U2 - 10.1007/s10270-013-0358-0

DO - 10.1007/s10270-013-0358-0

M3 - Journal article

VL - 14

SP - 1003

EP - 1028

JO - Software and Systems Modeling

JF - Software and Systems Modeling

SN - 1619-1366

IS - 2

ER -