在跨组织业务流程中,一个组织的业务流程需要跨越不同组织边界与其他组织的业务流程进行通信,交互以完成自己的业务目标。跨组织业务流程具有的隐私性、协作性、自治性和交互结构的动态性等个性化特征,使得传统的组织内业务过程建模方法难以有效支持。而为了确保不同组织之间流程交互的正确性和一致性,需要对跨组织业务流程进行建模和分析。以在Petri网的基础上提出的开放式工作流网作为建模跨组织业务流程的工具。将跨组织的业务流程分为私有流程和公共流程两部分,以私有流程作为组织的内部视图,公共流程作为一个组织与其他组织交互的外部视图。针对模型行为一致性问题,以验证模型的交互行为作为出发点,提出比现有的基于互模拟验证行为一致性的方法要求更宽松,更符合组织之间异步通信的基于环境验证行为一致性的方法。针对从私有流程抽取公共流程,首先将业务流程抽象为三种基本结构,即基本顺序结构、基本选择结构、基本并发结构,针对这三种基本结构提出各自的抽取规则集以获得组织的公共流程。并用基于环境验证行为一致性的方法证明了这些抽取规则都能保持公共流流程与私有流程的交互行为的一致性的,从而确保了每一次抽取,公共流程与私有流程的交互行为都是一致的,避免了每次抽取公共流程都需要验证一次公共流程的行为与私有流程的行为是否一致,确保了用抽取得到公共流程代替私有流程参与跨组织交互,不会使跨组织流程的执行出现问题。