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.
Kees M. van Hee, Hajo A. Reijers