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

第 1 卷第 2 期 　　　 　　　　 　　　　　　　智 　能 　系 　统 　学 　报 　　　　 　　　　 　 　 　　Vol . 1 №. 2 2006 年 10 月 　　　　　　　 　 　 　 　　　　 　　 　　　　Oct . 2006 CA A I Tran saction s o n Int elligent Sy st em s 基于有限状态自动机的服务组合模型 1 ,2 2 1 蒋运承 ,汤 　庸 ,邓培民 ( 1. 广西师范大学 计算机科学与信息工程学院 ,广西 桂林 54 1004 ; 2 . 中山大学 计算机科学系 ,广东 广州 510275) 摘 　要 :分析了目前服务计算的研究现状和存在的问题 ,在 D Berar di 和 A Wombacher 的基础上提出了一种带条件 的有限状态 自动机模型 c F SA ( Finit e St at e Automat a wit h condition) ,并给出了基于 c F SA 的服务理论模型. 在该服 务理论模型的基础上提出了一种基于有限状态 自动机的服务组合形式化模型 ,并给出了该模型的代数性质和实现 方法. 关键词 :有限状态 自动机 ;带条件的有限状态自动机 ;服务计算 ;服务组合 中图分类号 : TP 18 　文献标识码 :A 　文章编号 (2006) A service composition model based on f inite state automata J IAN G Yuncheng1 ,2 , TAN G Yon g2 , D EN G Peimin1 ( 1. College of Comp ut er Sciences and Information Engineering , Guangxi Normal U niver sit y , Guilin 54 1004 , China ; 2 . De p art ment of Comp ut er Sciences , Sun Yasen U niver sit y , Guangzhou 510275 , China) Abstract :The exi sting condition s and p roblem s of service co mp uting are analyzed , an d ba sed on t he wor k of D Berar di and A Wo mbacher , a kind of finit e st at e auto mat a wit h co ndition cF SA ( Finit e St at e A uto mat a wit h co ndition) i s p re sent ed , and t he service t heory mo del ba sed on cF SA i s p re sent ed too . Ba sed on t hi s mo del , t he for mal t heory mo del of service co mpo sition ba sed on finit e st at e auto mat a wit h condition c F SA i s st udied . The algebraic p rop ert y and imp lementing met ho d of t he service co mp o sition mo del are st u died . Key words :finite state automata ; finite state autom