基于交互模式的网格服务组合正确性的研究  

Validating Grid Service Composition Based on Interaction Pattern

作　　者：郭文彩[1] 林闯[1] 

机构地区：[1]清华大学计算机科学与技术系

出　　处：《微电子学与计算机》2008年第9期1-3,共3页Microelectronics & Computer

基　　金：国家自然科学基金项目(60673187)

摘　　要：服务组合技术成为网格领域的研究热点,但是对于服务交互行为以及服务组合正确性的研究,仍缺乏有说服力的理论和现实成果.利用Pi-演算适于描述动态、分布系统的特点,建立了基于该理论的网格服务交互行为模式、服务上下文等概念及其机理,提出服务组合正确性的定义,并进一步给出基于Pi-演算的网格服务组合正确性验证算法.实验结果证明了该算法在一定应用范围内是可行的.Although service composition is increasingly attracting more research resource in grid computing domain, there are still few ooncrete findings ooncentrated in analyzing service interaction pattern and validating its composition. Special- ized 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 servioe context can be established. Validating the grid service composition is further discussed and a Pi - calculus based grid service composition vahdation algorithm, PGSCV, is proposed based on the theoretical analysis, which proved available and efficient by experimental results.

关 键 词：网格服务组合 交互模式 PI-演算 正确性 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]