Semantics of the interaction overview diagram

  title={Semantics of the interaction overview diagram},
  author={Thouraya Bouabana-Tebibel},
  journal={2009 IEEE International Conference on Information Reuse & Integration},
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… CONTINUE READING


Publications citing this paper.
Showing 1-9 of 9 extracted citations


Publications referenced by this paper.
Showing 1-10 of 10 references

An Introduction to the Practical Use of Coloured Petri Nets ”

  • J. Küster-Filipe Kloul
  • Lectures on Petri Nets II : Applications…

From Intraction Overview Diagrams to PEPA Nets ”

  • J. Wuttke A. Knapp
  • Model Checking of UML 2 . 0 Interactions…

Similar Papers

Loading similar papers…