Tech Tutorials Database
GeekArticles Concepts UML
 

Semantic Analysis and Consistency Checking of UML Sequence Diagrams

 
Author: citeseer.nj.nec.com
Category: UML
Comments (0)

In a UML model, different aspects of a system are covered by different types of diagrams and this bears the risk that an overall system specification becomes inconsistent or incomplete. Hence, it is important to provide means to check the consistency and completeness of a UML model. This problem is addressed in this report by integrating the information specified in class and statechart diagrams into sequence diagrams. The information is represented as constraints attached to certain locations of the object lifelines in the sequence diagram and this allows the identification of gaps and contradictions in the specifications. Furthermore, dependencies between the sequence diagrams of a model can be investigated based on the previous results and represented in use case diagrams.

Read More...




Sponsored Links




Read Next: OMG Unified Modeling Language Specification



 

 

Comments



Post Your Comment:

Your Name:*
e-mail ID:(required for notification)*
Image Verification:�
 
 Subscribe