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.
This work was supported by NSFC (61100039, 61021062, 60973044, 61073030, 61003019, and 61073031), the Fundamental Research Funds for the Central Universities, and the Fund of State Key Laboratory for Novel Software Technology.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
van der Aalst, W.M.P.: The Application of Petri Nets to Workflow Management. Journal of Circuits, Systems, and Computers 8(1), 21–66 (1998)
van der Aalst, W.M.P., van Hee, K.: Workflow Management – Models, Methods and Systems. MIT Press (2002)
van der Aalst, W.M.P., Weijters, T., Maruster, L.: Workflow mining: discovering process models from event logs. IEEE Transactions on Knowledge and Data Engineering 16(9), 1128–1142 (2004)
Acuna, S.T., Antonio, A.D., Ferre, X., Lopez, M., Mate, L.: The Software process: Modeling, Evaluation and Improvement. Handbook of Software Engineering and Knowledge Engineering, vol. 1, pp. 193–237. World Scientific Publishing Company (2001)
Desel, J., Esparza, J.: Free choice Petri nets. Cambridge University Press, Cambridge (1995)
Huang, L., Boehm, B., Hu, H., Ge, J., Lü, J., Qian, C.: Applying the Value/Petri Process to ERP Software Development in China. In: Osterweil, L.J., et al. (eds.) Proceeding of 28th International Conference of Software Engineering (ICSE 2006), pp. 502–511. ACM Press (2006)
Ge, J., Hu, H., Gu, Q., Lü, J.: Modeling Multi-View Business process with Object Petri Nets. In: Proceedings of International Conference on Software Engineering Advances (ICSEA 2006). IEEE Computer Society (2006)
Ge, J., Hu, H., Hu, H.: Calculating the Order Relations of Workflow Net with Invariant Method. In: Matsuo, T., Ishii, N., Lee, R. (eds.) Proceedings of the 9th International Conference on Computer and Information Science (ICIS 2010), pp. 714–719. IEEE Computer Society (2010)
Köhler, M., Moldt, D., Rölke, H.: Modelling Mobility and Mobile Agents Using Nets within Nets. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol. 2679, pp. 121–139. Springer, Heidelberg (2003)
Murata, T.: Petri nets: properties, analysis and applications. Proceedings of the IEEE 77(4), 541–580 (1989)
Reisig, W.: An Introduction to Petri Nets. Springer, Heidelberg (1985)
Valk, R.: Petri Nets as Token Objects: An Introduction to Elementary Object Nets. In: Desel, J., Silva, M. (eds.) ICATPN 1998. LNCS, vol. 1420, pp. 1–25. Springer, Heidelberg (1998)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ge, J., Hu, H., Hu, H., Fei, X. (2012). Invariant Analysis for Ordering Constraints of Multi-view Business Process Model. In: Wang, H., et al. Web Technologies and Applications. APWeb 2012. Lecture Notes in Computer Science, vol 7234. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-29426-6_29
Download citation
DOI: https://doi.org/10.1007/978-3-642-29426-6_29
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-29425-9
Online ISBN: 978-3-642-29426-6
eBook Packages: Computer ScienceComputer Science (R0)