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