Towards Overcoming Deficiencies in Constraint Diagrams
VLHCC '07 Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing
Evaluating and generalizing constraint diagrams
Journal of Visual Languages and Computing
A diagrammatic reasoning system for the description logic ALC
Journal of Visual Languages and Computing
Diagrammatic Reasoning Systems
ICCS '08 Proceedings of the 16th international conference on Conceptual Structures: Knowledge Visualization and Reasoning
An experiment to evaluate constraint diagrams with novice users
Diagrams'10 Proceedings of the 6th international conference on Diagrammatic representation and inference
| Hi-index | 0.00 |
Constraint diagrams [8] are a complex diagrammatic notation designed to express logical statements especially for use in software specification and reasoning. Not surprisingly, since this is an expressive language, there are some difficulties in reading the semantics of a diagram unambiguously. Some extra annotations (in the form of a reading tree) disambiguate the diagrams [1, 2]. However, this extra requirement (of drawing a reading tree) places a burden on the user. An attempt to remove the need for such a reading tree (or perhaps to automatically generate a reading tree, which could be altered by a user if they wished to) has been given via an algorithm to generate a default reading [4] from the diagram. This algorithm is based on a number of principles 驴 most of which are properties of the diagram. We wish to know whether these principles are intuitive and whether the default reading reflects a good proportion of usersý intuitions, and we have performed a user-based study to test this. This report summarizes this study, for more detail see [5].