ETAPS 2006

Programme of GT-VMT at ETAPS 2006

Theory of Graph Transformation (chair: Reiko Heckel): Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs; Leen Lambers, Hartmut Ehrig, and Fernando Orejas; Exploiting User-Definable Synchronizations in Graph Transformations; Ivan Lanese; Towards a Notion of Transaction in Graph Rewriting; Paolo Baldan, Andrea Corradini, Fernando Luis Dotti, Luciana Foss, and Fabio Gadducci

QVT and Graph Transformation (chair: Mark Minas): Graph Transformation Semantics for a QVT Language; Arend Rensink and Ronald Nederpel; Transformational Pattern System - some Assembly Required; Mika Siikarla, Tarja Systa; On Challenges for a Graphical Transformation Notation and the UMLX Approach; Edward Willink; View Creation of Meta Models by Using Modified Triple Graph Grammars; Johannes Jakob and Andy Schurr

Verification of Validation (chair: Paolo Baldan): Towards Testing the Implementation of Graph Transformations; Andrea Darabos, Andras Pataricza, and Daniel Varro; Towards Verifying Model Transformations; Anantha Narayanan and Gabor Karsai; Augur 2 - A New Version of a Tool for the Analysis of Graph Transformation Systems; Barbara König and Vitali Kozioura; BPSL Modeler - Visual Notation Language for Intuitive Business Property Reasoning; Ke Xu, Ying Liu, and Cheng Wu; Simulation and Formal Analysis of Workflow Models; Mate Kovacs and Laszlo Gonczy

Joint Workshops Post-Conference Dinner: Dinner at the restaurant Wiener Rathauskeller, Lanner Saal, Rathausplatz 1, 1010 Wien

Invited Talk (chair: Daniel Varro): The Role of Visual Modeling and Model Transformations in Business-driven Development; Jana Koehler

Models, Code, Metrics (chair: Mark Minas): Maintaining Coherency between Models with Distributed Rules: from Theory to Eclipse; Paolo Bottoni, Francesco Parisi Presicce, Gabriele Taentzer, and Simone Pulcini; Visual Specification of Metrics for Domain Specific Visual Languages; Esther Guerra, Paloma Diaz, and Juan de Lara; Semi-Automatic Generation of Metamodels and Models from Grammars and Programs; Andreas Kunert

Programming and Implementation Techniques (chair: Arend Rensink): Implementing an EJB3-Specific Graph Transformation Plugin by Database-Independent Queries; Gergely Varro; Copying Subgraphs within Model Repositories; Pieter Van Gorp, Hans Schippers, and Dirk Janssens; The York Abstract Machine; Greg Manning and Detlef Plump; An Example of Cloning Graph Transformation Rules for Programming; Mark Minas and Berthold Hoffmann

UML and OCL (chair: Arend Rensink): Towards a Graphical Tool for refining User to System Requirements; Marco Autili and Patrizio Pelliccione; Translation of Restricted OCL Constraints into Graph Constraints for Generating Meta Model Instances by Graph Grammars; Karsten Ehrig, Jochen Kuster, Gabriele Taentzer, and Jessica Winkelmann; A Rule-based, Integrated Modelling Approach for Object-Oriented Systems; Benjamin Braatz; A typed attributed Graph Grammar with Inheritance for the Abstract Syntax of UML Class and Sequence Diagrams; Frank Hermann, Hartmut Ehrig, and Gabriele Taentzer

ETAPS 2006 | Top | HTML 4.01 | Last Update: 2006-03-23