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

【Abstract】 BPEL is often used to describe the composition of Web services,but it is lack of sound formal semantic.Web ser-vices are prone errors.Flow activity is very complicated in BPEL,but it plays an important role in describing Web services.Based on color Petri net,proposed transitions from flow activity to color Petri net models,while considered BPEL activities execute ways and environments.These models are more exacter and can be used to verify and test Web services.更多还原