Title :
Advanced visual modelling: beyond UML
Author :
Gil, Josephg ; Howse, John ; Kent, Stuart
Author_Institution :
Dept. of Comput. Sci., Technion-Israel Inst. of Technol., Haifa, Israel
Abstract :
With the adoption of UML by the OMG and industry as the lingua-franca 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 object-oriented (OO) systems. Most familiar OO concepts are translated into set-theoretical terms: classes into sets of objects, inheritance corresponding to subsets, and even statecharts are 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 diagrams. 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 is based on a case study developed in industry, illustrating how the new notations are combined with those of UML, including OCL.
Keywords :
diagrams; object-oriented languages; object-oriented methods; set theory; specification languages; virtual reality languages; visual languages; 3D diagrams; OCL; OMG; Object Constraint Language; Object Management Group; Spider diagrams; UML; Unified Modeling Language; VRML; Venn diagrams; Virtual Reality Modeling Language; arrow notation; class-object diagrams; completeness; complex systems specification; conceptual modelling; constraint diagrams; diagram upgrading; dynamic system behaviour; industrial case study; inheritance; notations; object classes; object-oriented systems specification; reasoning rules; set theory; statecharts; static system invariants; subsets; tutorial; visual language; visual systems modelling; Cities and towns; Computer crashes; Computer industry; Computer science; Gas insulated transmission lines; Laboratories; Permission; Software systems; Unified modeling language; Visual system;
Conference_Titel :
Software Engineering, 2002. ICSE 2002. Proceedings of the 24rd International Conference on
Print_ISBN :
1-58113-472-X