Towards Executable UML Interactions based on fUML

Executable specifications for UML currently comprise fUML, precise semantics of composite structures and in future precise semantics for state machines. An executable semantics for UML Interactions is on the roadmap, but has not been addressed by the OMG Executable UML working group so far. Interactions are said to be the second most used diagrams after class diagram of UML, thanks to their comprehensibility and illustrative visualization. Unfortunately, they suffer from fuzzy semantics and technical issues that wastes the potential Interactions could have for engineering activities apart from high-level specifications. In this position paper we present first results from experiments and attempts to map UML Interactions to fUML Activities in order to eventually execute them.

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

[2]  Ketil Stølen,et al.  STAIRS - Steps to Analyze Interactions with Refinement Semantics , 2003, UML.

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

[4]  Øystein Haugen,et al.  Refining UML Interactions with Underspecification and Nondeterminism , 2005, Nord. J. Comput..

[5]  Hui Shen,et al.  Formalize UML 2 Sequence Diagrams , 2008, 2008 11th IEEE High Assurance Systems Engineering Symposium.

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

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

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

[9]  Ming Li,et al.  Approach to Formalizing UML Sequence Diagrams , 2011, 2011 3rd International Workshop on Intelligent Systems and Applications.

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

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

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

[13]  Alexander Knapp.  A Formal Semantics for UML Interactions , 1999, UML.

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

[15]  David Harel,et al.  Assert and negate revisited: modal semantics for UML sequence diagrams , 2006, SCESM.