| 基于交互模式的网格服务组合正确性的研究 |
| |
| 引用本文： | 郭文彩,林闯. 基于交互模式的网格服务组合正确性的研究[J]. 微电子学与计算机, 2008, 25(9) |
| |
| 作者姓名： | 郭文彩 林闯 |
| |
| 作者单位： | 1. 清华大学,计算机科学与技术系,北京,100081;中国冶金科工集团,中冶东方工程技术公司,内蒙古,包头,014010
2. 清华大学,计算机科学与技术系,北京,100081 |
| |
| 摘 要： | 服务组合技术成为网格领域的研究热点,但是对于服务交互行为以及服务组合正确性的研究,仍缺乏有说服力的理论和现实成果.利用Pi-演算适于描述动态、分布系统的特点,建立了基于该理论的网格服务交互行为模式、服务上下文等概念及其机理,提出服务组合正确性的定义,并进一步给出基于Pi-演算的网格服务组合正确性验证算法.实验结果证明了该算法在一定应用范围内是可行的.
|
| 关 键 词： | 网格服务组合 交互模式 Pi-演算 正确性 |
Validating Grid Service Composition Based on Interaction Pattern |
| |
| GUO Wen-cai,LIN Chuang. Validating Grid Service Composition Based on Interaction Pattern[J]. Microelectronics & Computer, 2008, 25(9) |
| |
| Authors: | GUO Wen-cai LIN Chuang |
| |
| Abstract: | Although service composition is increasingly attracting more research resource in grid computing domain,there are still few concrete findings concentrated in analyzing service interaction pattern and validating its composition.Specialized on modeling the dynamic and mobile system,Pi-calculus is used to depict grid service behavior and its interaction pattern,based on which a grid service context can be established.Validating the grid service composition is further discussed and a Pi-calculus based grid service composition validation algorithm,PGSCV,is proposed based on the theoretical analysis,which proved available and efficient by experimental results. |
| |
| Keywords: | grid service composition interaction pattern Pi-calculus correction |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
