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.
[J]. 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
[J]. 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
[J]. 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.
[J]. IET SOFTWARE, 2008, 2 (02) : 79 - 93
[5] Formal Modeling of ATC Signals using Z Notation
Khan, Naveed Ahmed
Yousaf, Shahid
Ahmad, Farooq
Khan, Sher Afzal
[J]. 2012 INTERNATIONAL CONFERENCE ON OPEN SOURCE SYSTEMS AND TECHNOLOGIES (ICOSST), 2012, : 46 - 49
[6] The history of the use of [.]-notation in natural language semantics
Rabern, Brian
[J]. SEMANTICS & PRAGMATICS, 2016, 9
[7] Protocols modeling using the unified modeling language
Jaragh, M
Saleh, KA
[J]. 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
[J]. 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.
[J]. 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, Valentín
Llorens, Juan
Granados, Ana
[J]. Applied Sciences (Switzerland), 2024, 14 (23):

← 1 2 3 4 5 →