ATL: A model transformation tool
From MaRDI portal
Publication:937394
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
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