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 techniques by giving an outline on the subject first. Next, a specific, newly developed formal technique is discussed. 1 Formal techniques in business process redesign A thorough analysis of several redesign alternatives can help to make the choice for the most effective solution. Also, analyzing the design of a new business process may point out whether once set redesign targets are still realistic. In this paragraph we will give a short background on business process redesign, so that the role of analysis techniques in general can be explained.

• Type: Conference
• Year: 2000
• Where: BPM
• Authors: Kees M. van Hee, Hajo A. Reijers
• Keywords: BPM 2000, Business, Business Process Redesign, Formal Analysis Techniques, Process Redesign Efforts