针对跨组织协同环境下的业务流程建模技术的不足，提出了一个新的用于跨组织业务流程的形式化建模方法。首先根据工作流管理联盟（WfMC）的有关工作流过程定义接口规范，利用PiCalculus技术对跨组织业务流程结构进行了形式化定义。此外，利用PiCalculus特有机制对并发流程及其之间的通信进行描述。提出的方法可以有效用于不同业务流程间的协同工作，并且适合于对分布式协同环境下的工作流进行建模。