On the formal generation of process redesigns

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

10 Citations (Scopus)


Business Process Redesign (BPR) is a process oriented methodology to improve organizations. Although literature on BPR is available in abundance, little concrete support on how to get from as is towards to be is available ?. We propose the use of an evolutionary redesign approach that is based on BPR best practices to fill this gap. The approach is evolutionary in nature, because local updates are made to an existing process. In this paper we focus on one part of the approach: the generation of redesign alternatives. The first step in the generation of an alternative process is the selection of a process part for redesign. This is followed by a process transformation that determines an alternative for this selected part. Finally, the original process part is replaced by the transformed part resulting in the alternative process. Using Petri net analysis techniques the correctness of such a redesign generation is ensured.
Original languageEnglish
Title of host publicationBusiness Process Management Workshops (BPM 2008 International Workshops, Milano, Italy, September 1-4, 2008. Revised Papers)
EditorsD. Ardagna, M. Mecella, J. Yang
Place of PublicationBerlin
ISBN (Print)978-3-642-00327-1
Publication statusPublished - 2009


Dive into the research topics of 'On the formal generation of process redesigns'. Together they form a unique fingerprint.

Cite this