Challenges in Developing Sequence Diagrams (UML)

Developing Sequence Diagrams in UML

The UML (Unified Modeling Language) has been widely accepted as a standard language for object-oriented analysis and design. Among the UML diagrams, one of the most difficult and time-consuming diagrams to develop is the object interaction diagram (OID), which is rendered as either a sequence diagram or a collaboration diagram. Our experience shows that developers have significant trouble in un...

UML 2.0 Sequence Diagrams' Semantics

Scenario languages are widely used in software development. Typical usage scenarios, forbidden behaviors, test cases and many more aspects can be depicted with graphical scenarios. Scenario languages were introduced into the Unified Modeling Language (UML) under the name of Sequence Diagrams. The 2.0 version of UML changed Sequence Diagrams significantly, the expressiveness of the language was ...

Sematics of UML Sequence Diagrams in PVS

In this paper, we present formal semantics of UML (Unified Modeling Language) sequence diagrams using the PVS (Prototype Verification System) [8] as an underlying semantic foundation. We give a formal definition of a trace-based semantics [5] of UML sequence diagrams; i.e. a sequence diagram is interpreted as a set of traces of events that may occur in the realization of the interaction specifi...

Integrating Model Information in UML Sequence Diagrams

In a UML model, different aspects of a system are covered by different types of diagrams. Nevertheless, it is important to provide means to check the consistency and completeness of the UML model. This problem is addressed in this paper by integrating the information specified in class and statechart diagrams into sequence diagrams. The representation as constraints attached to certain location...

Semantics of UML Sequence Diagrams in PVS