The Edge of Graph Transformation - Graphs for Behavioural Specification


Rensink, Arend (2010) The Edge of Graph Transformation - Graphs for Behavioural Specification. In: Gregor Engels & Claus Lewerentz & Wilhelm Schäfer & Andy Schürr & Bernhard Westfechtel (Eds.), Graph Transformations and Model-Driven Engineering. Lecture Notes in Computer Science, 5765 . Springer Verlag, Berlin, pp. 6-32. ISBN 9783642173219

[img] PDF
Restricted to UT campus only

Abstract:The title of this paper, besides being a pun, can be taken to mean either the frontier of research in graph transformation, or the advantage of using graph transformation. To focus on the latter: Why should anyone not already educated in the field adopt graph transformation-based methods, rather than a mainstream modelling language or a process algebra; or vice versa, what is holding potential users back? These questions can be further refined by focusing on particular aspects like usability (available tools) or power (available theory).

In this paper, we take a fresh and honest look at these issues. Our perspective is the use of graph transformation as a formalism for the specification and analysis of system behaviour. There is no question that the general nature of graphs is at once their prime selling point (essentially everything can be specified in terms of graphs) and their main drawback (the manipulation of graphs is complex, and many properties that are useful in more specialised formalisms no longer hold for general graphs).

The outcome of this paper is a series of recommendations that can be used to outline a research and development programme for the coming decade. This may help to stimulate the continued and increasing acceptance of graph transformation within the rest of the scientific community, thereby ensuring research that is relevant, innovative and on the edge.
Item Type:Book Section
Copyright:© 2010 Springer
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:
Official URL:
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page

Metis ID: 271161