书目详细信息
： 服务组合验证与可视化
书目信息 机读格式(MARC)
| ISBN/价格： | 978-7-5629-6632-6:CNY50.00 |
|---|---|
| 作品语种： | chi |
| 出版国别： | CN 420000 |
| 题名责任者项： | 服务组合验证与可视化/.李琳著 |
| 出版发行项： | 武汉:,武汉理工大学出版社:,2023 |
| 载体形态项： | 130页:;+图:;+26cm |
| 提要文摘： | 本书从基于行为描述语言的建模方法、基于BIM的Web服务组合建模方法、转换的正确性证明与特性分析验证、基于模型驱动的可视化方法研究等方面着手, 研究探索了服务组合的形式化建模、验证以及模型驱动的可视化技术。本书建立了基于BPEL4WS的形式化服务组合行为模型, 构造出了形式化服务组合行为模型WSBM的模拟执行过程, 进行了Web服务组合形式化模型的特性分析验证, 并以Web服务组合的行为模型驱动的组合行为交互表达的可视化方法。 |
| 题名主题： | 网络服务器 研究 |
| 中图分类： | TP393.092 |
| 个人名称等同： | 李琳 著 |