Abstract
The essence of workflow systems is workflow patterns. The aim is to use an existing powerful formal modeling language with workflow systems. Stochastic activity networks (SANs) are a powerful extension of Petri nets. Having the SAN model of a system, one can verify the functional aspects and evaluate the operational measures, both on a same model. SANs have already been used in a wide range of applications. As a new application area, we have used SANs for modeling workflow systems. The results show that the most important workflow patterns can be modeled in SANs. In addition, the resulting SAN models of workflow systems can be used for model checking and/or performance evaluation purposes using the existing tools. In this paper, we will present the results of this work. For this purpose, we will present the SAN submodels corresponding to the most important workflow patterns. Then, the proposed SAN submodels are used in a case study for workflow modeling, which will also be presented in this paper. Finally, we will present the results of the evaluation of the model using the Möbius modeling tool.
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
Kamandi, A., Abdollahi Azgomi, M., Movaghar, A.: Derivation and Evaluation of OSAN Models from UML Models of Business Processes. In: Proc. of the IPM Int’l. Workshop on Foundations of Soft. Eng.: Theory and Practice (FSEN 2005), Tehran, Iran, pp. 287–305 (2005)
Dehnert, J., Eshuis, R.: Reactive petri nets for workflow modeling. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol. 2679, pp. 296–315. Springer, Heidelberg (2003)
Mercx, H.: Business Process Management Notations within Business Process Management (2006)
Kiepuszewski, B., ter Hofstede, A.H.M., van der Aalst, W.M.P.: Fundamentals of Control Flow in Workflows. BPM Center Report BPM-03-07 (2003), www.BPMcenter.org
Movaghar, A.: Stochastic Activity Networks: A New Definition and Some Properties. Scientia Iranica 8(4), 303–311 (2001)
Ouyang, C., van der Aalst, W.M.P., Dumas, M., ter Hofstede, A.H.M.: Translating BPMN to BPEL. BPM Center Report BPM-06-02, URL (2006), http://www.BPMcenter.org
Russell, N., et al.: Workflow Control-Flow Patterns: A Revised View. BPM Center Report BPM-06-22 (2006), http://www.BPMcenter.org
Sanders, W.H., Meyer, J.F.: Stochastic activity networks: Formal definitions and concepts. In: Brinksma, E., Hermanns, H., Katoen, J.-P. (eds.) EEF School 2000 and FMPA 2000. LNCS, vol. 2090, pp. 315–343. Springer, Heidelberg (2001)
Sanders, W.H.: Möbius: User Manual, University of Illinois (2006)
van der Aalst, W.M.P., ter Hofstede, A.H.M.: YAWL: Yet another Workflow Language. BPM Center Report BPM-05-01 (2005), www.BPMcenter.org
van der Aalst, W.M.P.: The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers 8(1), 21–66 (1998)
van der Aalst, W.M.P., et al.: Workflow Patterns. BPM Center Report BPM-03-06 (2003), www.BPMcenter.org
van der Aalst, W., van Hee, K.: Workflow Management Models, Methods and Systems, Eindhoven University of Technology (2000)
van der Aalst, W.M.P.: Challenges in Business Process Management: Verification of Business Processes Using Petri Nets. BPM Center Report BPM-03-11 (2003), www.BPMcenter.org
van der Aalst, W.M.P., ter Hofstede, A.H.M.: Workflow Patterns: On the Expressive Power of Petri Net-Based Workflow Languages. In: Proc. of the Fourth Workshop on the Practical Use of Coloured Petri Nets and CPN Tools (CPN 2002), Aarhus, Denmark. DAIMI, vol. 560, pp. 1–20 (2002)
Martin, V., Schahram, D.: A View Based Analysis of Workflow Modeling Languages. In: Proc. of the 14th Euromicro Int’l. Conf. on Parallel, Distributed, and Network-Based Processing (2006)
Stephen, A.: Process Modeling Notations and Workflow Patterns, http://www.omg.org/bp-corner/pmn.htm
Business Process Execution Language (BPEL), http://www.computerworld.com/comments/node/102580
Workflow Pattern, http://www.workflowpatterns.com
Introduction to BPMN, http://www.bpmn.org/Documents
An Introduction to BPEL, http://www.developer.com/services/article.php/3609381
Abdollahi Azgomi, M., Movaghar, A.: A Modeling Tool for A New Definition of Stochastic Activity Networks. Iranian J. of Science and Technology, Transaction B (Technology) 29(B1), 79–92 (2005)
Abdollahi Azgomi, M., Movaghar, A.: A Modelling Tool for Hierarchical Stochastic Activity Networks. Simulation Modelling Practice and Theory 13(6), 505–524 (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Javadi Mottaghi, F., Abdollahi Azgomi, M. (2009). Workflow Modeling Using Stochastic Activity Networks. In: Prasad, S.K., Routray, S., Khurana, R., Sahni, S. (eds) Information Systems, Technology and Management. ICISTM 2009. Communications in Computer and Information Science, vol 31. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-00405-6_25
Download citation
DOI: https://doi.org/10.1007/978-3-642-00405-6_25
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-00404-9
Online ISBN: 978-3-642-00405-6
eBook Packages: Computer ScienceComputer Science (R0)