Vol. 30 (2010): Graph and Model Transformation 2010

DOI: https://doi.org/10.14279/tuj.eceasst.30

Published: 2010-11-08

Preface

International Colloquium on Graph and Model Transformation (GraMoT) 2010: Preface

Claudia Ermel, Hartmut Ehrig, Fernando Orejas, Gabriele Taentzer
- PDF

Articles

Towards Theorem Proving Graph Grammars using Event-B

Leila Ribeiro, Fernando Dotti, Simone da Costa, Fabiane Dillenburg
- PDF
Test-driven Language Derivation with Graph Transformation-Based Dynamic Meta Modeling

Gregor Engels, Christian Soltenborn
- PDF
Formal Modeling of Communication Platforms using Reconfigurable Algebraic High-Level Nets

Tony Modica, Kathrin Hoffmann
- PDF
Specification and Verification of Model Transformations

Frank Hermann, Mathias Hülsbusch, Barbara König
- PDF
Graph Modelling and Transformation: Theory meets Practice

Claudia Ermel, Karsten Ehrig
- PDF
A Note on Causalities in Reaction Systems

Robert Brijder, Andrzej Ehrenfeucht, Grzegorz Rozenberg
- PDF
Modeling a Service and Session Calculus with Hierarchical Graph Transformation

Roberto Bruni, Andrea Corradini, Ugo Montanari
- PDF
Position Statement: Models in Software and Systems Development

Bernd Mahr
- PDF
Expressiveness of graph conditions with variables

Annegret Habel, Hendrik Radke
- PDF
From Separate Formal Specifications to Certified Integrated Visual Modelling Techniques and Environments - Position Statement

Hartmut Ehrig
- PDF
Second-Order Value Numbering

Tiziana Margaria, Bernhard Steffen, Christian Topnik
- PDF
Stepping from Graph Transformation Units to Model Transformation Units

Hans-Jörg Kreowski, Sabine Kuske, Caroline von Totth
- PDF
A Termination Criterion for Graph Transformations with Negative Application Conditions

Paolo Bottoni, Francesco Parisi Presicce
- PDF
Model Transformations to Mitigate the Semantic Gap in Embedded Systems Verification

Björn Bartels, Sabine Glesner, Thomas Göthel
- PDF
Symbolic Attributed Graphs for Attributed Graph Transformation

Fernando Orejas, Leen Lambers
- PDF
What Algebraic Graph Transformations Can Do For Model Transformations

Gabriele Taentzer
- PDF
From Graph Transformations to Differential Equations

Mayur Bapodra, Reiko Heckel
- PDF
Position Paper: Formal Methods in Agile Development

Michael Löwe
- PDF

Vol. 30 (2010): Graph and Model Transformation 2010

Preface

International Colloquium on Graph and Model Transformation (GraMoT) 2010: Preface

Articles

Towards Theorem Proving Graph Grammars using Event-B

Test-driven Language Derivation with Graph Transformation-Based Dynamic Meta Modeling

Formal Modeling of Communication Platforms using Reconfigurable Algebraic High-Level Nets

Specification and Verification of Model Transformations

Graph Modelling and Transformation: Theory meets Practice

A Note on Causalities in Reaction Systems

Modeling a Service and Session Calculus with Hierarchical Graph Transformation

Position Statement: Models in Software and Systems Development

Expressiveness of graph conditions with variables

From Separate Formal Specifications to Certified Integrated Visual Modelling Techniques and Environments - Position Statement

Second-Order Value Numbering

Stepping from Graph Transformation Units to Model Transformation Units

A Termination Criterion for Graph Transformations with Negative Application Conditions

Model Transformations to Mitigate the Semantic Gap in Embedded Systems Verification

Symbolic Attributed Graphs for Attributed Graph Transformation

What Algebraic Graph Transformations Can Do For Model Transformations

From Graph Transformations to Differential Equations

Position Paper: Formal Methods in Agile Development

Information

Usage Statistics Information