随着Web服务技术的迅速发展，越来越多的Web服务运行在Internet上，但单个Web服务功能有限，难以满足日益增长和不断变化的用户需求。因此，如何将已有的、运行在异构平台上的Web服务组合起来，提供给用户更为强大和增值的功能，成为Web服务研究领域中的一个热点。目前，Web服务组合还面临着一些问题：如何确定Web服务之间的逻辑及时序关系,以实现Web服务组合的自动化；如何测试和验证Web服务组合,以保证组合后Web服务执行结果的正确性。针对上述问题，文本提出了基于动态逻辑的Web服务组合方法，将OWL-S描述的语义Web服务映射为动态逻辑中的动作和公式，利用动态逻辑的形式化推理来产生满足用户需求的服务组合，从而实现了Web服务组合的自动化，并保证了服务组合结果的正确性和完整性。本文的主要工作包括：1.从OWL-S中的过程模型出发，利用动态逻辑对语义Web服务进行形式化描述。对应于过程模型中的原子过程，可以对变量、变量绑定、输入、输出、前提条件和结果等多个方面进行刻画；对应于过程模型中的组合过程，可以相应地对顺序、条件、选择、循环等控制结构进行描述。2.在Web服务组合过程中，将Web服务组合问题看成基于动态逻辑的规划问题，给出了Web服务组合的形式化定义。用户所有的输入被表示为规划的初始状态，用户的输出被表示为规划的目标状态，而服务组合序列就是从初始状态到目标状态的一个规划。3．给出了基于动态逻辑的语义Web服务组合框架，用以实现自动化Web服务组合。该框架分为用户层、语义层和执行层。用户层由本体图形界面模块构成。语义层由OWL-S描述模块，OWL-S到动态逻辑的转换器模块，动态逻辑知识库模块，组合引擎模块构成，而执行层则由执行引擎模块和执行结果模块构成。