Subscribe Now Subscribe Today
Research Article
 

Toward Automatic Analyzing Statechart with Petri Net



Ma Wei-gang, Cao Yuan, Wei Wei, Lu Wei, Ma Jian-feng and Hei Xin-hong
 
Facebook Twitter Digg Reddit Linkedin StumbleUpon E-mail
ABSTRACT

In view of utilizing Petri net to perform analysis of UML model, this paper proposes a transformation methodology from UML statechart to Petri net in terms of the semantics. Firstly, it gives the formal definition of the UML statechart, uses state sets, transition sets, event sets, guard sets, object sets and refinement functions of the state to describe the features of the UML statechart and designs transfer sets of state concurrency, transfer sets of collision and transfer priorities. Based on the strict formal semantics of the Petri net, the study studies the equivalency between them and proposes a transformation algorithm from UML statechart to Petri net which lays the foundation of automated transformation. Finally, in order to validate the proposed methodology, a novel decentralized railway interlocking system which ensures train safety in stations is modeled and analyzed.

Services
Related Articles in ASCI
Search in Google Scholar
View Citation
Report Citation

 
  How to cite this article:

Ma Wei-gang, Cao Yuan, Wei Wei, Lu Wei, Ma Jian-feng and Hei Xin-hong, 2013. Toward Automatic Analyzing Statechart with Petri Net. Information Technology Journal, 12: 7289-7296.

DOI: 10.3923/itj.2013.7289.7296

URL: https://scialert.net/abstract/?doi=itj.2013.7289.7296
 

REFERENCES

1:  Dong, Q.C., Z.X. Wang, G.Y. Chen, X. Jiang and T.T. Zhang, 2012. Domain-Specific modeling and verification for C4ISR capability requirements. J. Central South Univ., 19: 1334-1340.
CrossRef  |  Direct Link  |  

2:  France, R., A. Evans, K. Lano and B. Rumpe, 1998. The UML as a formal modeling notation. Comput. Stand. Interfaces, 19: 325-334.
CrossRef  |  Direct Link  |  

3:  Guo, F. and S.Z. Yao, 2007. Formal model of UML statechart based on petri nets. J. Beij. Hangkong Hangtian Daxue Xuebao, 33: 248-252.
Direct Link  |  

4:  Gu, Y.W., Z.T. Wang and Q.D. Wu, 2010. Application of object-oridented Petri-nets in system modeling. J. Tongji Univ. Nat. Sci., 38: 437-441.

5:  Hei, X.H. and O.Y. Na, 2011. The scheduling strategy of concurrent request in distributed railway interlocking system. ICIC Express Lett. B Appl., 2: 43-48.

©  2022 Science Alert. All Rights Reserved