An intuitive formal approach to dynamic workflow modeling and analysis

  • Authors:
  • Jiacun Wang;Daniela Rosca;William Tepfenhart;Allen Milewski;Michael Stoute

  • Affiliations:
  • Department of Software Engineering, Monmouth University, West Long Branch, NJ;Department of Software Engineering, Monmouth University, West Long Branch, NJ;Department of Software Engineering, Monmouth University, West Long Branch, NJ;Department of Software Engineering, Monmouth University, West Long Branch, NJ;Intellipro, Inc., Piscataway, NJ

  • Venue:
  • BPM'05 Proceedings of the 3rd international conference on Business Process Management
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

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.