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 条

[1] A systematic identification of consistency rules for UML diagrams
Torre, Damiano
Labiche, Yvan
Genero, Marcela
Elaasar, Maged
JOURNAL OF SYSTEMS AND SOFTWARE, 2018, 144 : 121 - 142
[2] Meta-validation of UML structural diagrams and behavioral diagrams with consistency rules
Ha, IK
Kang, BW
2003 IEEE PACIFIC RIM CONFERENCE ON COMMUNICATIONS, COMPUTERS, AND SIGNAL PROCESSING, VOLS 1 AND 2, CONFERENCE PROCEEDINGS, 2003, : 679 - 683
[3] A characterization of UML diagrams and their consistency
Li, Xiaoshan
ICECCS 2006: 11TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2006, : 67 - 76
[4] On Validating UML Consistency Rules
Torre, Damiano
2015 IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW), 2015, : 59 - 60
[5] Behavioral consistency validation of UML diagrams
Litvak, B
Tyszberowicz, S
Yehudai, A
FIRST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2003, : 118 - 125
[6] Transformation rules for UML class diagrams
Gogolla, M
Richters, M
UNIFIED MODELING LANGUAGE: UML'98: BEYOND THE NOTATION, 1999, 1618 : 92 - 106
[7] A Formal Specification of UML Class and State Diagrams
Hu, Gongzhu
SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCE, NETWORKING AND PARALLEL/DISTRIBUTED COMPUTING, 2008, 149 : 247 - 257
[8] From a B specification to UML StateChart diagrams
Hammad, A
Tatibouët, B
Voisinet, JC
Wu, WP
FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2002, 2495 : 511 - 522
[9] From UML Activity Diagrams to Specification Requirements
Drusinsky, Doron
2008 IEEE INTERNATIONAL CONFERENCE ON SYSTEM OF SYSTEMS ENGINEERING (SOSE), 2008, : 69 - 73
[10] Formal semantic specification for a set of UML diagrams
Zhang, C
SERP'03: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2, 2003, : 883 - 889

← 1 2 3 4 5 →