Semantics of the interaction overview diagram
IRI'09 Proceedings of the 10th IEEE international conference on Information Reuse & Integration
Validation environment of UML2 IOD based on hierarchical coloured Petri nets
International Journal of Computer Applications in Technology
Hi-index | 0.00 |
UML 2 interaction overview diagram, IOD for short, is a variant of UML activity diagrams where the nodes may be interaction diagrams. Introduced on the UML 2 version, this diagram gathers benefits related to specific and global behaviors. When the nodes are sequence diagrams, it allows a valuated control flow specification. We propose in this paper an approach to validate the IOD notation. The validation is made by model checking using the hierarchical Petri nets derived from the IOD diagrams.