Funded by EU, as Research Training Network.
The primary objective of the project is to develop meta-level solutions for the definition, integration, and implementation of visual modeling techniques. This includes issues such a:
- using abstract syntax graphs and spatial relationship graphs. The corresponding classes of graphs can be specified either by metamodels or graph grammars.
- the use of graph-based semantics for defining the exact meaning of the models used.
- modularity, refinement and transformation: relevant concepts from formal methods like algebraic specifications, process calculi, Petri nets and graph transformation shall provide the semantic background for corresponding features in visual modelling languages.
- integration, both at the syntactic and the semantic level.
- tool support: the use of graph transformation-based tools as meta case tools shall be evaluated, and the integration of tools shall be supported by means of an XML/XMI-based interchange format for graphs and graph transformation.
