论文部分内容阅读
软件重用可以降低软件开发成本,提高软件质量,加快软件开发速度。随着互联网技术和应用的迅速发展,Web服务技术具有良好的互操作性,因此越来越多的开发者进行Web服务组合以提供更强大的功能。论文面向Web服务组合开发者的应用需求,研究Web服务组合的重用以使开发者能够提高生产效率,降低开发成本。论文主要完成以下几个方面的工作。首先,介绍Web服务理论知识并提出Web服务组合重用模型。论文展现了Web服务的基本概念、Web服务的体系结构、Web服务的协议栈,分析了目前Web服务组合的研究现状,提出Web服务组合重用模型。此模型可以被添加到任何Web服务组合方法(无论动态的还是静态的),描述了Web服务组合的重用过程,解释了选择BPEL4WS作为执行引擎的原因,详述了存储Web服务组件类的条件和过程。然后,提出Web服务组合的正确性检查方法。Web服务组合的正确性检查是重用的前提。由于模型里存在抽象的Web服务组件类,常规的仿真并不适用,所以只能进行预检查。论文描述了Web服务组合的结构表示方法,并使用6个规则和一个算法检查Web服务组合的正确性。6个规则主要用于发现控制节点错误,而算法主要用于发现非控制节点错误。论文给出了一个验证Web服务组合结构正确性的定理,并予以证明。其次,通过对组件,类,Web服务特点的比较,引入Web服务组件类,给出其定义,解释其独立性、封装性、完整性、继承性、重用性、扩展性,说明保证这些性质的方法。Web服务组件类包括两部分,接口规范和结构规范。接口规范用于描述Web服务组件类的功能;结构规范用于描述Web服务组件类中内部服务的组合逻辑。Web服务组件类共分为三类,分别是具体服务组件类、抽象服务组件类、接口服务组件类。每一类具有不同的继承方法,使Web服务组合得以重用。部分Web服务组件类继承属白盒继承,虽打破了Web服务组件类中Web服务组合的内部结构,但仍可以提高代码的重用性。最后,设计并实现了城市安全生产应急指挥系统,此系统属于国家“十一五”科技攻关滚动计划项目中的一个子项目。系统中采用Web服务相关技术,解决了突发事件的应急问题。目前系统在南宁、青岛、天津、北京等地试用,运行效果良好。但是,论文还需要深入了解国内的应急机制,并在系统中体现出来,使得系统更加实用。