KNAW

Onderzoek

Modelling and Verification of Business Processes (MoveBP)

Pagina-navigatie:


Wijzig gegevens


Titel Modelling and Verification of Business Processes (MoveBP)
Looptijd 12 / 2003 - 12 / 2007
Status Afgesloten
Dissertatie Ja
Onderzoeknummer OND1298159
Leverancier gegevens Nederlandse Organisatie voor Wetenschappelijk Onderzoek (NWO)

Samenvatting

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.

Samenvatting (EN)

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.

Betrokken organisaties

Betrokken personen

Promotor Prof.dr. K.M. van Hee
Onderzoeker Drs. J.P. Boender
Onderzoeker N. Ioustinova (Dipl.-ing.)
Projectleider Dr. N. Sidorova
Promovendus Dr. O.I. Oanea

Classificatie

A55000 Bedrijfsvoering, accountancy
A90000 Zuiver-wetenschappelijk onderzoek
D16300 Theoretische informatica

Omhoog
Ga terug naar de inhoud
Ga terug naar de site navigatie