BPEL中基于有限状态自动机的Web服务自动组合

作     者：于守健 李卫民 吴国文 乐嘉锦 YU Shou-jian;Li Wei-min;WU Gou-wen;LE Jia-jin

作者机构：东华大学计算机科学与技术学院上海200051 

基　　金：上海市科委产学研联盟项目(05DZ11C06)资助 

出 版 物：《小型微型计算机系统》 (Journal of Chinese Computer Systems)

年 卷 期：2007年第28卷第4期

页      码：742-747页

摘      要：提出了一种基于有限状态自动机的Web服务自动组合方法,该方法能够自动实现BPEL中抽象业务流程与Web服务的绑定.以有限状态自动机模型形式化地定义了业务流程的外模式和内模式,将Web服务组合问题转化为有限状态自动机问题.利用有限状态自动机的笛卡儿积运算,得出了服务组合系统的行为描述.在此基础上,提出了组合服务存在性的判定依据,进一步给出了组合服务的计算方法,设计并实现了一个演示系统.

主 题 词：业务流程 Web服务组合 有限状态自动机 BPEL 

学科分类：08[工学] 0839[0839] 081201[081201] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3969/j.issn.1000-1220.2007.04.036

馆 藏 号：203136260...