| 基于赋时有色Petri网的Web组合服务建模 |
| |
| 引用本文： | 王玉英,陈平. 基于赋时有色Petri网的Web组合服务建模[J]. 计算机科学, 2010, 37(10): 152-155 |
| |
| 作者姓名： | 王玉英 陈平 |
| |
| 作者单位： | 1. 西安电子科技大学软件工程研究所,西安,710071;西安建筑科技大学理学院,西安,710055
2. 西安电子科技大学软件工程研究所,西安,710071 |
| |
| 基金项目： | 本文受国家十一五国防预研项目(513060601)，校基础研究基金(A12035)资助。 |
| |
| 摘 要： | 面向Web服务的业务流程执行语言I3PEL本身缺乏健壮的语义，构建Web组合服务又是一种易于出错的任务。基于有色赋时Pctri网，提出了从13PEI描述的Wcb组合服务流程到有色赋时Pctri网模型的转换方法。在转换过程中考虑了I3PEL活动的执行方式和执行环境，如时间、环境属性等，给出了更为精确的模型，为更好地使用工具和现有方法验证和测试Wcb组合服务莫定了基础。并给出了这种转换方法的应用实例。
|
| 关 键 词： | 组合服务，BPEL，模型，流程验证 |
| 收稿时间： | 2009-11-19 |
| 修稿时间： | 2010-01-05 |
Models of Web Services Composition Based on Timed Color Petri Nets |
| |
| WANG Yu-ying,CHEN Ping. Models of Web Services Composition Based on Timed Color Petri Nets[J]. Computer Science, 2010, 37(10): 152-155 |
| |
| Authors: | WANG Yu-ying CHEN Ping |
| |
| Affiliation: | (Software Engineering Institute, Xidian University, Xi'an 710071 , China)(School of Science, Xi' an Technology and Architecture University,Xi'an 710055,China) |
| |
| Abstract: | BPEL is often used to describe the composition of Web Services, but it is lack of sound formal semantic. Web services were prone errors. Based on Timed Color Petri Net, transitions from Web Services which was described using I3PEL to Timed Color Petri Net models were proposed, while I3PEL activities execute ways and environments were considered. The models we get arc more exacter and can be used to verify and test Web Service. An instance of this transition were gmen. |
| |
| Keywords: | Web Service BPEL Model Process verify |
| 本文献已被 万方数据 等数据库收录！ |
| 点击此处可从《计算机科学》浏览原始摘要信息 |
|
点击此处可从《计算机科学》下载全文 |
|
