TY - GEN
T1 - Transforming constraint diagrams
AU - Burton, James
AU - Stapleton, Gem
AU - Hamie, Ali
N1 - © 2009 for the individual papers by the papers' authors
PY - 2009/9/20
Y1 - 2009/9/20
N2 - 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.
AB - 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.
M3 - Conference contribution with ISSN or ISBN
VL - 510
T3 - VLL 2009: Visual Languages and Logic
SP - 62
EP - 80
BT - 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
PB - CEUR
CY - Tilburg University, The Netherlands
T2 - IEEE Symposium on Visual Languages and Human-Centric Computing 2009
Y2 - 20 September 2009
ER -