Subscribe Now Subscribe Today
Science Alert
FOLLOW US:     Facebook     Twitter
Curve Top
Journal of Software Engineering
  Year: 2014 | Volume: 8 | Issue: 2 | Page No.: 58-74
DOI: 10.3923/jse.2014.58.74
Facebook Twitter Digg Reddit Linkedin StumbleUpon E-mail
Analyzing BPMN with Extended Object Petri Net
Ruiqiang Yu, Zhiqiu Huang, Lin Wang and Hongjie Zhang

Business Process Modeling Notation (BPMN) is the most influential graphical modeling notation in service composition aspect and has been widely used in modeling the Web service composition system, however BPMN lacks of formal semantics and can not be verified formally and automatically. Extended object Petri net (EOPN for short) is presented in order to model and verify BPMN process formally. Guard, flow valve and time constraint are introduced into EOPN. Because state class method for analyzing time Petri net is destitute of global temporal constraints, timestamp state class method is developed and the corresponding analysis approach is also presented. The enabled conditions of transition are listed and the firing condition and rules of transition of EOPN are discussed in detail. Mapping rules from BPMN to EOPN are depicted in detail. An example is provided for illustrating the feasibility of mapping BPMN process diagram to EOPN model and verifying its rightness formally.
PDF Fulltext XML References Citation Report Citation
How to cite this article:

Ruiqiang Yu, Zhiqiu Huang, Lin Wang and Hongjie Zhang, 2014. Analyzing BPMN with Extended Object Petri Net. Journal of Software Engineering, 8: 58-74.

DOI: 10.3923/jse.2014.58.74








Curve Bottom