|
|
GT-VMT 2010 is the ninth workshop of a series that serves as
a forum for all researchers and practitioners interested in the use of
graph-based notation, techniques, and tools for the specification,
modeling, validation, manipulation and verification of complex systems.
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 will have a special focus on
visualization, simulation, and verification of concurrent and
distributed systems.
Concurrency and distribution are among the most vital concerns to
nowadays computing due to the importance of interconnected systems and
the increased diffusion of multi-core architectures. Nevertheless,
concurrent and distributed systems are hard to specify, design, verify
and implement.
Visual and graph-based techniques may be exploited to cope with the
complexity in engineering of and reasoning about concurrent and
distributed systems. In fact, graph-based approaches have recently been
successfully applied to represent several computational aspects of
different classes of distributed systems ranging from mobile systems
a-la pi-calculus, to coordination in service-oriented systems, to
communication networks. The aim of the workshop is to promote graph-
and visual-based approaches for modelling, designing, implementing and
reasoning about concurrent and distributed systems. The general areas
of interest range from non-functional aspects (e.g., security, quantitive
aspects), to (semi)formal modelling frameworks, to visual techniques
for distributed and concurrent systems.
Besides the traditional topics of the GT-VMT series like
- visual language definition (incl. metamodelling, grammars, graphical parsing, etc.)
- syntax and semantics of visual languages (incl. OCL, graph patterns, simulation, animation, compilation, verification & validation, static analysis techniques, etc.)
- model transformations
- graph transformations and visual modeling techniques in engineering, biology, and medicine
- case studies and novel application areas
- tool support and efficient algorithms
more focused topics of interest include but are not limited to
- visual and graph-based languages for distributed systems
- graph models of distributed computations
- verification and validation of distributed systems with visual techniques
- graphical static & dynamic analysis of distributed systems
- graphs for architectural design languages for distributed systems
- visual techniques for modeling process choreographies and distributed workflows
- visual/graph-based approaches to distributed coordination mechanisms
- graph-based semantics models of novel distributed architectures (e.g., service oriented, GRID, P2P computing, and context aware/adaptive distributed applications)
- model transformations of graphical into textual formalisms for distributed systems
- model transformations and their application in model-driven development of distributed and concurrent systems
- relating models/visual tools for concurrency/distribution
- ...
Suggested topics of interest include but are not limited to
- visual and graph-based languages for distributed systems
- graph models of distributed computations
- verification and validation of distributed systems with
visual techniques
- graphical static & dynamic analysis of distributed
systems
- graphs for architectural design languages for distributed
systems
- visual techniques for modeling process choreographies and
distributed workflows
- visual/graph-based approaches to distributed coordination
mechanisms
- graph-based semantics models of novel distributed
architectures (e.g., service oriented, GRID, P2P computing, and context
aware/adaptive distributed applications)
- model transformations of graphical into textual formalisms
for distributed systems
- model transformations and their application in model-driven
development of distributed and concurrent systems
- relating models/visual tools for concurrency/distribution
- case studies and novel application areas
- tool support and efficient algorithms
- ...
|
|
|
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
(ITU)
Holger
Giese (HPI Potsdam, Germany)
Barbara
König (University of Duisburg-Essen)
Jochen Küster
(IBM Research - Zurich) [co-chair]
Alberto Lluch Lafuente
(IMT Institute for Advanced Studies Lucca, Italy)
Juan de Lara
(Universidad Autónoma de 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 (University of Marburg, Germany)
Emilio Tuosto
(University of Leicester) [co-chair]
Dániel
Varró (TU Budapest, Hungary)
Erhard
Weinell (RWTH Aachen University)
Albert
Zündorf (University of Kassel, Germany)
|
|
|
The proceedings of this workshop will be published in the
journal Electronic Communications of the EASST. Papers should not
exceed 12 pages.
For preparing your manuscript, the EASST templates can be
downloaded here.
Please submit your abstract and paper using http://www.easychair.org/conferences/?conf=gtvmt10.
To prepare
the camera-ready version of your paper for the pre-proceedings of the
workshop, please proceed as follows:
- Latex sources: substitute the eceasst.cls file by this one
- Word document: use this template
The resulting document should not contain information about
either volume or page numbers. This is an example.
Put all the files necessary to generate the pdf in a directory
and submit a gzipped tarball of this directory through easychair
(go to the easychair page of your paper and click
on 'Submit a new version').
Please include in the directory a letter for reviewers changes.pdf
as required by the notification email.
|
