Premium
On the semantics of unified modeling language diagrams using Z notation
Author(s) -
Nantajeewarawat Ekawit,
Sombatsrisomboon Ratanachai
Publication year - 2004
Publication title -
international journal of intelligent systems
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 1.291
H-Index - 87
eISSN - 1098-111X
pISSN - 0884-8173
DOI - 10.1002/int.10152
Subject(s) - computer science , class diagram , soundness , programming language , unified modeling language , communication diagram , notation , sequence diagram , semantics (computer science) , story driven modeling , uml tool , formal semantics (linguistics) , interpretation (philosophy) , systems modeling language , theoretical computer science , mathematics , software , arithmetic
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. © 2004 Wiley Periodicals, Inc.