随着Internet的快速发展,面向服务的体系结构(Service-Oriented Architecture,SOA)作为一种新的分布式计算技术应运而生,主要应用......

π演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模。根据π演算的语法,利用π演算对多实例工作流模式进行了建模。......