Understanding behavior of business process models
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 . 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  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.
- 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.Jörg Desel and Javier Esparza. Free-choice Petri Nets. Tracts in Theoretical Computer Science, Cambridge University Press, 1994.Google Scholar
- 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.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.Michael Parry. Reengineering the Business Process. The Workflow paradigm, Future Strategies Inc., ISBN 0-9640233-x.Google Scholar
- 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.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 ftp://ing.puc.cl/dcc/techReports/rt95-05.ps.Google Scholar
- 8.Keith D. Swenson. Visual support for reengineering work processes. In Proc. of the Conf. on Organizational Computing Systems, November 1993.Google Scholar