Static Analysis of Workflow Language

Abstract

This thesis discusses the framework for implementing static analysis on the workflow engine eTray. This framework is used to do analysis of the workflow language using formal methods. We have discussed the workflow language to find various points for the analysis of it. Various formal methods are considered which can analyze this workflow system, to choose the set of these formal methods which would become the part of the framework. The complexity of the database is another point of interest. These methods can't be applied on the database but needed to understand the workflow engine. The database is the back bone of the system, all the workflows under analysis are dependent on the structure of it. Finally we discuss how we implement this framework on the actual system. The success story of the prototype using framework can be veried by the results we obtained. Realizing that current formal methods for static analysis has some stumbling block concerning implementing the framework for analysis. We offer some extensions to the analysis methods to overwhelm this hindrances.