On A Graph Formalism for Ordered Edges

M.J. de Mol, Arend Rensink

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    18 Downloads (Pure)

    Abstract

    Though graphs are flexible enough to model any kind of data structure in principle, for some structures this results in a rather large overhead. This is for instance true for lists, i.e., edges that are meant to point to an ordered collection of nodes. Such structures are frequently encountered, for instance as ordered associations in UML diagrams. Several options exist to model lists using standard graphs, but all of them need auxiliary structure, and even so their manipulation in graph transformation rules is not trivial. In this paper we propose to enrich graphs with special ordered edges, which more naturally represent the intended structure, and de��?ne how lists can be manipulated. We show that the resulting category satis��?es suf��?cient HLR properties to apply standard algebraic graph transformation. We believe that in a context where lists are common, the cost of a more complicated graph formalism is outweighed by the bene��?t of a smaller, more appropriate model and more straightforward manipulation.
    Original languageUndefined
    Title of host publicationProceedings of the Ninth International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2010)
    EditorsJ. Küster, E. Tuosto
    PublisherEuropean Association for the Study of Science and Technology
    Pages-
    Number of pages12
    ISBN (Print)1863-2122
    Publication statusPublished - 16 Aug 2010
    EventNinth International Workshop on Graph Transformation and Visual Modeling Techniques, GT-VMT 2010 - Paphos, Cyprus
    Duration: 20 Mar 201021 Mar 2010

    Publication series

    NameElectronic Communications of the EASST
    PublisherThe European Association for the Study of Science and Technology
    Volume29
    ISSN (Print)1863-2122

    Workshop

    WorkshopNinth International Workshop on Graph Transformation and Visual Modeling Techniques, GT-VMT 2010
    Period20/03/1021/03/10
    Other20-21 March 2010

    Keywords

    • METIS-270976
    • IR-72603
    • SE-GT: Graph Transformations
    • Ordered Edges
    • EWI-18286
    • Graph Rewriting

    Cite this