However, BPEL4WS is lacking a formal, well understood basis and due to this and the rich set of constructs, specifications written in BPEL4WS are not readily susceptable to automatic verification.

• 然而，BPEL4WS缺少规范的，容易理解的基础，并且由于这些和丰富的结构体集合，在BPEL4WS中所写的规范不能立即自动的验证。