Moteur réactif pour le langage de transformation de modèles ATL. Dans un environnement d'applications à base de modèles, il fonctionne en activant uniquement le calcul strictement nécessaire en réponse aux mises à jour ou demandes d'éléments de modèles. Le calcul est mis à jour lorsque cela est nécessaire, de manière autonome et optimisée en utilisant l'incrémentalité et l'évaluation paresseuse.