摘要
分析了目前服务计算的研究现状和存在的问题,在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.
出处
《智能系统学报》
2006年第2期48-57,共10页
CAAI Transactions on Intelligent Systems
基金
国家自然科学基金资助项目(60373081)
广东省自然科学重点基金资助项目(04105503).
关键词
有限状态自动机
带条件的有限状态自动机
服务计算
服务组合
finite state automata
finite state automata with condition
service computing
service composition
