摘要

下一代网络是业务驱动的网络，但是当前业务提供和业务开发技术还远远不能满足人们日益增长的业务需求.在电信网和Internet日益融合的趋势下，吸收电信领域己有业务提供和业务开发技术(如智能网)的成功经验，并结合Internet、软件领域新技术(如WebServices)的优势是面向融合网络业务提供技术的一个重要指导原则。
本论文在上述原则下，围绕着如何采用WebS ervices等技术构建面向融合网络的业务提供体系以及该体系的核心问题Web Services组合进行了深入研究，取得下列一系列研究成果:
1.首次较全面的分析了Web Services技术在网络能力开放接口Parlay中的应用，介绍了We bS ervices技术在终端上的发展状况，在此基础之上，提出面向融合网络、基于We bS ervices的业务提供系统WSSE，给出全面描述和指导业务提供和开发的参考模型 RM 4W SSPaR M4WSSP采用多视图、多平面的分析方法，对WSSE业务开发、系统实 现 、 物理部署等多个方面给出了框架性的参考。
2.针对当前Web Services组合开发方法缺少系统全局层面的整体考虑，首次引入软件体系结 构 研 究中的方法和概念到WebS ervices的组合开发当中，提出基于体系结构的自顶 向下 的 WebS ervices组合系统开发方法AWSC，给出AWSC方法的体系结构描述、形式化验证、至可执行规范转换三个阶段的具体实施方法和规则。
3.在AWSC方法中，通过分析当前Web Services主流组合描述语言BPEL4WS，首次给出基 于BPEL4WS的WebS ervices组合系统体系结构风格一层次控制总线风格，提出基于 BPEL4WS的组合系统专用体系结构描述语言WSC/ADL.W SC/ADL遵循抽象和具 体相结合的原则，基于WSC/ADL的WebS ervices组合系统体系结构描述既有利于向 可执行规范转换，又有利于采用形式化方法进行组合系统的相关性质验证。
4.针对基于服务组合的业务开发过程中面临的一些问题，提出对服务资源进行整合和组织的 服务抽象化问题解决思路，与类似思路的研究工作相比，本文的贡献在于给出了基于 描述逻辑和本体理论的服务抽象化自动/半自动实现机制，具体包括:相关概念和运 算的定义、相关运算的实现算法，采用描述逻辑推理机实现服务抽象化的输入描述构 建 方 法。服务抽象化向上层提供了不同层次和颗粒的服务视图，使得业务开发人员可 以 在 较高层次进行基于服务组合的业务开发。
关键词
系结构业务 提供;业务开发;参考模型;WebS ervices;W ebS ervices组合;软件体体系结构描述语言;本体;服务抽象化;抽象服务;CSP;O WL;O WL-S;BP EL4WS