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