中文摘要：

服务适配是提高服务协同健壮性的关键，也是构建面向服务的新一代软件系统的基础，具有巨大的研究与应用价值。大粒度服务作为服务形式的重要发展趋势，因集成了大量基本服务且包含了复杂业务过程，致使大粒度服务的协同尤为复杂，这给服务适配的研究带来了新的挑战。项目拟针对现有大粒度服务的适配机制存在适用性不强、缺乏对协同上下文的考虑、不支持对死锁情况下的适配等不足展开研究。在对已有大粒度服务模型进行分析和比较的基础上，总结出大粒度服务行为及其协同特点，建立大粒度服务通用行为模型，并采用π演算对其进行形式化表达；利用π演算的操作语义和自动推演研究大粒度服务协同失配的自动检测；基于失配检测结果与通用行为模型，采用π演算的行为理论以及π演算对动态演变的软件体系的刻画能力，研究适配器的自动生成与协同演化。最后，我们将研制一个大粒度服务组合的原型系统，并以此作为试验平台对适配机制与算法进行分析和评估。