| 基于Pi-演算的信任Web服务组合建模 |
| |
| 引用本文： | 云本胜.基于Pi-演算的信任Web服务组合建模[J].计算机科学,2012,39(Z3). |
| |
| 作者姓名： | 云本胜 |
| |
| 作者单位： | 浙江科技学院数学与信息科学系 杭州310023 ;同济大学CIMS研究中心 上海200092 |
| |
| 基金项目： | 国家自然科学专项基金，浙江省科技计划项目 |
| |
| 摘 要： | 为了提高Web服务组合的可信性,利用Pi-演算刻画信任Web服务组合的结构及信任实体间的交互.首先,给出信任Web服务组合的抽象定义；然后,建立信任实体与Pi-演算的对应关系.借助Pi-演算的支持工具MWB对信任Web服务组合系统进行分析和推演,旨在Web服务组合信任认证实施之前发现并改正错误,以有效满足用户在信任方面的服务质量需求.
|
| 关 键 词： | Pi-演算 信任Web服务组合 模型 |
Pi-calculus Based Model of Trust Web Service Composition |
| |
| YUN Ben-sheng.Pi-calculus Based Model of Trust Web Service Composition[J].Computer Science,2012,39(Z3). |
| |
| Authors: | YUN Ben-sheng |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
