Loading...
Please wait, while we are loading the content...
Similar Documents
Semantic analysis and consistency checking of UML sequence diagrams (2001)
| Content Provider | CiteSeerX |
|---|---|
| Author | Tsiolakis, Aliki |
| Abstract | 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. The refined UML diagrams provide |
| File Format | |
| Publisher Date | 2001-01-01 |
| Publisher Institution | Universität Berlin |
| Access Restriction | Open |
| Subject Keyword | Object Lifeline Overall System Specification Consistency Checking Statechart Diagram Previous Result Sequence Diagram Uml Sequence Diagram Certain Location Use Case Diagram Refined Uml Diagram Uml Model Semantic Analysis Different Aspect |
| Content Type | Text |
