A Study of Grid Service Behavior Using CPi-calculus
Zeng Guo · 2007
Current grid service choreography proposals remain at the descriptive level, without providing any kind of reasoning mechanism for checking the compatibility of grid services. The research work on how to formalize and verify the behavior of composite grid services is therefore imperative. Formal approaches offer an effective and unambiguous way to model, represent and verify the grid service composition. A novel grid service composition signature is proposed in this paper. By analyzing the interactive behavior of the composite grid service based on the signature, we present interactive behavior model (IABM)for composite grid services, specify the interactive behavior using the CPi-calculus (Conditional Pi-calculus)and formally simulate the interactive behavior finally. The interactive behavior model for composite grid service is algebraic foundation to be used afterwards in automatic and dynamic composition.