Cross Checking Rules to Improve Consistency between UML Static Diagram and Dynamic Diagram

Authors:
Ilkyu Ha;Byunguk Kang
Affiliations:
Department of Computer Engineering, Yeungnam University, Kyungsan, Republic of Korea 712-749;Department of Computer Engineering, Yeungnam University, Kyungsan, Republic of Korea 712-749
Venue:
IDEAL '08 Proceedings of the 9th International Conference on Intelligent Data Engineering and Automated Learning
Year:
2008

Citing 4
Cited 1

The object constraint language: precise modeling with UML

The object constraint language: precise modeling with UML
Validating UML models and OCL constraints

UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Modular architecture for a toolset supporting OCL

UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Consistency checking and visualization of OCL constraints

UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard

Knowledge-based system for the maintenance registration and consistency among UML diagrams

SBIA'10 Proceedings of the 20th Brazilian conference on Advances in artificial intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

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 some 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.