为了研究Web服务的自动组合,首先设计从BPEL文档到Petri网的转换规则,并在Petri网中显示BPEL文件的执行流程,然后按照深度优先搜索算法以搜索两个状态之间的可达路径,并提供服务组合质量信息给用户,最后按照搜索到的路径,自动生成可执行BPEL文件.
In order to research into web service auto-composition, firstly design translating rules from BPEL to Petri net and display the flow of execution in BPEL, then search path between two states with depth first algorithm and provide web service quality information to users, at last auto-generate executable BPEL file according to the path found.