中文摘要：

随着无线通信网络和计算机网络的不断融合，网络服务环境的多样性和网络服务逻辑的复杂化推动着网络服务理论的研究向深层次发展，大粒度网络服务作为服务形式的重要发展趋势，给服务适配的研究带来了新的挑战。本课题针对目前大粒度服务协同的适配机制存在适用性不强的特点，结合网络服务的动态性、异构性、分布式、松耦合等特点，深入研究基于行为适配的网络服务协同模型及其构造方法，探究支持网络服务行为适配器的自动构造方法以及动态演化机制和行为一致性验证的理论基础和关键技术。这一项目的成功实施，将有助于增强大粒度网络服务协同过程的正确性和健壮性，将为网络以"用户为中心"的服务模式与创新产生积极的影响。因此，该项研究具有重要理论意义和现实意义。

结论摘要：

随着无线通信网络和计算机网络的不断融合，网络服务环境的多样性和网络服务逻辑的复杂化推动着网络服务理论的研究向深层次发展，给大粒度网络服务的协同适配研究带来了新的挑战。本项目结合网络服务协同的动态性、异构性、分布式、松耦合等特点，提出了大粒度网络服务协同适配的机理和相关理论体系。具体如下 1）针对大粒度服务协同的特征，对传统的Pi 演算扩展为状态Pi演算，包括语法扩展、语义、类型系统等扩展方面，提出了状态Pi 演算的大粒度服务协同的通用行为模型建模方法。同时，针对大粒度服务协同描述语言BPEL，由于BPEL服务组合流程往往从表面上看不出流程设计有何问题，可通过将BPEL转化为形式化Petri网模型，从而分析的大粒度服务协同过程中出现的死锁、不可达和不安全问题。 2）提出基于Pi状态演算的的大粒度服务协同交互行为的正确性验证方法，通过定义大粒度服务协同进程之间的交互状态和模拟，以及可能发生异常的未指定接收、死锁和活锁三种性质，提出大粒度网络服务协同流程之间的相容性和相容度计算公式。在此基础上，提出一种使用调解规则对协同行为进行转换的调解方法。同时，结合行为理论，对大粒度网络服务协同自身的完整行为及其状态空间进行推演与适配调解。 3）通过引入上下文感知计算，提出了大粒度网络服务协同中的复合事件检测算法，根据复合事件做出决策，服务流程自适应运行。提出了位置感知的移动网络服务协同适配机制和方法，提出了位置感知的大粒度网络信息服务描述语言和方法，使移动大粒度网络服务提供具有情景感知和动态调配能力。 4）建立了基于SOA技术架构的智能业务平台，该服务平台以服务总线ESB为核心，包括了服务需求与BPEL生成子系统，多任务并发执行子系统，服务管理子系统以及通信能力及其它Web服务接口子系统等。在平台原型系统基础上设计了多媒体会议典型服务，并提出了多媒体会议大粒度服务协同的质量保障策略和优化算法。目前，相关理论研究成果已经在北京联通和教育网上开展了验证和示范应用。 项目在所取得的研究成果的基础上，共发表或录用学术论文39 篇，其中SCI检索的国际期刊论文20篇，EI检索的重要国际学术会议论文19篇。新申请国家发明专利7项。培养博士研究生7名，硕士研究生4名。