DocumentCode
3466423
Title
UML 2 Interaction Overview Diagram Validation
Author
Bouabana-Tebibel, Thouraya
Author_Institution
High Nat. Sch. of Comput. Sci., Algiers, Algeria
fYear
2009
fDate
June 30 2009-July 2 2009
Firstpage
11
Lastpage
16
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Dependability of Computer Systems, 2009. DepCos-RELCOMEX '09. Fourth International Conference on
Conference_Location
Brunow
Print_ISBN
978-0-7695-3674-3
Type
conf
DOI
10.1109/DepCoS-RELCOMEX.2009.47
Filename
5261025
Link To Document