Automatic Generation of Workflow-Extended Domain Models