Workshop on
"Graph Transformation and Visual Modeling Techniques"
Geneva, Switzerland
Saturday July 15, 2000
A Satellite Event of ICALP'2000
NEW DEADLINES!
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.
Call for Contributions
Authors are invited to submit extended abstracts of up to 5 (five) A4 pages.
The contributions should report about ongoing research in the area of graph
transformation and visual modelling techniques, especially on the syntax
and semantics of visual languages according to the scope and objectives
of the workshop. Contributions exploring the use of Graph Grammars and
Graph Transformation Systems are particularly welcome, as well
as papers which cover several aspects or integrate different formalisms
for the definition of visual modelling techniques. Position papers and
contributions making methodological statements are strongly encouraged.
Submissions should be sent in postscript format to the address <andrea@di.unipi.it>
(Andrea Corradini) before the submission deadline.
Important Dates [Warning: Deadlines are
changed!]
Deadline for submissions: |
March 12, 2000 |
Notification of acceptance: |
April 10, 2000 |
Final version of accepted extended abstracts: |
April 28, 2000 |
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)
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.
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)
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)