DocumentCode
3047051
Title
Research on Mapping Algorithm of UML Sequence Diagrams to Object Petri Nets
Author
Li, Guangyu ; Yao, Shuzhen
Author_Institution
Coll. of Software Beijing, Univ. of Aeronaut. & Astronaut., China
Volume
4
fYear
2009
fDate
19-21 May 2009
Firstpage
285
Lastpage
289
Abstract
The paper firstly analyzes the basic structure of UML Sequence Diagram and gives the formal description of Object Petri Nets. For reuse, the formal description of reusable interaction is studied. Then the paper puts forward the mapping algorithm of UML Sequence Diagrams to Object Petri Nets, which ensures the accuracy, integrity and simplicity of the results by four steps, including abstraction, merging, synchronization and reduction, thus providing a good foundation for automatic verification.
Keywords
Petri nets; Unified Modeling Language; formal verification; object-oriented programming; UML sequence diagram; formal description; object Petri net; reusable interaction; Algorithm design and analysis; Educational institutions; Intelligent structures; Intelligent systems; Merging; Petri nets; Software algorithms; System recovery; Unified modeling language; Object Petri Net; Sequence Diagrams; mapping;
fLanguage
English
Publisher
ieee
Conference_Titel
Intelligent Systems, 2009. GCIS '09. WRI Global Congress on
Conference_Location
Xiamen
Print_ISBN
978-0-7695-3571-5
Type
conf
DOI
10.1109/GCIS.2009.397
Filename
5209298
Link To Document