Invariant analysis for ordering constraints of multi-view business process model

Authors:
Jidong Ge;Haiyang Hu;Hao Hu;Xianglin Fei
Affiliations:
State Key Laboratory for Novel Software Technology, Nanjing University, China and School of Software, Nanjing University, China;State Key Laboratory for Novel Software Technology, Nanjing University, China and College of Computer, Hangzhou Dianzi University, China;State Key Laboratory for Novel Software Technology, Nanjing University, China;State Key Laboratory for Novel Software Technology, Nanjing University, China
Venue:
APWeb'12 Proceedings of the 14th international conference on Web Technologies and Applications
Year:
2012

Citing 8
Cited 0

Free choice Petri nets

Free choice Petri nets
Workflow management: models, methods, and systems

Workflow management: models, methods, and systems
Petri Nets as Token Objects: An Introduction to Elementary Object Nets

ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
Workflow Mining: Discovering Process Models from Event Logs

IEEE Transactions on Knowledge and Data Engineering
Applying the Value/Petri process to ERP software development in China

Proceedings of the 28th international conference on Software engineering
Modeling Multi-View Software Process with Object Petri Nets

ICSEA '06 Proceedings of the International Conference on Software Engineering Advances
Modelling mobility and mobile agents using nets within nets

ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Calculating the Order Relations of Workflow Net with Invariant Method

ICIS '10 Proceedings of the 2010 IEEE/ACIS 9th International Conference on Computer and Information Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

Workflow technology is applied in the mobile computing environment to improve the efficiency of modern business collaboration. Business process modeling language is a core element in WFMS (Workflow Management Systems). Business process model includes multiple views: activity view, artifact view and role view. Based on the similarity between multi-view business process modeling and object Petri nets, this paper proposes the MOPN-WF-net model which is a multi-view business process model based on multi-object Petri nets. To ensure the soundness of MOPN-WF-net, we propose an approach to check ordering constraints for necessary conditions of soundness property with invariant analysis.