On the semantics of unified modeling language diagrams using Z notation

被引：0
作者：
Nantajeewarawat, E [1 ]
Sombatsrisomboon, R [1 ]
机构：
[1] Thammasat Univ, Sirindhorn Int Inst Technol, Informat Technol Program, Pathum Thani 12121, Thailand
来源：
INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS | 2004年 / 19卷 / 1-2期
关键词：
D O I：
10.1002/int.10152
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
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. (C) 2004 Wiley Periodicals, Inc.
引用
收藏
页码：79 / 88
页数：10
相关论文
共 50 条
  • [1] OPERATIONAL FEEDBACK USING THE UNIFIED MODELING LANGUAGE (UML) DIAGRAMS
    Vistoso, A.
    Padilla, M.
    Clark, G. T.
    Nocera, L.
    10TH INTERNATIONAL CONFERENCE OF EDUCATION, RESEARCH AND INNOVATION (ICERI2017), 2017, : 7490 - 7495
  • [2] A comparison of the Business Object Notation and the Unified Modeling Language
    Paige, RF
    Ostroff, JS
    UML'99 - THE UNIFIED MODELING LANGUAGE: BEYOND THE STANDARD, 1999, 1723 : 67 - 82
  • [3] FORMAL SEMANTICS OF THE UNIFIED MODELING LANGUAGE LU
    HONG, SN
    MANNINO, MV
    DECISION SUPPORT SYSTEMS, 1995, 13 (3-4) : 263 - 293
  • [4] Automatic test case generation using unified modeling language (UML) state diagrams
    Samuel, P.
    Mall, R.
    Bothra, A. K.
    IET SOFTWARE, 2008, 2 (02) : 79 - 93
  • [5] The history of the use of [.]-notation in natural language semantics
    Rabern, Brian
    SEMANTICS & PRAGMATICS, 2016, 9
  • [6] Formal Modeling of ATC Signals using Z Notation
    Khan, Naveed Ahmed
    Yousaf, Shahid
    Ahmad, Farooq
    Khan, Sher Afzal
    2012 INTERNATIONAL CONFERENCE ON OPEN SOURCE SYSTEMS AND TECHNOLOGIES (ICOSST), 2012, : 46 - 49
  • [7] Protocols modeling using the unified modeling language
    Jaragh, M
    Saleh, KA
    IEEE REGION 10 INTERNATIONAL CONFERENCE ON ELECTRICAL AND ELECTRONIC TECHNOLOGY, VOLS 1 AND 2, 2001, : 69 - 73
  • [8] How to Make Unified Modeling Language Diagrams Accessible for Blind Students
    Mueller, Karin
    COMPUTERS HELPING PEOPLE WITH SPECIAL NEEDS, PT I, 2012, 7382 : 186 - 190
  • [9] Modeling Mathematical Notation Semantics in Academic Papers
    Jo, Hwiyeol
    Kang, Dongyeop
    Head, Andrew
    Hearst, Marti A.
    FINDINGS OF THE ASSOCIATION FOR COMPUTATIONAL LINGUISTICS, EMNLP 2021, 2021, : 3102 - 3115
  • [10] Creating and Validating a Ground Truth Dataset of Unified Modeling Language Diagrams Using Deep Learning Techniques
    Torcal, Javier
    Moreno, Valentin
    Llorens, Juan
    Granados, Ana
    APPLIED SCIENCES-BASEL, 2024, 14 (23):
12345