Commitment-based business process modelling and enactment