论文部分内容阅读
Web服务组合验证对增强服务安全、保证系统质量具有重要意义。为保障Web服务组合的正确运行，提出了一种形式化和在线检测结合的Web服务组合验证方法。在动态检测的实时数据的基础上，通过语义Web服务组合到Petri网的映射和基于可达图的服务组合一致性检测方法，实现语义Web服务组合动态交互的形式化验证，最后通过实例进一步说明该方法的可行性。