业务过程的异步通信合成

摘要

为实现共同的商业目标,业务过程间需要进行交互和协作。基于消息缓冲区的异步通信模型是被广泛用于并发分布式系统中。本文以Petri网为形式化基础,讨论了异步通信模型下,业务过程模型间的异步通信合成,并通过例子,说明了该方法的有效性。