| 基于同步网的BPEL建模和验证 |
| |
| 引用本文： | 徐春香,屈婉玲,王捍贫,黄雨,袁崇义.基于同步网的BPEL建模和验证[J].系统仿真学报,2007,19(A01):97-100. |
| |
| 作者姓名： | 徐春香 屈婉玲 王捍贫 黄雨 袁崇义 |
| |
| 作者单位： | [1]北京大学信息科学技术学院软件研究所,北京100871 [2]教育部高可信软件技术重点实验室,北京100871 |
| |
| 基金项目： | 973项目（2002CB312004）;863项目（2006AA012160）. |
| |
| 摘 要： | Web服务组合是面向服务架构的一个应用,是指将已有的Web服务组合成为新的服务。业务流程执行语言BPEL（Business Process Execution Language）是一种描述Web服务组合的语言。为了保证BPEL描述的Web服务组合的正确性,提出了分层建模和验证的思想,将BPEL流程分为逻辑层和语义层,并分别建立形式化模型和验证方法。这样不仅能保证对流程正确地建模,而且能降低建模和验证的复杂度。在逻辑层,BPEL元素映射为基于同步网的WSL_net模型。畅通性和无冗余变迁性质保证了BPEL流程基本控制流的正确性并避免了资源的浪费。语义层的建模和验证将另文给出。
|
| 关 键 词： | Web服务组合 BPEL 建模 验证 同步网 WSL_net |
| 文章编号： | 1004-731X（2007）S1-0097-04 |
| 收稿时间： | 2007-05-28 |
| 修稿时间： | 2007-05-282007-06-25 |
Modeling and Verifying BPEL Using Synchronized Net |
| |
| XU Chun-xiang, QU Wan-ling, WANG Han-pin, HUANG Yu, YUAN Chong-yi.Modeling and Verifying BPEL Using Synchronized Net[J].Journal of System Simulation,2007,19(A01):97-100. |
| |
| Authors: | XU Chun-xiang QU Wan-ling WANG Han-pin HUANG Yu YUAN Chong-yi |
| |
| Abstract: | |
| |
| Keywords: | Web Service composition BPEL modeling verification synchronized-net WSL_net |
| 本文献已被 维普 等数据库收录！ |
|
