Workflow management coalition member directory
Workflow handbook 1997
Modeling and Analysis of Workflows Using Petri Nets
Journal of Intelligent Information Systems - Special issue on workflow management systems
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 Formal Foundation for Distributed Workflow Execution Based on State Charts
ICDT '97 Proceedings of the 6th International Conference on Database Theory
Business process management: a survey
BPM'03 Proceedings of the 2003 international conference on Business process management
Collaborative adhocracies and mix-and-match technologies in emergency management
Communications of the ACM - Emergency response information systems: emerging trends and technologies
Dynamic workflow modeling and verification
CAiSE'06 Proceedings of the 18th international conference on Advanced Information Systems Engineering
Hi-index | 0.00 |
The increasing dynamics and the continuous changes of business processes 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 many such approaches have been proposed. However, these approaches require users to master considerable knowledge of the particular formalisms, which impacts the application of these approaches on a larger scale. This paper presents a new formal, yet intuitive approach for the modeling and analysis of workflows, which attempts to overcome the above problem. In addition to the abilities of supporting workflow validation and enactment, this new approach possesses the distinguishing feature of allowing users who are not proficient in formal methods to build up and dynamically modify the workflow models that address their business needs.