Publications 2001

  • [PDF] W. M. P. van der Aalst, H. M. W. Verbeek, and A. Kumar, “Xrl/woflan: verification of an xml/petri-net based language for inter-organizational workflows,” in Proceedings of the 6th informs conference on information systems and technology (cist-2001), 2001, pp. 30-45.
    [Bibtex]
    @InProceedings{Aalst01,
    Title = {XRL/Woflan: Verification of an XML/Petri-net based language for inter-organizational workflows},
    Author = {Aalst, W. M. P. van der and Verbeek, H. M. W. and Kumar, A.},
    Booktitle = {Proceedings of the 6th Informs Conference on Information Systems and Technology (CIST-2001)},
    Year = {2001},
    Editor = {Altinkemer, K. and Chari, K.},
    Pages = {30--45},
    Publisher = {Informs, Linthicum, MD},
    Abstract = {Internet-based technology, E-commerce, and the rise of networked virtual enterprises have fueled the need for inter-organizational workflows. Although XML allows trading partners to exchange information, it cannot be used to coordinate activities in different organizational entities. Therefore, we developed a workflow language named XRL (eXchangeable Routing Language) for supporting cross-organizational processes. XRL uses XML for the representation of process definitions and Petri nets for its semantics. Since XRL is instance-based, workflow definitions can be changed on the fly and sent across organizational boundaries. These features are vital for today’s dynamic and networked economy. However, these features make cross-organizational workflows susceptible to errors. In this paper, we present XRL/Woflan, a software tool using state-of-the-art Petri-net analysis techniques for verifying XRL workflows. The tool uses XSL (Extensible Style Language) Transformations (called XSLT) to translate XRL specifications to a specific class of Petri nets called workflow nets. The Petri-net representation is used to determine whether the workflow is correct. If the workflow is not correct, anomalies such as deadlocks and livelocks are reported. This approach also makes XRL extensible. Therefore, new, application-specific workflow patterns can be created and incorporated into XRL by expressing their semantics in XSLT.},
    File = {6th INFORMS Conference on Information Systems and Technology (CIST-2001):http\://www.mgmt.purdue.edu/faculty/kemal/cist_MIAMI.htm:URL;Preprint of published paper:http\://www.win.tue.nl/~hverbeek/downloads/preprints/Aalst01.pdf:PDF},
    Owner = {hverbeek},
    Timestamp = {2008.11.04},
    Url = {http://www.win.tue.nl/~hverbeek/downloads/preprints/Aalst01.pdf}
    }
  • [PDF] W. M. P. van der Aalst, H. M. W. Verbeek, and A. Kumar, “Verification of xrl: an xml-based workflow language,” in Proceedings of the sixth international conference on cscw in design (cscwd 2001), 2001, pp. 427-432.
    [Bibtex]
    @InProceedings{Aalst01a,
    Title = {Verification of XRL: An XML-based Workflow Language},
    Author = {Aalst, W. M. P. van der and Verbeek, H. M. W. and Kumar, A.},
    Booktitle = {Proceedings of the Sixth International Conference on CSCW in Design (CSCWD 2001)},
    Year = {2001},
    Editor = {Shen, W. and Lin, Z. and Barths, J.-P. and Kamel, M.},
    Month = {Jluy},
    Pages = {427--432},
    Publisher = {London, Ontario, Canada},
    Abstract = {XRL (eXchangeable Routing Language) is an instance-based workflow language that uses XML for the representation of process definitions and Petri nets for its semantics. Since XRL is instance-based, workflow definitions can be changed on the fly and sent across organizational boundaries. These features are vital for todays dynamic and networked economy. However, the features also enable subtle, but highly disruptive, cross-organizational errors. On-the-fly changes and one-of-a-kind processes are destined to result in errors. Moreover, errors of a cross-organizational nature are difficult to repair. In this paper, we show soundness properties of XRL constructs by using a novel, constructive approach. We also describe a software tool based on XML and Petri-net technologies for verifying XRL workflows.},
    File = {Sixth International Conference on CSCW in Design (CSCWD 2001):http\://www.cscwid.org/cscwd2001/:URL;Preprint of published paper:http\://www.win.tue.nl/~hverbeek/downloads/preprints/Aalst01a.pdf:PDF},
    Owner = {hverbeek},
    Timestamp = {2008.11.04},
    Url = {http://www.win.tue.nl/~hverbeek/downloads/preprints/Aalst01a.pdf}
    }
  • [PDF] K. M. van Hee, H. A. Reijers, H. M. W. Verbeek, and L. Zerguini, “On the optimal allocation of resources in stochastic workflow nets,” in Proceedings of the seventeenth uk performance engineering workshop, 2001, pp. 23-34.
    [Bibtex]
    @InProceedings{Hee01,
    Title = {On the Optimal Allocation of Resources in Stochastic Workflow Nets},
    Author = {Hee, K. M. van and Reijers, H. A. and Verbeek, H. M. W. and Zerguini, L.},
    Booktitle = {Proceedings of the Seventeenth UK Performance Engineering Workshop},
    Year = {2001},
    Editor = {Djemame, K. and Kara, M.},
    Pages = {23--34},
    Publisher = {Print Services University of Leeds, Leeds},
    Abstract = {Stochastic workflow nets are used for modelling and analysing business processes. For a specific subclass, a marginal allocation strategy of resources is presented that minimises the mean sojourn time of individual cases. A popular alternative allocation strategy is shown to be sub-optimal.},
    File = {Seventeenth UK Performance Engineering Workshop:http\://www.comp.leeds.ac.uk/ukpew01/:URL;Preprint of published paper:http\://www.win.tue.nl/~hverbeek/downloads/preprints/Hee01.pdf:PDF},
    Owner = {hverbeek},
    Timestamp = {2008.11.04},
    Url = {http://www.win.tue.nl/~hverbeek/downloads/preprints/Hee01.pdf}
    }
  • [PDF] A. Kumar, W. M. P. van der Aalst, and H. M. W. Verbeek, “Dynamic work distribution in workflow management systems: how to balance quality and performance?,” Journal of management information systems (jmis), vol. 18, iss. 3, pp. 157-193, 2001.
    [Bibtex]
    @Article{Kumar01,
    Title = {Dynamic Work Distribution in Workflow Management Systems: How to balance quality and performance?},
    Author = {Kumar, A. and Aalst, W. M. P. van der and Verbeek, H. M. W.},
    Journal = {Journal of Management Information Systems (JMIS)},
    Year = {2001},
    Number = {3},
    Pages = {157--193},
    Volume = {18},
    Abstract = {Todays workflow management systems offer work items to workers using rather primitive mechanisms. While most workflow systems support a role-based distribution of work, they have problems dealing with unavailability of workers as a result of vacation or illness, overloading, context dependent suitability, deadlines, and delegation. As a result, the work is offered to too few, too many, or even the wrong set of workers. Current practice is to offer a work item to one person, thus causing problems when the person is not present or too busy, or to offer it to a set of people sharing a given role, thus not incorporating the qualifications and preferences of people. Literature on work distribution is typically driven by considerations related to authorizations and permissions. However, workflow processes are operational processes where there is a highly dynamic trade-off between security and performance. For example, an approaching deadline and an overloaded specialist may be the trigger to offer work items to lesser-qualified workers. This paper addresses this problem by proposing a systematic approach to dynamically create a balance between quality and performance issues in workflow systems. We illustrate and evaluate the proposed approach with a realistic example and also compare how a workflow system would implement this scenario to highlight the shortcomings of current, state of the art workflow systems. Finally, a detailed simulation model is used to validate our approach.},
    File = {Journal of Management Information Systems:http\://www.jmis-web.org/:URL;Preprint of published paper:http\://www.win.tue.nl/~hverbeek/downloads/preprints/Kumar01.pdf:PDF},
    Owner = {hverbeek},
    Timestamp = {2008.11.04},
    Url = {http://www.win.tue.nl/~hverbeek/downloads/preprints/Kumar01.pdf}
    }
  • [PDF] H. M. W. Verbeek, W. M. P. van der Aalst, and A. Kumar, “Xrl/woflan: verification of an xml/petri-net-based language for inter-organizational workflows,” Eindhoven University of Technology, Beta Working Paper 65, 2001.
    [Bibtex]
    @TechReport{Verbeek01,
    Title = {XRL/Woflan: verification of an XML/Petri-net-based language for inter-organizational workflows},
    Author = {Verbeek, H. M. W. and Aalst, W. M. P. van der and Kumar, A.},
    Institution = {Eindhoven University of Technology},
    Year = {2001},
    Month = {December},
    Number = {65},
    Type = {Beta Working Paper},
    Abstract = {Internet-based technology, E-commerce, and the rise of networked virtual enterprises have fueled the need for inter-organizational workflows. Although XML allows trading partners to exchange information, it cannot be used to coordinate activities in different organizational entities. Therefore, we developed a workflow language named XRL (eXchangeable Routing Language) for supporting cross-organizational processes. XRL uses XML for the representation of process definitions and Petri nets for its semantics. Since XRL is instance-based, workflow definitions can be changed on the fly and sent across organizational boundaries. These features are vital for todays dynamic and networked economy. However, the features also enable subtle, but highly disruptive, cross-organizational errors. On-the-fly changes and one-of-a-kind processes are destined to result in errors. Moreover, errors of a cross-organizational nature are difficult to repair. In this paper, we present XRL/Woflan. XRL/Woflan is a software tool using state-of-the-art Petri-net analysis techniques for verifying XRL workflows. The tool uses eXtensible Stylesheet Language Transformations (XSLT) to transform XRL specifications to a specific class of Petri nets. The Petri-net representation is used to determine whether the workflow is correct. If the workflow is not correct, anomalies such as deadlocks and livelocks are reported.},
    File = {BETA Working Paper Series:http\://www.tm.tue.nl/beta/publications/window.htm:URL;Preprint of published paper:http\://www.win.tue.nl/~hverbeek/downloads/preprints/Verbeek01.pdf:PDF},
    Owner = {hverbeek},
    Timestamp = {2008.11.04},
    Url = {http://beta.ieis.tue.nl/node/1360}
    }
  • [PDF] [DOI] H. M. W. Verbeek, T. Basten, and W. M. P. van der Aalst, “Diagnosing workflow processes using woflan,” The computer journal, vol. 44, iss. 4, pp. 246-279, 2001.
    [Bibtex]
    @Article{Verbeek01a,
    Title = {Diagnosing Workflow Processes using Woflan},
    Author = {Verbeek, H. M. W. and Basten, T. and Aalst, W. M. P. van der},
    Journal = {The Computer Journal},
    Year = {2001},
    Number = {4},
    Pages = {246--279},
    Volume = {44},
    Abstract = {Workflow management technology promises a flexible solution for business-process support facilitating the easy creation of new business processes and modification of existing processes. Unfortunately, today’s workflow products have no support for workflow verification. Errors made at design-time are not detected and result in very costly failures at run-time. This paper presents the verification tool Woflan. Woflan analyzes workflow process definitions downloaded from commercial workflow products using state-of-the-art Petri-net-based analysis techniques. This paper describes the functionality of Woflan emphasizing diagnostics to locate the source of a design error. Woflan is evaluated via two case studies, one involving twenty groups of students designing a complex workflow process and one involving an industrial workflow process designed by Staffware Benelux. The results are encouraging and show that Woflan guides the user in finding and correcting errors in the design of workflows.},
    Doi = {10.1093/comjnl/44.4.246},
    File = {The Computer Journal:http\://www3.oup.co.uk/computer_journal/:URL;Preprint of published paper:http\://www.win.tue.nl/~hverbeek/downloads/preprints/Verbeek01a.pdf:PDF},
    Owner = {hverbeek},
    Timestamp = {2008.11.04},
    Url = {http://comjnl.oxfordjournals.org/cgi/reprint/44/4/246}
    }

Leave a Reply