针对 Web 服务组合设计规范缺乏形式化的语义和验证方法的问题，提出了一个自顶向下的Web 服务设计和验证的框架-iFrame4WS 在iFrame4WS 中，将Web 服务组合的设计方案划分为描述层 抽象层和执行层，并通过抽象层的形式化模型和形式化验证来检查Web 服务组合的正确性
