Understanding behavior of business process models

  • Pablo A. Straub
  • Carlos L. Hurtado
Short Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1061)


There are two reasons to use simple control as a notion of behavioral correctness. First, it implies there are no control anomalies, like deadlock, useless activities, and multiple response [6]. Second, a simple control model behaves like an activity; this allows consistent or-abstraction in which a process model can be used safely within a larger model. Or-behavior is the most commonly accepted from of model abstraction (as in, e.g., ICN, VPL/Rasp, Action Workflow).

Simple control is related to other behavioral properties of free-choice Petri nets. In fact we prove in [6] that a model has simple control if and only if a connected free choice net derived from the model is live and safe in the sense of

Our framework formalizes threads of control in business process models and relates them to behavioral correctness, by demanding that threads of control be adequately combined. We have recognized several applications of thread theory within workflow models: diagnostic of why a model might fail, model building, advanced exception handling, unanticipated exceptions.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Giorgio De Michelis and M. Antonietta Grasso. How to put cooperative work in context: Analysis and design requierements. Issues of Supporting Organizational Context in CSCW Systems. L. Banon and K. Schmidt, August 31, 1993.Google Scholar
  2. 2.
    Jörg Desel and Javier Esparza. Free-choice Petri Nets. Tracts in Theoretical Computer Science, Cambridge University Press, 1994.Google Scholar
  3. 3.
    Clarence A. Ellis and Gary J. Nutt. Modeling and enactment of workflow systems. In 14th Int'l Conf. on Application and Theory of Petri Nets, June 1993.Google Scholar
  4. 4.
    Raúl Medina-Mora, Terry Winograd, Rodrigo Flores, Fernando Flores. The Action Workflow approach to workflow. Management Technology Proceedings of CSCW, November 1992.Google Scholar
  5. 5.
    Michael Parry. Reengineering the Business Process. The Workflow paradigm, Future Strategies Inc., ISBN 0-9640233-x.Google Scholar
  6. 6.
    Pablo Straub and Carlos Hurtado L. The simple control property of business process models. In XV Int'l Conf. of the Chilean Computer Science Society, Arica, Chile, October 30th to November 3rd, 1995.Google Scholar
  7. 7.
    Pablo Straub and Carlos Hurtado L. A theory of parallel threads in process models. Tech. Report RT-PUC-DCC-95-05, Computer Science Dept., Catholic Univ. of Chile, August, 1995. In Scholar
  8. 8.
    Keith D. Swenson. Visual support for reengineering work processes. In Proc. of the Conf. on Organizational Computing Systems, November 1993.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • Pablo A. Straub
    • 1
  • Carlos L. Hurtado
    • 1
  1. 1.Departamento de Ciencia de la ComputaciónPontificia Universidad Católica de ChileSantiago 22Chile

Personalised recommendations