Analysis and specification of Consistency Rules for UML Diagrams

被引:0
|
作者
Niepostyn, S. [1 ]
机构
[1] Warsaw Univ Technol, Inst Comp Sci, Ul Nowowiejska 15-19, Warsaw, Poland
来源
PHOTONICS APPLICATIONS IN ASTRONOMY, COMMUNICATIONS, INDUSTRY, AND HIGH-ENERGY PHYSICS EXPERIMENTS 2019 | 2019年 / 11176卷
关键词
UML diagrams; Software architecture; consistency rules;
D O I
10.1117/12.2536359
中图分类号
O43 [光学];
学科分类号
070207 ; 0803 ;
摘要
This paper presents a survey of consistency rules identified between UML diagrams. It bases on a representative collection of publications and author's experience of developing original method of software architecture construction (e-CMDA). A new notation for consistency rules is introduced. It uses regular expressions combined with symbols of UML diagram elements and the introduced "projected" (custom) UML diagram symbols. This notation facilitates analysis and selection of appropriate consistency rules in software development at the architectural level.
引用
收藏
页数:12
相关论文
共 50 条
  • [41] 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
  • [42] Consistency of UML class, object and statechart diagrams using ontology reasoners
    Khan, Ali Hanzala
    Porres, Ivan
    JOURNAL OF VISUAL LANGUAGES AND COMPUTING, 2015, 26 : 42 - 65
  • [43] A formal methodology for semantics and time consistency checking of UML dynamic diagrams
    Hammal, Youcef
    JOURNAL OF THE CHINESE INSTITUTE OF ENGINEERS, 2011, 34 (02) : 197 - 211
  • [44] A Prolog Based Approach to Consistency Checking of UML Class and Sequence Diagrams
    Khai, Zohaib
    Nadeem, Aamer
    Lee, Gang-soo
    SOFTWARE ENGINEERING, BUSINESS CONTINUITY, AND EDUCATION, 2011, 257 : 85 - +
  • [45] A Formal Methodology for Semantics and Time Consistency Checking of UML Dynamic Diagrams
    Hammal, Youcef
    ADVANCES IN SOFTWARE ENGINEERING, PROCEEDINGS, 2009, 59 : 78 - 85
  • [46] Consistency checking of UML model diagrams using the XML semantics approach
    Kotb, Y. (kotb@jaist.ac.jp), 1600, et al.; Fuji Xerox Co., Ltd.; Hitachi, Ltd.; NEC; World Wide Web Consortium (W3C); Yahoo (Association for Computing Machinery (ACM)):
  • [47] A Language-Theoretic View on Guidelines and Consistency Rules of UML
    Chen, Zhe
    Motet, Gilles
    MODEL DRIVEN ARCHITECTURE - FOUNDATIONS AND APPLICATIONS, PROCEEDINGS, 2009, 5562 : 66 - 81
  • [48] Consistency checking between use case scenarios and UML sequence diagrams
    Bartsch, K
    Robey, M
    Ivins, J
    Lam, CP
    PROCEEDINGS OF THE IASTED INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 2004, : 581 - 589
  • [49] Timing analysis of UML sequence diagrams
    Li, XD
    Lilius, J
    UML'99 - THE UNIFIED MODELING LANGUAGE: BEYOND THE STANDARD, 1999, 1723 : 661 - 674
  • [50] DEPENDENCE ANALYSIS FOR UML CLASS DIAGRAMS
    Wu Fangjun Yi Tong Dept of Computer Science and Eng Southeast University Nanjing Laboratory of Computer Center Yichun University Yichun
    Journal of Electronics, 2004, (03) : 249 - 254