Resource Modeling in Workflow Applications