论文部分内容阅读
给出了基于模型检测服务组合方法,该方法形式化定义Web服务以及服务组合模型,使用计算树逻辑描述服务组合模型交互的控制流程,使用符号模型检测工具NuSMV自动检测服务组合模型的总体目标与服务交互的正确性.并通过一个具体案例验证了该服务组合编制方法的正确性和可行性,成功生成一个服务编制器.该方法可以有效缓解服务组合过程中状态爆炸问题,从而降低企业的开发成本及风险.