| 基于有色Petri网的BPEL中flow活动建模* |
| |
| 引用本文： | 王玉英,陈平.基于有色Petri网的BPEL中flow活动建模*[J].计算机应用研究,2011,28(2):631-634. |
| |
| 作者姓名： | 王玉英 陈平 |
| |
| 作者单位： | 1. 西安建筑科技大学,理学院,西安,710055;西安电子科技大学软件工程研究所,西安,710071
2. 西安电子科技大学软件工程研究所,西安,710071 |
| |
| 基金项目： | 国家“十一五”国防预研基金资助项目（513060601） |
| |
| 摘 要： | 面向 Web 服务的业务流程执行语言BPEL本身缺乏健壮的语义，构建Web组合服务又是一种易于出错的任务。基于有色赋时Petri网，提出了从BPEL描述的Web组合服务流程中Flow活动到有色Petri网模型的转换方法。在转换过程中考虑了BPEL活动的执行方式和执行环境，如环境属性、活动之间的相互作用等，给出更为精确的模型，为更好地使用工具和现有方法验证以及测试Web组合服务奠定了基础。
|
| 关 键 词： | 组合服务 BPEL 流程活动 模型 CPN |
Models of BPEL's flow activity based on color Petri nets |
| |
| WANG Yu-ying,CHEN Ping.Models of BPEL's flow activity based on color Petri nets[J].Application Research of Computers,2011,28(2):631-634. |
| |
| Authors: | WANG Yu-ying CHEN Ping |
| |
| 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. |
| |
| Keywords: | Web service BPEL flow activity model CPN |
| 本文献已被 万方数据 等数据库收录！ |
| 点击此处可从《计算机应用研究》浏览原始摘要信息 |
|
点击此处可从《计算机应用研究》下载全文 |
