On the interpretation of binary associations in the Unified Modelling Language
β Scribed by Perdita Stevens
- Publisher
- Springer-Verlag
- Year
- 2002
- Tongue
- English
- Weight
- 231 KB
- Volume
- 1
- Category
- Article
- ISSN
- 1619-1366
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
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 t
## Abstract Modeling languages intended for capturing essential properties of complex technical systems need to cover both software and physical components in a holistic framework. Objectβoriented modeling languages are often used for software, and possess many features that are attractive also in