基于有色Petri网的BP EL中flow活动建模

• 作者: 王玉英 陈平
• 来源期刊: 计算机应用研究
• 关键词: 组合服务 BPEL 流程活动 模型 CPN
• 年，卷（期）: 2011,（2）
• 所属期刊栏目: 软件技术研究
• 页码范围: 632-635
• 分类号: TP311
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2011.02.063

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈平	西安电子科技大学软件工程研究所	149	1211	17.0	28.0
2	王玉英	西安建筑科技大学理学院	10	56	5.0	7.0