ATL: A model transformation tool. In the context of Model Driven Engineering, models are the main development artifacts and model transformations are among the most important operations applied to models. A number of specialized languages have been proposed, aimed at specifying model transformations. Apart from the software engineering properties of transformation languages, the availability of high quality tool support is also of key importance for the industrial adoption and ultimate success of MDE. In this paper we present ATL: a model transformation language and its execution environment based on the Eclipse framework. ATL tools provide support for the major tasks involved in using a language: editing, compiling, executing, and debugging.

References in zbMATH (referenced in 23 articles , 1 standard article )

Showing results 1 to 20 of 23.
Sorted by year (citations)

1 2 next

  1. Macías, Fernando; Wolter, Uwe; Rutle, Adrian; Durán, Francisco; Rodriguez-Echeverria, Roberto: Multilevel coupled model transformations for precise and reusable definition of model behaviour (2019)
  2. El-Hokayem, Antoine; Falcone, Yliès; Jaber, Mohamad: Modularizing behavioral and architectural crosscutting concerns in formal component-based systems -- application to the behavior interaction priority framework (2018)
  3. Strüber, D.; Rubin, J.; Arendt, T.; Chechik, M.; Taentzer, G.; Plöger, J.: Variability-based model transformation: formal foundation and application (2018)
  4. Durán, Francisco; Moreno-Delgado, Antonio; Orejas, Fernando; Zschaler, Steffen: Amalgamation of domain specific languages with behaviour (2017)
  5. Kheldoun, Ahmed; Barkaoui, Kamel; Ioualalen, Malika: Formal verification of complex business processes based on high-level Petri nets (2017)
  6. Almendros-Jiménez, Jesús M.; Iribarne, Luis; López-Fernández, Jesús; Mora-Segura, Ángel: PTL: a model transformation language based on logic programming (2016)
  7. Iosif-Lazăr, Alexandru F.; Wąsowski, Andrzej: Trustworthy variant derivation with translation validation for safety critical product lines (2016)
  8. Durán, Francisco; Roldán, Manuel; Moreno, Antonio; Álvarez, José María: Dynamic validation of maude prototypes of UML models (2014) ioport
  9. Mitsch, Stefan; Passmore, Grant Olney; Platzer, André: Collaborative verification-driven engineering of hybrid systems (2014) ioport
  10. Saritas, Hidayet Burak; Kardas, Geylani: A model driven architecture for the development of smart card software (2014) ioport
  11. Kappel, Gerti; Langer, Philip; Retschitzegger, Werner; Schwinger, Wieland; Wimmer, Manuel: Model transformation by-example: a survey of the first wave (2012) ioport
  12. Büttner, Fabian; Gogolla, Martin: Modular embedding of the object constraint language into a programming language (2011) ioport
  13. Mora, Beatriz; García, Félix; Ruiz, Francisco; Piattini, Mario: Graphical versus textual software measurement modelling: an empirical study (2011) ioport
  14. Cabot, Jordi; Pau, Raquel; Raventós, Ruth: From UML/OCL to SBVR specifications: a challenging transformation (2010) ioport
  15. Derrick, John; Wehrheim, Heike: Model transformations across views (2010)
  16. Moha, Naouel; Sen, Sagar; Faucher, Cyril; Barais, Olivier; Jézéquel, Jean-Marc: Evaluation of Kermeta for solving graph-based problems (2010) ioport
  17. Montali, Marco: Specification and verification of declarative open interaction models. A logic-based approach (2010)
  18. Gargantini, Angelo; Riccobene, Elvinia; Scandurra, Patrizia: A semantic framework for metamodel-based languages (2009) ioport
  19. Gherbi, Abdelouahed; Khendek, Ferhat: From UML/SPT models to schedulability analysis: approach and a prototype implementation using ATL (2009) ioport
  20. Jouault, Frédéric; Bézivin, Jean; Barbero, Mikaël: Towards an advanced model-driven engineering toolbox (2009) ioport

1 2 next