|
|||||
|
|
| 基于有限状态自动机的服务组合模型 | |
| 引用本文： | 蒋运承,汤庸,邓培民. 基于有限状态自动机的服务组合模型[J]. 智能系统学报, 2006, 1(2): 48-57 |
| 作者姓名： | 蒋运承 汤庸 邓培民 |
| 作者单位： | 1. 广西师范大学,计算机科学与信息工程学院,广西,桂林,541004;中山大学,计算机科学系,广东,广州,510275 2. 中山大学,计算机科学系,广东,广州,510275 3. 广西师范大学,计算机科学与信息工程学院,广西,桂林,541004 |
| 基金项目： | 国家自然科学基金资助项目（60373081）;广东省自然科学重点基金资助项目（04105503）. |
| 摘 要： | 分析了目前服务计算的研究现状和存在的问题，在D Berardi和A Wombacher的基础上提出了一种带条件的有限状态自动机模型cFSA（Finite State Automata with condition），并给出了基于cFSA的服务理论模型．在该服务理论模型的基础上提出了一种基于有限状态自动机的服务组合形式化模型，并给出了该模型的代数性质和实现方法． |
| 关 键 词： | 有限状态自动机 带条件的有限状态自动机 服务计算 服务组合 |
| 文章编号： | 1673-4785（2006）02-0048-10 |
| 收稿时间： | 2006-02-23 |
| 修稿时间： | 2006-02-23 |
A service composition model based on finite state automata |
|
| JIANG Yun-cheng,TANG Yong,DENG Pei-min. A service composition model based on finite state automata[J]. CAAL Transactions on Intelligent Systems, 2006, 1(2): 48-57 | |
| Authors: | JIANG Yun-cheng TANG Yong DENG Pei-min |
| Affiliation: | 1. College of Computer Sciences and Information Engineering, Guangxi Normal University, Guilin 541004, China; 2. Department of Computer Sciences, Sun Ya-sen University, Guangzhou 510275, China |
| Abstract: | The existing conditions and problems of service computing are analyzed,and based on the work of D Berardi and A Wombacher,a kind of finite state automata with condition cFSA(Finite State Automata with condition)is presented,and the service theory model based on cFSA is presented too.Based on this model,the formal theory model of service composition based on finite state automata with condition cFSA is studied.The algebraic property and implementing method of the service composition model are studied. |
| Keywords: | finite state automata finite state automata with condition service computing service composition |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |