Comparing verification techniques for model transformations

LANO, K, KOLAHDOUZ-RAHIMI, S and CLARK, Tony (2012). Comparing verification techniques for model transformations. In: MoDeVVa '12 Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation. ACM, 23-28.

Full text not available from this repository.

Abstract

Model transformations are a central element of model-driven development (MDD) approaches. The correctness of model transformations is critical to their effective use in practical software development, since users must be able to rely upon transformations correctly preserving the semantics of source models and producing valid target models. In this paper we provide techniques for proving the termination, confluence and correctness of declaratively-specified model transformations, relative to a formal semantics for UML and OCL. We compare the effectiveness of syntactic analysis techniques, interactive verification tools and automated proof tools.

Item Type:	Book Section
Research Institute, Centre or Group - Does NOT include content added after October 2018:	Cultural Communication and Computing Research Institute > Communication and Computing Research Centre
Departments - Does NOT include content added after October 2018:	Faculty of Science, Technology and Arts > Department of Computing
Identification Number:	https://doi.org/10.1145/2427376.2427381
Page Range:	23-28
Depositing User:	Tony Clark
Date Deposited:	20 Apr 2016 11:02
Last Modified:	18 Mar 2021 18:15
URI:	https://shura.shu.ac.uk/id/eprint/12021

Actions (login required)

View Item

Downloads

Publication Metrics