Towards overcoming deficiencies in constraint diagrams

STAPLETON, GEM and DELANEY, AIDAN (2007) Towards overcoming deficiencies in constraint diagrams In: Proceedings of the 2007 IEEE Symposium on Visual Languages and Human-Centric Computing, Coeur d'Alène, Idaho, USA, 23-27 September, 2007.

Full text not available from this repository.

Official URL:


The constraint diagram language was designed to be used in conjunction with the Unified Modelling Language (UML), primarily for placing formal constraints on software models. In particular, constraint diagrams play a similar role to the textual Object Constraint Language in that they can be used for specifying system invariants and operation contracts in the context of a UML model. Constraint diagrams can also be used independently of the UML. In this paper, we illustrate a range of counter-intuitive features of constraint diagrams and highlight some (potential) expressiveness limitations. We propose a generalized version of the constraint diagram language that overcomes the illustrated counter-intuitive features and limitations.

Item Type:Contribution to conference proceedings in the public domain ( Full Paper)
Uncontrolled Keywords:Constraint diagrams; UML
Subjects:G000 Computing and Mathematical Sciences > G600 Software Engineering
DOI (a stable link to the resource):10.1109/VLHCC.2007.13
Faculties:Faculty of Science and Engineering > School of Computing, Engineering and Mathematics > Visual Modelling
ID Code:2990
Deposited By:Converis
Deposited On:15 Nov 2007
Last Modified:02 Jul 2013 04:02

Repository Staff Only: item control page