Business process analysis by model checking

In order to check the performance of a process, key performance indicators will be necessary. Key performance indicators (KPI’s) help to compare the profitability of two processes. To obtain detailed information on the performance, a procedure is needed to analyse a process by checking its model. Such a procedure helps to evaluate a process without the need of doing an expensive attempt by testing and validating the process in the reality and measure the flow parameters. By doing process analysis, it would be possible to evaluate changes on the process model of software development. Often new or changed process models are suggested. By doing a stochastic analysis, it will be possible to evaluate the benefit a process change can offer. This paper introduces a new algorithm which is part of PAS. The algorithm would be used to analyse the process of software development. The code of the algorithm, its contribution and the results are presented.

[1]  Boudewijn F. van Dongen,et al.  Discovering Workflow Performance Models from Timed Logs , 2002, EDCIS.

[2]  M. Kaczmarek,et al.  Organization Structure Description for the Needs of Semantic Business Process Management , 2008 .

[3]  Elke Pulvermüller,et al.  Formalizing business process specifications , 2011, Comput. Sci. Inf. Syst..

[4]  Barry W. Boehm,et al.  Value-Based Software Engineering: Overview and Agenda , 2006, Value-Based Software Engineering.

[5]  Johann Eder,et al.  Personal Schedules for Workflow Systems , 2003, Business Process Management.

[6]  Wendy L. Currie,et al.  Integrating Business Process Reengineering with Information Systems Development: Issues & Implications , 2003, Business Process Management.

[7]  August-Wilhelm Scheer,et al.  ARIS Architecture and Reference Models for Business Process Management , 2000, Business Process Management.

[8]  Thomas H. Davenport,et al.  Process Innovation: Reengineering Work Through Information Technology , 1992 .

[9]  Ashutosh Tiwari,et al.  Business Process Analysis and Optimization: Beyond Reengineering , 2008, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[10]  R. Kaplan,et al.  Measure Costs Right: Make the Right Decisions , 1988 .

[11]  T. Davenport.  The coming commoditization of processes. , 2005, Harvard business review.

[12]  P B Batalden,et al.  Clinical process cost analysis. , 1997, The Annals of thoracic surgery.

[13]  Angappa Gunasekaran,et al.  Modelling and analysis of business process reengineering , 2002 .

[14]  Andreas Speck,et al.  Validation of business process models , 2003 .

[15]  Yushun Fan,et al.  Manufacturing process analysis with support of workflow modelling and simulation , 2009 .

[16]  D. Kendall.  Stochastic Processes Occurring in the Theory of Queues and their Analysis by the Method of the Imbedded Markov Chain , 1953 .

[17]  Donald C. McDermid,et al.  Integrated Business Process Management: Using State-Based Business Rules to Communicate between Disparate Stakeholders , 2003, Business Process Management.

[18]  Randolph Kirchain,et al.  Process cost modeling: Strategic engineering and economic evaluation of materials technologies , 2007 .

[19]  Richard E. Plank,et al.  Total Cost of Ownership Models: An Exploratory Study , 2002 .

[20]  Peter E. Rossi,et al.  Bayesian Analysis of Stochastic Volatility Models , 1994 .

[21]  Mathias Weske,et al.  Business Process Management: A Survey , 2003, Business Process Management.

[22]  David Kuhlen.  Wertanalyseverfahren für Kundenanforderungen , 2014, GI-Jahrestagung.

[23]  Wil M. P. van der Aalst,et al.  Challenges in Business Process Analysis , 2007, ICEIS.

[24]  Ingo Weber,et al.  Modelling, Simulation, and Performance Analysis of Business Processes Involving Ubiquitous Systems , 2008, CAiSE.

[25]  Jan Mendling,et al.  Value-oriented process modeling: integrating financial perspectives into business process re-design , 2010, Bus. Process. Manag. J..

[26]  Peter Gyngell,et al.  Process Innovation: Reengineering Work through Information Technology , 1994 .

[27]  Vlatka Hlupic,et al.  Business process modelling and analysis using discrete-event simulation , 1998, 1998 Winter Simulation Conference. Proceedings (Cat. No.98CH36274).

[28]  Jay Bal,et al.  Process analysis techniques and tools for business improvements , 1998, Bus. Process. Manag. J..