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