A data-flow language for business process models