Verifying Web services substitutability using open colored nets reduction techniques

Web services are evolved as a platform independent technology allowing universal interoperability between software assets. Web services substitution is one of the most challenging topics in service computing area. In this paper, we investigate a context independent substitutability of Web services. We use open colored Petri nets (OCNets) as a formal modeling framework of services and we propose an approach for verifying the substitutability using some reduction rules of OCNets.