A Formal Approach to Verify Grid Service Composition Based on Interaction Pattern | IEEE Conference Publication | IEEE Xplore