基于有限状态自动机的服务组合模型  

A service composition model based on finite state automata

作　　者：蒋运承[1] 汤庸[2] 邓培民[1] 

机构地区：[1]广西师范大学计算机科学与信息工程学院,广西桂林541004 [2]中山大学计算机科学系,广东广州510275

出　　处：《智能系统学报》2006年第2期48-57,共10页CAAI Transactions on Intelligent Systems

基　　金：国家自然科学基金资助项目(60373081);广东省自然科学重点基金资助项目(04105503).

摘　　要：分析了目前服务计算的研究现状和存在的问题,在D Berardi和A Wombacher的基础上提出了一种带条件的有限状态自动机模型cFSA(Finite State Automata with condition),并给出了基于cFSA的服务理论模型.在该服务理论模型的基础上提出了一种基于有限状态自动机的服务组合形式化模型,并给出了该模型的代数性质和实现方法.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.

关 键 词：有限状态自动机 带条件的有限状态自动机 服务计算 服务组合 

分 类 号：TP301.1[自动化与计算机技术—计算机系统结构]