Validating Grid Service Composition Based on Interaction Pattern

GUO Wen-cai,LIN Chuang
DOI: https://doi.org/10.19304/j.cnki.issn1000-7180.2008.09.001
2008-01-01
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.
What problem does this paper attempt to address?