面向组合的业务流程建模及异常处理

Composition-Oriented Business Process Modeling and Exception Processing

随着信息技术的发展,业务流程的范围扩展至跨越部门,甚至跨越企业的边界,复杂性也越来越高。提出一种形式化的面向组合的业务流程模型,该模型以流程代数π演算为形式化基础,通过组合简单的结构化流程控制模块,建立复杂的流程模型,并给出了模型的合理性验证。利用流程可组合的特性,将异常处理逻辑从正常的流程控制逻辑中分离出来,并将异常处理区域化,以最小化计划外偶然事件的有害影响。

As a result of the development of information technology, business processes now spanning different departments even different enterprises have become more and more complicated. A formal composition-oriented business process model was proposed. The model used process algebra π-Calculus as its formal basis and built a complex process by composing simple structured process control modules to reduce the complexity of business process modelling. Verification for its soundness was given. Exception processing logic was separated from normal process control logic and scooping mechanisms were provided to minimize the detrimental effects of unplanned contingencies by ways of composition.