Time and Space Issues in the Generation of Graph Transition Systems

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

    6 Citations (Scopus)
    21 Downloads (Pure)

    Abstract

    GROOVE is a tool for the automatic generation of graph transition systems from graph grammars. In this type of tool, both memory and time performance are of prime importance. In this paper we discuss the implementation techniques used for optimising the tool in this regard, and we list possible future improvements.
    Original languageEnglish
    Title of host publicationProceedings of the International Workshop on Graph-Based Tools (GraBaTs 2004)
    EditorsT. Mens, A. Schürr, G. Taentzer
    Place of PublicationAmsterdam
    PublisherElsevier
    Pages127-139
    Number of pages13
    DOIs
    Publication statusPublished - Mar 2005
    EventInternational Workshop on Graph-Based Tools, GraBaTs 2004 - Rome, Italy
    Duration: 2 Oct 20042 Oct 2004

    Publication series

    NameElectronic Notes in Theoretical Computer Science
    PublisherElsevier
    Number1
    Volume127
    ISSN (Print)1571-0661

    Workshop

    WorkshopInternational Workshop on Graph-Based Tools, GraBaTs 2004
    Abbreviated titleGraBaTs
    CountryItaly
    CityRome
    Period2/10/042/10/04

    Fingerprint

    Data storage equipment

    Keywords

    • Graph transformation
    • State space generation

    Cite this

    Rensink, A. (2005). Time and Space Issues in the Generation of Graph Transition Systems. In T. Mens, A. Schürr, & G. Taentzer (Eds.), Proceedings of the International Workshop on Graph-Based Tools (GraBaTs 2004) (pp. 127-139). (Electronic Notes in Theoretical Computer Science; Vol. 127, No. 1). Amsterdam: Elsevier. https://doi.org/10.1016/j.entcs.2004.12.036
    Rensink, Arend. / Time and Space Issues in the Generation of Graph Transition Systems. Proceedings of the International Workshop on Graph-Based Tools (GraBaTs 2004). editor / T. Mens ; A. Schürr ; G. Taentzer. Amsterdam : Elsevier, 2005. pp. 127-139 (Electronic Notes in Theoretical Computer Science; 1).
    @inproceedings{1a71b7ba9b2440dbad027f5fe98a453b,
    title = "Time and Space Issues in the Generation of Graph Transition Systems",
    abstract = "GROOVE is a tool for the automatic generation of graph transition systems from graph grammars. In this type of tool, both memory and time performance are of prime importance. In this paper we discuss the implementation techniques used for optimising the tool in this regard, and we list possible future improvements.",
    keywords = "Graph transformation, State space generation",
    author = "Arend Rensink",
    year = "2005",
    month = "3",
    doi = "10.1016/j.entcs.2004.12.036",
    language = "English",
    series = "Electronic Notes in Theoretical Computer Science",
    publisher = "Elsevier",
    number = "1",
    pages = "127--139",
    editor = "T. Mens and A. Sch{\"u}rr and G. Taentzer",
    booktitle = "Proceedings of the International Workshop on Graph-Based Tools (GraBaTs 2004)",

    }

    Rensink, A 2005, Time and Space Issues in the Generation of Graph Transition Systems. in T Mens, A Schürr & G Taentzer (eds), Proceedings of the International Workshop on Graph-Based Tools (GraBaTs 2004). Electronic Notes in Theoretical Computer Science, no. 1, vol. 127, Elsevier, Amsterdam, pp. 127-139, International Workshop on Graph-Based Tools, GraBaTs 2004, Rome, Italy, 2/10/04. https://doi.org/10.1016/j.entcs.2004.12.036

    Time and Space Issues in the Generation of Graph Transition Systems. / Rensink, Arend.

    Proceedings of the International Workshop on Graph-Based Tools (GraBaTs 2004). ed. / T. Mens; A. Schürr; G. Taentzer. Amsterdam : Elsevier, 2005. p. 127-139 (Electronic Notes in Theoretical Computer Science; Vol. 127, No. 1).

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

    TY - GEN

    T1 - Time and Space Issues in the Generation of Graph Transition Systems

    AU - Rensink, Arend

    PY - 2005/3

    Y1 - 2005/3

    N2 - GROOVE is a tool for the automatic generation of graph transition systems from graph grammars. In this type of tool, both memory and time performance are of prime importance. In this paper we discuss the implementation techniques used for optimising the tool in this regard, and we list possible future improvements.

    AB - GROOVE is a tool for the automatic generation of graph transition systems from graph grammars. In this type of tool, both memory and time performance are of prime importance. In this paper we discuss the implementation techniques used for optimising the tool in this regard, and we list possible future improvements.

    KW - Graph transformation

    KW - State space generation

    U2 - 10.1016/j.entcs.2004.12.036

    DO - 10.1016/j.entcs.2004.12.036

    M3 - Conference contribution

    T3 - Electronic Notes in Theoretical Computer Science

    SP - 127

    EP - 139

    BT - Proceedings of the International Workshop on Graph-Based Tools (GraBaTs 2004)

    A2 - Mens, T.

    A2 - Schürr, A.

    A2 - Taentzer, G.

    PB - Elsevier

    CY - Amsterdam

    ER -

    Rensink A. Time and Space Issues in the Generation of Graph Transition Systems. In Mens T, Schürr A, Taentzer G, editors, Proceedings of the International Workshop on Graph-Based Tools (GraBaTs 2004). Amsterdam: Elsevier. 2005. p. 127-139. (Electronic Notes in Theoretical Computer Science; 1). https://doi.org/10.1016/j.entcs.2004.12.036