Copyright Information
The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of
scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other
copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying
this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without
the explicit permission of the copyright holder.
Sensoria Bibliography Site Graph Transformations and Visual Modeling Techniques: 5th International Workshop, GT-VMT 2006, Vienna, Austria, April 1-2, 2006, Proceedings
Roberto Bruni, Dániel Varró
abstract:
GT-VMT 2006 is the fifth 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. Due to the variety of languages and methods used in different domains, the aim of the workshop is to promote engineering approaches that starting from high-level specifications and robust formalizations allow for the design and the implementation of such visual modeling techniques, hence providing effective tool support at the semantic level (e.g., for model analysis, transformation, and consistency management). Contributions are welcome from communities working on popular visual modeling notations like UML, Petri nets, Graph Transformation, Business Process/Workflow Models. This edition of the workshop has an additional focus on Models for Mobile Systems and Services (including Service-Oriented and GRID computing architectures) where huge and highly dynamic graph-like structures offer a challenging ground for the application of graph transformation techniques and tools. As a summary, topics relevant to the scope of the workshop include (but not restricted to) the following: visual language definition (incl. metamodelling, grammars, graphical parsing, etc.); static semantics of visual languages (incl. OCL, graph patterns, etc.); dynamic semantics of visual languages (incl. simulation, animation, compilation, etc.); model transformations (within and) between languages; visual language analysis (incl. verification & validation, static analysis techniques); model / graph-based approaches to service-oriented computing and GRID architectures; case studies and novel application areas; tool support and efficient algorithms.