Batch activity: enhancing business process modeling and enactment with batch processing · Study