Detect and analyse the concurrent flaws of the BPEL process in a VPN-based approach