Volume 30: Graph and Model Transformation 2010

DOI: http://dx.doi.org/10.14279/tuj.eceasst.30

Table of Contents

Preface

International Colloquium on Graph and Model Transformation (GraMoT) 2010: Preface
Claudia Ermel, Hartmut Ehrig, Fernando Orejas, Gabriele Taentzer
PDF

Articles

Modeling a Service and Session Calculus with Hierarchical Graph Transformation
Roberto Bruni, Andrea Corradini, Ugo Montanari
PDF
Symbolic Attributed Graphs for Attributed Graph Transformation
Fernando Orejas, Leen Lambers
PDF
Graph Modelling and Transformation: Theory meets Practice
Claudia Ermel, Karsten Ehrig
PDF
A Termination Criterion for Graph Transformations with Negative Application Conditions
Paolo Bottoni, Francesco Parisi Presicce
PDF
Formal Modeling of Communication Platforms using Reconfigurable Algebraic High-Level Nets
Tony Modica, Kathrin Hoffmann
PDF
Second-Order Value Numbering
Tiziana Margaria, Bernhard Steffen, Christian Topnik
PDF
Towards Theorem Proving Graph Grammars using Event-B
Leila Ribeiro, Fernando Luis Dotti, Simone André da Costa, Fabiane Cristine Dillenburg
PDF
Expressiveness of graph conditions with variables
Annegret Habel, Hendrik Radke
PDF
From Graph Transformations to Differential Equations
Mayur Bapodra, Reiko Heckel
PDF
A Note on Causalities in Reaction Systems
Robert Brijder, Andrzej Ehrenfeucht, Grzegorz Rozenberg
PDF
Model Transformations to Mitigate the Semantic Gap in Embedded Systems Verification
Björn Bartels, Sabine Glesner, Thomas Göthel
PDF
Specification and Verification of Model Transformations
Frank Hermann, Mathias Hülsbusch, Barbara König
PDF
Stepping from Graph Transformation Units to Model Transformation Units
Hans-Jörg Kreowski, Sabine Kuske, Caroline von Totth
PDF
Test-driven Language Derivation with Graph Transformation-Based Dynamic Meta Modeling
Gregor Engels, Christian Soltenborn
PDF
From Separate Formal Specifications to Certified Integrated Visual Modelling Techniques and Environments - Position Statement
Hartmut Ehrig
PDF
Position Paper: Formal Methods in Agile Development
Michael Löwe
PDF
Position Statement: Models in Software and Systems Development
Bernd Mahr
PDF
What Algebraic Graph Transformations Can Do For Model Transformations
Gabriele Taentzer
PDF