Ponencia
Fully Verifying Transformation Contracts for Declarative ATL
Autor/es | Oakes, Bentley James
Troya Castilla, Javier Lúcio, Levy Wimmer, Manuel |
Departamento | Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos |
Fecha de publicación | 2015 |
Fecha de depósito | 2018-04-17 |
Publicado en |
|
ISBN/ISSN | 978-1-4673-6908-4 |
Resumen | The Atlas Transformation Language (ATL) is today
a de-facto standard in model-driven development. It is understood
by the community that methods for exhaustively verifying
such transformations provide an important pillar ... The Atlas Transformation Language (ATL) is today a de-facto standard in model-driven development. It is understood by the community that methods for exhaustively verifying such transformations provide an important pillar for achieving a stronger adoption of model-driven development in industry. In this paper we propose a method for verifying ATL model transformations by translating them into DSLTrans, a transformation language with limited expressiveness. Pre-/postcondition contracts are then verified on the resulting DSLTrans specification using a symbolic-execution property prover. The technique we present in this paper is exhaustive for the declarative ATL subset, meaning that if a contract holds, it will hold when any input model is passed to the ATL transformation being checked. We explore the scalability of our technique using a set of examples, including a model transformation developed in collaboration with our industrial partner. |
Agencias financiadoras | European Commission (EC) |
Identificador del proyecto | 317859 (ICT Policy Support Programme) |
Cita | Oakes, B.J., Troya Castilla, J., Lúcio, L. y Wimmer, M. (2015). Fully Verifying Transformation Contracts for Declarative ATL. En MODELS 2015: ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (256-265), Ottawa, ON, Canada: IEEE Computer Society. |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
Fully verifying transformation.pdf | 566.4Kb | [PDF] | Ver/ | |