Transforming constraint diagrams

James Burton, Gem Stapleton, Ali Hamie

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBNpeer-review

Abstract

Constraint diagrams were proposed by Kent for the purposes of formal software specification in a visual manner. They have recently been formalized and generalized, making them more expressive. This paper presents a collection of transformations that can be applied to the so called unitary α fragment of constraint diagrams. The transformations can be used to define inference rules in a more succinct manner than in earlier systems. We establish that the transformations are sufficient to transform any given unitary α-diagram into any other unitary α-diagram. Therefore, they are sufficient for formalizing any inference rules between such diagrams.
Original languageEnglish
Title of host publicationProceedings of the VLL 2009 workshop on visual languages and logic as part of the 2009 IEEE symposium on visual languages and human centric computing VL/HCC 09
Place of PublicationTilburg University, The Netherlands
PublisherCEUR
Pages62-80
Number of pages19
Volume510
Publication statusPublished - 20 Sept 2009
EventIEEE Symposium on Visual Languages and Human-Centric Computing 2009 - Corvallis, Oregon, USA, 20-24 September, 2009
Duration: 20 Sept 2009 → …

Publication series

NameVLL 2009: Visual Languages and Logic

Conference

ConferenceIEEE Symposium on Visual Languages and Human-Centric Computing 2009
Period20/09/09 → …

Bibliographical note

© 2009 for the individual papers by the papers' authors

Fingerprint

Dive into the research topics of 'Transforming constraint diagrams'. Together they form a unique fingerprint.

Cite this