DocumentCode
2989061
Title
A Verification Method of UML Model Based on SBOPN
Author
Yao, Xiaoling ; Lin, Xue
Author_Institution
Inf. Sch., Linyi Normal Univ., Linyi, China
fYear
2010
fDate
25-27 June 2010
Firstpage
315
Lastpage
318
Abstract
This paper introduces the State-Based Object Petri Net (SBOPN), and based on aforementioned, we choose SBOPN to formalize the UML and gave the mechanism and corresponding algorithms that can be used to map statechart diagrams and collaboration diagram of UML specification into SBOPN model in the early phase of UML modeling. The SBOPN model gotten by these algorithms can be analyzed and validated to find out deadlock with powerful Petri tools, thus we can realize the verification of the model in the early phase.
Keywords
Petri nets; Unified Modeling Language; diagrams; formal specification; formal verification; UML specification; collaboration diagram; state-based object Petri net; statechart diagrams; verification method; Educational institutions; Electronics industry; Modeling; Petri nets; Silicon; System recovery; Unified modeling language; Object-Oriented; Petri Net; State-Based Object Petri Net; UML; mapping;
fLanguage
English
Publisher
ieee
Conference_Titel
Electrical and Control Engineering (ICECE), 2010 International Conference on
Conference_Location
Wuhan
Print_ISBN
978-1-4244-6880-5
Type
conf
DOI
10.1109/iCECE.2010.84
Filename
5630334
Link To Document