Semantics of the interaction overview diagram

UML 2 interaction overview diagram, IOD for short, is a variant of UML activity diagrams where the nodes may be sequence diagrams. This combination provides it with benefits related to both specific and generic behaviors. Indeed, the use of sequence diagrams for describing the objects dynamics, allows a valuated control flow specification. We propose in this paper an approach based on a value oriented validation of the IOD. The validation is made by model checking using the hierarchical Petri nets derived from the IOD diagrams. A case study is given to

[1]  Harald Störrle,et al.  Towards a Formal Semantics of UML 2.0 Activities , 2005, Software Engineering.

[2]  Andrew Fish,et al.  Layout of (Software) Engineering Diagrams , 2007 .

[3]  Johan Lilius,et al.  An Advanced Tool for Efficient Reachability Analysis , 1996 .

[4]  Thouraya Bouabana-Tebibel.  UML 2 Interaction Overview Diagram Validation , 2009, 2009 Fourth International Conference on Dependability of Computer Systems.

[5]  Andrew Fish,et al.  Visual qualities of the Unified Modeling Language:Deficiencies and Improvements , 2007 .

[6]  Thouraya Bouabana-Tebibel,et al.  An object-oriented approach to formally analyze the UML 2.0 activity partitions , 2007, Inf. Softw. Technol..

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

[8]  Harald Störrle,et al.  Semantics of Control-Flow in UML 2.0 Activities , 2004, 2004 IEEE Symposium on Visual Languages - Human Centric Computing.

[9]  Tony Spiteri Staines.  Intuitive Mapping of UML 2 Activity Diagrams into Fundamental Modeling Concept Petri Net Diagrams and Colored Petri Nets , 2008, 15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ecbs 2008).

[10]  Kurt Jensen.  An Introduction to the Practical Use of Coloured Petri Nets , 1996, Petri Nets.

[11]  Vitus S. W. Lam.  On pi-Calculus Semantics as a Formal Basis for UML Activity Diagrams , 2008, Int. J. Softw. Eng. Knowl. Eng..

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

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

[14]  Thouraya Bouabana-Tebibel.  Roles at the basis of UML validation , 2007, J. Comput. Inf. Technol..

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

[16]  Luciano Baresi,et al.  Formal interpreters for diagram notations , 2005, TSEM.