Tenth International Workshop on Graph Transformation and Visual Modeling Techniques, Saarbrücken, Germany
2 April 2011 - 2 April 2011
Germany
The Tenth International Workshop on Graph Transformation and Visual Modeling Techniques will take place on 2 and 3 April 2011 in Saarbrücken, Germany.
The event will be a forum for 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. It will also promote engineering approaches for visual modeling languages, enhancing formal reasoning at the semantic level in such areas as UML, Petri Nets, graph transformation or business process/workflow models.
This year's edition has a special focus on the visualisation, simulation, and verification of evolving systems. It will also focus on the analysis of changes, upgrades and evolutions that can target software systems.For further information, please visit: http://www.di.unipi.it/gt-vmt/(opens in new window)
The event will be a forum for 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. It will also promote engineering approaches for visual modeling languages, enhancing formal reasoning at the semantic level in such areas as UML, Petri Nets, graph transformation or business process/workflow models.
This year's edition has a special focus on the visualisation, simulation, and verification of evolving systems. It will also focus on the analysis of changes, upgrades and evolutions that can target software systems.For further information, please visit: http://www.di.unipi.it/gt-vmt/(opens in new window)