Studies on declarative process modeling and its relation to procedural techniques.

De uitdagende onderneming die bestaat in het beheren van bedrijfsprocessen is complexer geworden doordat bedrijven vereist zijn om duurzame, flexibele bedrijfspraktijken nog beter te ondersteunen. Onderzoek naar bedrijfsprocesbeheer biedt verschillende oplossingen om dit mogelijk te maken. Het declaratieve procesparadigma, dat gekenmerkt wordt door het gebruik van randvoorwaarden en beperkingen om procesgedrag voor te stellen, is hier een goed voorbeeld van. Een nadeel van deze aanpak voor de verschillende procestalen die onder zit paradigma vallen is echter de complexe aard van de beperkingen die worden gebruikt, alsook hun interacties. Deze thesis biedt verschillend oplossingen om deze hindernissen te beheersen en zo de bruikbaarheid van declaratieve bedrijfsprocessen te verbeteren.

In het eerste deel wordt een overzicht gegeven van het huidige landschap van declaratieve procestalen, aangevuld met een formele basis die gebruikt wordt in de rest van de tekst. De omzetting van een veelgebruikte verzameling van declaratieve randvoorwaarden en beperkingen voor processen naar een procedurele variant wordt ook gegeven.

In het tweede deel wordt een aanpak voorgesteld die (verborgen) afhankelijkheden tussen voorwaarden en beperkingen in declaratieve processen blootlegt. Deze bijdrage stelt de gebruiker in staat om beter het volledige gedrag van het proces in te schatten, doordat impliciete connecties expliciet gemaakt worden en toegevoegd aan het model als een extra annotatielaag bovenop de huidige representatie. De effectiviteit en bruikbaarheid van de aanpak wordt geïllustreerd met een gebruikersstudie en wordt ook aangewend om een complexiteitsmetriek te verkrijgen die geschikt is voor beperkings-gebaseerde procesmodellen.

In het derde stuk wordt de vergelijking met het procedurele procesparadigma gemaakt. Analogieën en specificiteiten eigen aan beide benaderingen worden aangewend om heterogene modellen, die bestaan uit constructen van beide paradigma’s, te verkrijgen, alsook een manier om betere geautomatiseerde procesontdekking uit te voeren. De bevindingen worden verder aangevuld met een aanpak om deze heterogene modellen te controleren op inconsistenties en een manier om automatisch ontdekte modellen retrospectief te controleren op veelgebruikte kwaliteitsmetrieken.

Ten slotte worden in het laatste stuk beschouwingen over toekomstig werk aangebracht.

Alle voorbeelden zijn uitgewerkt in het Declare raamwerk, dat bestaat uit een wijdverspreide taal en verzameling van hulpprogramma’s.