Temporal Verification of Business Processes Using BPMN and CPN
Abstract
Because of recent advances in information technologies, along with incessant changes in economic and political environments, today’s business operations require more speed than ever before. In order to achieve the required speed in business, we have to describe and analyze the business accurately from temporal aspects, especially for business processes. This paper proposes a modeling and simulation based verification method for temporal aspects of business processes, integrating two contrastive modeling tools. One is the Business Process Modeling Notation (BPMN) which provides us with high capability for business process description, and the other is the Colored Petri Net (CPN) which provides us with high capability for rigorous system verification.
References
M. Havey, Essential Business Process Modeling, Oreilly & Associates Inc, 2005.
M. Dumas, M. La Rosa, J. Mendling, and H.A. Reijers, Fundamentals of Business Process Management, Springer, 2013
Object Management Group, Business Process Model and Notation (BPMN), 20th ed.: Object Management Group, 2011.
B. Silver, BPMN Method and Style, 2nd Edition, with BPMN Implementer’s Guide: A Structured Approach for Business Process Modeling and Implementation Using BPMN 2, Cody-Cassidy Press, 2011
K. Jensen and L.M. Kristensen, Coloured Petri Nets : Modelling and Validation of Concurrent Systems:Springer-Verlag New York Inc, 2009.
J. Wang, Timed Petri Nets: Theory and Application (The International Series on Discrete Event Dynamic Systems), Springer, Heidelberg, Germany, 1998.
M. Ramadan, H.G. Elmongui, and R. Hassan.,“BPMN Formalisation using Coloured Petri Nets”,Proceedings of the 2nd GSTF Annual International Conference on Software Engineering Applications (SEA2011), 2011
W.M.P. van der Aalst and C. Stahl, Modeling Business Processes: A Petri Net-Oriented Approach (Information Systems), The MIT Press, 2011.
K.Jensen, L. Kristensen, and L. Wells “Coloured Petri Nets and CPN Tools for Modelling and Validation of Concurrent Systems,” International Journal on Software Tools for Technology Transfer (STTT), Vol. 9, Numbers 3–4, 2007, pp. 213–254
