中文摘要：

本项目采用以消息交互为主要特征的建模语言，从行为的层次探索Web Services组合行为的获取与验证。用基于场景的规约（Scenario-Based Specifications）描述服务需求，用接口自动机（Interface Automata）作为服务的形式模型。研究内容包括构造编导性的服务（Orchestration Services）从服务组合中获取所需要的行为，避开服务组合中不需要的、非法的行为，从不兼容的服务组合中最大限度地抽取可用行为；设计算法和工具判定服务组合中是否存在满足基于场景规约的行为，是否存在不需要的行为，是否存在不安全的行为。