论文部分内容阅读
面向服务的计算范型(Sevice Oriented Computing,简称SOC)是一种基于Internet的全新计算模式,具有松散耦合、平台无关、互操作性强等特点。面向服务架构(Sevice Oriented Architecture,简称SOA)是这种计算模式下通用的架构风格,而Web服务是服务计算的重要研究内容,同时Web服务也是当前实现SOA最为主流的技术。Web服务是一种Internet上的分布式计算新范型,并且具有基于标准的、松散耦合的、跨平台的特性,其优点是任何企业和个人在任何地点都可以通过Internet快速、方便地进行服务调用,并且可以显著地提高软件的可重用性。精确地描述Web服务的语义对Web服务的发现、执行、动态组合和交互至关重要。而形式化规范技术迄今已经发展了40余年,能够以可验证的方式精确地定义软件系统的语义。为了精确描述Web服务语义,本文在前期研究设计的Radl语言基础上,扩展Radl为Radl-WS,提出一种新型的基于Radl-WS代数规范的Web服务建模语言。该建模语言统一了基于代数公理方法和Hoare公理方法来描述软件规格说明,其中代数公理方法易于建立整个Web服务的语义框架,而Hoare公理方法便于指导操作(算法)的形式化推导和验证。以模型驱动为理论指导,进一步提出了将WSDL语言描述的Web服务通过等价变换生成为Radl-WS建模语言的方法,并设计了相应的WSDL→Radl-WS自动转换系统。最后,采用两个工业真实案例:空中交通管制系统、建管系统后台,验证了该生成方法的有效性。针对上述目标,本文主要做了如下几方面工作:1、扩展Radl语言为Radl-WS建模语言,统一了基于代数公理方法和Hoare公理方法,使之更适合精确地描述Web服务。2、以模型驱动为理论指导,根据WSDL语言特点提炼出等价转换规则,进而提出将WSDL语言描述的Web服务通过等价变换生成为Radl-WS建模语言的方法。3、为支持模型转换,根据等价转换规则深入分析模型转换的实现原理,设计并实现了WSDL→Radl-WS自动转换系统。4、将该系统部署在阿里云服务器上:http://106.14.226.54:8080,并采用工业真实案例验证了其有效性。