Dynamic Workflow Modeling and Verification

  • Jiacun Wang
  • Daniela Rosca
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4001)


The dynamic nature of incident command systems and their requirement for high flexibility 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 several such approaches have been proposed. However, these approaches require users to master considerable knowledge of the particular formalisms, which impacts their application on a larger scale. To address these challenges, we developed an intuitive, yet formal approach to workflow modeling, enactment and validation. In this paper, we further develop a set of theorems to support dynamic modeling, modification and on-the-fly verification of the workflows. A prototype has been implemented to demonstrate the feasibility of the theoretical approach.


Precedence Constraint Event Algebra Execution Path Computational Tree Logic State Transition Rule 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    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)Google Scholar
  2. 2.
    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), pp. 179–201 (November 1996)Google Scholar
  3. 3.
    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)CrossRefGoogle Scholar
  4. 4.
    van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow Patterns. Eindhoven University of Technology, Eindhoven (2000)Google Scholar
  5. 5.
    Adam, N.R., Atluri, V., Huang, W.: Modeling and Analysis of Workflows Using Petri Nets. Journal of Intelligent Information Systems, 131–158 (March 1998)Google Scholar
  6. 6.
    Agostini, A., DeMichelis, G.: A light workflow management system using simple process models. International Journal of Collaborative Computing (16), 335–363 (2000)CrossRefGoogle Scholar
  7. 7.
    Attie, P.C., Singh, M.P., Sheth, A., Rusibkiewicz, M.: Specifying Interdatabase Dependencies. In: Proc. 19th International Conf. on Very Large Database, pp. 134–145 (1993)Google Scholar
  8. 8.
    Casati, F., Ceri, S., Pernici, B., Pozzi, G.: Workflow evolution. Data and Knowledge Engineering Journal 24(3), 211–238 (1998)MATHCrossRefGoogle Scholar
  9. 9.
    Dourish, P.: Process Descriptions as Organizational Accounting Devices: The Dual use of Workflow Technologies, Paper presented at GROUP 2001 (ACM), September 30-October 3, 2001, Boulder, Colorado, USA (2001)Google Scholar
  10. 10.
    Ellis, C.A., Keddara, K.: A Workflow Change Is a Workflow. In: van der Aalst, W.M.P., Desel, J., Oberweis, A. (eds.) Business Process Management. LNCS, vol. 1806, pp. 201–534. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  11. 11.
    Kradolfer, M., Geppert, A.: Dynamic workflow schema evolution based on workflow type versioning and workflow migration. In: Proceedings of CoopIS 1999, Edinburgh, pp. 104–114 (1999)Google Scholar
  12. 12.
    Lawrence, P. (ed.): Workflow Handbook 1997, Workflow Management Coalition. John Wiley and Sons, New York (1997)Google Scholar
  13. 13.
    Marinescu, D.C.: Internet-Based Workflow Management: Towards a Semantic Web. Wiley Series on Parallel and Distributed Computing, vol. 40. Wiley-Interscience, NY (2002)Google Scholar
  14. 14.
    Reichert, M., Dadam, P.: ADEPTflex – supporting dynamic changes of workflows without losing control. Journal of Intelligent Information Systems 10(2), 93–129 (1998)CrossRefGoogle Scholar
  15. 15.
    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)MATHCrossRefGoogle Scholar
  16. 16.
    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)Google Scholar
  17. 17.
    Stoute, M., Wang, J., Rosca, D.: Workflow Management Tool Support for an Incident Command System. In: Proceedings of the ICNSC 2006, Miami, FL (accepted, 2006)Google Scholar
  18. 18.
    Wang, J.: Timed Petri Nets: Theory and Application. Kluwer Academic Publishers, Dordrecht (1998)MATHGoogle Scholar
  19. 19.
    Wang, J., Rosca, D., Tepfenhart, W., Milewski, A., Stoute, M.: An Intuitive Formal Approach to Dynamic Workflow Modeling and Analysis. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol. 3649, pp. 137–152. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  20. 20.
    Weske, M.: Formal Foundation and Conceptual Design of dynamic adaptations in a workflow management system. In: Proceedings of HICSS-34 (2001)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Jiacun Wang
    • 1
  • Daniela Rosca
    • 1
  1. 1.Department of Software EngineeringMonmouth UniversityWest Long BranchUSA

Personalised recommendations