层次网论文

Web服务组合工作流建模分析及Petri网验证
论文摘要近年来Web服务的理论和技术取得了长足的发展。随着Web服务技术的研究、发展和应用,众多学者试图寻找Web服务组合、验证的有效方法,开始运用形式化方法描述Web服务组合...