translate the ws define file  using bpel to promela language