A Composition-Oriented Approach for Business Process Formal Design

Abstract

Traditional approaches to designing business processes are often inadequate for complicated, distributed, and collaborated settings. However since network technologies have become widespread, an increasing number of business processes exhibit these properties. Therefore a new approach is needed. To this end, we describe the motivation, conceptualization, and analysis of a composition-oriented business process design method. The key advance of our method is that it uses process algebra -'calculus as its formal basis and builds a complex process by composing simple structured process control modules to reduce the complexity of business process design as well as let several designers collaborate the design of a complex process. To make business process more clear, we also provide way of separating exception processing logic from normal process control logic and provide scooping mechanisms to minimize the detrimental effects of unplanned contingencies by ways ofcomposition.

Business process design: Process comparison and integration

“…Based on Communicating Sequential Processes (CSP), Tsujigaclo (1993) investigated the nature and workings of a sequence control mechanism by the process composition calculation. Zhang and Wang (2006) put forward a composition-oriented business process design method based on π-calculus. These methods concentrate on how to merge different business process models into a larger one.…”