Verification extension for Business Process Modeling (VxBPM) Tool

Kloosterhuis, M (2016) Verification extension for Business Process Modeling (VxBPM) Tool. Master's Thesis / Essay, Computing Science.

Preview	Text RUG_graduate_thesis_final.pdf - Published Version Download (1MB) | Preview
	Text Toestemming.pdf - Other Restricted to Backend only Download (532kB)

Abstract

Business Process Management (BPM) has become the core infrastructure of any medium and large organization that have the need to be in line with both business goals and legal regulations. Although there are many tools to design business processes, there are almost none that validate these business processes. The Verification extension for Business Process Modeling (VxBPM) tool is a graphical tool for the verification of business processes. The business processes models can be saved using the XPDL 2.2 file standard, so that the business processes can be imported/exported among other BPM software. The business processes are enhanced with constraints that are graphical displayed with custom arrows and shapes on top of the business processes models. The tool can convert the business processes on the fly to Colored Petri Net (CPN), and from CPN to Kripke structures. All conversions are displayed graphically in the tool to enhance the feedback to the user. The Kripke structures together with the constraints will then be model checked by one of several models checkers(e.g. NuSMV, MCheck). The output of the model checkers is then parsed and graphically displayed on top the business processes models.

Item Type:	Thesis (Master's Thesis / Essay)
Degree programme:	Computing Science
Thesis type:	Master's Thesis / Essay
Language:	English
Date Deposited:	15 Feb 2018 08:12
Last Modified:	15 Feb 2018 08:12
URI:	https://fse.studenttheses.ub.rug.nl/id/eprint/13862

Actions (login required)

View Item