A Thread-tag Based Semantics for Sequence Diagrams

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.

[1]  Rajeev Alur,et al.  An Analyser for Mesage Sequence Charts , 1996, TACAS.

[2]  Bill Mitchell,et al.  Resolving race conditions in asynchronous partial order scenarios , 2005, IEEE Transactions on Software Engineering.

[3]  Peter B. Ladkin,et al.  What Do Message Sequence Charts Mean? , 1993, FORTE.

[4]  Anca Muscholl,et al.  Deciding Properties of Message Sequence Charts , 2003, Scenarios: Models, Transformations and Tools.

[5]  Ketil Stølen,et al.  STAIRS towards formal design with sequence diagrams , 2005, Software & Systems Modeling.

[6]  Bill Mitchell,et al.  Detecting and resolving semantic pathologies in UML sequence diagrams , 2005, ESEC/FSE-13.

[7]  Bran Selic.  On the Semantic Foundations of Standard UML 2.0 , 2004, SFM.

[8]  Alexander Knapp,et al.  UML 2 . 0 Interactions : Semantics and Refinement , 2004 .

[9]  David Harel,et al.  LSCs: Breathing Life into Message Sequence Charts , 1999, Formal Methods Syst. Des..

[10]  Rajeev Alur,et al.  Inference of message sequence charts , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.

[11]  Samson Abramsky.  Semantics of Interaction (Abstract) , 1996, CAAP.

[12]  Vaughan R. Pratt,et al.  Modeling concurrency with partial orders , 1986, International Journal of Parallel Programming.

[13]  Michel A. Reniers,et al.  An Algebraic Semantics of Basic Message Sequence Charts , 1994, Comput. J..

[14]  Rajeev Alur,et al.  An Analyzer for Message Sequence Charts , 1996, Softw. Concepts Tools.

[15]  Radu Grosu,et al.  Safety-liveness semantics for UML 2.0 sequence diagrams , 2005, Fifth International Conference on Application of Concurrency to System Design (ACSD'05).

[16]  Robert M. Hierons,et al.  Thread-Based Analysis of Sequence Diagrams , 2007, FORTE.

[17]  Bengt Jonsson,et al.  An Execution Semantics for MSC-2000 , 2001, SDL Forum.

[18]  David Harel,et al.  Assert and negate revisited: Modal semantics for UML sequence diagrams , 2008, SCESM '06.

[19]  Joost-Pieter Katoen,et al.  Pomsets for message sequence charts , 1998 .

[20]  Harald Störrle.  Semantics of interactions in UML 2.0 , 2003, HCC.