Login / Signup

On validation of ATL transformation rules by transformation models.

Fabian BüttnerJordi CabotMartin Gogolla
Published in: MoDeVVa@MoDELS (2011)
Keyphrases
  • transformation rules
  • transformation models
  • transformation model
  • merging algorithm
  • metamodel
  • multi agent systems
  • model checking
  • model driven
  • information retrieval systems
  • query optimizer
  • query specific