An approach to workflow modeling and analysis

Authors:
Hemant Kr. Meena;Indradeep Saha;Koushik Kr. Mondal;T. V. Prabhakar
Affiliations:
IIT Kanpur;IIT Kanpur;IIT Kanpur;IIT Kanpur
Venue:
eclipse '05 Proceedings of the 2005 OOPSLA workshop on Eclipse technology eXchange
Year:
2005

Citing 6
Cited 0

Woflan: a Petri-net-based workflow analyzer

Systems Analysis Modelling Simulation
Verification of workflow task structures: A petri-net-based approach

Information Systems
Verification support for workflow design with UML activity graphs

Proceedings of the 24th International Conference on Software Engineering
A Real-Time Execution Semantics for UML Activity Diagrams

FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
The Java Developer's Guide to Eclipse

The Java Developer's Guide to Eclipse
Semantics of Control-Flow in UML 2.0 Activities

VLHCC '04 Proceedings of the 2004 IEEE Symposium on Visual Languages - Human Centric Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we present a new approach to workflow analysis. We model the workflow using Activity diagrams, convert the Activity diagrams to Petri nets and use the theoretical results in the Petri nets domain to analyze the equivalent Petri nets and infer properties of the original workflow. We have demonstrated the possibility by developing an Eclipse plug-in, which can be used to model workflows using Activity Diagrams and then analyze these workflow models using Petri nets.