Updates to the Workflow Management System Model section.