The use of diagrammatic logic as a reasoning mechanism to produce inferences on subsets of some universe could provide a way to overcome the current limitations of visual modelling methods, which have to be integrated with textual languages to express complex constraints. On the other hand, graph transformations are becoming widespread as a way to express formal semantics for visual modelling languages, so that a mechanisation of diagrammatic logic based on graph transformation would facilitate language integration, based on a common underlying machinery. In this paper, we propose such a mechanisation for spider diagrams (SDs), an established language for reasoning with diagrams modelling relations between sets and constraints on their cardinalities. The concrete syntax of SDs extends that of Euler diagrams that use closed curves and the enclosed regions to represent sets and their intersections. The language is augmented with reasoning rules, i.e. syntactic transformation rules corresponding to logical inference rules. However, these rules are typically defined in procedural terms, so that a completely formal specification and an adequate mechanisation of them has not been achieved yet. We propose an abstract syntax for SDs in terms of typed graphs and define the corresponding language of Spider Graphs (SGs), expressing reasoning rules for SDs as graph transformation units. This enables a direct realisation of the reasoning system via graph transformation tools without resorting to ad hoc implementations, and we provide an implementation in AGG. Techniques for static analysis become available to reason on proof strategies and on possible optimisations. © 2013 Springer-Verlag Berlin Heidelberg.

Spider Graphs: a graph transformation system for spider diagrams / Bottoni, Paolo Gaspare; Andrew, Fish; PARISI PRESICCE, Francesco. - In: SOFTWARE AND SYSTEMS MODELING. - ISSN 1619-1366. - STAMPA. - Volume 14:Issue 4(2015), pp. 1421-1453. [10.1007/s10270-013-0381-1]

Spider Graphs: a graph transformation system for spider diagrams

BOTTONI, Paolo Gaspare;PARISI PRESICCE, Francesco
2015

Abstract

The use of diagrammatic logic as a reasoning mechanism to produce inferences on subsets of some universe could provide a way to overcome the current limitations of visual modelling methods, which have to be integrated with textual languages to express complex constraints. On the other hand, graph transformations are becoming widespread as a way to express formal semantics for visual modelling languages, so that a mechanisation of diagrammatic logic based on graph transformation would facilitate language integration, based on a common underlying machinery. In this paper, we propose such a mechanisation for spider diagrams (SDs), an established language for reasoning with diagrams modelling relations between sets and constraints on their cardinalities. The concrete syntax of SDs extends that of Euler diagrams that use closed curves and the enclosed regions to represent sets and their intersections. The language is augmented with reasoning rules, i.e. syntactic transformation rules corresponding to logical inference rules. However, these rules are typically defined in procedural terms, so that a completely formal specification and an adequate mechanisation of them has not been achieved yet. We propose an abstract syntax for SDs in terms of typed graphs and define the corresponding language of Spider Graphs (SGs), expressing reasoning rules for SDs as graph transformation units. This enables a direct realisation of the reasoning system via graph transformation tools without resorting to ad hoc implementations, and we provide an implementation in AGG. Techniques for static analysis become available to reason on proof strategies and on possible optimisations. © 2013 Springer-Verlag Berlin Heidelberg.
2015
spider diagrams; reasoning strategies; diagrammatic reasoning; graph transformations; spider graphs
01 Pubblicazione su rivista::01a Articolo in rivista
Spider Graphs: a graph transformation system for spider diagrams / Bottoni, Paolo Gaspare; Andrew, Fish; PARISI PRESICCE, Francesco. - In: SOFTWARE AND SYSTEMS MODELING. - ISSN 1619-1366. - STAMPA. - Volume 14:Issue 4(2015), pp. 1421-1453. [10.1007/s10270-013-0381-1]
File allegati a questo prodotto
File Dimensione Formato  
Bottoni _Spider_2015.pdf

solo gestori archivio

Tipologia: Versione editoriale (versione pubblicata con il layout dell'editore)
Licenza: Tutti i diritti riservati (All rights reserved)
Dimensione 4.79 MB
Formato Adobe PDF
4.79 MB Adobe PDF   Contatta l'autore

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11573/542830
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 3
  • ???jsp.display-item.citation.isi??? 3
social impact