Behavioral consistency validation of UML diagrams

  title={Behavioral consistency validation of UML diagrams},
  author={Boris Litvak and Shmuel S. Tyszberowicz and Amiram Yehudai},
  journal={First International Conference onSoftware Engineering and Formal Methods, 2003.Proceedings.},
UML provides several kinds of diagrams to model the behavior and structure of a system under development. A consistency problem may arise due to the fact that some aspects of the model may be described by more than one diagram. Hence, it is important that the consistency of the system description should be checked before implementing it. This paper describes an algorithmic approach to a consistency check between UML sequence and state diagrams. The algorithm we provide also handles complex… CONTINUE READING
Highly Cited
This paper has 42 citations. REVIEW CITATIONS