Procesmodel

Wat is een procesmodel?

Een procesmodel is een vereenvoudigde weergave van procesgedrag. Het kan beschrijven hoe een proces bedoeld is, welk gedrag formeel toegestaan is of welke patronen uit eventdata zijn ontdekt.

Een model toont activiteiten en hun relaties: volgorde, keuze, herhaling en paralleliteit. Afhankelijk van de notatie kan het ook events, rollen, data en berichten bevatten.

Het model is niet het proces zelf. Mensen en systemen voeren het proces uit; het model helpt dat gedrag ontwerpen, bespreken, uitvoeren of analyseren.

Verschillende soorten procesmodellen

Een handmatig ontworpen model legt de afgesproken werkwijze vast. BPMN wordt vaak gebruikt om bedrijfsprocessen leesbaar te modelleren, met taken, events en gateways.

Een uitvoerbaar model bevat voldoende precieze logica voor een workflow engine. Technische details, foutpaden en correlatie worden dan belangrijker dan in een workshopdiagram.

Een ontdekt model wordt met process discovery uit eventlogs afgeleid. Het weerspiegelt geregistreerd gedrag volgens de gekozen data, filters en algoritme-instellingen.

Een Petri-net is een formele notatie met plaatsen, transities en markeringen. Ze is geschikt om keuze, synchronisatie en parallel gedrag precies te analyseren.

Een ordervoorbeeld

Een ordermodel begint bij Order ontvangen. Daarna kunnen kredietcontrole en voorraadcontrole parallel lopen. Pas wanneer beide positief zijn, volgt Vrijgeven voor verzending.

Bij onvoldoende voorraad wacht het proces of wordt de order geannuleerd. Na verzending volgen Factuur maken en Betaling ontvangen. Een retour kan een aparte lus of gekoppeld proces zijn.

Een eenvoudig schema dat alleen activiteiten in één lijn zet, verbergt de parallelle controles. Een te gedetailleerd model met iedere technische API-aanroep wordt voor businessgebruikers onleesbaar.

Het juiste detailniveau hangt af van het doel: bespreken, automatiseren, compliance controleren of prestaties analyseren.

Procesmodel uit een eventlog

Process discovery gebruikt procestraces om een model af te leiden dat het waargenomen gedrag samenvat. Algoritmen verschillen in hoe ze omgaan met herhaling, zeldzame paden, paralleliteit en onvolledige logs.

Een model dat iedere zeldzame trace exact volgt, kan een onleesbare spaghetti worden. Een sterk vereenvoudigd model kan belangrijke uitzonderingen verbergen.

Filters en drempels veranderen het resultaat. Bewaar daarom logversie, algoritme en parameters samen met het ontdekte model.

Laat domeinexperts controleren of relaties plausibel zijn. Een patroon kan door verkeerde timestamps of casecorrelatie ontstaan.

Model versus proceskaart en eventlog

Een eventlog bevat concrete events per procesinstantie. Een procesmodel abstraheert daarvan naar mogelijk of verwacht gedrag.

Een process map of directly-follows graph toont vaak welke activiteiten direct op elkaar volgden en hoe vaak. Ze is intuïtief, maar maakt keuzes en paralleliteit niet altijd formeel ondubbelzinnig.

Een formeel model kan gedrag toestaan dat niet letterlijk in de log voorkwam, bijvoorbeeld een andere geldige interleaving van parallelle taken. Dat generaliserend vermogen is nuttig, maar moet begrensd worden.

Fitness, precision en bruikbaarheid

Fitness meet in welke mate traces uit de log door het model kunnen worden gereproduceerd. Hoge fitness betekent dat waargenomen gedrag weinig conflicteert met het model.

Precision meet in welke mate het model geen groot aantal extra gedragsroutes toelaat die nooit zijn waargenomen. Een model waarin alles altijd kan, heeft hoge fitness maar weinig verklarende waarde.

Daarnaast tellen generalisatie en eenvoud. Een bruikbaar model behandelt nieuw maar geldig gedrag en blijft begrijpelijk. Geen enkele metriek bepaalt alleen het beste model.

Beheer en interpretatie

Leg eigenaar, doel, scope, versie en bron vast. Maak onderscheid tussen as-is, to-be en uitvoerbare modellen.

Wijzig een normmodel wanneer beleid verandert en controleer welke conformance-resultaten daardoor verschuiven. Hertrain of herontdek een datagedreven model wanneer procesgedrag structureel verandert.

Gebruik een procesmodel als hulpmiddel voor gesprek en besluitvorming. Een nette visualisatie zonder betrouwbare eventdata of duidelijke semantiek blijft een hypothese.