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

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

【技术实现步骤摘要】

【技术保护点】
１．一种基于脚本的Ｗｅｂ服务执行优化方法，其特征在于，包括以下步骤：ａ．采用Ｃｐｉ演算对Ｗｅｂ服务的描述脚本进行简约归一化；ｂ．通过分析Ｗｅｂ服务的ＢＰＥＬ脚本，提取约束规则集，给出服务可用和可达性分析方法，用于形式化验证Ｗｅｂ服务组合偏序序列的正确性，从而保障Ｗｅｂ服务组合的正确；ｃ．分析Ｗｅｂ服务的执行序列中各服务的约束条件和依赖关系，通过对Ｗｅｂ服务的归一化脚本的相关性分析，给出Ｗｅｂ服务执行序列的并行判据，通过对Ｗｅｂ服务序列进行重排序，优化Ｗｅｂ服务执行序列，并给出基于脚本ＤＡＧ图的并行调度算法；ｄ．基于ＱｏＳ服务特征属性，通过鲁棒控制模型对性能进行评估方法和优化，建立大规模计算环境下，Ｗｅｂ服务并发计算模型。

【技术特征摘要】

【专利技术属性】
技术研发人员：曾国荪，王伟，周静，谭一鸣，蒋昌俊，苗夺谦，
申请(专利权)人：同济大学，
类型：发明
国别省市：31