WEB服务组合验证相关论文
随着以Web服务为基础的面向服务的体系结构的发展，如何有效组合自治的、分布的、不同功能的Web服务以构建新的企业业务应用逐渐成为......
在实际的服务组合中,Web服务流程(process)的验证(verification)对于Web服务的组合实现和应用具有重要意义——通过验证可以证明一......
随着以Web服务为基础的面向服务的体系结构的发展，如何有效地组合自治的、分布的、不同功能的Web服务以构建新的企业业务应用逐渐成......
广泛研究使用的OWL-Sweb服务交互规范作为一种半形式化的描述语言，在服务组合的验证上存在缺陷。而Petri网作为一种模型描述语言，尤......
针对Web服务组合的有效性验证问题,提出了一种基于服务分组和调用轨迹的Web服务组合形式化验证方案。首先,基于服务调用顺序,利用......
利用Web服务组合技术,能够快速、灵活地满足复杂多变的业务需求。针对现有Web服务组合描述模型不独立于具体组合流程描述语言且不......
Web服务组合使得开发者可以基于面向服务的计算无缝地访问众多分布式服务，组合在一起解决复杂问题。大多数Web服务是独立开发并运行......
面向服务的计算(Service-Oriented Computing，SOC)与面向服务的体系架构(Service-Oriented Architecture，SOA)代表了分布式计算和软......
