Simulation of Skype Peer-to-peer Web Services Choreography Using Occam-Pi

Complex Web services are very difficult to test and verify before deployment on a large scale. A semantically equivalent in-memory simulation can be built using Occam-pi that runs up to 100,000 nodes about a million times faster than real life. Rapid protocol development and detailed behavioral analysis using simulation supports the development of robust services that can scale. The implementation of a simulator that models centralized Web services and application to application messaging over the Skype peer to peer network is described