Preface Electronic Communications of the EASST Volume 29 (2010) Proceedings of the Ninth International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2010) Preface Jochen M. Küster, Emilio Tuosto 2 pages Guest Editors: Jochen Küster, Emilio Tuosto Managing Editors: Tiziana Margaria, Julia Padberg, Gabriele Taentzer ECEASST Home Page: http://www.easst.org/eceasst/ ISSN 1863-2122 http://www.easst.org/eceasst/ ECEASST Preface This volume contains the post-proceedings of the Ninth GT-VMT International Workshop on Graph Transformation and Visual Modeling Techniques held in Paphos (Cyprus) on March 20-21 2010, as a satellite event to the European Joint Con- ference on Theory and Practice of Software (ETAPS). The GT-VMT workshop series serves as a forum for all researchers and practitioners inter- ested in the use of graph-based notations, techniques, and tools for the specification, modeling, validation, manipulation, and verification of complex systems. Previous workshops were orga- nized in Geneva (2000), Crete (2001), Barcelona (2002 and 2004), Vienna (2006), Braga (2007), Budapest (2008) and York (2009). The aim of the workshop is to promote engineering approaches that provide effective, sound tool support for visual modeling languages, enhancing formal reasoning at the semantic level (e.g., for model analysis, transformation, and consistency management) in different domains, such as UML, Petri nets, graph transformation, or business process/workflow models. This year’s workshop had a special focus on visualization, simulation, and verification of con- current and distributed systems; GT-VMT 2010 featured the invited speech of Prof. Fernando Orejas from the Department of Software, Technical University of Catalonia, in Barcelona who presented recent advancements on Symbolic Attributed Graphs and Attributed Graph Transfor- mation. We received 30 submissions of which 13 were accepted after the usual reviewing process (each paper was reviewed by 3 reviewers) followed by the Programme Committee discussion. The papers balance theoretical and applied concepts, including tool support. The workshop program was organized into five technical sessions spanning over two days: Saturday, March 20, 2010 Sunday, March 21, 2010 Foundations Model Transformations Modeling and Modeling Environments Foundations Interactions We would like to thank the members of the Programme Committee and the two external re- viewers (listed below) for their excellent work in selecting the papers for this workshop. We also thank all the participants who attended GT-VMT 2010 and contributed to its success by stimulating interesting scientific discussions. The organizers acknowledge the support of the organizing committee of ETAPS, the Euro- pean Association of Software Science and Technology (EASST), and the IST Integrated Project SENSORIA (Software Engineering for Service-Oriented Overlay Computers) funded by the Eu- ropean Union in the 6th Framework Programme as part of the Global Computing Initiative. May 2010 Jochen Küster and Emilio Tuosto PC Chairs of GT-VMT 2010 1 / 2 Volume 29 (2010) Preface Programme Chairs Jochen Küster, IBM Research Zurich Emilio Tuosto, University of Leicester Programme Committee Paolo Baldan (University of Padova, Italy) Artur Boronat (University of Leicester, UK) Andrea Corradini (University of Pisa, Italy) Claudia Ermel (TU Berlin, Germany) Gregor Engels (University of Paderborn, Germany) Reiko Heckel (University of Leicester, UK) Thomas Hildebrandt (IT University of Copenhagen, Denmark) Holger Giese (HPI Potsdam, Germany) Barbara König (University of Duisburg-Essen, Germany) Jochen Küster (IBM Research Zurich, Switzerland) Alberto Lluch Lafuente (IMT Institute for Advanced Studies Lucca, Italy) Juan de Lara (University of Madrid, Spain) Mark Minas (Universität der Bundeswehr München, Germany) Francesco Parisi-Presicce (University of Rome, Italy) Arend Rensink (University of Twente, Netherlands) Gabriele Taentzer (Universiy of Marburg, Germany) Emilio Tuosto (University of Leicester, UK) Dániel Varró (TU Budapest, Hungary) Ehrard Weinell (RWTH Aachen University, Germany) Albert Zündorf (University of Kassel, Germany) External Reviewers Christian Kissig (University of Leicester) Tobias Heindel (University of Duisburg-Essen) Proc. GT-VMT 2010 2 / 2