A survey of approaches for verifying model transformations

被引：0
作者：
Lukman Ab. Rahim
Jon Whittle
机构：
[1] Universiti Teknologi PETRONAS,Department of Computer and Information Sciences
[2] Lancaster University,School of Computing and Communications, InfoLab21
来源：
Software & Systems Modeling | 2015年 / 14卷
关键词：
Model transformations; Verification; Survey;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
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.
引用
收藏
页码：1003 / 1028
页数：25
相关论文
共 40 条
  • [1] Blair G(2009)Models Computer 42 22-27
  • [2] Bencomo N(1984)run.time IEEE Softw. 1 75-88
  • [3] France RB(2000)Verifying and validating software requirements and design specifications Theor. Comput. Sci. 236 35-132
  • [4] Boehm B(2009)Specification and proof in membership equational logic J. Syst. Softw. 83 283-302
  • [5] Bouhoula A(2006)Verification and validation of declarative model-to-model transformations through invariants IBM Syst. J. 45 621-645
  • [6] Jouannaud J-P(2010)Feature-based survey of model transformation approaches Innov. Syst. Softw. Eng. 6 73-81
  • [7] Meseguer J(1995)Formal executable semantics for conformance in the MDE framework Inf. Softw. Technol. 37 701-707
  • [8] Cabot J(2008)Estimating the quality of functional programs: an empirical investigation Comput. Graph. Forum 27 759-766
  • [9] Clarisó R(1998)Visual comparison of hierarchically organized data J. Log. Program. 37 1-46
  • [10] Guerra E(2008)The semantics of constraint logic programs Sci. Comput. Program. 72 31-39
1234