● 摘要
自从面向服务的软件体系结构SOA（Service Oriendted Architecture）提出以来，其解决网络环境中大量存在的异构资源间互操作性问题的能力得到了广泛的认可，大量的应用采用SOA架构来设计与实现。SOA运行时是SOA架构中底层的实现平台，为上层的应用提供最基础的保障。Web服务作为SOA架构当今最有效的实现方式一直是工业界和学术界的研究热点，SOA运行时实现的解决方案也就成为了Web服务运行时设计的问题。随着大量Web服务规范的提出，服务规范描述的二义性问题逐渐成为解决异构资源间互操作性问题的障碍，也是SOA运行时亟待解决的关键问题。如何保证SOA运行时具有较高的质量成为基于SOA架构应用的核心问题。软件质量保证技术是一种在软件开发过程中，通过采用不同的质量保证方法，制定详细的软件质量保证计划来提高软件质量的工程方法。软件验证与确认技术是一种被业界广泛采用的质量保证技术，通过在软件开发生命周期的各个阶段应用这项技术可以获得更加高质量的软件产品。针对如何提高SOA运行时系统的质量问题，本文从形式化描述技术和软件质量保证技术两个方面对SOA运行时的设计与开发进行了分析。通过对比当今主流的Web服务运行时系统，提出一种基于面向服务描述语言（Service-Oriented Description Language，简称SODL）设计的SOA运行时解决方案，并在此基础上实现了一种分层架构的SOA运行时系统。通过在软件开发过程中采用软件验证与确认技术，制定了详细的软件质量保证方案，为获得一个高质量的SOA运行时提供了更加有效可行的解决方案。本文设计与实现的基于SODL描述的SOA运行时系统，具有更强的服务交互过程的逻辑表达能力和更加高效简洁的实现能力。实验数据表明1.相比传统的完全基于高级语言编码实现的运行时系统其具有更加高效的执行效率。2.通过改进底层框架的结构，可以使得基于SODL描述实现的Web服务容器具有更加优秀的性能表现。此外，通过软件验证与确认技术实现的SOA运行时系统，在开发过程中有效地解决了大量潜在的导致软件质量低下的问题，为获得一个高质量的SOA运行时打下了坚实的基础。