View publication
| Title | Typing ATL Models in Global Model Management |
| Authors | Andrés Vignaga, Cecilia Bastarrica |
| Publication date | 2009 |
| Abstract | A typing approach for models, and in particular for model transformations, is required for preventing type errors during execution in a Global Model Management (GMM) environment. Based on our previous proposal, in this work we specifically address the typing of ATL models, which are ATL modules and ATL libraries. We discuss function types for ATL modules, and how they are affected by a specific property exhibited by ATL higher-order transformations. We also propose a new type for ATL libraries and discuss additional checks enabled by it. We organize these types in a hierarchy of types for GMM. |
| Pages | 47-62 |
| Conference name | International Workshop on Model Transformation with ATL |
| Publisher | CEUR Publications |
| Reference URL |
|