Title :
Fully verifying transformation contracts for declarative ATL
Author :
Bentley James Oakes;Javier Troya;Levi Lúcio;Manuel Wimmer
Author_Institution :
School of Computer Science, McGill University, Canada
Abstract :
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.
Keywords :
"Contracts","Model-driven development","Mathematical model","Computational modeling","Standards","Impedance matching","Industries"
Conference_Titel :
Model Driven Engineering Languages and Systems (MODELS), 2015 ACM/IEEE 18th International Conference on
DOI :
10.1109/MODELS.2015.7338256
