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

• 作者: 李文锋 闫新庆 陈定方
• 来源期刊: 计算机工程与设计
• 学科: 工学
• 关键词: Web服务 服务组合 有限状态自动机 确定性命题逻辑 可组合性
• 年，卷（期）: 2007,（23）
• 所属期刊栏目: 网络与通信技术
• 页码范围: 5624-5627,5725
• 页数: 5页
• 分类号: TP311.1
• 字数: 818字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-7024.2007.23.016

摘要

Web服务是Web上的特殊软件资源,可以被应用系统发现和调用.如何根据用户的需求(目标服务)来组合Web服务是研究中需要解决的重要问题.通过使用有限状态自动机,服务组成的社区中的状态和操作可以使用有限状态自动机来模拟,这样可以表示服务操作的内部和外部概要.结合确定性动态命题逻辑,可以根据已有的Web服务,解决目标服务的可组合问题,产生组合计划.同时讨论了算法的复杂性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈定方	中国科学院智能信息处理开放实验室	23	613	12.0	23.0
2	李文锋	武汉理工大学物流工程学院	113	1956	21.0	39.0
3	闫新庆	华中科技大学机械工程学院	7	34	4.0	5.0