On the semantics of unified modeling language diagrams using Z notation

  1. Ekawit Nantajeewarawat*,
  2. Ratanachai Sombatsrisomboon

Article first published online: 12 JAN 2004

DOI: 10.1002/int.10152

Issue

International Journal of Intelligent Systems

International Journal of Intelligent Systems

Special Issue: Intelligent Technologies

Volume 19, Issue 1-2, pages 79–88, January - February 2004

Additional Information

How to Cite

Nantajeewarawat, E. and Sombatsrisomboon, R. (2004), On the semantics of unified modeling language diagrams using Z notation. Int. J. Intell. Syst., 19: 79–88. doi: 10.1002/int.10152

Author Information

  1. Information Technology Program, Sirindhorn International Institute of Technology, Thammasat University, Rangsit Campus, Pathumthani 12121, Thailand

*Information Technology Program, Sirindhorn International Institute of Technology, Thammasat University, Rangsit Campus, Pathumthani 12121, Thailand

Publication History

  1. Issue published online: 12 JAN 2004
  2. Article first published online: 12 JAN 2004

Funded by

  • Thailand Research Fund

SEARCH

SEARCH BY CITATION

ARTICLE TOOLS

Get PDF (142K)

Abstract

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.

Get PDF (142K)