Abstract
The increasing dynamics and the continuous changes of business processes raise a challenge to the research and implementation of workflows. The significance of applying formal approaches to the modeling and analysis of workflows has been well recognized and many such approaches have been proposed. However, these approaches require users to master considerable knowledge of the particular formalisms, which impacts the application of these approaches on a larger scale. This paper presents a new formal, yet intuitive approach for the modeling and analysis of workflows, which attempts to overcome the above problem. In addition to the abilities of supporting workflow validation and enactment, this new approach possesses the distinguishing feature of allowing users who are not proficient in formal methods to build up and dynamically modify the workflow models that address their business needs.
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
Adam, N.R., Atluri, V., Huang, W.: Modeling and Analysis of Workflows Using Petri Nets. Journal of Intelligent Information Systems, 131–158 (1998)
Attie, P.C., Singh, M.P., Sheth, A., Rusibkiewicz, M.: Specifying Interdatabase Dependencies. In: Proceedings 19th International Conference on Very Large Database, pp. 134–145 (1993)
Dourish, P.: Process Descriptions as Organizational Accounting Devices: The Dual use of Workflow Technologies. In: Paper presented at GROUP 2001, Boulder, Colorado, USA, September 30-October 3. ACM, New York (2001)
Lawrence, P. (ed.): Workflow Handbook 1997, Workflow Management Coalition. John Wiley and Sons, New York (1997)
Marinescu, D.C.: Internet-Based Workflow Management: Towards a Semantic Web. Wiley Series on Parallel and Distributed Computing, vol. 40. Wiley-Interscience, Hoboken (2002)
Rosca, D., Greenspan, S., Wild, C.: Enterprise Modeling and Decision-Support for Automating the Business Rules Lifecycle. Automated Software Engineering Journal 9, 361–404 (2002)
Singh, M.P., Meredith, G., Tomlinson, C., Attie, P.C.: An Event Algebra for Specifying and Scheduling Workflows. In: Proceedings 4th International Conference on Database System for Advance Application, pp. 53–60 (1995)
van der Aalst, W.M.P.: Verification of Workflow Nets. In: Azéma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol. 1248, pp. 407–426. Springer, Heidelberg (1997)
van der Aalst, W.M.P.: Three Good Reasons for Using a Petri Net-Based Workflow Management System. In: Proceedings of the International Working Conference on Information and Process Integration in Enterprises (IPIC 1996), November 1996, pp. 179–201 (1996)
van der Aalst, W.M.P., ter Hofstede, A.H.M., Weske, M.: Business Process Management: A Survey. In: van der Aalst, W.M.P., ter Hofstede, A.H.M., Weske, M. (eds.) BPM 2003. LNCS, vol. 2678, pp. 1–12. Springer, Heidelberg (2003)
Wang, J.: Timed Petri Nets: Theory and Application. Kluwer Academic Publishers, Dordrecht (1998) ISBN: 0-7923-8270-6
Wodtke, D., Weikum, G.: A Formal Foundation for Distributed Workflow Execution Based State Charts. In: Proceedings 18th International Conference on Database theory (1997)
Zisman, M.D.: Representation, Specification and Automation of Office Procedures., PhD thesis, University of Pennsylvania, Warton School of Business (1977)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wang, J., Rosca, D., Tepfenhart, W., Milewski, A., Stoute, M. (2005). An Intuitive Formal Approach to Dynamic Workflow Modeling and Analysis. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds) Business Process Management. BPM 2005. Lecture Notes in Computer Science, vol 3649. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11538394_10
Download citation
DOI: https://doi.org/10.1007/11538394_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-28238-9
Online ISBN: 978-3-540-31929-0
eBook Packages: Computer ScienceComputer Science (R0)