Abstract This thesis presents a web-based enactment tool for workflows built using a WIFA tool or a resource-constrained WIFA tool. WIFA is an intutiive yet formal workflow formalism introduced to satisfy the workflow management needs of incident command systems. Resource-constrained WIFA extends WIFA by taking resources into account when modeling and enacting workflows. The existing stand-alone tools developed by WIFA or resource-constrained WIFA are good for workflow editing and verification....

Abstract The dyanamic nature of incident command systems and their requirement for high flexibility raise a challenge to the research and implementation of workflows. The signficance of applying formal approaches to the modeling and analysis of workflows has been well recognized and several such approaches have been proposed. However, these approaches require users to master considerable knowledge of the particular formalisms, which impacts their application on a larger scale. To address these...