The Edge of Graph Transformation - Graphs for Behavioural Specification

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

    8 Citations (Scopus)

    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.
    Original languageUndefined
    Title of host publicationGraph Transformations and Model-Driven Engineering
    EditorsGregor Engels, Claus Lewerentz, Wilhelm Schäfer, Andy Schürr, Bernhard Westfechtel
    Place of PublicationBerlin
    PublisherSpringer
    Pages6-32
    Number of pages27
    ISBN (Print)978-3-642-17321-9
    DOIs
    Publication statusPublished - Nov 2010

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer Verlag
    Number5765
    Volume5765
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349

    Keywords

    • METIS-271161
    • EWI-18944
    • IR-74962

    Cite this