Logical reasoning with diagrams
Logical reasoning with diagrams
Situation-theoretic account of valid reasoning with Venn diagrams
Logical reasoning with diagrams
Towards a model theory of Venn diagrams
Logical reasoning with diagrams
Towards the principled design of software engineering diagrams
Proceedings of the 22nd international conference on Software engineering
Constraint Matching for Diagram Design: Qualitative Visual Languages
Diagrams '00 Proceedings of the First International Conference on Theory and Application of Diagrams
Formalizing Pragmatic Features of Graph-Based Notations
VL '99 Proceedings of the IEEE Symposium on Visual Languages
A syntax directed approach to picture semantics
A syntax directed approach to picture semantics
Semantics of interactions in UML 2.0
HCC '03 Proceedings of the 2003 IEEE Symposium on Human Centric Computing Languages and Environments
Objects and spaces: the visual language of graphics
Diagrams'06 Proceedings of the 4th international conference on Diagrammatic Representation and Inference
Semantics of the interaction overview diagram
IRI'09 Proceedings of the 10th IEEE international conference on Information Reuse & Integration
An interleaving semantics for UML 2 interactions using Petri nets
Information Sciences: an International Journal
Object Petri nets marking using UML
International Journal of Computer Applications in Technology
| Hi-index | 0.00 |
The Unified Modeling Language (UML) is a family of largely visual notations which has become the "lingua franca" of software engineering. In industrial settings the UML is used mainly as a means for facilitating communication between humans and so its visual qualities are decisive for its usefulness and practical value. However, it is rare to see any sort of analysis of the visual qualities and their effectiveness. Also, since the UML is continually evolving, some guidelines and criteria to help analyse any changes or additional proposed notations would be beneficial. Building on some basic frameworks and design criteria, we develop some principles for effective design, especially when considering languages with vague semantics. We use this to identify a number of problems of the UML that show up in the diagrammatic representation of models and propose improvements which overcome these difficulties. The methodology is applicable for analysing other complex languages with vague semantics in order to try to reduce human errors.