GeekArticles
Concepts
UML


Semantic Analysis and Consistency Checking of UML Sequence Diagrams
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.
Sponsored Links
Read Next: OMG Unified Modeling Language Specification
Related Topics
UML
- Article :: More Symbols, More Diagrams, More UML: Beyond Class and Interaction Diagrams
- Article :: Inheritance and Interfaces in Java and UML
- Article :: Exploring the Role of Executable UML in Model-Driven Architecture
- Article :: Building Portals with XML
- Semantic Analysis and Consistency Checking of UML Sequence Diagrams
- OMG Unified Modeling Language Specification
- UML Class Models
- UML Diagrams
- Architectural Analysis
- Object Oriented Analysis and Design using the UML