Visual multiset rewriting: applications to diagram parsing and reasoning

Paolo Bottoni, Bernd Meyer, Francesco Parisi Presicce

    Research output: Chapter in Book/Report/Conference proceedingChapter (Book)Researchpeer-review

    2 Citations (Scopus)


    Diagrammatic notations, such as Venn diagrams, Petri-Nets and finite state automata, are in common use in mathematics and computer science. While the semantic domain of such systems is usually well formalized, the visual notation itself seldom is, so that they cannot be used as valid devices of formal reasoning. A complete formalization of such notations requires the construction of diagram systems with rigorously defined syntax and semantics. We discuss how diagram specification can be interpreted as multiset rewriting and, based on this, how it can be formalized in linear logic. We discuss the power of our approach through an illustration of its possible extension with reflective capabilities to manage negative conditions, and through the identification of a class of diagrammatic transformations which can be directly expressed in our framework.
    Original languageEnglish
    Title of host publicationMultiset Processing
    Subtitle of host publicationMathematical, Computer Science, and Molecular Computing Points of View
    EditorsCristian S. Calude, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa
    Place of PublicationBerlin Germany
    Number of pages23
    ISBN (Print)3540430636
    Publication statusPublished - 2001

    Publication series

    NameLecture Notes in Computer Science
    ISSN (Print)0302-9743

    Cite this