中南民族大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

模型驱动的Radl-WS代数规范生成方法及自动转换系统/王昌晶, 左正康, 张琦著

出版发行项:

长春:吉林大学出版社,2020

ISBN及定价:

978-7-5692-5944-5/CNY30.00

载体形态项:

94页:图;21cm

个人责任者:

王昌晶 著

个人责任者:

左正康 著

个人责任者:

张琦 著

学科主题:

计算机网络-网络计算

中图法分类号:

TP393.027

书目附注:

有书目 (第91-94页)

提要文摘附注:

本书向读者介绍基于模型驱动的WSDL→Radl-WS生成方法及自动转换系统，它是当前Web服务、软件形式化领域中十分重要的问题。面向服务的计算范型（SeviceOrientedComputing，简称SOC）是一种基于Internet的全新计算模式，具有松散耦合、平台无关、互操作性强等特点。面向服务架构（SeviceOrientedArchitecture，简称SOA）是这种计算模式下通用的架构风格，而Web服务是服务计算的重要研究内容，同时Web服务也是当前实现SOA最为主流的技术。Web服务是一种Internet上的分布式计算新范型，并且具有基于标准的、松散耦合的、跨平台的特性，其优点是任何企业和个人在任何地点都可以通过Internet快速、方便地进行服务调用，并且可以显著地提高软件的可重用性。精确地描述Web服务的语义对Web服务的发现、执行、动态组合和交互至关重要。而形式化规范技术迄今已经发展了40余年，能够以可验证的方式精确地定义软件系统的语义。精确地描述Web服务的语义对Web服务的发现、执行、动态组合和交互至关重要。

豆瓣简介：