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 条
  • [1] Definition of Consistency Rules between UML Use Case and Activity Diagram
    Ibrahim, Noraini
    Ibrahim, Rosziati
    Saringat, Mohd Zainuri
    Mansor, Dzahar
    Herawan, Tutut
    UBIQUITOUS COMPUTING AND MULTIMEDIA APPLICATIONS, PT II, 2011, 151 : 498 - +
  • [2] A Method of Software Specification Mutation Testing Based on UML State Diagram for Consistency Checking
    Mi, Lei
    Ben, Kerong
    CEIS 2011, 2011, 15
  • [3] Model checking dynamic UML consistency
    Department of Informatics, School of Math., Peking University, Beijing, China
    不详
    Lect. Notes Comput. Sci., 2006, (440-459):
  • [4] Model checking dynamic UML consistency
    Zhao, Xiangpeng
    Long, Quan
    Qiu, Zongyan
    Formal Methods and Software Engineering, Proceedings, 2006, 4260 : 440 - 459
  • [5] USEFUL LOGICAL SEMANTICS OF UML FOR QUERYING AND CHECKING UML CLASS DIAGRAM
    Raimbault, Thomas
    Genest, David
    Loiseau, Stephane
    ICAART 2009: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE, 2009, : 179 - +
  • [6] Dynamic Slicing of UML Communication Diagram
    Mishra, Alina
    Mohapatra, D. P.
    Panda, Subhrakanta
    PROCEEDINGS OF THE 2013 3RD IEEE INTERNATIONAL ADVANCE COMPUTING CONFERENCE (IACC), 2013, : 1394 - 1399
  • [7] Consistency Checking and Test Generation for UML Statechart Diagram via Extended Context-free Grammar
    Li, Liping
    He, Tao
    Tang, Shan
    2012 6TH INTERNATIONAL CONFERENCE ON NEW TRENDS IN INFORMATION SCIENCE, SERVICE SCIENCE AND DATA MINING (ISSDM2012), 2012, : 633 - 638
  • [8] Generating UML Activity Diagram from SBVR Rules
    Iqbal, Usama
    Bajwa, Imran Sarwar
    2016 SIXTH INTERNATIONAL CONFERENCE ON INNOVATIVE COMPUTING TECHNOLOGY (INTECH), 2016, : 216 - 219
  • [9] Formal Transformation of UML Diagram: Use Case, Class, Sequence Diagram with Z Notation for Representing the Static and Dynamic Perspectives of System
    Singh, Monika
    Sharma, A. K.
    Saxena, Ruhi
    PROCEEDINGS OF INTERNATIONAL CONFERENCE ON ICT FOR SUSTAINABLE DEVELOPMENT ICT4SD 2015, VOL 2, 2016, 409 : 25 - 38
  • [10] Dynamic Slicing of UML Interaction Overview Diagram
    Mishra, Alina
    PROCEEDINGS OF THE 2019 IEEE 9TH INTERNATIONAL CONFERENCE ON ADVANCED COMPUTING (IACC 2019), 2019, : 125 - 132
12345