KNAW

Research

Modelling and Verification of Business Processes (MoveBP)

Pagina-navigatie:


Update content


Title Modelling and Verification of Business Processes (MoveBP)
Period 12 / 2003 - 12 / 2007
Status Completed
Dissertation Yes
Research number OND1298159
Data Supplier Nederlandse Organisatie voor Wetenschappelijk Onderzoek (NWO)

Abstract

Correctness of business processes is becoming a critical issue of the day. The goal of the project is to develop methods for the verification of models of business processes. We choose to model business processes as workflows given by high-level Petri nets. We will pay special attention not only to the verification of the control flow, but to the verification of data properties as well. Our verification techniques will be based on the integration of structural analysis techniques specific for Petri nets with theorem proving and model checking. We will propose net transformations that will ease the application of verification techniques. The project team will make a prototype implementation for the developed techniques. The results will be evaluated on a set of case studies provided by practitioners.

Abstract (NL)

Door de toename van de complexiteit van bedrijfsprocessen wordt het steeds belangrijker om de correctheid ervan aan te tonen. Het doel van dit project is om nieuwe methoden voor de verificatie van bedrijfsprocessen te ontwikkelen. Wij kiezen voor het modelleren van bedrijfsprocessen als workflows gegeven door high-level Petri netten. Niet alleen de verificatie van de control flow maar ook van data-eigenschappen heeft onze aandacht. De verificatie berust op de integratie van specifieke structurele analyse voor Petri netten met theorem proving en model checking. Met behulp van net transformaties zal het gebruik van verificatietechnieken worden vereenvoudigd. De projectgroep zal de ontwikkelde technieken implementeren in een prototype. De resultaten zullen worden toegepast op case studies afkomstig uit de praktijk.

Related organisations

Related people

Supervisor Prof.dr. K.M. van Hee
Researcher Drs. J.P. Boender
Researcher N. Ioustinova (Dipl.-ing.)
Project leader Dr. N. Sidorova
Doctoral/PhD student Dr. O.I. Oanea

Classification

A55000 Management, accountancy
A90000 Fundamental research
D16300 Theoretical computer science

Go to page top
Go back to contents
Go back to site navigation