Workshop on

"Graph Transformation and Visual Modeling Techniques"

Geneva, Switzerland

July 14-15, 2000

A Satellite Event of ICALP'2000

Photos of people at the Workshop and photos of Geneve, by Manfred Muench

A few practical information and important links

The GT-VMT location is the same as the location of the ICALP'2000 Conference, namely

Université de Genève - UNI BASTIONS
3, place de l'Université (at Rue de Candolle), Geneva

Click here for the Workshop Program.
Registration: participants to the workshop must either be registered to ICALP'2000, or must hold a Workshop only registration. See the ICALP'2000 Registration Page for details.
For Practical Information including Accommodation, Local Transportation, Climate, Passports and Visas, plese consult the corresponding ICALP'2000 page.

Scope and Objectives of the Workshop

Visual modelling techniques provide an intuitive, yet precise way in order to express and reason about concepts at their natural level of abstraction. The success of visual techniques in computer science and engineering resulted in a variety of methods and notations addressing different application domains and different phases of the development process. Diagrammatic languages are used, for example, during requirement specification in order to support the communication between developers and customers; but also for describing the architecture of systems and as high-level visual programming languages.

However, despite the wide-spread usage of visual modelling techniques there is a lack of well-understood (and integrated) methodologies for defining their syntax and semantics. Until now, there exists no equivalent to Backus-Naur-Form which would be the notation for defining the syntax of a visual language. The same applies to type systems, deductive proof methods, operational or denotational semantics for visual modelling techniques. In fact, the situation could be compared with the state-of-the-art in programming languages about thirty years ago when the definition and implementation of languages was an ad-hoc task, and formal semantics was an exception rather than the rule.

The workshop aims at bringing together scientists and researchers interested in discussing formal methodologies for the definition of syntax and semantics of visual modelling techniques. All aspects of this problem are of potential interest ranging from the concrete syntax defined, for example, by Constraint Grammars or Picture Layout Grammars, the abstract syntax specified by means of Meta Modelling or Graph Grammars, and the semantics of visual modelling techniques given, e.g., in terms of Graph Transformation, Process Algebra, Abstract State Machines, Type Theory, Logic, etc. In particular, we believe that Graph Grammars and Graph Transformation may play a central role in the definition of visual modelling techniques because they provide the graphical analogous to Chomsky Grammars and Term Rewriting which are widely used for defining the syntax and semantics of textual languages.

Program Committee

Andrea Corradini (University of Pisa, I) [co-chair]
Hartmut Ehrig (TU Berlin, D)
Wolfgang Emmerich (University College London, GB)
Reiko Heckel (University of Paderborn, D) [co-chair]
Dirk Janssens (University of Antwerp, B)
Hans-Joerg Kreowski (University of Bremen, D)
Fernando Orejas (University of Catalonia, Barcelona, E)
Grzegorz Rozenberg (University of Leiden, NL)
Andy Schuerr (University of the German Federal Armed Forces, Munich D)

Invited Speakers

Gregor Engels (University of Paderborn, D)
Martin Gogolla (University of Bremen, D)
Francesco Parisi Presicce (University of Rome, I)
Mauro Pezze' (Politecnico di Milano)

List of Invited and Accepted Contributions

N.	Authors	Title
01	M. Gogolla	Graph Transformations on the UML Metamodel
02	G. Engels and R. Heckel	From Tree to Graphs: Defining the Semantics of Diagram Languages with Graph Transformation
03	F. Parisi-Presicce	Which Graphs for Visual Modeling
04	M. Pezze' and L. Baresi	Can Graph Grammars Make Formal Methods More Human?
05	Y. Adachi and S. Kobayashi	Parsing Context-Sensitive NCE Graph Grammars
06	G. Busatto and P. J. 't Hoen	A Graph-Grammar Based Approach to the Specification of Hypermedia Dynamics
07	A. Corradini, R. Heckel and U. Montanari	Graphical Operational Semantics
08	R. Depke and R. Heckel	Formalising the Development of Agent-Based Systems using Graph Processes
09	H. Ehrig and G. Taentzer	A Proposal for Consistent Integrationof Visual Computing with Visual Development of Software Components
10	S. Gruner, M. Kurt and G. Taentzer	A Visual Modeling Techniquefor Controlling Graph Transformation
11	B. Hoffmann and M. Minas	A Generic Model for Diagram Syntax and Semantics
12	B. Koenig	A Graph Rewriting Semantics for the Polyadic \pi-Calculus
13	M. Muench and A. Schuerr	Generic and Polymorphic Graph Transformations: Supporting the Definition of Visual Languages
14	J. Padberg, C. Ermel and R. Bardohl	Rule-Based and Visual Model Evolution using GenGEd
15	M. Walter	OpenSESAME: A Tool's Concept

Proceedings

The abstracts of the contributions accepted for presentation will be published in a volume collecting the contributions to all satellite workshops of ICALP 2000. The volume will be published by Carleton Scientific, and it will be distributed to all ICALP participants.
On the basis of the number and quality of the submissions, the Program Committee will consider the possibility of inviting submissions for a special issue of an international journal dedicated to the workshop.

Acknowledgements

We acknowledge the financial support by the TMR Research Network GETGRATS (General Theory of Graph Transformation Systems) and the ESPRIT Working Group APPLIGRAPH (Applications of Graph Transformation)