Automatic dynamic generation of likely invariants for WS-BPEL compositions | Publicación