Declaratief procesmodel

Wat is een declaratief procesmodel?

Een declaratief procesmodel beschrijft procesgedrag met constraints waaraan uitvoeringen moeten voldoen. Het schrijft niet noodzakelijk één volledige route of exacte activiteitvolgorde voor.

Gedrag is toegestaan zolang het geen constraint schendt. Dat past bij flexibel kenniswerk waarin veel volgordes geldig zijn maar enkele regels altijd gelden.

Declare is een bekende taal en modelleerbenadering voor zulke temporele constraints.

Constraints in plaats van paden

Een procedureel model beschrijft welke stap na welke andere kan volgen. Een declaratief model zegt bijvoorbeeld: als A gebeurt, moet later B gebeuren.

De combinatie van constraints begrenst het gedrag. Meer constraints geven doorgaans minder toegestane traces.

Een ontbrekende constraint betekent niet dat een activiteit verplicht of verboden is; het model laat die vrijheid bewust of onbedoeld open.

Response

Response(A,B) betekent: iedere keer dat A voorkomt, moet daarna ergens B voorkomen.

Na Ontvang klacht moet dus later Beantwoord klacht plaatsvinden. B hoeft niet direct na A te staan.

Als A nooit voorkomt, is de constraint in de klassieke logica voldaan. Dat heet vacuous satisfaction en vraagt aandacht bij interpretatie.

Precedence

Precedence(A,B) betekent: B mag alleen voorkomen wanneer A eerder is voorgekomen.

Betaal factuur vereist bijvoorbeeld dat Keur factuur goed eerder plaatsvond.

Precedence verplicht B op zichzelf niet. Het beperkt alleen cases waarin B werkelijk gebeurt.

Coexistence en uitsluiting

Coexistence(A,B) vereist dat A en B samen in een trace voorkomen: als één gebeurt, moet de andere eveneens gebeuren.

Not-coexistence(A,B) verbiedt dat beide in dezelfde trace voorkomen. Alternate- en chainvarianten kunnen striktere volgordevoorwaarden opleggen.

Gebruik businessnamen en natuurlijke-taaluitleg naast formele templates. Kleine naamverschillen hebben grote semantische gevolgen.

Voorbeeld: medisch dossier

Een zorgproces laat artsen veel vrijheid in volgorde. Wel geldt: na Start medicatie moet later Evaluatie plaatsvinden; Operatie vereist eerdere Toestemming; Zwangerschapstest en mannelijke patiëntclassificatie mogen niet samen voorkomen.

Het declaratieve model staat alle andere klinisch geldige routes toe. Een procedureel diagram met iedere mogelijke volgorde zou groot en star worden.

De constraints vervangen geen medisch oordeel. Ze modelleren expliciete procesvoorwaarden.

Declaratief versus procedureel

Petri-netten en BPMN beschrijven toegestane execution paths met activiteiten en routing. Ze zijn sterk voor stabiele workflows en expliciete orchestratie.

Declaratieve modellen beschrijven grenzen en laten tussenruimte vrij. Ze passen bij case management, compliance en flexibel werk.

Hybride modellen combineren een procedurele kern met declaratieve regels voor uitzonderingen of globale verplichtingen.

Conformance checking

Een eventtrace kan per constraint worden gecontroleerd op activations, fulfillments, violations en conflicts.

Een hoge naleving van een vacuously satisfied response zegt weinig wanneer de triggeractiviteit zelden voorkomt.

Rapporteer daarom support, activation count en concrete overtredende cases naast een percentage.

Declarative process discovery

Discovery kan constraints zoeken die door een eventlog worden ondersteund. Candidate templates en thresholds bepalen welke regels verschijnen.

Een regel die in historische data altijd geldt is niet automatisch een gewenste businessregel. De log kan beperkt of vertekend zijn.

Laat domeinexperts beoordelen of de constraint normatief, toevallig of gevolg van bronsysteemgedrag is.

Conflicten en begrijpelijkheid

Meerdere constraints kunnen samen gedrag onmogelijk maken of onverwacht beperken. Gebruik consistency- en satisfiabilitychecks waar tooling die ondersteunt.

Grote constraintsets zijn moeilijk te lezen. Groepeer per doel, filter redundantie en toon voorbeelden van geldige en ongeldige traces.

Beheer versie en eigenaar van normatieve constraints. Een beleidswijziging vraagt een nieuwe geldigheidsperiode.

Datakwaliteit

Ontbrekende events kunnen een response-overtreding maken; dubbele events kunnen activations vergroten. Verkeerde casecorrelatie mengt constraints over onafhankelijke processen.

Controleer lifecycle en activitymapping voordat conformance wordt beoordeeld.

Gebruik declaratieve modellen als expliciete taal voor flexibiliteit en regels, niet als manier om onduidelijk procesontwerp te verbergen.