论文部分内容阅读
为了更加有效地对Web服务组合进行分析验证，设计BPEL到PNML语言的文件转换规则，实现Web服务组合流程的Petri网建模。针对Web服务组合流程设计中可能存在死锁及不正确的流程，在不破坏原Petri网模型结构性质与系统行为的基础上，将其调整映射为自由选择网。在自由选择Petri网理论基础上，设计了一种Web服务组合Petri网模型的合理性验证规则，能在多项式时间内分析网模型的结构活性与有界性，从而避免采用传统的可达树等分析方法出现的状态空间爆炸问题。最后，使用两个具体的W eb服务组合Petri网模