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 条
  • [31] Phase diagram of static and dynamic electric field domain formation in semiconductor superlattices
    Ohtani, N.
    Egami, N.
    Grahn, H.T.
    Ploog, K.H.
    Physica B: Condensed Matter, 1999, 272 (01): : 205 - 208
  • [32] Phase diagram of static and dynamic electric field domain formation in semiconductor superlattices
    Ohtani, N
    Egami, N
    Grahn, HT
    Ploog, KH
    PHYSICA B-CONDENSED MATTER, 1999, 272 (1-4) : 205 - 208
  • [33] Approach to Check the Consistency between the UML2.0 Dynamic Diagrams
    Yao, Quanzhu
    Cui, Xiaodan
    2015 FIFTH INTERNATIONAL CONFERENCE ON INSTRUMENTATION AND MEASUREMENT, COMPUTER, COMMUNICATION AND CONTROL (IMCCC), 2015, : 1115 - 1119
  • [34] Consistency checking between two different dynamic views of a software system
    Shen, Wuwei
    Low, Weng Liong
    PROCEEDINGS OF THE 10TH IASTED INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND APPLICATIONS, 2006, : 26 - +
  • [35] Dehydrogenation of propane over Zn-MOR. Static and dynamic reaction energy diagram
    Benco, L.
    Bucko, T.
    Hafner, J.
    JOURNAL OF CATALYSIS, 2011, 277 (01) : 104 - 116
  • [36] Integrating model-checking with UML-based SoC development -: Establishing consistency between models
    Green, Peter
    Tasie-Amadi, Kinika
    APPLICATIONS OF SPECIFICATION AND DESIGN LANGUAGES FOR SOCS, 2006, : 295 - 312
  • [37] Comparing the state-based and behavioural approaches to checking consistency between associations and state machines in UML
    Yeung, WL
    INTELLIGENT AND ADAPTIVE SYSTEMS AND SOFTWARE ENGINEERING, 2004, : 233 - 238
  • [38] Gesture consistency of airplane target between static and dynamic measurements
    Li, Jinliang
    Zeng, Yonghu
    Zhou, Bo
    Fu, Haibo
    Beijing Hangkong Hangtian Daxue Xuebao/Journal of Beijing University of Aeronautics and Astronautics, 2013, 39 (04): : 453 - 457
  • [39] Comparison of static and dynamic intrinsic positive end-expiratory pressure using the Campbell diagram
    Yan, S
    Kayser, S
    Tobiasz, M
    Sliwinski, P
    AMERICAN JOURNAL OF RESPIRATORY AND CRITICAL CARE MEDICINE, 1996, 154 (04) : 938 - 944
  • [40] 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, : 352 - 355
12345