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

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. © 2012 Springer-Verlag Berlin Heidelberg.