1. 首页
  2. 编程语言
  3. 其他
  4. 论文研究基于有色Petri网的BPEL中flow活动建模.pdf

论文研究基于有色Petri网的BPEL中flow活动建模.pdf

上传者: 2019-07-31 18:17:57上传 PDF文件 912.89KB 热度 41次
面向Web服务的业务流程执行语言BPEL本身缺乏健壮的语义,构建Web组合服务又是一种易于出错的任务。基于有色赋时Petri网,提出了从BPEL描述的Web组合服务流程中Flow活动到有色Petri网模型的转换方法。在转换过程中考虑了BPEL活动的执行方式和执行环境,如环境属性、活动之间的相互作用等,给出更为精确的模型,为更好地使用工具和现有方法验证以及测试Web组合服务奠定了基础。
下载地址
用户评论