Super State Analysis for UML State Diagrams

Alanazi, Mohammad N.; Gustafson, David A.

doi:10.1109/csie.2009.943

Cited by 2 publications

(2 citation statements)

References 6 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Recent years have seen a lot of attention into MDA in academia and industry [3][4][5], which resulted in models gaining even more importance in software development. The Unified Modeling Language (UML) [6] is the Object Management Group (OMG) most-used specification and the de-facto standard modeling language for object-oriented modeling and documentation [7][8][9][10][11][12][13]. It is the privileged modeling tool to implement the MDA.…”

Section: Introductionmentioning

confidence: 99%

UML consistency rules

Torre

Labiche

Genero

2014

Proceedings of the 18th International Conference on Evaluation and Assessment in Software Engineering

View full text Add to dashboard Cite

Context:The Unified Modeling Language (UML), with its 14 different diagram types, is the de-facto standard modeling language for object-oriented modeling and documentation. Since the various UML diagrams describe different aspects of one, and only one, software under development, they are not independent but strongly depend on each other in many ways. In other words, the UML diagrams describing a software product must be consistent. Inconsistencies between these diagrams may be a source of faults in software systems. It is therefore paramount that these inconsistencies be detected, analyzed and hopefully fixed. Objective: The aim of this article is to deliver a comprehensive summary of UML consistency rules as they are described in the literature to date to obtain an extensive and detailed overview of the current research in this area. Method: We performed a Systematic Mapping Study by following well-known guidelines. We selected 95 primary studies from a search with seven search engines performed in December 2012. Results: Different results are worth mentioning. First it appears that researchers tend to discuss very similar consistency rules, over and over again. Most rules are horizontal (98.10%) and syntactic (88.21%). The most used diagrams are the class diagram (71.58%), the sequence diagram (47.37%) and the state machine diagram (42.11%). Conclusion: The fact that many rules are duplicated in primary studies confirms the need for a well-accepted list of consistency rules. This paper is a first step in this direction. Results indicate that much more work is needed to develop consistency rules for all 14 UML diagrams, in all dimensions of consistency (e.g., semantic and syntactic on the one hand, horizontal, vertical and evolution on the other hand).

show abstract

Section: Introductionmentioning

confidence: 99%

UML consistency rules

Torre

Labiche

Genero

2014

Proceedings of the 18th International Conference on Evaluation and Assessment in Software Engineering

View full text Add to dashboard Cite

show abstract

“…Specifically, the evo-lution of the models or diagrams is frequently accompanied by augmenting, reducing, or modifying, which potentially results in contradictory specifications (inconsistencies). In order to classify such conflicts, there are seven UML consistency dimensions in the systematic researches [23,8,22,11,2], and a binary relation can capture these dimensions, including those that refer to endogenous consistency [14].…”

Section: Introductionmentioning

confidence: 99%

Consistency analysis of UML models (S)

Tang,

Jiang,

Wen

2023

International Conferences on Distributed Multimedia Systems

View full text Add to dashboard Cite

The inconsistencies of UML models (diagrams) during the software development process may cause errors in documents or programs. Massive consistency rules have been proposed by researchers to detect inconsistencies in existing works. However, the approaches of consistency analysis have not been addressed adequately in literature. In this paper, we propose a new approach for analyzing consistencies between UML models. We formally specify UML models and define the consistency relation between UML models. Based on the consistency definition, we first discuss the composition and decomposition of consistencies, and then explore the equivalence of consistencies.

show abstract

Super State Analysis for UML State Diagrams

Cited by 2 publications

References 6 publications

UML consistency rules

UML consistency rules

Consistency analysis of UML models (S)

Contact Info

Product

Resources

About