|
|||||
|
|
| 基于有限状态自动机的Web服务组合 | |
| 引用本文： | 闫新庆,李文锋,陈定方. 基于有限状态自动机的Web服务组合[J]. 计算机工程与设计, 2007, 28(23): 5624-5627,5725 |
| 作者姓名： | 闫新庆 李文锋 陈定方 |
| 作者单位： | 华中科技大学,机械工程学院,湖北,武汉,430074;武汉理工大学,物流工程学院,湖北,武汉,460063;中国科学院,智能信息处理开放实验室,北京,100086 |
| 基金项目： | 国家自然科学基金 , 国家高技术研究发展计划(863计划) , 国家自然科学基金 |
| 摘 要： | Web服务是Web上的特殊软件资源,可以被应用系统发现和调用.如何根据用户的需求(目标服务)来组合Web服务是研究中需要解决的重要问题.通过使用有限状态自动机,服务组成的社区中的状态和操作可以使用有限状态自动机来模拟,这样可以表示服务操作的内部和外部概要.结合确定性动态命题逻辑,可以根据已有的Web服务,解决目标服务的可组合问题,产生组合计划.同时讨论了算法的复杂性. |
| 关 键 词： | Web服务 服务组合 有限状态自动机 确定性命题逻辑 可组合性 |
| 文章编号： | 1000-7024（2007）23-5624-04 |
| 收稿时间： | 2006-12-05 |
Web services composition based on finite state machine |
|
| YAN Xin-qing,LI Wen-feng,CHEN Ding-fang. Web services composition based on finite state machine[J]. Computer Engineering and Design, 2007, 28(23): 5624-5627,5725 | |
| Authors: | YAN Xin-qing LI Wen-feng CHEN Ding-fang |
| Abstract: | 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 ifthe 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. |
| Keywords: | web service composition finite state machine deterministic propositional dynamic logic composable |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |