IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2007) Towards Overcoming Deficiencies in Constraint Diagrams Coeur d?Al?ne, Idaho September 23-September 27 ISBN: 0-7695-2987-9
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/VLHCC.2007.13
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.
Citation:
Gem Stapleton, Aidan Delaney, "Towards Overcoming Deficiencies in Constraint Diagrams," vlhcc, pp.33-40, IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2007), 2007 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||