Sorry if some of you receive multiple copies of this message. Paolo Bottoni and Mark Minas (GT-VMT'02 Co-Chairs) ------------------------------------------------------------------------ Call for Papers ************************************************************************ * * * International Workshop on * * Graph Transformation and Visual Modeling Techniques (GT-VMT '02) * * * * http://www2.cs.fau.de/GTVMT02/ * * * * Barcelona, Spain * * October 11-12, 2002 * * * ************************************************************************ A satellite event of the First International Conference on Graph Transformation (ICGT 2002) As diagrammatic notations, such as UML, become widespread in software engineering and visual end user environments, there is an increasing need for 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. 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 (http://math.tulane.edu/~entcs/) until June 15, 2002 electronically via our submission web form (http://www2.cs.fau.de/GTVMT02/submission.html). 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. Publication ----------- Accepted contributions will appear in an issue of Elsevier's Electronic Notes in Theoretical Computer Science (ENTCS). A preliminary version of the issue will be available at the workshop. Important Dates --------------- June 15, 2002: Submission Deadline July 15, 2002: Notification of Acceptance Sept. 6, 2002: Camera Ready Version Further Information ------------------- GT-VMT'02 web site: http://www2.cs.fau.de/GTVMT02/ ICGT 2002 web site: http://www.lsi.upc.es/icgt2002/ 22-May-2002 05:48:41 -0300,5484;000000000001-00000000