Electronic Notes in Theoretical Computer Science, Volume 152

Volume 152, March 2006

• Gabor Karsai, Gabriele Taentzer:
  Preface. 1-2
  
• Hartmut Ehrig, Karsten Ehrig:
  Overview of Formal Concepts for Model Transformations Based on Typed Attributed Graph Transformation. 3-22
  
• Karsten Ehrig, Jessica Winkelmann:
  Model Transformation From VisualOCL to OCL Using Graph Transformation. 23-37
  
• Karsten Ehrig, Claudia Ermel, Stefan Hänsgen:
  Towards Model Transformation in Generated Eclipse Editor Plug-Ins. 39-52
  
• Berthold Hoffmann, Dirk Janssens, Niels Van Eetvelde:
  Cloning and Expanding Graph Transformation Rules for Refactoring. 53-67
  
• Jean Bézivin, Frédéric Jouault:
  Using ATL for Checking Models. 69-81
  
• Audris Kalnins, Edgars Celms, Agris Sostaks:
  Tool support for MOLA. 83-96
  
• Leen Lambers, Hartmut Ehrig, Fernando Orejas:
  Efficient Detection of Conflicts in Graph-based Model Transformation. 97-109
  
• László Lengyel, Tihamer Levendovszky, Gergely Mezei, Bertalan Forstner, Hassan Charaf:
  Metamodel-Based Model Transformation with Aspect-Oriented Constraints. 111-123
  
• Tom Mens, Pieter Van Gorp:
  A Taxonomy of Model Transformation. 125-142
  
• Tom Mens, Pieter Van Gorp, Dániel Varró, Gabor Karsai:
  Applying a Model Transformation Taxonomy to Graph Transformation Technology. 143-159
  
• Javier Pérez, Miguel A. Laguna, Yania Crespo González-Carvajal, Bruno González-Baixauli:
  Requirements Variability Support Through MDA^TM and Graph Transformation. 161-173
  
• Tivadar Szemethy:
  Case Study: Model Transformations for Time-triggered Languages. 175-190
  
• Gergely Varró, Katalin Friedl, Dániel Varró:
  Adaptive Graph Pattern Matching for Model Transformations using Model-sensitive Search Plans. 191-205
  
• Attila Vizhanyo, Sandeep Neema, Feng Shi, Daniel Balasubramanian, Gabor Karsai:
  Improving the Usability of a Graph Transformation Language. 207-222