【摘要】 面向Web服务的业务流程执行语言BPEL本身缺乏健壮的语义,构建Web组合服务又是一种易于出错的任务。基于有色赋时Petri网,提出了从BPEL描述的Web组合服务流程到有色赋时Petri网模型的转换方法。在转换过程中考虑了BPEL活动的执行方式和执行环境,如时间、环境属性等,给出了更为精确的模型,为更好地使用工具和现有方法验证和测试Web组合服务奠定了基础。并给出了这种转换方法的应用实例。更多还原

【Abstract】 BPEL is often used to describe the composition of Web Services,but it is lack of sound formal semantic.Web services were prone errors.Based on Timed Color Petri Net,transitions from Web Services which was described using BPEL to Timed Color Petri Net models were proposed,while BPEL activities execute ways and environments were considered.The models we get are more exacter and can be used to verify and test Web Service.An instance of this transition were given.更多还原