A Thread-tag Based Semantics for Sequence Diagrams

Abstract

The sequence diagram is one of the most popular behaviour modelling languages which offers an intuitive and visual way of describing expected behaviour of Object-Oriented software. Much research work has investigated ways of providing a formal semantics for sequence diagrams. However, these proposed semantics may not properly interpret sequence diagrams when lifelines do not correspond to threads of controls. In this paper, we address this problem and propose a thread-tag based sequence diagram as a solution. A formal, partially ordered multiset based semantics for the thread-tag based sequence diagrams is proposed.

Controllability Problems in MSC-Based Testing

“…It would be worth extending current work to IDs. However, it has been shown that there are significant differences between IDs and MSCs [53,54]. Finally, an MSC-based testing tool which implements algorithms and coordination services proposed in this paper would have been a nice contribution.…”

The many meanings of UML 2 Sequence Diagrams: a survey

“…In [11] a trace semantics was proposed for specifying object-oriented programs with multiple threads on the same Lifelines. The authors claim that if the instances of the Interaction are multi-threaded objects, then the ordering should not be specified for messages originating from the same Lifeline; instead, only for those messages which are from the same Lifeline and from the same thread of the Lifeline.…”