|
题名:
|
服务组合验证与可视化 [ 专著] fu wu zu he yan zheng yu ke shi hua / 李琳著 , |
|
ISBN:
|
978-7-5629-6632-6 价格： CNY50.00 |
|
语种:
|
chi |
|
载体形态:
|
130页 图 26cm |
|
出版发行:
|
出版地： 武汉 出版社： 武汉理工大学出版社 出版日期： 2023.01 |
|
内容提要:
|
本书从基于行为描述语言的建模方法、基于BIM的Web服务组合建模方法、转换的正确性证明与特性分析验证、基于模型驱动的可视化方法研究等方面着手，研究探索了服务组合的形式化建模、验证以及模型驱动的可视化技术。本书建立了基于BPEL4WS的形式化服务组合行为模型，构造出了形式化服务组合行为模型WSBM的模拟执行过程，进行了Web服务组合形式化模型的特性分析验证，并以Web服务组合的行为模型驱动的组合行为交互表达的可视化方法。 |
|
主题词:
|
网络服务器 研究 |
|
中图分类法:
|
TP368.5 版次： 5 |
|
主要责任者:
|
李琳 li lin 著 |