MARC状态：审校 文献类型：中文图书 浏览次数：92
- 题名/责任者:
- 服务组合验证与可视化/李琳著
- 出版发行项:
- 武汉:武汉理工大学出版社,2023
- ISBN及定价:
- 978-7-5629-6632-6/CNY50.00
- 载体形态项:
- 130页:图;26cm
- 个人责任者:
- 李琳 著
- 学科主题:
- 网络服务器-研究
- 中图法分类号:
- TP368.5
- 书目附注:
- 有书目 (第118-130页)
- 提要文摘附注:
- 本书从基于行为描述语言的建模方法、基于BIM的Web服务组合建模方法、转换的正确性证明与特性分析验证、基于模型驱动的可视化方法研究等方面着手, 研究探索了服务组合的形式化建模、验证以及模型驱动的可视化技术。本书建立了基于BPEL4WS的形式化服务组合行为模型, 构造出了形式化服务组合行为模型WSBM的模拟执行过程, 进行了Web服务组合形式化模型的特性分析验证, 并以Web服务组合的行为模型驱动的组合行为交互表达的可视化方法。
全部MARC细节信息>>
| 索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 | 还书位置 |
| TP368.5/4102 | 72519420 |  自然书库（3F东）
|
可借 | 自然书库（3F东） | |
| TP368.5/4102 | 72519421 | 自然书库（3F东）
|
可借 | 自然书库（3F东） | |
| TP368.5/4102 | 72519422 | 自然书库（3F东）
|
可借 | 自然书库（3F东） |
显示全部馆藏信息
CADAL相关电子图书
借阅趋势
同名作者的其他著作(点击查看)
收藏到： 管理书架