Abstract:In view of the requirements for high reliability, high time accuracy and complicated time constraints in emergency response workflow systems, a time constraints modeling method is proposed to meet these requirements. The method decomposes the time constraints model into three views, namely the resource view, the control view and the time view. In the resource view, time constraints prediction of resources capability is introduced to improve the accuracy of time prediction. In the control view, the Equivalent Mechanism and Exception Handling Mechanism are introduced to resolve time constraint conflicts and improve the success rate of the process execution. Finally, in the time view, a time flow diagram is constructed from the source view and the control view according to the time flow graph inference rule. In the time flow diagram, the runtime collision detection and resolution are preceded for both definition-time phase and runtime phase. Through the relevant comparison and experiment evaluation, the model is proved to be able to support the automatic detection and resolution for runtime time constraints conflict and improve the time accuracy and success rate of the process execution.

A Formal Diagrammatic Approach to Timed Workflow Modelling

A Formal Diagrammatic Approach to Compensable Workflow Modelling.

A workflow model based on temporal logic

Modeling and analysis of workflows based on temporal logics

Modeling Workflow Using UML Activity Diagram

Modeling and Analysis of Workflow Based on TLA

Temporal logic based workflow service modeling and its application

A Meta-Model Of Temporal Workflow And Its Formalization

Analysis and Temporal Extension of a Workflow Meta-Model

An Emergency-Response Timing Constraint Workflow Model

Using temporal logics for modeling and analysis of workflows

Application of Extended UML Activity Diagrams for Workflow Modeling

Temporal Logic-based Workflow Analysis

A Method of Time Constraint Workflow Model Analysis and Verification

Towards a Workflow Model of Real-Time Cooperative Systems

Research of Workflow Modeling Based on Extended UML Activity Diagrams

A Model Driven Approach to Defining Workflow Process

Research on the Workflow Modeling Based on Conceptual Modeling Engineering

Temporal Extension of Workflow Meta-Model and Its Application

Timing Boundedness Verification and Analysis of Workflow Model

An Automata-based Approach to the Consistency Verification of Real-time Workflow