Transforming constraint diagrams

BURTON, JAMES, STAPLETON, GEM and HAMIE, ALI (2009) Transforming constraint diagrams In: Proceedings 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, Corvallis, Oregon, USA, 20 September, 2009.

Full text not available from this repository.

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.

Item Type: Contribution to conference proceedings in the public domain ( Full Paper)
Additional Information: © 2009 for the individual papers by the papers' authors
Subjects: G000 Computing and Mathematical Sciences > G100 Mathematics
Faculties: Faculty of Science and Engineering > School of Computing, Engineering and Mathematics > Visual Modelling
Related URLs:
Depositing User: Converis
Date Deposited: 20 Jul 2011 10:07
Last Modified: 26 Mar 2013 03:00
URI: http://eprints.brighton.ac.uk/id/eprint/9001

Actions (login required)

View Item View Item

Downloads

Downloads per month over past year