基于petri网的Web服务组合相关技术研究

摘要

近年来,Web服务作为一种基于XML和HTTPS的一种服务,已经普遍被学术界和工业界所重视。Web服务组合具有动态与适应性、层次性和课扩展性的特点,Web服务组合的出现有效地提高了组合与交易过程的自动化程度,提高了软件的生产率。Web服务组合主要是针对两个方面的问题进行研究——组合Web服务的形式化验证和自动Web服务组合。下面主要是以petri网为研究的理论基础,深入探究Web服务组合的相关技术问题,从而有效提高Web服务组合的实际利用率。