机读格式显示(MARC)

• 000 01062nam0 2200265 450

• 001 0000494389

• 005 20140403125900.0

• 010 __ |a 978-7-03-033983-6 |d CNY35.00

• 099 __ |a CAL 012013157359

• 100 __ |a 20131211d2013 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a ak a 000yy

• 106 __ |a r

• 200 1_ |a 语义Web服务组合若干关键技术研究 |A yu yi Web fu wu zu he ruo gan guan jian ji shu yan jiu |f 何丰著

• 210 __ |a 北京 |c 科学出版社 |d 2013

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

• 320 __ |a 有书目 (第143-153页)

• 330 __ |a 本书根据Web服务组合的生命周期，展开语义Web服务组合关键技术研究，重点在：Web服务和Web服务组合的形式化模型，Web服务自动组合的推理算法，Web服务组合的正确性验证，Web服务组合的异常处理等四个方面进行了有效的探索与尝试，使用Petri网形式化技术提出了具体的解决方法，同时开发了一个基于颜色Petri网的Web服务组合原型系统CPN4WSC。

• 606 0_ |a 网络编程 |A wang luo bian cheng |x 研究

• 690 __ |a TP311.1 |v 5

• 701 _0 |a 何丰 |A he feng |4 著

• 801 _0 |a CN |b TL |c 20131211

• 905 __ |a SCNU |f TP311.1/2150

• 920 __ |a 242430 |z 1