Cross Checking Rules to Improve Consistency between UML Static Diagram and Dynamic Diagram

被引：0
|
作者：
Ha, Ilkyu [1 ]
Kang, Byunguk [1 ]
机构：
[1] Yeungnam Univ, Dept Comp Engn, Kyungsan 712749, Kyungbuk, South Korea
来源：
INTELLIGENT DATA ENGINEERING AND AUTOMATED LEARNING - IDEAL 2008 | 2008年 / 5326卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
There are many well-formedness rules of each UML element in UML specification[1], but there are not any rules that check the consistency among UML diagrams. Therefore, in this paper, we propose several checking rules to improve the consistency among UML diagrams, especially between UML static diagram and dynamic diagram. So we make explicit sonic requirements on consistency of UML diagrams that are buried in the original well-formedness rules of UML specification and derive some checking rules. Finally. we examine the usefulness of the derived rules through a case study.
引用
收藏
页码：436 / 443
页数：8
相关论文
共 50 条
  • [41] Improvement of RETUSS to Ensure Traceability between Sequence Diagram in UML and Java']Java Source Code in Real Time
    Arima, Kaoru
    Katayama, Tetsuro
    Kita, Yoshihiro
    Yamaba, Hisaaki
    Aburada, Kentaro
    Okazaki, Naonobu
    PROCEEDINGS OF THE 2021 INTERNATIONAL CONFERENCE ON ARTIFICIAL LIFE AND ROBOTICS (ICAROB 2021), 2021, : P77 - P77
  • [42] Implementation of RETUSS to Ensure Traceability between Class Diagram in UML and Java']Java Source Code in Real Time
    Mori, Keisuke
    Katayama, Tetsuro
    Kita, Yoshihiro
    Yamaba, Hisaaki
    Aburada, Kentaro
    Okazaki, Naonobu
    ICAROB 2018: PROCEEDINGS OF THE 2018 INTERNATIONAL CONFERENCE ON ARTIFICIAL LIFE AND ROBOTICS, 2018, : 522 - 525
  • [43] RETUSS: Ensuring Traceability System between Class Diagram in UML and Java']Java Source Code in Real Time
    Katayama, Tetsuro
    Mori, Keisuke
    Kita, Yoshihiro
    Yamaba, Hisaaki
    Aburada, Kentaro
    Okazaki, Naonobu
    JOURNAL OF ROBOTICS NETWORKING AND ARTIFICIAL LIFE, 2018, 5 (02): : 114 - 117
  • [44] Phase diagram of static- and dynamic-domain formation in weakly coupled GaAs/AlAs superlattices
    Ohtani, N
    Egami, N
    Grahn, HT
    Ploog, KH
    PHYSICAL REVIEW B, 2000, 61 (08): : R5097 - R5100
  • [45] Static and dynamic consistency checking for numerical simulation:: A mixed-logic and object-oriented programming approach
    Defour, O
    Maréchal, Y
    IEEE TRANSACTIONS ON MAGNETICS, 2004, 40 (02) : 1386 - 1389
  • [46] Source Levels of In-Cloud Air in Shallow Cumulus: Consistency Between Paluch Diagram and Lagrangian Particle Tracking
    Lamraoui, Faycal
    Wei, Xin
    Kuang, Zhiming
    JOURNAL OF GEOPHYSICAL RESEARCH-ATMOSPHERES, 2024, 129 (15)
  • [47] A Binary Decision Diagram Approach to On-line Testing of Asynchronous Circuits with Dynamic and Static C-elements
    Pradeep Kumar Biswal
    Santosh Biswas
    Journal of Electronic Testing, 2019, 35 : 715 - 727
  • [48] A Binary Decision Diagram Approach to On-line Testing of Asynchronous Circuits with Dynamic and Static C-elements
    Biswal, Pradeep Kumar
    Biswas, Santosh
    JOURNAL OF ELECTRONIC TESTING-THEORY AND APPLICATIONS, 2019, 35 (05): : 715 - 727
  • [49] Consistency Between Two Sets of Reference Values for Static and Dynamic Lung Volumes in Children
    Taytard, Jessica
    Dufetelle, Edouard
    Beydon, Nicole
    ACTA PHYSIOLOGICA, 2018, 224
  • [50] DEPENDENCE OF PLANCKS CONSTANT ON FREQUENCY, IDENTICAL RETURN AND PREDESTINATION AS SOME METHODOLOGICAL CONSEQUENCES OF CONSISTENCY IN MORPHOLOGY OF A GEOMETRO-STATIC DIAGRAM FOR AETHERS MOTION (INCLUDING MONADS VARIATION)
    WETTE, E
    JOURNAL OF SYMBOLIC LOGIC, 1974, 39 (02) : 408 - 409
12345