Abstract: 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 gr

Key words: Grid computing, Service composition, Interactive behavior model, CPi-calculus