介绍了利用pi演算进行业务过程建模的框架及各个阶段使用的工具和技术。