Web服务的正确交互是其成功组合的先决条件,该文提出一种Web服务动态交互模型(IWSN),旨在解决Web服务的正确交互问题、提升Web服务组合的灵活性、保证Web服务间的行为兼容性并进一步促进Web服务组合在相关领域的应用。IWSN模型基于Kahn过程网络(KPN),该网络支持基于数据流和通道的并行计算。基于Pi-calculus进程演算定义IWSN模型的形式化语义,并讨论IWSN模型的性质。最后,通过应用案例演示如何将IWSN模型应用于Web服务组合及服务交互。