题目：支持动态演化的组合服务执行引擎的研究与实现

随着Internet的广泛应用和网络技术的快速发展，面向服务的软件体系结构（Service Oriented Architecture，SOA）作为一种新型的网络化软件应用模式，目前已经被工业界和学术界广泛接受，特别是Web服务技术作为SOA的最佳实践，极大地推动了SOA在电子商务、金融、电信等领域的应用。然而单一的Web服务难以实现复杂业务需求的全部功能，因此，集成Internet中多个Web服务以实现复杂功能成为网络化应用的必然趋势；另一方面，组合服务如何通过自身的动态演化机制更好地适应用户需求的不断变更和网络环境的动态变化，成为一个挑战性问题。因此，针对组合服务的执行和动态演化问题，采用面向流程的组合服务研究方法，研究与设计组合服务执行和演化机制是解决上述问题的有效手段。针对组合服务的执行问题，本文分析了现有组合服务执行机制的特点和关键技术以及目前基于BPMN的服务组合映射执行方案存在的问题，根据BPMN v1.1规范，建立了BPMN可执行模型BPD，提出了一组BPMN图元的执行算法，阐述了基于分片机制的分布式执行架构，实现了基于BPMN的组合服务分布式执行机制。针对组合服务的动态演化问题，本文分析研究了现有组合服务演化机制存在的局限性，定义了一组合理性保持的演化操作，设计了基于面向方面技术的动态演化算法，并采用动态演化机制对组合服务可用性进行优化，在一定程度上保证了演化目标、演化方法和演化过程与用户期望的一致性。在上述研究的基础上，本文设计实现了一种支持动态演化的组合服务执行引擎，并通过一组案例实验，对组合服务的执行和动态演化机制的正确性进行了验证，讨论了其有效性，并对引擎的功能和性能进行了定量的测试和定性的分析。本文研究的主要贡献有：实现了BPMN的分布式执行，避免了向BPEL转换带来的语义失配问题；提出了合理性保持的演化操作集和基于AOP的演化算法，克服了现有方法的一些局限性；基于本文的研究成果，设计并实现了支持动态演化的组合服务执行引擎。