模型驱动的Radl-WS代数规范生成方法及自动转换系统

书籍简介:

本书面向从事计算机科学技术与软件工程相关专业的高校教师、研究生和本科生，向读者介绍基于模型驱动的WSDL→Radl-WS生成方法及自动转换系统, 它是当前Web服务、软件形式化领域中十分重要的问题。面向服务的计算范型（Sevice Oriented Computing，简称SOC）是一种基于Internet的全新计算模式，具有松散耦合、平台无关、互操作性强等特点。面向服务架构（Sevice Oriented Architecture，简称SOA）是这种计算模式下通用的架构风格，而Web服务是服务计算的重要研究内容，同时Web服务也是当前实现SOA最为主流的技术。Web服务是一种Internet上的分布式计算新范型，并且具有基于标准的、松散耦合的、跨平台的特性，其优点是任何企业和个人在任何地点都可以通过Internet快速、方便地进行服务调用，并且可以显著地提高软件的可重用性。精确地描述Web服务的语义对Web服务的发现、执行、动态组合和交互至关重要。而形式化规范技术迄今已经发展了40余年，能够以可验证的方式精确地定义软件系统的语义。精确地描述Web服务的语义对Web服务的发现、执行、动态组合和交互至关重要。本书在前期研究设计的Radl语言基础上，扩展Radl为Radl-WS，提出一种新型的基于Radl-WS代数规范的Web服务建模语言。该建模语言统一了基于代数公理方法和Hoare公理方法来描述软件规格说明，其中代数公理方法易于建立整个Web服务的语义框架，而Hoare公理方法便于指导操作（算法）的形式化推导和验证。以模型驱动为理论指导，进一步提出了将WSDL语言描述的Web服务通过等价变换生成为Radl-WS建模语言的方法，并设计了相应的WSDL→Radl-WS自动转换系统。最后，采用两个工业真实案例：空中交通管制系统、建管系统后台，验证了该生成方法的有效性。

书籍规格:

书籍信息归属:

模型驱动的Radl-WS代数规范生成方法及自动转换系统是吉林大学出版社于2019.11出版的中图分类号为 TP393.027 的主题关于 计算机网络－网络计算 的书籍。