|
题名:
|
模型驱动的Radl-WS代数规范生成方法及自动转换系统 / 王昌晶, 左正康, 张琦著 , |
|
ISBN:
|
978-7-5692-5944-5 价格： CNY30.00 |
|
语种:
|
chi |
|
载体形态:
|
94页 图 21cm |
|
出版发行:
|
出版地： 长春 出版社： 吉林大学出版社 出版日期： 2020 |
|
内容提要:
|
本书向读者介绍基于模型驱动的WSDL→Radl-WS生成方法及自动转换系统，它是当前Web服务、软件形式化领域中十分重要的问题。面向服务的计算范型（SeviceOrientedComputing，简称SOC）是一种基于Internet的全新计算模式，具有松散耦合、平台无关、互操作性强等特点。面向服务架构（SeviceOrientedArchitecture，简称SOA）是这种计算模式下通用的架构风格，而Web服务是服务计算的重要研究内容，同时Web服务也是当前实现SOA最为主流的技术。Web服务是一种Internet上的分布式计算新范型，并且具有基于标准的、松散耦合的、跨平台的特性，其优点是任何企业和个人在任何地点都可以通过Internet快速、方便地进行服务调用，并且可以显著地提高软件的可重用性。精确地描述Web服务的语义对Web服务的发现、执行、动态组合和交互至关重要。而形式化规范技术迄今已经发展了40余年，能够以可验证的方式精确地定义软件系统的语义。精确地描述Web服务的语义对Web服务的发现、执行、动态组合和交互至关重要。 |
|
主题词:
|
计算机网络 网络计算 |
|
中图分类法:
|
TP393.027 版次： 5 |
|
主要责任者:
|
王昌晶 著 |
|
主要责任者:
|
左正康 著 |
|
主要责任者:
|
张琦 著 |
|
索书号:
|
3 |