Web Services-based Services Management Protocol(WSSMP) is proposed, through which, services across different management domains can be efficiently managed. With Petri net, a formalized description of the protocol model is given. Moreover, the logical correctness of the protocol is verified through the analyses of the reachability of Petri net, thus making sure the boundedness, liveliness, completeness and advancement of the protocol. Thereby, the potential mistakes in protocol design are reduced. Emulation of the protocol is given. The results show that, when a large number of objects are retrieved, the bandwidth consumption of compressed WSSMP increases slowly as the number of retrieved objects increases. Accordingly, the protocol is adapted to large bandwidth requirement of service management.