Spider Graphs : a graph transformation system for spider diagrams
- Submitting institution
-
University of Brighton
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 7126603
- Type
- D - Journal article
- DOI
-
10.1007/s10270-013-0381-1
- Title of journal
- Software and Systems Modeling
- Article number
- -
- First page
- 1421
- Volume
- 14
- Issue
- 4
- ISSN
- 1619-1366
- Open access status
- Out of scope for open access requirements
- Month of publication
- October
- Year of publication
- 2015
- URL
-
-
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
2
- Research group(s)
-
-
- Citation count
- 3
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- Reasoning systems for visual logics tend to be stand-alone bespoke systems, thereby requiring extensive effort to analyse or enable use in practice, whilst limiting the scope for reusability of methods and implementations. This paper is significant because it connects visual logic development with the well-established field of graph transformation theory, not only providing formal semantics to an exemplar visual logic (Spider diagrams), but also enabling the use of standard graph transformation theory techniques such as for static analysis to reason on proof strategies and optimisations.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -