1. A method of testing conformance of service choreography, the method comprising: analyzing an architecture and an operation between web services cooperating on a distributed network to test conformance of a choreography application into which the web services are combined, on the basis of a service choreography specification.