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 highly increased. However, it was carried out without defining a precise semantics for the language. This paper presents the semantics defined in the specification, collects and categorizes the problems with the current approach, and gives a survey of proposed formal semantics for Sequence Diagrams.

[1]  O. Ribeiro,et al.  Designing Tool Support for Translating Use Cases and UML 2.0 Sequence Diagrams into a Coloured Petri Net , 2007, Sixth International Workshop on Scenarios and State Machines (SCESM'07: ICSE Workshops 2007).

[2]  David Harel,et al.  LSC'S: BREATHING LIFE INTO MESSAGE SEQUENCE CHARTS , 2022 .

[3]  Alexander Knapp,et al.  Operational Semantics of UML 2 . 0 Interactions , 2005 .

[4]  María Victoria Cengarle,et al.  Semantics of UML 2.0 Interactions with Variabilities , 2006, FACS.

[5]  Rance Cleaveland,et al.  Triggered Message Sequence Charts , 2006, IEEE Trans. Software Eng..

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

[7]  David Harel,et al.  S2A: A Compiler for Multi-modal UML Sequence Diagrams , 2007, FASE.

[8]  Sjouke Mauw,et al.  Message Sequence Chart (MSC) , 1996 .

[9]  Juliana Küster Filipe Bowles,et al.  Combining Sequence Diagrams and OCL for Liveness , 2004, SFEDL@ETAPS.

[10]  Roland Meyer,et al.  Compositional Semantics for UML 2.0 Sequence Diagrams Using Petri Nets , 2005, SDL Forum.

[11]  Juliana Küster Filipe Bowles.  Modelling Concurrent Interactions , 2004, AMAST.

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

[13]  Mass Soldal Lund,et al.  Operational analysis of sequence diagram specifications , 2007 .

[14]  Harald Störrle,et al.  Assert , Negate and Refinement in UML-2 Interactions , 2003 .

[15]  Ketil Stølen,et al.  Why Timed Sequence Diagrams Require Three-Event Semantics , 2003, Scenarios: Models, Transformations and Tools.

[16]  Juliana Küster Filipe Bowles.  Decomposing Interactions , 2006, AMAST.

[17]  Robert M. Hierons,et al.  A Thread-tag Based Semantics for Sequence Diagrams , 2007, Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007).

[18]  Youcef Hammal.  Branching Time Semantics for UML 2.0 Sequence Diagrams , 2006, FORTE.

[19]  Simon Pickin.  Test des composants logiciels pour les télécommunications , 2003 .

[20]  Jochen Klose,et al.  An Automata Based Interpretation of Live Sequence Charts , 2001, TACAS.

[21]  David Harel,et al.  Come, let's play - scenario-based programming using LSCs and the play-engine , 2003 .

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

[23]  Arjan J. Mooij,et al.  Non-local Choice and Beyond: Intricacies of MSC Choice Nodes , 2005, FASE.

[24]  Ketil Stølen,et al.  How to transform UML neg into a useful construct , 2005 .

[25]  Alexander Knapp,et al.  Model checking of UML 2.0 interactions , 2006, MoDELS'06.

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

[27]  Samson Abramsky,et al.  Handbook of logic in computer science. , 1992 .

[28]  Juliana Küster Filipe Bowles,et al.  Formalizing Liveness-Enriched Sequence Diagrams Using ASMs , 2004, Abstract State Machines.

[29]  H. Storrle.  Semantics of interactions in UML 2.0 , 2003, IEEE Symposium on Human Centric Computing Languages and Environments, 2003. Proceedings. 2003.

[30]  Harald Störrle,et al.  Trace Semantics of Interactions in UML 2.0 , 2004 .

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

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

[33]  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).

[34]  Jean-Marc Jézéquel,et al.  Using UML Sequence Diagrams as the Basis for a Formal Test Description Language , 2004, IFM.

[35]  Ketil Stølen,et al.  A Fully General Operational Semantics for UML 2.0 Sequence Diagrams with Potential and Mandatory Choice , 2006, FM.

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