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 条
  • [21] Consistency checking algorithms for restricted UML class diagrams
    Kaneiwa, K
    Satoh, K
    FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS, PROCEEDINGS, 2006, 3861 : 219 - 239
  • [22] Consistency checking of behavioural modeling in UML statechart diagrams
    Aoshima, T
    Ando, T
    Yonezaki, N
    INFORMATION MODELLING AND KNOWLEDGE BASES XIV, 2003, 94 : 152 - 169
  • [23] Consistency checking algorithms for restricted UML class diagrams
    Kaneiwa, K. (kaneiwa@nii.ac.jp), 2005, National Institute of Informatics (2005):
  • [24] Checking consistency in UML diagrams: Classes and state machines
    Rasch, H
    Wehrheim, H
    FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS, PROCEEDINGS, 2003, 2884 : 229 - 243
  • [25] Specification and Execution of System Optimization Processes with UML Activity Diagrams
    Wichmann, Alexander
    Jaeger, Sven
    Jungebloud, Tino
    Maschotta, Ralph
    Zimmermann, Armin
    2016 ANNUAL IEEE SYSTEMS CONFERENCE (SYSCON), 2016, : 458 - 464
  • [26] UML Diagrams Supporting Domain Specification Inside the CRUTIAL Project
    Cerotti, Davide
    Codetta-Raiteri, Daniele
    Donatelli, Susanna
    Brasca, Claudio
    Dondossola, Giovanna
    Garrone, Fabrizio
    CRITICAL INFORMATION INFRASTRUCTURES SECURITY, 2008, 5141 : 106 - 123
  • [27] Extraction of transformation rules from UML diagrams to SpecC
    Katayama, T
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2005, E88D (06): : 1126 - 1133
  • [28] Natural Interpretation of UML/MARTE Diagrams for System Requirements Specification
    Khan, Aamir M.
    Mallet, Frederic
    Rashid, Muhammad
    2016 11TH IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS (SIES), 2016,
  • [29] Automated COSMIC-Based Analysis and Consistency Verification of UML Activity and Component Diagrams
    Sellami, Asma
    Haoues, Mariem
    Ben-Abdallah, Hanene
    EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, ENASE 2013, 2013, 417 : 48 - 63
  • [30] UML Consistency Rules: a Case Study with Open-Source UML Models
    Torre, Damiano
    Labiche, Yvan
    Genero, Marcela
    Elaasar, Maged
    Menghi, Claudio
    2020 IEEE/ACM 8TH INTERNATIONAL CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING, FORMALISE, 2020, : 130 - 140
12345