News |
The Call for Papers of the post-workshop special section of Software and System Modeling (SoSyM) Journal can be found here. | ||||||||
Chair |
Paolo Bottoni
<bottoni@dsi.uniroma1.it>
Mark Minas <minas@acm.org> |
||||||||
Scope and Objectives
|
As diagrammatic notations, such as UML, become widespread in
software engineering and visual end user environments, there is
an increasing need of formal methods to precisely define the
syntax and semantics of such diagrams. In particular, when
visual models of systems or processes constitute executable
specifications of systems, not only is a non-ambiguous
specifications of their static syntax and semantics needed, but
also an adequate notion of diagram dynamics. Such a notion must
establish links (e.g., morphisms) which relate diagram
transformations and transformations of the objects of the
underlying domain. The field of Graph Grammars and Graph
Transformation Systems has contributed much insight into the
solution of these problems, but also other approaches (e.g.,
meta modelling, constraint-based and other rule-based systems),
have been developed to tackle specific issues.
The workshop follows in the line of successful workshops on Graph Transformations and Visual Modelling Techniques, which were before held as satellite events of ICALP'00 and ICALP'01. It aims at gathering researchers working with different methodologies to discuss the relative merits and weaknesses of the different approaches to problems such as diagram parsing, diagram transformation, integrated management of syntactic and semantic aspects, tool support for working with visual models. The focus will be on methodological aspects rather than on particular technical aspects. |
||||||||
History |
This workshop is the third in the series of GT-VMT workshops:
|
||||||||
Program |
The program can be found here. | ||||||||
Call for Papers |
Electronic versions of the call for papers are available in Postscript and PDF format. | ||||||||
Invited Speaker |
Martin Gogolla (University of Bremen, Germany) | ||||||||
Program Committee |
Paolo Bottoni [Co-Chair] (Italy) Andrea Corradini (Italy) Gregor Engels (Germany) Reiko Heckel (Germany) Stuart Kent (UK) Bernd Meyer (Australia) Mark Minas [Co-Chair] (Germany) Francesco Parisi Presicce (Italy) Mauro Pezze' (Italy) Grzegorz Rozenberg (The Netherlands) Gabriele Taentzer (Germany) |
||||||||
Submission |
Authors are invited to submit extended abstracts of 5 to 10
pages
in ENTCS
format until June 20, 2002
electronically via our submission web
form. The contributions should report about ongoing
research in the area of graph transformation and visual modeling
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 modeling techniques.
Position papers and contributions making methodological
statements are strongly encouraged.
Accepted contributions will appear in an issue of Elsevier's Electronic Notes in Theoretical Computer Science. A preliminary version of the issue will be available at the workshop. Authors of the workshop's best papers will be invited to submit extended versions of their contributions to be published in a special section of the Journal on Software & System Modeling (SoSyM). The Call for Papers can be be found here. |
||||||||
Important Dates |
|
||||||||
Organization |
Program Committee pages |