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