Annotatie-claimtypes

Inleiding

We onderkennen een aantal annotatie-typen op basis van de semantiek uit het InformatieModel WOZ. Tijdens het uitwerken van de casussen gaan we ontdekken welke annotatietype op welke claimtypen van toepassing kunnen zijn. Op voorhand worden hier geen beslissingen over genomen en vooralsnog stellen we dat de engine geen beperkingen oplegt en dat de keuze welke annotatietypen van toepassing zijn op welke claimtypen een domein-keuze is.

Annotatie-typen

RegisteredAt (Geregistreerd op)

Dit annotatietype is geïdentificeerd naar aanleiding van de behoefte om binnen een capabel register vast te kunnen leggen wanneer een claim is geregistreerd. Deze annotatie wordt door de Atomic Claim Engine voor iedere vastgelegde claim en annotatie (behalve de registeredAt-annotatie zelf) geregistreerd.

Noot: Deze annotatie wordt door de ACE ook gedefinieerd en hoeft dus niet vanuit het framework of de domein-structuur te worden gedefinieerd.

`Annotatietype` - eigenschap	Claimtype - expression
`RegisteredAt`	`<$claim>` is geregistreerd op `<datumTijdstip>`

Expired (Vervallen)

Dit annotatietype is geïdentificeerd naar aanleiding van de behoefte om binnen een capabel register vast te kunnen leggen wanneer een claim nooit geregistreerd had mogen zijn.

Aangezien een claim-register append-only is worden er geen claims verwijderd. Door een Expired annotatie bij de claim op te nemen wordt de betreffende claim logisch ge-delete. Aangezien de Expired-annotatie zelf een RegisteredAt- annotatie heeft weet je ook wanneer de betreffende claim vervallen is verklaard.

Noot: Deze annotatie wordt door de ACE ook gedefinieerd en hoeft dus niet vanuit het framework of de domein-structuur te worden gedefinieerd.

`Annotatietype` - eigenschap	Claimtype - expression
`ExpiredAt`	`<$claim>` is vervallen

Context

Dit annotatietype is geïdentificeerd naar aanleiding van de behoefte om te registreren welke commando of gevolg heeft geleid tot het registreren van een claim. Door consequent context vast te leggen is van iedere claim de oorsprong te herleiden.

Als de context voor een domein relevant is dan dient iedere claim en annotatie van een context-annotatie te zijn voorzien.

`Annotatietype` - eigenschap	Claimtype - expression
`Context`	`<$Claimid>` is geregistreerd naar aanleiding van `<$Claimid>`

ValidFrom (Aanvang geldigheid)

Dit annotatietype is geïdentificeerd naar aanleiding de behoefte om binnen een capabel register vast te kunnen leggen vanaf wanneer de geldigheid van een claim aanvangt.

`Annotatietype` - eigenschap	Claimtype - expression
`ValidFrom`	De geldigheid van `<$claim>` is aangevangen op `<datumTijdstip>`

ValidUntil (Einde geldigheid)

Dit annotatietype is geïdentificeerd naar aanleiding de behoefte om binnen een capabel register vast te kunnen leggen vanaf wanneer de geldigheid van een claim is geëindigd.

`Annotatietype` - eigenschap	Claimtype - expression
`ValidUntil`	De geldigheid van `<$claim>` is geeindigd op `<datumTijdstip>`

Noot: De ValidFrom- en de ValidUntil-annotaties geven samen vorm aan de geldigheidstijdlijn.

StartResearch (Aanvang Onderzoek)

Dit annotatietype is geïdentificeerd naar aanleiding van de gegevensgroep inOnderzoek die onderdeel is van diverse objecttypen in het IMWOZ.

Per objecttype waarbij onderzoek relevant kan zijn is een enumeratie opgenomen van waarden die kunnen voorkomen. Deze enumeratiewaarden komen overeen met de attributen (eigenschappen) die bij een object in onderzoek gezet kunnen worden. Over het karakter van het onderzoek of de mate van twijfel wordt niet gesproken in het IMWOZ. De functionaliteit is in het claimdenken te bereiken door een annotie van het type Onderzoek op een claim te plaatsen.

`Annotatietype` - eigenschap	Claimtype - expression
`StartResearch`	Er is een onderzoek gestart naar `<$claim>`

EndResearch (Einde Onderzoek)

Bij claims waarbij de aanvang van een onderzoek is geregistreerd met het annotatietype StartResearch, moet het mogelijk zijn om het beeindigen van dat onderzoek te registreren. Daarvoor hebben we het annotatietype EndResearch.

`Annotatietype` - eigenschap	Claimtype - expression
`EneResearchk`	Het onderzoek naar `<$claim>` is beeindigd

Andere annotaties

Wat nog niet beproefd is, maar wel overwogen zijn annotaties die de kwaliteit van een gegeven (claim) kunnen aangeven. Ook annotaties voor bv. een derde tijdlijn zijn mogelijk.

Het annotatie-mechnisme is zeer krachtig. Het is verleidelijk oom met dit mechanisme meer te gaan regelen dan verstandig is.