Workflow handbook 1997
Adept_flex—Supporting Dynamic Changes of Workflows Without Losing Control
Journal of Intelligent Information Systems - Special issue on workflow management systems
Modeling and Analysis of Workflows Using Petri Nets
Journal of Intelligent Information Systems - Special issue on workflow management systems
Data & Knowledge Engineering - Special issue on ER '96
A Light Workflow Management System Using SimpleProcess Models
Computer Supported Cooperative Work
Process descriptions as organisational accounting devices: the dual use of workflow technologies
GROUP '01 Proceedings of the 2001 International ACM SIGGROUP Conference on Supporting Group Work
Internet-Based Workflow Management: Towards a Semantic Web
Internet-Based Workflow Management: Towards a Semantic Web
Enterprise Modeling and Decision-Support for Automating the Business Rules Lifecycle
Automated Software Engineering
Specifying and Enforcing Intertask Dependencies
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
An Event Algebra for Specifying and Scheduling Workflows
Proceedings of the 4th International Conference on Database Systems for Advanced Applications (DASFAA)
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
A Workflow Change Is a Workflow
Business Process Management, Models, Techniques, and Empirical Studies
Dynamic Workflow Schema Evolution Based on Workflow Type Versioning and Workflow Migration
COOPIS '99 Proceedings of the Fourth IECIS International Conference on Cooperative Information Systems
Formal Foundation and Conceptual Design of Dynamic Adaptations in a Workflow Management System
HICSS '01 Proceedings of the 34th Annual Hawaii International Conference on System Sciences ( HICSS-34)-Volume 7 - Volume 7
Business process management: a survey
BPM'03 Proceedings of the 2003 international conference on Business process management
An intuitive formal approach to dynamic workflow modeling and analysis
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Emergency response workflow resource requirements modeling and analysis
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
| Hi-index | 0.00 |
The dynamic nature of incident command systems and their requirement for high flexibility raise a challenge to the research and implementation of workflows. The significance 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 challenges, we developed an intuitive, yet formal approach to workflow modeling, enactment and validation. In this paper, we further develop a set of theorems to support dynamic modeling, modification and on-the-fly verification of the workflows. A prototype has been implemented to demonstrate the feasibility of the theoretical approach.