The deployment view of WS-Engineer provides verification of orchestration partners and properties of service deployment architectures (such as resource allocations). The verification provides a mechanism to check that the choice of composition behaviour design, architecture configurations and resource allocations do not cause undesirable deadlock situations.
You can read more about this type of verification in the following publication: H.Foster, W. Emmerich, J.Kramer, J.Magee, D.Rosenblum and S.Uchitel, Model Checking Service Compositions under Resource Constraints, in Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE), Dubrovnik, Croatia. Sept 2007.