Realisation of a framework for the analysis of business processes

Companies structure their work to be done using business processes. A widely used modeling language is BPMN which provides a standardized graphical notation and execution semantics. But studies show that many business processes contain logical errors. The detection of these errors priorly to the execution can save money and effort. A wide range of structural analysis methods for business processes exist that transform business processes into Petri nets or workflow graphs. But the analyses are either very slow or lack in the detection of all errors and their details. At the Friedrich Schiller University, a new workflow graph based approach is under development that promises a fast analysis, the detection of all errors and specific details to these errors. The aim of this thesis was to realise a framework that combines the modelling and analysis of business processes in BPMN. The framework should transform business processes into workflow graphs and analyse them dynamically while they are modelled. Analyses are supposed to be easily introducable. Another aspect was the enrichment of the BPMN diagram with process data that can be included into analyses too. The designed framework provides a simple interface to add new analyses or transformations. Analyses can share data independent of workflow graphs, define execution conditions and therefore define dependencies to other analyses. The transformation transforms BPMN diagrams always into analysable workflow graphs through several correction patterns that follow the BPMN semantics