机读格式显示(MARC)

• 000 01817m0 220000301 45450

• 001 0000529385

• 005 20200915172100.0

• 010 __ |a 978-7-5692-5944-5 |d CNY30.00

• 099 __ |a CAL 012020082121

• 100 __ |a 20200628d2020 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 220000

• 105 __ |a a a 000yy

• 106 __ |a r

• 200 1_ |a 模型驱动的Radl-WS代数规范生成方法及自动转换系统 |A Mo Xing Qu Dong De Radl-ws Dai Shu Gui Fan Sheng Cheng Fang Fa Ji Zi Dong Zhuan Huan Xi Tong |f 王昌晶, 左正康, 张琦著

• 210 __ |a 长春 |c 吉林大学出版社 |d 2020

• 215 __ |a 94页 |c 图 |d 21cm

• 320 __ |a 有书目 (第91-94页)

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

• 333 __ |a 从事计算机科学技术与软件工程相关专业的高校教师、研究生和本科生

• 606 0_ |a 计算机网络 |A Ji Suan Ji Wang Luo |x 网络计算

• 690 __ |a TP393.027 |v 5

• 701 _0 |a 王昌晶 |A Wang Changjing |4 著

• 701 _0 |a 左正康 |A Zuo Zhengkang |4 著

• 701 _0 |a 张琦 |A Zhang Qi |4 著

• 801 _0 |a CN |b DUTL |c 20200628

• 905 __ |a LIB |d TP393.027/23

• 920 __ |a 221020 |z 1