✦ LIBER ✦
On the semantics of unified modeling language diagrams using Z notation
✍ Scribed by Ekawit Nantajeewarawat; Ratanachai Sombatsrisomboon
- Publisher
- John Wiley and Sons
- Year
- 2004
- Tongue
- English
- Weight
- 142 KB
- Volume
- 19
- Category
- Article
- ISSN
- 0884-8173
No coin nor oath required. For personal study only.
✦ Synopsis
As a step toward the precise semantics of Unified Modeling Language (UML), this article uses the Z notation to develop formal specifications for two important parts of UML, i.e., class diagrams and sequence diagrams, and to formulate an appropriate interpretation structure for discussing the model theoretic semantics of these two kinds of diagrams. Deductive inference rules, which can be used for rigorously reasoning with UML diagrams, and conditions for checking the soundness of the rules are presented.