ATL: A model transformation tool

DOI10.1016/j.scico.2007.08.002zbMath1154.68366OpenAlexW1965979806MaRDI QIDQ937394

Frédéric Jouault, Jean-Paul Bézivin, Ivan Kurtev, Freddy Allilaire

Publication date: 15 August 2008

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2007.08.002

zbMATH Keywords

model transformationM2M (model-to-model transformation)model engineering

Mathematics Subject Classification ID

Theory of software (68N99)

Related Items (10)

Modularizing behavioral and architectural crosscutting concerns in formal component-based systems -- application to the behavior interaction priority framework ⋮ Trustworthy variant derivation with translation validation for safety critical product lines ⋮ Amalgamation of domain specific languages with behaviour ⋮ Multilevel Typed Graph Transformations ⋮ Multilevel coupled model transformations for precise and reusable definition of model behaviour ⋮ Grammar-based model transformations: definition, execution, and quality properties ⋮ PTL: a model transformation language based on logic programming ⋮ Formal verification of complex business processes based on high-level Petri nets ⋮ ATL ⋮ What is the natural abstraction level of an algorithm?

This page was built for publication: ATL: A model transformation tool