Visualization vs. specification in diagrammatic notations: A case study with the UML

DOI10.1007/3-540-46037-3_15MaRDI QIDQ4737292zbMATH OpenFDO

Authors Zinovy Diskin

Publication date 11 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2317/23170112.htm

Mathematics Subject Classification ID

Artificial intelligence (68T99)

Recommendations

• An initial experimental assessment of the dynamic modelling in UML
• UML activity diagrams as a workflow specification language
• On the semantics of unified modeling language diagrams using Z notation
• An approach to identify and manage interoperability of class diagrams in visual paradigm and magicdraw tools
• Developing sequence diagrams in UML

Cited in

(9)

• A diagrammatic logic for object-oriented visual modeling
• Domain-specific instance models in UML
• How to represent a visual specification
• URN: Towards a new standard for the visual description of requirements
• Semantics of the minimum multiplicity in ternary associations in UML
• A formal approach to the specification and transformation of constraints in MDE
• Developing sequence diagrams in UML
• A formalisation of deep metamodelling
• Object oriented concepts identification from formal \(B\) specifications

This page was built for publication: Visualization vs. specification in diagrammatic notations: A case study with the UML

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4737292)