论文部分内容阅读
WSCI是一种Web服务组合标记语言，对于一些关键的业务流程，任何设计错误都会造成重大损失，因此有必要为WSCI语言建立形式化模型并给予分析，从而保证正确的业务流程部署。本文主要给出了WSCI的分析方法，基于文献给出了形式化模型，提出了该形式化模型下的一种网融合方法。该方法将表示进程的网模型与其表示例外处理和子流程的网模型进行合并，形成统一的网模型。本文最后还给出了在该网模型下的可达图分析方法，从而达到分析带有例外处理的WSCI形式化模型的目的。