Title :
UML 2 Interaction Overview Diagram Validation
Author :
Bouabana-Tebibel, Thouraya
Author_Institution :
High Nat. Sch. of Comput. Sci., Algiers, Algeria
fDate :
June 30 2009-July 2 2009
Abstract :
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.
Keywords :
Petri nets; Unified Modeling Language; formal specification; program verification; IOD validation; UML 2 interaction overview diagram validation; activity diagram; control flow specification; hierarchical Petri nets; model checking; sequence diagram; Computer science; Concrete; Joining processes; Petri nets; Unified modeling language; HCPN; UML2; interaction overview diagram; validation;
Conference_Titel :
Dependability of Computer Systems, 2009. DepCos-RELCOMEX '09. Fourth International Conference on
Conference_Location :
Brunow
Print_ISBN :
978-0-7695-3674-3
DOI :
10.1109/DepCoS-RELCOMEX.2009.47
