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 条
  • [21] Enhancing UML Class Diagram Abstraction with Page Rank Algorithm and Relationship Abstraction Rules
    Huang, Liang
    Duan, Yucong
    Zhou, Zhangbing
    Shao, Lixu
    Sun, Xiaobing
    Hung, Patrick C. K.
    SERVICE-ORIENTED COMPUTING - ICSOC 2016 WORKSHOPS, 2017, 10380 : 102 - 115
  • [22] Impact of passive and negative sentences in automatic generation of static UML diagram using NLP
    Shweta
    Sanyal, Ratna
    JOURNAL OF INTELLIGENT & FUZZY SYSTEMS, 2020, 39 (02) : 2047 - 2059
  • [23] Static- and Dynamic Consistency Analysis of UML State Chart Models
    Schwarzl, Christian
    Peischl, Bernhard
    MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PT I, 2010, 6394 : 151 - +
  • [24] DYNAMIC AND STATIC RECRYSTALLIZATION DIAGRAM OF HOT DEFORMED AUSTENITE.
    Xu Zhou
    Yao Zhongkai
    Jixie goneheng Xuebao, 1987, 23 (01): : 72 - 80
  • [25] Checking consistency between UML class and state models based on CSP and B
    Yeung, WL
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2004, 10 (11) : 1540 - 1558
  • [26] UML State Machine Diagram Driven Runtime Verification of Java']Java Programs for Message Interaction Consistency
    Li, Xuandong
    Qiu, Xiaokang
    Wang, Linzhang
    Lei, Bin
    Wong, W. Eric
    APPLIED COMPUTING 2008, VOLS 1-3, 2008, : 384 - +
  • [27] Static and dynamic C++ code analysis for the recovery of the object diagram
    Tonella, P
    Potrich, A
    INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, PROCEEDINGS, 2002, : 54 - 63
  • [28] On UML activity diagram-based web services composition dynamic behavioral modeling
    Weichao, Dang
    Shangwang, Bai
    2007 INTERNATIONAL SYMPOSIUM ON COMPUTER SCIENCE & TECHNOLOGY, PROCEEDINGS, 2007, : 686 - 690
  • [29] Getting the UML's Behavior and Interaction Diagrams by Extracting Business Rules Through the Data Flow Diagram
    Kharmoum, Nassim
    Rhalem, Wajih
    Retal, Sara
    El Bouchti, Karim
    Ziti, Soumia
    ADVANCED INTELLIGENT SYSTEMS FOR SUSTAINABLE DEVELOPMENT (AI2SD'2020), VOL 1, 2022, 1417 : 540 - 547
  • [30] An Approach to Checking Consistency between UML Class Model and Its Java']Java Implementation
    Chavez, Hector M.
    Shen, Wuwei
    France, Robert B.
    Mechling, Benjamin A.
    Li, Guangyuan
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2016, 42 (04) : 322 - 344
12345