Compatibility Checking of Web Services Composition in Pervasive Computing

This paper proposes a method checking compatibility and a tool for checking Web services composition in pervasive computing. In order to ensure the correctness of the composite Web service, we have developed the verification tool which can be embedded into Web services composition platform. Based on the mapping between BPEL4WS and extended pi-calculus with type system that can express XML schema; the tool implements the compatibility examination algorithm of the composite Web services. An example in which the loan approval process is used to illustrate the compatibility checking method is feasible clearly. Finally, a novel method for discovering and matching services under the guidance of checking compatibility of composite Web services is discussed