| BPEL中基于有限状态自动机的Web服务自动组合 |
| |
| 引用本文： | 于守健,李卫民,吴国文,乐嘉锦.BPEL中基于有限状态自动机的Web服务自动组合[J].小型微型计算机系统,2007,28(4):742-747. |
| |
| 作者姓名： | 于守健 李卫民 吴国文 乐嘉锦 |
| |
| 作者单位： | 东华大学,计算机科学与技术学院,上海,200051 |
| |
| 基金项目： | 上海市科委产学研联盟项目 |
| |
| 摘 要： | 提出了一种基于有限状态自动机的Web服务自动组合方法,该方法能够自动实现BPEL中抽象业务流程与Web服务的绑定.以有限状态自动机模型形式化地定义了业务流程的外模式和内模式,将Web服务组合问题转化为有限状态自动机问题.利用有限状态自动机的笛卡儿积运算,得出了服务组合系统的行为描述.在此基础上,提出了组合服务存在性的判定依据,进一步给出了组合服务的计算方法,设计并实现了一个演示系统.
|
| 关 键 词： | 业务流程 Web服务组合 有限状态自动机 |
| 文章编号： | 1000-1220（2007）04-0742-06 |
| 修稿时间： | 2006-01-20 |
Automatic Web Service Composition Based on Finite State Machine in BPEL |
| |
| YU Shou-jian,Li Wei-min,WU Gou-wen,LE Jia-jin.Automatic Web Service Composition Based on Finite State Machine in BPEL[J].Mini-micro Systems,2007,28(4):742-747. |
| |
| Authors: | YU Shou-jian Li Wei-min WU Gou-wen LE Jia-jin |
| |
| Affiliation: | College of Computer Science and Technology, Donghua University, Shanghai 200051, China |
| |
| Abstract: | |
| |
| Keywords: | BPEL |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
