Publications 2000

  • [PDF] W. M. P. van der Aalst, T. Basten, H. M. W. Verbeek, P. A. C. Verkoulen, and M. Voorhoeve, “Adaptive workflow: on the interplay between flexibility and support,” in Enterprise information systems, J. Filipe, Ed., Norwell: Kluwer Academic Publishers, 2000, pp. 63-70.
    [Bibtex]
    @InCollection{Aalst00,
    Title = {Adaptive Workflow: On the Interplay between Flexibility and Support},
    Author = {Aalst, W. M. P. van der and Basten, T. and Verbeek, H. M. W. and Verkoulen, P. A. C. and Voorhoeve, M.},
    Booktitle = {Enterprise Information Systems},
    Publisher = {Kluwer Academic Publishers},
    Year = {2000},
    Address = {Norwell},
    Editor = {Filipe, J.},
    Pages = {63--70},
    Abstract = {Todays information systems do not support adaptive workflow: either the information system abstracts from the workflow processes at hand and focuses on the management of data and the execution of individual tasks via applications or the workflow is supported by the information system but it is hard to handle changes. This paper addresses this problem by classifying the types of changes. Based on this classification, issues such as syntactic/semantic correctness, case transfer, and management information are discussed. It turns out that the trade-off between flexibility and support raises challenging questions. Only some of these questions are answered in this paper, most of them require further research. Since the success of the next generation of workflow management systems depends on the ability to support adaptive workflow, it is important to provide answers for the questions raised in this paper.},
    File = {Enterprise Information Systems:http\://www.wkap.nl/prod/b/0-7923-6239-X:URL;Preprint of published paper:http\://www.win.tue.nl/~hverbeek/downloads/preprint/Aalst00.pdf:PDF},
    Owner = {hverbeek},
    Timestamp = {2008.11.04},
    Url = {http://www.win.tue.nl/~hverbeek/downloads/preprint/Aalst00.pdf}
    }
  • [PDF] H. M. W. Verbeek and W. M. P. van der Aalst, “Woflan 2.0: a petri-net-based workflow diagnosis tool,” in Application and theory of petri nets 2000, 2000, pp. 475-484.
    [Bibtex]
    @InProceedings{Verbeek00,
    Title = {Woflan 2.0: A Petri-net-based Workflow Diagnosis Tool},
    Author = {Verbeek, H. M. W. and Aalst, W. M. P. van der},
    Booktitle = {Application and Theory of Petri Nets 2000},
    Year = {2000},
    Editor = {Nielsen, M. and Simpson, D.},
    Pages = {475--484},
    Publisher = {Springer, Berlin, Verlag},
    Series = {Lecture Notes in Computer Science},
    Volume = {1825},
    Abstract = {Workflow management technology promises a flexible solution facilitating the easy creation of new business processes and modification of existing ones. Unfortunately, most of today’s workflow products allow for erroneous processes to be put in production: these products lack proper verification mechanisms in their process-definition tools for the created or modified processes. This paper presents the workflow diagnosis tool Woflan, which fills this gap. Using Petri-net based techniques, Woflan diagnoses process definitions before they are put into production. These process definitions can be imported from commercial workflow products. Furthermore, Woflan guides the modeler of a workflow process definition towards finding and correcting possible errors.},
    File = {Lecture Notes in Computer Science:http\://link.springer.de/link/service/series/0558/index.htm:URL;Volume 1825:http\://link.springer.de/link/service/series/0558/tocs/t1825.htm:URL;Application and Theory of Petri Nets 2000:http\://www.daimi.au.dk/pn2000/:URL;Preprint of published paper:http\://www.win.tue.nl/~hverbeek/downloads/preprints/Verbeek00.pdf:PDF},
    Owner = {hverbeek},
    Timestamp = {2008.11.04},
    Url = {http://link.springer.de/link/service/series/0558/papers/1825/18250475.pdf}
    }
  • H. M. W. Verbeek, T. Basten, and W. M. P. van der Aalst, “Diagnosing workflow processes using woflan,” Eindhoven University of Technology, Eindhoven, The Netherlands, BETA Working Paper 48, 2000.
    [Bibtex]
    @TechReport{Verbeek00a,
    Title = {Diagnosing Workflow Processes Using Woflan},
    Author = {Verbeek, H. M. W. and Basten, T. and Aalst, W. M. P. van der},
    Institution = {Eindhoven University of Technology},
    Year = {2000},
    Address = {Eindhoven, The Netherlands},
    Number = {48},
    Type = {BETA Working Paper},
    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.},
    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/Verbeek00a.pdf:PDF},
    Owner = {hverbeek},
    Timestamp = {2008.11.04},
    Url = {http://beta.ieis.tue.nl/node/1377}
    }

Leave a Reply