基于有限状态自动机的Web服务组合(英文)  

Web services composition based on finite state machine

作　　者：闫新庆[1] 李文锋[2] 陈定方[3] 

机构地区：[1]华中科技大学机械工程学院,湖北武汉430074 [2]武汉理工大学物流工程学院,湖北武汉460063 [3]中国科学院智能信息处理开放实验室,北京100086

出　　处：《计算机工程与设计》2007年第23期5624-5627,5725,共5页Computer Engineering and Design

基　　金：国家自然科学基金项目(60475031);国家863高技术研究发展计划基金项目(2006AA04A110)~~

摘　　要：Web服务是Web上的特殊软件资源,可以被应用系统发现和调用。如何根据用户的需求(目标服务)来组合Web服务是研究中需要解决的重要问题。通过使用有限状态自动机,服务组成的社区中的状态和操作可以使用有限状态自动机来模拟,这样可以表示服务操作的内部和外部概要。结合确定性动态命题逻辑,可以根据已有的Web服务,解决目标服务的可组合问题,产生组合计划。同时讨论了算法的复杂性。Web services are special software resources located in the web which is discovered and invoked by agents. How to composite web services to fulfill a specified user requirement （goal service） reminds a problems to be solved in the research. Using finite state machine （FSM）, the states and operations of web services community are modeled with the states and actions of the FSM, and the external and internal schemas for the operations of web service are described. In combining with the deterministic propositional dynamic logic, the composable problem of the goal service is determined. And if the goal service can be composed by the existing web services, the composition plan can be made. The complexity of this the algorithm is also explored.

关 键 词：WEB服务 服务组合 有限状态自动机 确定性命题逻辑 可组合性 

分 类 号：TP311.1[自动化与计算机技术—计算机软件与理论]