作者：闫新庆; 李文锋; 陈定方web服务服务组合有限状态自动机确定性命题逻辑可组合性
摘要：Web服务是Web上的特殊软件资源，可以被应用系统发现和调用。如何根据用户的需求（目标服务）来组合Web服务是研究中需要解决的重要问题。通过使用有限状态自动机，服务组成的社区中的状态和操作可以使用有限状态自动机来模拟，这样可以表示服务操作的内部和外部概要。结合确定性动态命题逻辑，可以根据已有的Web服务，解决目标服务的可组合问题，产生组合计划。同时讨论了算法的复杂性。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
