|
|||||
|
|
| 物联网服务的π-演算建模与验证 | |
| 引用本文： | 李文翔.物联网服务的π-演算建模与验证[J].山东理工大学学报,2021,35(4):24-28,35. |
| 作者姓名： | 李文翔 |
| 作者单位： | 福建商学院 信息工程学院,福建 福州350012 |
| 基金项目： | 福建省中青年教师教育科研项目 |
| 摘 要： | 针对物联网服务建模和验证问题,用π-演算理论对物联网服务和环境实体进行动态交互行为建模,并引入μ-演算刻画物联网服务能力,将其描述为物联网服务和环境实体动态交互行为的执行序列.针对特定的应用场景,使用π-演算定义了物联网服务和环境实体,利用μ-演算对物联网服务能力进行建模,使用检测工具MWB验证了模型的安全性、活性和时... |
| 关 键 词： | 物联网服务 π-演算 μ-演算 模型检测 |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |