Constraint diagrams: visualizing invariants in object-oriented models
Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Three dimensional software modelling
Proceedings of the 20th international conference on Software engineering
Precise Visual Specification of Design Patterns
ECCOP '98 Proceedings of the 12th European Conference on Object-Oriented Programming
Reflections on the Object Constraint Language
«UML» '98 Selected papers from the First International Workshop on The Unified Modeling Language «UML»'98: Beyond the Notation
Constraint Diagrams: A Step Beyond UML
TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
VL '99 Proceedings of the IEEE Symposium on Visual Languages
Reasoning with Spider Diagrams
VL '99 Proceedings of the IEEE Symposium on Visual Languages
Mixing visual and textual constraint languages
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Modular semantics for object-oriented models
3FACS'98 Proceedings of the 3rd BCS-FACS conference on Northern Formal Methods
Constraint processing in relational database systems: from theory to implementation
Proceedings of the 2010 ACM Symposium on Applied Computing
| Hi-index | 0.00 |
With the adoption of UML by the OMG and industry as the linguae-francae of visual systems modelling, one begins to ponder what will come next in this field? This tutorial brings a vision for visual modelling beyond UML. We present and consolidate radical new notations, proposed in a series of research papers and with quickly increasing adoption by industry, for the specification of complex systems in an intuitive visual, yet precise manner. The recurring theme of these notations is the upgrading of familiar diagrams into a powerful visual language. Spider diagrams considerably extend Venn-diagrams to the specification of OO-systems. Most familiar OO-concepts are translated to set theoretical terms: class into set of objects, inheritance corresponding to subset, and even Harel's statecharts interpreted as the set of objects in that state. Constraint diagrams enhance the arrow notation to describe static system invariants which cannot be described by UML class-object diagram. Reasoning rules are developed for the notation and strong completeness results are given. Finally, 3D-diagrams show how the third dimension and VRML modelling can be used for a conceptual modelling of dynamic system behaviour. Much of the tutorial will be based on a case study developed in industry, illustrating how the new notations are combined with those of UML, including OCL.Highlights include:• A crash critical overview in UML, stressing its weaknesses and strengths,• A rich visual constraint language and an insight into subtle issues that arise when defining a visual language, for applying the popular design-by-contract using a visual formalism• A discussion of diagrammatic reasoning with the notation, including completeness results• A case study• A demonstration of a graphical editor for the constraint-diagrams language• A look to the future of visual modelling, including ideas about 3D modelling notations and visual modelling tools.