Typing ATL Models in Global Model Management
From AtlanMod
< To: MtATL2009
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.
