<p>GT–VMT 2009 is the eighth 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.</p> <p>This year′s workshop will have a special focus on visualisation, simulation, and verification of domain–specific languages (DSLs) to improve the automation and quality in model–driven and/or service–oriented processes.</p> <p>As a summary, topics relevant to the scope of the workshop include (but not restricted to) the following:</p> <ul><li>formal definition of visual DSLs (incl. meta–modeling, grammars, graphical parsing, etc.);</li><li>static semantics of visual DSLs (incl. OCL, graph patterns, etc.);</li><li>dynamic semantics of visual DSLs (incl. simulation, compilation, etc.);</li><li>model transformations (within and) between DSLs and their application in model–driven development;</li><li>visual DSL analysis (incl. verification & validation, static & dynamic analysis techniques);</li><li>model/graph–based approaches to novel architectural paradigms like service–oriented, GRID, and P2P computing, context–aware and adaptive applications, etc.;</li><li>application of graph transformations and visual modeling techniques in engineering, biology, and medicine;</li><li>case studies and novel application areas;</li><li>tool support and efficient algorithms.</li></ul>
Abbrevation
GT-VMT
City
York
Country
UK
Deadline Paper
Start Date
End Date
Abstract