Checking compatibility of context-aware service protocols

Service based business applications are built through the interaction of Web services. The behaviours of these Web services can be described by service protocols representing acceptable sequences of message exchanges. In order to guarantee the correct interaction between Web services, one can check the compatibility of their service protocols. Recent research efforts address the impact of non-functional requirements of service coordination on the analysis of service protocols. The introducing of context-awareness into Web services makes the invocation of Web services adaptable and the service protocol analysis different. In this paper, we use an extended service protocol model in which context-aware behaviours are made explicit. Based on this model, we define the notion of compatibility with respect to the context-awareness and provide the approach for checking compatibility of context-aware Web services.