一组编制模式下组合Ｗｅｂ服务模型的约简规则与算法

杨怀洲　李增智

摘要：为了解决Web服务组合过程中状态空间庞大而导致性能求解的效率难以满足实时性要求的问题，提出了一种过程约简算法，在利用广义随机Petri网进行过程建模后，保留系统时间性能特征，通过对可约简子网的自动探察，剔除部分规则结构(序列、选择、并行、循环)，孤立出可单独求解的子结构，由此在比较满意的时间内完成大规模模型约简，多种模型规模下的实验性能表明，所提算法可在动态服务组合与组合过程中自适应、快速地获得系统响应时间和吞吐量等性能指标，适用于多数服务组合过程的在线响应时问分析。

关键词：约简规则；约简算法；广义随机Petri网；响应时间

中图分类号：TP311文献标志码：A文章编号：0253－987X(2009)06－0020－04