Research on Mapping Algorithm of UML Sequence Diagrams to Object Petri Nets

Authors:
Guangyu Li;Shuzhen Yao
Affiliations:
-;-
Venue:
GCIS '09 Proceedings of the 2009 WRI Global Congress on Intelligent Systems - Volume 04
Year:
2009

Citing 0
Cited 2

Modelling UML sequence diagrams with aspect-oriented extended Petri nets

International Journal of Computer Applications in Technology
Object Petri nets marking using UML

International Journal of Computer Applications in Technology

Quantified Score

Hi-index	0.00

Visualization

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.