Sciweavers

BPM
2000
Springer
133views Business» more  BPM 2000»
13 years 7 months ago
Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques
Workflow management systems facilitate the everyday operation of business processes by taking care of the logistic control of work. In contrast to traditional information systems, ...
Wil M. P. van der Aalst
BPM
2000
Springer
191views Business» more  BPM 2000»
13 years 8 months ago
ARIS Architecture and Reference Models for Business Process Management
In this article a general business process architecture is presented, which is based on the Architecture of Integrated Information Systems (ARIS) and which is composed of the four ...
August-Wilhelm Scheer, Markus Nüttgens
BPM
2000
Springer
111views Business» more  BPM 2000»
13 years 8 months ago
A Knowledge-Based Approach for Designing Robust Business Processes
This chapter describes a novel knowledge-based methodology and computer toolset for helping business process designers and participants better manage exceptions (unexpected deviati...
Chrysanthos Dellarocas, Mark Klein
BPM
2000
Springer
106views Business» more  BPM 2000»
13 years 8 months ago
Using Formal Analysis Techniques in Business Process Redesign
Formal analysis techniques can deliver important support during business process redesign efforts. This chapter points out the (potential) contribution of these formal analysis tec...
Kees M. van Hee, Hajo A. Reijers