书目信息 机读格式(MARC)
服务组合验证与可视化研究
| ISBN/价格： | 978-7-5629-6632-6:CNY50.00 |
|---|---|
| 作品语种： | chi |
| 出版国别： | CN 420000 |
| 题名责任者项： | 服务组合验证与可视化研究/.李琳著 |
| 出版发行项： | 武汉:,武汉理工大学出版社:,2023.01 |
| 载体形态项： | 130页:;+图:;+26cm |
| 提要文摘： | 本书从理论研究和实践结合两个方面着手，研究探索了服务组合的形式化建模、验证以及模型驱动的可视化技术。全书共设六章，包括：基于行为描述语言的建模方法、基于BDL的Web服务组合建模方法、模型的语义正确性证明与特性分析验证等。 |
| 题名主题： | 网络服务器 研究 |
| 中图分类： | TP393.092.1 |
| 个人名称等同： | 李琳 著 |
| 记录来源： | CN 浙江省新华书店集团公司 20230322 |