系统升级维护中心，您也可以扫描下方二维码，获取最新书号查询入口！
扫一扫：立即查询书号
模型驱动的Radl-WS代数规范生成方法及自动转换系统 - 的书号查询结果
- 书名：模型驱动的Radl-WS代数规范生成方法及自动转换系统
- cip：2019282321
- isbn：9787569259445
- 作者：王昌晶, 左正康, 张琦著
- 出版社：吉林大学出版社
- 出版地：长春
- 出版时间：2019.11
- 出版价格：30
本书面向从事计算机科学技术与软件工程相关专业的高校教师、研究生和本科生，向读者介绍基于模型驱动的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自动转换系统。最后，采用两个工业真实案例：空中交通管制系统、建管系统后台，验证了该生成方法的有效性。
[来源:书号查询官网]
免责声明： 本网转载稿件均不代表书号查询官网（www.shuhaochaxun.com）的观点，不保证内容的准确性、可靠性或完整性。如涉及版权、稿酬等问题，请速来电或来函联系。
