题目：Web服务接口业务协议挖掘机制的研究与实现

Web 服务已成为互联网松耦合环境下解决异构应用之间互操作和集成的主流技术。然而单个的 Web服务功能有限，为了能发挥 Web服务的潜力，需要把独立的 Web服务组合起来，从而实现企业内部和企业之间的业务流程自动化，同时满足多样化、个性化的用户需求。服务组合作为实现灵活的跨组织应用集成和资源共享的核心技术得到了广泛的关注。特别是基于业务协议的服务组合，具有动态性、开放性方面的优点，逐渐成为当前服务组合领域的研究热点。 目前已开展了大量基于协议的服务组合技术研究，然而这些技术成果难以得到实际应用，因为大部分工作都假定Web 服务自身提供了详细的接口说明，这些接口说明刻画了 Web 服务的外部行为，即其他参与方或观察者可以掌握的业务逻辑和交互过程，称为 Web 服务接口的业务协议。接口的业务协议对于 Web 服务的复用具有重要意义，是服务发现、组合、验证和运行期可信保障等方面的重要基础。然而，目前 Web 服务接口的说明非常有限，影响了基于协议的服务组合技术的发展。因此，自动化的提取Web服务的接口及其业务协议模型对推动目前服务组合研究的进展具有重要意义。 本文分析了现有的Web服务接口业务协议模型的特点，针对没有同时考虑数据流约束和控制流约束的缺陷，在普通Petri网的基础上设计了一种兼顾两种约束的业务协议网（BPN）模型，并通过在BPN模型上设置接口信息，强化了Web服务的外部行为。其次，在业务协议网模型的基础上，提出了一种利用调用消息日志的Web服务接口业务协议挖掘机制。该机制分别挖掘数据流约束和控制流约束，并利用本文提出的合成算法形成详细的Web服务接口业务协议。另外，根据涉及多方的、具有复杂业务流程的Web服务的分布式部署、独立运行等特点，本文提出了一种先独立挖掘各参与方的接口业务协议，再通过合并算法生成完整的接口业务协议的机制。最后，通过对基于这种挖掘机制的Web服务接口业务协议挖掘系统的评测，证实了该机制的有效性和效率。