一种基于脚本的Web服务执行优化方法

摘要

本发明涉及一种基于脚本的Web服务执行优化方法，包括以下步骤：a.采用Cpi演算对Web服务的描述脚本进行简约归一化；b.通过分析Web服务的BPEL脚本，提取约束规则集，给出服务可用和可达性分析方法，用于形式化验证Web服务组合偏序序列的正确性；c.分析Web服务的执行序列中各服务的约束条件和依赖关系，通过对Web服务的归一化脚本的相关性分析，给出Web服务执行序列的并行判据，通过对Web服务序列进行重排序，优化Web服务执行序列，并给出基于脚本DAG图的并行调度算法；d.基于QoS服务特征属性，通过鲁棒控制模型对性能进行评估方法和优化，建立大规模计算环境下，Web服务并发计算模型。本发明能在保证Web服务正确执行的前提下，实现Web服务的高效、优质执行。