English business process execution language: translation to other languages