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
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;
Conference_Titel :
Intelligent Systems, 2009. GCIS '09. WRI Global Congress on
Conference_Location :
Xiamen
Print_ISBN :
978-0-7695-3571-5
DOI :
10.1109/GCIS.2009.397
