diff --git a/ASR NGA/Demo.adl b/ASR NGA/Demo.adl index 5d012455..e92fa8be 100644 --- a/ASR NGA/Demo.adl +++ b/ASR NGA/Demo.adl @@ -337,7 +337,7 @@ {-337-} {+ {-338-} Artikel 10:3 lid 3 Awb spreekt over het beslissen over een bezwaar. Een bezwaar mag niet afgehandeld worden door degene die het besluit {-339-} krachtens mandaat genomen heeft. Dit impliceert dat altijd duidelijk moet zijn wie een besluit genomen heeft. -{-340-} Vandaar de relatie Besluit met Ambtenaar. Een besluit heeft altijd maar één Ambtenaar. +{-340-} Vandaar de relatie Besluit met Ambtenaar. Een besluit heeft altijd maar één Ambtenaar. {-341-} -} {-342-} RELATION genomenDoor[Besluit*Ambtenaar] [UNI,TOT] {-343-} PRAGMA "" " is genomen door " @@ -422,7 +422,7 @@ {-422-} {+ {-423-} Artikel 10:3 lid 3 Awb spreekt over het beslissen over een bezwaar. Een bezwaar mag niet afgehandeld worden door degene die het besluit {-424-} krachtens mandaat genomen heeft. Dit impliceert dat altijd duidelijk moet zijn wie een bezwaarschrift in behandeling neemt. -{-425-} Vandaar de relatie Besluit met Ambtenaar. Een besluit heeft altijd maar één Ambtenaar. +{-425-} Vandaar de relatie Besluit met Ambtenaar. Een besluit heeft altijd maar één Ambtenaar. {-426-} -} {-427-} RELATION neemtInBehandeling[Ambtenaar*Bezwaarschrift] [INJ] {-428-} --[INJ,SUR] @@ -598,7 +598,7 @@ {-598-} al meteen een uitkomst ingevuld worden. Dit is niet logisch vandaar dat hiervan een procesregel is gemaakt. {-599-} -} {-600-} RULE "Een bezwaarschrift heeft een uitkomst (univalent)" : heeftUitkomst~;heeftUitkomst |- I -{-601-} MEANING "Als een bezwaarschrift is ingediend dan moet deze hoogstens één uitkomst hebben" +{-601-} MEANING "Als een bezwaarschrift is ingediend dan moet deze hoogstens één uitkomst hebben" {-602-} {-603-} PURPOSE RULE "In behandeling nemen door ambtenaar (surjectief)" REF "Artikel 10:3 lid 2b" {-604-} {+ diff --git a/ASR NGA/Dossiers.adl b/ASR NGA/Dossiers.adl index 6d0b28f9..0888db94 100644 --- a/ASR NGA/Dossiers.adl +++ b/ASR NGA/Dossiers.adl @@ -1,4 +1,4 @@ -CONTEXT Dossiers IN DUTCH +CONTEXT Dossiers IN DUTCH --INCLUDE "Gebeurtenis.adl" diff --git a/ASR NGA/Klantverzoeken.pat b/ASR NGA/Klantverzoeken.pat index fe459293..e4e5efa8 100644 --- a/ASR NGA/Klantverzoeken.pat +++ b/ASR NGA/Klantverzoeken.pat @@ -2,7 +2,7 @@ CONTEXT Klantverzoek PURPOSE PATTERN Klantverzoek {+ - Eén van de wensen is om inzicht te krijgen in de klantverzoeken die binnenkomen bij NGA. + Eén van de wensen is om inzicht te krijgen in de klantverzoeken die binnenkomen bij NGA. Bij deze klantverzoeken moet onder andere de volgende informatie beschikbaar zijn. Het type van het klantverzoek (Bijvoorbeeld offerte, contractaanvraag). Het beoordelingsresultaat van het klantverzoek (Bijvoorbeeld automatische verwerking of oppakken door een behandelaar). diff --git a/ASR NGA/ManagementInformatie.adl b/ASR NGA/ManagementInformatie.adl index 2a948896..9765eb42 100644 --- a/ASR NGA/ManagementInformatie.adl +++ b/ASR NGA/ManagementInformatie.adl @@ -1,4 +1,4 @@ -CONTEXT "Managementinformatie over klantverzoeken en taken" IN DUTCH LATEX +CONTEXT "Managementinformatie over klantverzoeken en taken" IN DUTCH LATEX META "authors" "Sebastiaan Hobers, Roger Hage, Lode Cornelissen, Stef Joosten" META "title" "Managementinformatie over klantverzoeken en taken" THEMES Klantverzoek, Taken diff --git a/ASR NGA/Taken.pat b/ASR NGA/Taken.pat index b9cd709b..bbbfb389 100644 --- a/ASR NGA/Taken.pat +++ b/ASR NGA/Taken.pat @@ -45,7 +45,7 @@ PATTERN Taken PURPOSE CONCEPT Prioriteit REF "DFO NGA Generieke functionaliteit medewerkerapplicatie" {+ - Mochten er meerdere taken aan één behandelaar zijn toegewezen, dan worden deze behandeld in volgorde van prioriteit. + Mochten er meerdere taken aan één behandelaar zijn toegewezen, dan worden deze behandeld in volgorde van prioriteit. Deze prioriteit loopt van 1 t/m 5 waarbij 5 de hoogste prioriteit heeft en 1 de laagste. -} CONCEPT Prioriteit "De prioriteit geeft aan wat de volgorde is waarin taken behandeld moeten worden." "DFO NGA Generieke functionaliteit medewerkerapplicatie." diff --git a/Arbeidsduur/Arbeidsduur.adl b/Arbeidsduur/Arbeidsduur.adl index 36dcd53c..d2ac2b48 100644 --- a/Arbeidsduur/Arbeidsduur.adl +++ b/Arbeidsduur/Arbeidsduur.adl @@ -10,19 +10,19 @@ werkgever :: Arbeidsrelatie -> Persoon PRAGMA "In" "is" "de werkgever" MEANING "Elke arbeidsrelatie benoemt expliciet welke (rechts)persoon de rol van werkgever vervult." PURPOSE RELATION werkgever -{+Om de werkgever te kunnen bepalen gaan we ervan uit dat elke arbeidsrelatie precies één werkgever heeft.+} +{+Om de werkgever te kunnen bepalen gaan we ervan uit dat elke arbeidsrelatie precies één werkgever heeft.+} werknemer :: Arbeidsrelatie -> Persoon PRAGMA "In" "is" "de werknemer" MEANING "Elke arbeidsrelatie benoemt expliciet welke persoon de rol van werknemer vervult." PURPOSE RELATION werknemer -{+We gaan ervan uit dat elke arbeidsrelatie precies één werknemer heeft.+} +{+We gaan ervan uit dat elke arbeidsrelatie precies één werknemer heeft.+} arbeidsduur :: Arbeidsrelatie -> Arbeidsduur PRAGMA "In" "is" "als arbeidsduur afgesproken" MEANING "Elke arbeidsrelatie vermeldt de afgesproken arbeidsduur." PURPOSE RELATION arbeidsduur REF "Artikel 2 lid 1" -{+De Wet aanpassing arbeidsduur spreekt van ``de uit zijn arbeidsovereenkomst of publiekrechtelijke aanstelling voortvloeiende arbeidsduur''. Dat impliceert dat er voor elke arbeidsovereenkomst of publiekrechtelijke aanstelling precies één arbeidsduur is. Er zijn ongetwijfeld andere wetten en regelingen die dat garanderen, maar hier nemen we dit als een gegeven (uitgangspunt) over.+} +{+De Wet aanpassing arbeidsduur spreekt van ``de uit zijn arbeidsovereenkomst of publiekrechtelijke aanstelling voortvloeiende arbeidsduur''. Dat impliceert dat er voor elke arbeidsovereenkomst of publiekrechtelijke aanstelling precies één arbeidsduur is. Er zijn ongetwijfeld andere wetten en regelingen die dat garanderen, maar hier nemen we dit als een gegeven (uitgangspunt) over.+} inDienst :: Arbeidsrelatie -> Datum PRAGMA "" "vermeldt" "als tijdstip van indiensttreding" @@ -40,7 +40,7 @@ MEANING "Het verzoek vermeldt de arbeidsrelatie waarop de aanpassing van toepass PURPOSE RELATION arbeidsrelatie {+Het verzoek moet duidelijk vermelden welke arbeidsrelatie onderwerp is van het verzoek. Dat is immers niet vanzelfsprekend in die gevallen waar een werknemer meerdere arbeidsrelaties over verschillende periodes heeft. -De onderzochte wet sluit zelfs niet uit dat één werkgever en één werknemer op hetzelfde moment verschillende arbeidsrelaties onderhouden.+} +De onderzochte wet sluit zelfs niet uit dat één werkgever en één werknemer op hetzelfde moment verschillende arbeidsrelaties onderhouden.+} tot :: Verzoek * Aanpassing [UNI] PRAGMA "" "tot" @@ -288,7 +288,7 @@ PURPOSE RULE "Verzoeksdatum invullen (geautomatiseerd)" REF "Artikel 2 lid 3" PURPOSE RELATION vierMaandenOfMeer REF "Artikel 2 lid 3" {+Omdat de wet een termijn van vier maanden noemt, en omdat we in Ampersand (nog) niet kunnen -rekenen, voeren we een relatie “vierMaandenOfMeer” in. Deze dient als stub voor het rekenwerk.+} +rekenen, voeren we een relatie “vierMaandenOfMeer” in. Deze dient als stub voor het rekenwerk.+} vierMaandenOfMeer :: Datum * Datum PRAGMA "" "ligt minstens vier maanden voor" MEANING "De relatie 'vierMaandenOfMeer' bevat alleen paren van datums waarvan de eerste minstens vier maanden voor de tweede valt." diff --git a/Arbeidsduur/Stef's demo van Arbeidsduur.adl b/Arbeidsduur/Stef's demo van Arbeidsduur.adl index ad051ada..879bbd0a 100644 --- a/Arbeidsduur/Stef's demo van Arbeidsduur.adl +++ b/Arbeidsduur/Stef's demo van Arbeidsduur.adl @@ -79,20 +79,20 @@ werkgever :: Arbeidsrelatie -> Persoon PRAGMA "In" "is" "de werkgever" MEANING "Elke arbeidsrelatie benoemt expliciet welke (rechts)persoon de rol van werkgever vervult." PURPOSE RELATION werkgever LATEX -{+Om de werkgever te kunnen bepalen gaan we ervan uit dat elke arbeidsrelatie precies één werkgever heeft. +{+Om de werkgever te kunnen bepalen gaan we ervan uit dat elke arbeidsrelatie precies één werkgever heeft. -} werknemer :: Arbeidsrelatie -> Persoon PRAGMA "In" "is" "de werknemer" MEANING "Elke arbeidsrelatie benoemt expliciet welke persoon de rol van werknemer vervult." PURPOSE RELATION werknemer LATEX -{+We gaan ervan uit dat elke arbeidsrelatie precies één werknemer heeft. +{+We gaan ervan uit dat elke arbeidsrelatie precies één werknemer heeft. -} arbeidsduur :: Arbeidsrelatie -> Arbeidsduur PRAGMA "In" "is" "als arbeidsduur afgesproken" MEANING "Elke arbeidsrelatie vermeldt de afgesproken arbeidsduur." PURPOSE RELATION arbeidsduur LATEX REF "Artikel 2 lid 1" {+De Wet aanpassing arbeidsduur spreekt van ``de uit zijn arbeidsovereenkomst of publiekrechtelijke aanstelling voortvloeiende arbeidsduur''. -Dat impliceert dat er voor elke arbeidsovereenkomst of publiekrechtelijke aanstelling precies één arbeidsduur is. +Dat impliceert dat er voor elke arbeidsovereenkomst of publiekrechtelijke aanstelling precies één arbeidsduur is. Er zijn ongetwijfeld andere wetten en regelingen die dat garanderen, maar hier nemen we dit als een gegeven (uitgangspunt) over. -} inDienst :: Arbeidsrelatie -> Tijdstip @@ -115,7 +115,7 @@ MEANING "Het verzoek vermeldt de arbeidsrelatie waarop de aanpassing van toepass PURPOSE RELATION arbeidsrelatie LATEX {+Het verzoek moet duidelijk vermelden welke arbeidsrelatie onderwerp is van het verzoek. Dat is immers niet vanzelfsprekend in die gevallen waar een werknemer meerdere arbeidsrelaties over verschillende periodes heeft. -De onderzochte wet sluit zelfs niet uit dat één werkgever en één werknemer op hetzelfde moment verschillende arbeidsrelaties onderhouden. +De onderzochte wet sluit zelfs niet uit dat één werkgever en één werknemer op hetzelfde moment verschillende arbeidsrelaties onderhouden. -} ingang :: Aanpassing -> Tijdstip PRAGMA "" "gaat in op" diff --git a/BIV/ounl.adl b/BIV/ounl.adl index 0bf1c7df..b22a53e8 100644 --- a/BIV/ounl.adl +++ b/BIV/ounl.adl @@ -106,7 +106,7 @@ Deze moet voldoen aan: Om eenduidige definities van prestatie-indicatoren mogelijk te maken in de bedrijfsinformatievoorziening van de OU, definieert dit document een consistente verzameling begrippen. - Deze begrippen zijn ontworpen om één administratieve werkelijkheid + Deze begrippen zijn ontworpen om één administratieve werkelijkheid voor de Open Universiteit te ondersteunen. Hiervoor is een analyse gemaakt van de taal waarin prestatie-indicatoren worden uitgedrukt. @@ -164,7 +164,7 @@ VIEW "periode": Peilperiode(begindatum,einddatum,tbv) RULE "identificeerbare peilperiode": begindatum;begindatum~ /\ einddatum;einddatum~ /\ tbv;tbv~ |- I MEANING "Een peilperiode is identificeerbaar aan de hand van de begin- en einddatum en de functie waarvoor de peiling bedoeld is." tbv :: Peilperiode * Functie [TOT] -MEANING "Iedere peilperiode is ten behoeve van één of meer functies" +MEANING "Iedere peilperiode is ten behoeve van één of meer functies" PURPOSE RELATION begindatum {+ Een peilperiode mag alleen gebeurtenissen bevatten van na de begindatum. +} begindatum :: Peilperiode -> Datum @@ -210,11 +210,11 @@ PURPOSE CONCEPT Onderwijsproduct De Open Universiteit biedt wetenschappelijke opleidingen aan in de cultuurwetenschappen, managementwetenschappen, milieu-natuurwetenschappen, psychologie, rechtswetenschappen, onderwijswetenschappen en informatica. Wie geen complete opleiding wil volgen, kan kiezen uit bijna driehonderd cursussen. Daarnaast bieden wij, vaak in samenwerking met hogescholen, programma's aan op basis van open inschrijving, en in-company- en maatwerkopleidingen voor bedrijven. En sinds kort ook gratis cursussen die iedereen via internet kan volgen. (\url{http://www.ou.nl/web/over-ons/onderwijs-en-innovatie}) \end{quote} \begin{quote} -Het onderwijsaanbod van de Open Universiteit is open, flexibel, modulair, gedigitaliseerd (webgestuurd) afstandsonderwijs in een e-learning aanpak. Het aanbod varieert van geaccrediteerde bachelor- en masteropleidingen, via korte programma’s en losse cursussen, met een diversiteit in omvang en niveau, naar open onderwijsbronnen. Accreditatie van de opleidingen wordt geborgd - ook op langere termijn - door het adequaat en in voldoende volume verweven van wetenschappelijk onderzoek en onderwijs. (Zelfevaluatie_OU_24_mei_2011.doc) +Het onderwijsaanbod van de Open Universiteit is open, flexibel, modulair, gedigitaliseerd (webgestuurd) afstandsonderwijs in een e-learning aanpak. Het aanbod varieert van geaccrediteerde bachelor- en masteropleidingen, via korte programma’s en losse cursussen, met een diversiteit in omvang en niveau, naar open onderwijsbronnen. Accreditatie van de opleidingen wordt geborgd - ook op langere termijn - door het adequaat en in voldoende volume verweven van wetenschappelijk onderzoek en onderwijs. (Zelfevaluatie_OU_24_mei_2011.doc) \end{quote} Het voorgaande citaat kenmerkt het onderwijs als modulair. - In Zelfevaluatie_OU_24_mei_2011.doc staat nagenoeg letterlijk dat daarmee wordt bedoeld dat, studenten zich niet inschrijven voor een hele opleiding, maar voor één of meer cursussen. Ze betalen per cursus, ze leggen tentamen af voor een cursus en ze krijgen een certificaat voor een cursus. Een opleiding bestaat uit een aantal cursussen die studenten bestuderen, waar mogelijk in een zelfgekozen volgorde. + In Zelfevaluatie_OU_24_mei_2011.doc staat nagenoeg letterlijk dat daarmee wordt bedoeld dat, studenten zich niet inschrijven voor een hele opleiding, maar voor één of meer cursussen. Ze betalen per cursus, ze leggen tentamen af voor een cursus en ze krijgen een certificaat voor een cursus. Een opleiding bestaat uit een aantal cursussen die studenten bestuderen, waar mogelijk in een zelfgekozen volgorde. ???Zijn maatwerk opleidingen (bv. VtsPN) en opleidingen bij de hogescholen (BPMIT - begeleid) modulair, ofwel moeten deze studenten zich inschrijven voor cursussen of schrijven zij zich in voor een opleiding??? -} @@ -246,11 +246,11 @@ PURPOSE RELATION modules De term module wordt niet eenduidig gebruikt. Neem bijvoorbeeld deze zin uit Zelfevaluatie_OU_24_mei_2011.doc: \emph{Een student kan de meeste modulen van de OU ook als losse cursus volgen}. Vergelijk dit met de uitdrukking: \emph{De afstudeercursus van de BPMIT bestaat uit vier modules}. - Het begrip \emph{module} uit de eerste zin is bevat in het reeds gedefiniëerde begrip \emph{cursus}. + Het begrip \emph{module} uit de eerste zin is bevat in het reeds gedefiniëerde begrip \emph{cursus}. Wij gebruiken daarom het begrip \emph{module} alleen in de tweede betekenis, ofwel om de omvang van een cursus mee aan te duiden. - Eén module komt overeen met 4,3 ECTS studiebelasting of 100 á 120 studie-uren. - De module is geïntroduceerd voordat het Europese systeem ECTS geïntroduceerd was. + Eén module komt overeen met 4,3 ECTS studiebelasting of 100 á 120 studie-uren. + De module is geïntroduceerd voordat het Europese systeem ECTS geïntroduceerd was. De omvang van een cursus kan niet altijd uitgedrukt worden in modules, bv. minicursussen (1 ECTS), gratis cursussen, of voorbereidingscursussen. -} @@ -296,7 +296,7 @@ PURPOSE CONCEPT Cursusinhoud Cursussen kunnen dezelfde inhoud hebben. Cursussen die dezelfde inhoud hebben noemen we \emph{varianten}. Sommige varianten hebben dezelfde cursuscode, bijvoorbeeld 18321 zelfstudie en 18321 begeleid voor BPMIT. - Sommige varianten hebben een unieke cursuscode, bijvoorbeeld een +5-cursus (een commerciële variant). + Sommige varianten hebben een unieke cursuscode, bijvoorbeeld een +5-cursus (een commerciële variant). -} CONCEPT Cursusinhoud "De inhoud van een cursus is dat wat de student moet leren." IDENT "inhoud": Cursusinhoud(heeftinhoud~;cursuscode) @@ -324,7 +324,7 @@ PURPOSE CONCEPT Cursusuitvoering Bij een zelfstudie variant volgt een student de cursus zelfstandig, waarbij hij ondersteuning kan krijgen van de docenten. We specificeren vooralsnog alleen dat cursussen worden uitgevoerd onder begeleiding van docenten. -} -CONCEPT Cursusuitvoering "Een cursusuitvoering is het moment waarop één of meerdere studenten starten met de lessen van een cursus." +CONCEPT Cursusuitvoering "Een cursusuitvoering is het moment waarop één of meerdere studenten starten met de lessen van een cursus." SPEC Cursusuitvoering ISA Gebeurtenis IDENT "uitvoering": Cursusuitvoering(voertuit;cursuscode,moment[Cursusuitvoering*Datum]) voertuit::Cursusuitvoering->Cursus @@ -367,11 +367,11 @@ CONCEPT Student "Een student is een natuurlijk persoon die zich ooit heeft aange PURPOSE CONCEPT Aanmelding {+ - Een natuurlijk persoon kan tot een inschrijving voor een cursus komen via een officiële aanmelding. + Een natuurlijk persoon kan tot een inschrijving voor een cursus komen via een officiële aanmelding. Een aanmelding mag ingediend worden door een juridisch persoon namens een natuurlijk persoon. - Ook mogen volgens de begrippenlijst_2009_mar meerdere aanmeldingen gebundeld worden in één aanmelding: + Ook mogen volgens de begrippenlijst_2009_mar meerdere aanmeldingen gebundeld worden in één aanmelding: \begin{quote} - Een schriftelijk of electronisch verzoek van een persoon via een daarvoor bestemd OUNL-formulier om ingeschreven te worden voor één of meer cursussen aan de OUNL (Begrippenlijst_2009_mar.xls) + Een schriftelijk of electronisch verzoek van een persoon via een daarvoor bestemd OUNL-formulier om ingeschreven te worden voor één of meer cursussen aan de OUNL (Begrippenlijst_2009_mar.xls) \end{quote} Deze nuances zijn onnodig complicerend voor deze specificatie, ofwel de definitie van een aanmelding volstaat (zie definitie). @@ -427,7 +427,7 @@ PURPOSE CONCEPT Inschrijvingsvorm -} CONCEPT Inschrijvingsvorm "Een inschrijvingsvorm is een set van voorwaarden waaronder inschrijving voor een cursus kan plaatsvinden." "Begrippenlijst_2009_mar.xls" RULE "inschrijvingsvormen": I[Inschrijvingsvorm] |- 'LIC' \/ 'LIS' \/ 'SIN' \/ 'JIN' \/ 'KMT' \/ 'INH' \/ 'SAS' -MEANING "Een inschrijvingsvorm is één van de volgende afkortingen: LIC, LIS, SIN, JIN, KMT, INH, of SAS." +MEANING "Een inschrijvingsvorm is één van de volgende afkortingen: LIC, LIS, SIN, JIN, KMT, INH, of SAS." PURPOSE RELATION inschrijvingsvormen {+ @@ -449,14 +449,14 @@ SPEC VerlopenRechten ISA Gebeurtenis IDENT "verlopen inschrijvingsrechten": VerlopenRechten(verloopt;student,verloopt;cursus;cursuscode) verloopt :: VerlopenRechten -> Cursusinschrijving [INJ] PRAGMA "" " is het moment waarop alle inschrijvingsrechten verkregen via " " verlopen zijn" -MEANING "De inschrijvingsrechten verkregen via een cursusinschrijving verlopen hooguit één keer." +MEANING "De inschrijvingsrechten verkregen via een cursusinschrijving verlopen hooguit één keer." ENDPATTERN ----------------------------------------------------------------------------------------------------------- PURPOSE PATTERN Transitie {+ Afzetcijfers kunnen berekend worden voor studenten met bepaalde kenmerken. - Eén van die kenmerken is het type transitie dat een student op een zeker moment voor het laatst heeft ondergaan. + Eén van die kenmerken is het type transitie dat een student op een zeker moment voor het laatst heeft ondergaan. De begrippenlijst_2009_mar vermeldt vijf soorten studenten op basis van vier transitietypes. Een student is of een ingeschrevene of een uitstromer. Als de student een ingeschrevene is, dan is de student een instromer, herinstromer, of doorstromer. @@ -464,7 +464,7 @@ PURPOSE PATTERN Transitie Omdat dit kenmerk van een student afhankelijk is van cursusinschrijvingen en tijd, specificeren we deze vijf soorten studenten niet als begrip. Onderstaande omschrijvingen van deze studentsoorten komen uit de begrippenlijst_2009_mar. \begin{itemize} - \item[] Een ingeschrevene is een persoon die, op basis van een eerder gepleegde inschrijving voor één of meer onderwijseenheden, op een peildatum de beschikking heeft over geldige inschrijvingsrechten. + \item[] Een ingeschrevene is een persoon die, op basis van een eerder gepleegde inschrijving voor één of meer onderwijseenheden, op een peildatum de beschikking heeft over geldige inschrijvingsrechten. \item[] Een uitstromer is een persoon, die de groep ingeschrevenen verlaat. \item[] Een instromer is een persoon, die voor het eerst toetreedt tot de groep ingeschrevenen. \item[] Een herinstromer is een persoon, die opnieuw toetreedt tot de groep ingeschrevenen. @@ -473,14 +473,14 @@ PURPOSE PATTERN Transitie Onderstaande omschrijvingen van studentsoorten komen uit kerncijfers_studenten_modulenafzet_30sep11.doc. \begin{itemize} \item[] Een ingeschrevene is een natuurlijk persoon die op een peildatum of in een peilperiode de beschikking heeft over inschrijvingsrechten - \item[] Een inschrijver is een natuurlijk persoon die zich aanmeldt voor één of meer cursussen - \item[] Een instromer is een natuurlijk persoon die zich voor het eerst aanmeldt voor één of meer cursussen - \item[] Een herinstromer is een uitstromer die zich opnieuw aanmeldt voor één of meer cursussen - \item[] Een doorstromer is een ingeschrevene die zich aanmeldt voor één of meer cursussen + \item[] Een inschrijver is een natuurlijk persoon die zich aanmeldt voor één of meer cursussen + \item[] Een instromer is een natuurlijk persoon die zich voor het eerst aanmeldt voor één of meer cursussen + \item[] Een herinstromer is een uitstromer die zich opnieuw aanmeldt voor één of meer cursussen + \item[] Een doorstromer is een ingeschrevene die zich aanmeldt voor één of meer cursussen \end{itemize} De bovenstaande omschrijvingen uit de twee bronnen zijn verschillend. - De begrippenlijst definiëert in-, uit-, herin-, en doorstromer op basis van ingeschrevene, maar in de kerncijfers zijn deze gebaseerd op aanmeldingen. + De begrippenlijst definiëert in-, uit-, herin-, en doorstromer op basis van ingeschrevene, maar in de kerncijfers zijn deze gebaseerd op aanmeldingen. Of een student een ingeschrevene is wordt bepaald op basis van het moment vanaf wanneer een student inschrijvingsrechten heeft. Het zou zo kunnen zijn dat het moment van aanmelding het moment is vanaf wanneer een student inschrijvingsrechten heeft. In dat geval moeten de aanmeldingen waarover in kerncijfers_studenten_modulenafzet_30sep11.doc goedgekeurd zijn, hetgeen niet vermeld is, maar wellicht wel bedoeld. @@ -511,8 +511,8 @@ MEANING "Een student kan via een transitie alleen een in-, herin-, uit- of doors PURPOSE RELATION veroorzaaktdoor {+ - Een transitie wordt veroorzaakt door één goedgekeurde aanmelding of het verlopen van de laatste inschrijvingsrechten. - Kerncijfers_studenten_modulenafzet_30sep11.doc spreekt van \emph{aanmeldingen voor één of meer cursussen}. + Een transitie wordt veroorzaakt door één goedgekeurde aanmelding of het verlopen van de laatste inschrijvingsrechten. + Kerncijfers_studenten_modulenafzet_30sep11.doc spreekt van \emph{aanmeldingen voor één of meer cursussen}. In die context is het arbitrair welk van die aanmeldingen als oorzaak wordt aangewezen. Hetzelfde geldt voor het verlopen van inschrijvingsrechten van meerdere cursussen, waaronder een laatste. -} @@ -536,7 +536,7 @@ PURPOSE RELATION vorigetransitie -} vorigetransitie :: Transitie * Transitie [UNI ]--BUG PROTOTYPE-},INJ ]--BUG PROTOTYPE-},IRF] PRAGMA "De vorige transitie van " " is " "" -MEANING "Een transitie heeft hooguit één vorige en één volgende transitie, maar nooit zichzelf." +MEANING "Een transitie heeft hooguit één vorige en één volgende transitie, maar nooit zichzelf." RULE "vorige transitie": vorigetransitie;transitiebetreft |- transitiebetreft MEANING "De vorige transitie heeft betrekking op dezelfde student." @@ -549,7 +549,7 @@ MEANING "Alleen een uitstromer kan herinstromen" PURPOSE RULE "doorstromer" {+ - De twee eerdergenoemde omschrijvingen van doorstromer omschrijven een doorstromer als een ingeschrevene, die één of meer aanmeldingen plaatst. + De twee eerdergenoemde omschrijvingen van doorstromer omschrijven een doorstromer als een ingeschrevene, die één of meer aanmeldingen plaatst. Een doorstromer die een aanmelding plaatst zou dus opnieuw een doorstromer mogen worden. In deze specificatie mag een doorstromer geen doorstromer worden, wel blijven. -} @@ -592,7 +592,7 @@ PURPOSE RELATION beoordeling -} beoordeling :: Tentamen * Resultaat [UNI] PRAGMA "" " is beoordeeld met een " "" -MEANING "Een tentamen mag ten hoogste één maal beoordeeld worden." +MEANING "Een tentamen mag ten hoogste één maal beoordeeld worden." beoordeelddoor :: Tentamen -> Arbeidskracht PRAGMA "" " is of wordt beoordeeld door " "" @@ -615,13 +615,13 @@ PURPOSE CONCEPT Studiepad Sommige studenten leggen samen met een studiecoach een planning vast. Het hier gespecificeerde systeem heeft geen eis dat cursussen ingepland moeten worden via een studiepad. Ook hoeven cursusinschrijvingen niet opgenomen te worden in studiepaden voor opleidingen waarvoor de cursusinschrijving bedoeld zou kunnen zijn. - Het systeem biedt dus de vrijheid om studiepaden te creëren of niet. + Het systeem biedt dus de vrijheid om studiepaden te creëren of niet. In de administratie wordt een student bij de OU pas achteraf een opleidingsstudent. Daarbij worden regels gehanteerd zoals: \emph{Als 14 cursussen van de opleiding zijn afgerond, dan volgt de student de opleiding}. Wanneer het begrip opleidingsstudent gespecificeerd zou worden, dan zullen dit soort regels vastgelegd moeten worden. Een opleidingsstudent zal dan op zijn minst een studiepad hebben voor zijn opleiding waarin zijn cursusinschrijvingen voor de opleiding zijn opgenomen. - Maar in deze versie van de specificatie bestaat het begrip \emph{opleidingsstudent} nog niet en zijn studiepaden optioneel te creëren. + Maar in deze versie van de specificatie bestaat het begrip \emph{opleidingsstudent} nog niet en zijn studiepaden optioneel te creëren. -} CONCEPT Studiepad "Een studiepad van een student is het geregistreerde deel van een traject van cursussen uit een opleiding dat door de student afgerond is, gevolgd wordt of gaat worden." "" IDENT "studiepad": Studiepad(gevolgddoor,omtevolgen;productnaam) @@ -632,7 +632,7 @@ PRAGMA "" " wordt gevolgd door " "" MEANING "Ieder studiepad is van een student." omtevolgen :: Studiepad -> Opleiding PRAGMA "" " is het studietraject van een student om " " te volgen." -MEANING "Ieder studiepad heeft betrekking op één opleiding." +MEANING "Ieder studiepad heeft betrekking op één opleiding." PURPOSE RELATION bevat {+ diff --git a/Braga/Braga.adl b/Braga/Braga.adl index 4ca8269d..ab8b793a 100644 --- a/Braga/Braga.adl +++ b/Braga/Braga.adl @@ -1,4 +1,4 @@ -CONTEXT AST IN ENGLISH +CONTEXT AST IN ENGLISH INCLUDE "Braga.xlsx" -- contains data -- Display in 24pt font. diff --git a/CP23/CP23 Ontology.oldadl b/CP23/CP23 Ontology.oldadl index e1505e1e..67c2af0d 100644 --- a/CP23/CP23 Ontology.oldadl +++ b/CP23/CP23 Ontology.oldadl @@ -5,7 +5,7 @@ Within this document, the notation "CP.

v1:.-" will be used to PATTERN "Policy 2.3 vsn 1: Asset Management - Portable Equipment" PURPOSE PATTERN "Policy 2.3 vsn 1: Asset Management - Portable Equipment" -{+Company Inc. has concerns regarding equipment that employees can ‘carry around’, such as cell-phones, laptops, cars, toolboxes, ID-cards, etc. In order to address these concerns, this policy specifies rules for the purpose of achieving the following objectives: +{+Company Inc. has concerns regarding equipment that employees can ‘carry around’, such as cell-phones, laptops, cars, toolboxes, ID-cards, etc. In order to address these concerns, this policy specifies rules for the purpose of achieving the following objectives: # employees must dispose of all company equipment that is necessary for doing their jobs. # total cost of ownership of company equipment must be controlled, which includes costs for stocks and usage/license fees, in particular when equipment is not or no longer in use. @@ -28,7 +28,7 @@ PURPOSE RELATION emplManager {+Employees may be issued non-standard equipment provided this is apporved by their manager. Therefore, the manager of employees must be known.+} RULE "Employee managers": emplManager |- emplManager;(I /\ emplOrgRole;'Manager';emplOrgRole~) -MEANING "An employee can only be managed by an employee that fulfills the organizational role of ‘Manager’." +MEANING "An employee can only be managed by an employee that fulfills the organizational role of ‘Manager’." VIOLATION (TGT I, TXT "does not fulfill the organizational role of 'Manager'") PURPOSE RULE "Employee managers" REF "CP2.3v1:3.2" {+One employee may only manage another employee if he has been assigned the necessary responsibilities. Such responsibilities are defined for the role 'Manager'. Hence, employees may only be managed by (other) employees that fulfill this role.+} diff --git a/Casus Gemeente Selectielijst/selectielijst.docadl b/Casus Gemeente Selectielijst/selectielijst.docadl index cf4e1c2c..eba2b28d 100644 --- a/Casus Gemeente Selectielijst/selectielijst.docadl +++ b/Casus Gemeente Selectielijst/selectielijst.docadl @@ -4,7 +4,7 @@ INCLUDE "selectielijst.docadl" PATTERN Processen PURPOSE RELATION naam[Proces*Procesnaam] {+Er zijn 25 processen gedefinieerd in de selectielijst. -In principe is al het archiefwaardige werk in een gemeente in één van deze processen onder te brengen. +In principe is al het archiefwaardige werk in een gemeente in één van deze processen onder te brengen. Elk proces wordt aangeduid door middel van zijn procesnaam. -} PURPOSE RELATION omschrijving[Proces*Tekst] @@ -19,7 +19,7 @@ Het kan zinvol zijn om aan te geven welke soort van object door dit proces wordt -} PURPOSE RELATION proces[Product*Proces] -{+In één proces kunnen meerdere producten worden gerealiseerd. Van elk product is bekend in welk proces het voorkomt. +{+In één proces kunnen meerdere producten worden gerealiseerd. Van elk product is bekend in welk proces het voorkomt. -} PURPOSE RELATION productnr[Product*Nummer] {+De producten in een proces zijn genummerd. diff --git a/Contract Management/CvM.adl b/Contract Management/CvM.adl index c0dba33e..be2a5f03 100644 --- a/Contract Management/CvM.adl +++ b/Contract Management/CvM.adl @@ -22,7 +22,7 @@ CLASSIFY Verbintenis ISA TText RELATION verbintenis[Overeenkomst*Verbintenis] [INJ] MEANING "In het recht gaat de overeenkomst aan de verbintenis vooraf (art. 6:1 BW)." RELATION object[Overeenkomst*Prestatie] -MEANING "Het object van een overeenkomst is een prestatie, die kan bestaan uit een doen of een nalaten (zie Art. 6:217 BW)." +MEANING "Het object van een overeenkomst is een prestatie, die kan bestaan uit een doen of een nalaten (zie Art. 6:217 BW)." RELATION schuldenaar[Verbintenis*Person] MEANING "Schuldenaar/debiteur is een partij die verplicht is voor een schuldeiser een prestatie te verrichten." RELATION schuldeiser[Verbintenis*Person] diff --git a/Delivery/DeliveryAccounts.adl b/Delivery/DeliveryAccounts.adl index 5b754927..0efe9b20 100644 --- a/Delivery/DeliveryAccounts.adl +++ b/Delivery/DeliveryAccounts.adl @@ -22,7 +22,7 @@ PURPOSE RELATION userid[Account*Userid] IN DUTCH IDENT AccountNamen: Account(userid[Account*Userid]) --RULE BedrijfsfunctieNamen: naam[Bedrijfsfunctie*BFNaam];naam[Bedrijfsfunctie*BFNaam]~ |- I[Account) ---MEANING "Een account is identificeerbaar door zijn naam. Dat wil zeggen: als de naam vastligt, dan hoort daar hooguit één account." +--MEANING "Een account is identificeerbaar door zijn naam. Dat wil zeggen: als de naam vastligt, dan hoort daar hooguit één account." ENDPATTERN ----------------------------------------------------------- diff --git a/Delivery/DeliveryRieks.oldadl b/Delivery/DeliveryRieks.oldadl index f086652d..518ea812 100644 --- a/Delivery/DeliveryRieks.oldadl +++ b/Delivery/DeliveryRieks.oldadl @@ -43,7 +43,7 @@ PURPOSE RELATION userid IN DUTCH IDENT AccountNamen: Account(userid[Account*Userid]) --RULE "INJ(userid)": userid; userid~ |- I[Account) ---MEANING "Een account is identificeerbaar door zijn naam. Dat wil zeggen: als de naam vastligt, dan hoort daar hooguit één account." +--MEANING "Een account is identificeerbaar door zijn naam. Dat wil zeggen: als de naam vastligt, dan hoort daar hooguit één account." password :: Account -> Password PRAGMA "Het wachtwoord dat bij " " hoort is " @@ -189,7 +189,7 @@ CONCEPT BestellingNr "een identifier voor bestellingen, gespecificeerd door de l bestellingNr :: Bestelling -> BestellingNr IDENT bestellingen: Bestelling(bestellingNr) --- MEANING "Een Bestelling is identificeerbaar door diensBestellingNr. Dat wil zeggen: als het BestellingNr vastligt, dan hoort daar hooguit één Bestelling bij." +-- MEANING "Een Bestelling is identificeerbaar door diensBestellingNr. Dat wil zeggen: als het BestellingNr vastligt, dan hoort daar hooguit één Bestelling bij." klant :: Bestelling * Userid [UNI] PRAGMA "De eindverantwoordelijkheid voor " " is toegekend aan " diff --git a/Delivery/DeliveryRieksNoObl.adl b/Delivery/DeliveryRieksNoObl.adl index 53628fbd..7cb55ace 100644 --- a/Delivery/DeliveryRieksNoObl.adl +++ b/Delivery/DeliveryRieksNoObl.adl @@ -43,7 +43,7 @@ PURPOSE RELATION userid IN DUTCH IDENT AccountNamen: Account(userid[Account*Userid]) --RULE "INJ(userid)": userid; userid~ |- I[Account) ---MEANING "Een account is identificeerbaar door zijn naam. Dat wil zeggen: als de naam vastligt, dan hoort daar hooguit één account." +--MEANING "Een account is identificeerbaar door zijn naam. Dat wil zeggen: als de naam vastligt, dan hoort daar hooguit één account." password :: Account -> Password PRAGMA "Het wachtwoord dat bij " " hoort is " @@ -189,7 +189,7 @@ CONCEPT BestellingNr "een identifier voor bestellingen, gespecificeerd door de l bestellingNr :: Bestelling -> BestellingNr IDENT bestellingen: Bestelling(bestellingNr) --- MEANING "Een Bestelling is identificeerbaar door diensBestellingNr. Dat wil zeggen: als het BestellingNr vastligt, dan hoort daar hooguit één Bestelling bij." +-- MEANING "Een Bestelling is identificeerbaar door diensBestellingNr. Dat wil zeggen: als het BestellingNr vastligt, dan hoort daar hooguit één Bestelling bij." klant :: Bestelling * Userid [UNI] PRAGMA "De eindverantwoordelijkheid voor " " is toegekend aan " diff --git a/Delivery/DeliveryRieksObl.adl b/Delivery/DeliveryRieksObl.adl index 33c33868..8495e6c9 100644 --- a/Delivery/DeliveryRieksObl.adl +++ b/Delivery/DeliveryRieksObl.adl @@ -38,7 +38,7 @@ PURPOSE RELATION userid IN DUTCH IDENT AccountNamen: Account(userid[Account*Userid]) --RULE "INJ(userid)": userid; userid~ |- I[Account) ---MEANING "Een account is identificeerbaar door zijn naam. Dat wil zeggen: als de naam vastligt, dan hoort daar hooguit één account." +--MEANING "Een account is identificeerbaar door zijn naam. Dat wil zeggen: als de naam vastligt, dan hoort daar hooguit één account." password :: Account -> Password PRAGMA "Het wachtwoord dat bij " " hoort is " @@ -175,7 +175,7 @@ CONCEPT BestellingNr "een identifier voor bestellingen, gespecificeerd door de l bestellingNr :: Bestelling -> BestellingNr IDENT bestellingen: Bestelling(bestellingNr) --- MEANING "Een Bestelling is identificeerbaar door diensBestellingNr. Dat wil zeggen: als het BestellingNr vastligt, dan hoort daar hooguit één Bestelling bij." +-- MEANING "Een Bestelling is identificeerbaar door diensBestellingNr. Dat wil zeggen: als het BestellingNr vastligt, dan hoort daar hooguit één Bestelling bij." klant :: Bestelling * Userid [UNI] PRAGMA "De eindverantwoordelijkheid voor " " is toegekend aan " diff --git a/Delivery/IdentiSample.adl b/Delivery/IdentiSample.adl index 988e1bc9..e16ebbe2 100644 --- a/Delivery/IdentiSample.adl +++ b/Delivery/IdentiSample.adl @@ -32,7 +32,7 @@ entiteitID :: Entiteit -> EntiteitID --SPEC EntiteitID ISA TextOfMax16CharsWithoutSpaces -- of soortgelijke constraints die je oplegt. IDENT entiteiten: Entiteit(entiteitID) --- MEANING "Een Entiteit is identificeerbaar door zijn EntiteitID. Dat wil zeggen: als de EntiteitID vastligt, dan hoort daar hooguit één Entiteit bij." +-- MEANING "Een Entiteit is identificeerbaar door zijn EntiteitID. Dat wil zeggen: als de EntiteitID vastligt, dan hoort daar hooguit één Entiteit bij." ENDPATTERN ----------------------------------------------------------- diff --git a/Dongor, Jeremy/PrototypeJD.ADL b/Dongor, Jeremy/PrototypeJD.ADL index 3f18e06a..40352835 100644 --- a/Dongor, Jeremy/PrototypeJD.ADL +++ b/Dongor, Jeremy/PrototypeJD.ADL @@ -34,16 +34,16 @@ CONCEPT Transitieteam "Samenstelling van personeel die onderdeel uitmaken van he --definieren van de relaties-- RELATION uitgevoerd[Implementatieplan*Transitieteam] [UNI] PRAGMA "Implementatieplan "" is uitgevoerd door ""." -MEANING "Elke implementatieplan is door maximaal één transitieteam uitgevoerd." +MEANING "Elke implementatieplan is door maximaal één transitieteam uitgevoerd." PURPOSE RELATION uitgevoerd {+Elk implementatieplan dat akkoord bevonden is dient te worden gekoppeld aan het transitieteam die de werkzaamheden zal uitvoeren.+} RELATION begeleid [ICToutsourcing*Projectleider] [UNI] PRAGMA "Project "" is begeleid door projectleider ""." -MEANING "Elke project dient te worden begeleid door tenminste- en maximaal één projectleider." +MEANING "Elke project dient te worden begeleid door tenminste- en maximaal één projectleider." PURPOSE RELATION begeleid -{+Elk project dient te worden gekoppeld aan tenminste- en maximaal één projectleider.+} +{+Elk project dient te worden gekoppeld aan tenminste- en maximaal één projectleider.+} RULE TOT_begeleid: I|-begeleid;begeleid~ MESSAGE "De volgende ICT-outsourcing projecten hebben nog geen projectleider:" VIOLATION(TXT "'", SRC I;heeftprojectnaam, TXT "'.") ROLE USER MAINTAINS TOT_begeleid @@ -51,14 +51,14 @@ ROLE USER MAINTAINS TOT_begeleid RELATION geschrevendoor[Implementatieplan*Projectleider] [UNI] PRAGMA "Implementatieplan "" is geschreven door ""." -MEANING "Een implementatieplan is door maximaal één projectleider geschreven." +MEANING "Een implementatieplan is door maximaal één projectleider geschreven." PURPOSE RELATION geschrevendoor {+Elke implementatieplan dat wordt uitgevoerd door een transitieteam dient te worden gekoppeld aan een projectleider.+} RELATION gekoppeld[Projectleider*Transitieteam] PRAGMA "" "is gekoppeld aan ""." -MEANING "Elke projectleider is gekoppeld aan tenminste één transitieteam." +MEANING "Elke projectleider is gekoppeld aan tenminste één transitieteam." PURPOSE RELATION gekoppeld {+Elke projectleider die een implementatieplan geschreven heeft dient te worden gekoppeld aan een transitieteam.+} RULE TOT_gekoppeld: I|-gekoppeld~;gekoppeld @@ -68,14 +68,14 @@ ROLE USER MAINTAINS TOT_gekoppeld RELATION verbonden[Implementatieplan*Acceptatiemodel][UNI] PRAGMA "Implementatieplan "" is verbonden aan gebruikersacceptatiemodel ""." -MEANING "Elke implementatieplan is verbonden aan maximaal één gebruikersacceptatiemodel." +MEANING "Elke implementatieplan is verbonden aan maximaal één gebruikersacceptatiemodel." PURPOSE RELATION verbonden {+Elk akkoord bevonden implementatieplan dient te worden voorzien van een gebruikersacceptatiemodel.+} RELATION beoordeeld[Implementatieplan*KeyuserID] PRAGMA "Implementatieplan "" is beoordeeld door ""." -MEANING "Elke implementatieplan is door tenminste één KeyuserID beoordeeld." +MEANING "Elke implementatieplan is door tenminste één KeyuserID beoordeeld." PURPOSE RELATION beoordeeld {+ Een gebruikersacceptatiemodel moet worden beoordeeld door een KeyuserID.+} RULE TOT_beoordeeld: I|-beoordeeld;beoordeeld~ @@ -95,14 +95,14 @@ ROLE USER MAINTAINS TOT_mededeling RELATION opgestelddoor[Calamiteitenplan*Projectleider] [UNI] PRAGMA "Calamiteitenplan "" is opgesteld door projectleider: ""." -MEANING "Een calamiteitenplan is opgesteld door maximaal één projectleider." +MEANING "Een calamiteitenplan is opgesteld door maximaal één projectleider." PURPOSE RELATION opgestelddoor {+Elk calamiteitenplan moet worden opgesteld door een projectleider.+} RELATION toegekendaan[Implementatieplan*Calamiteitenplan] PRAGMA "ICT-outsourcing project "" is gelinked aan calamiteitenplan ""." -MEANING "Elk implementatieplan is aan tenminste één calamiteitenplan toegekend." +MEANING "Elk implementatieplan is aan tenminste één calamiteitenplan toegekend." PURPOSE RELATION toegekendaan {+Elk implementatieplan dient te worden toegekend aan een calamiteitenplan.+} RULE TOT_toegekendaan: I|-toegekendaan;toegekendaan~ @@ -112,14 +112,14 @@ ROLE USER MAINTAINS TOT_toegekendaan RELATION bevatcalamiteit[Calamiteitenplan*Calamiteit] [SUR] PRAGMA "Calamiteitenplan "" bevat calamiteit ""." -MEANING "Elk calamiteitenplan bevat tenminste één calamiteit." +MEANING "Elk calamiteitenplan bevat tenminste één calamiteit." PURPOSE RELATION bevatcalamiteit {+Elk calamiteitenplan moet hebben beschreven wat te doen bij optreding van een of meer calamiteiten.+} RELATION nood[Calamiteit*Noodplan] [SUR] PRAGMA "Calamiteit "" bevat noodplan ""." -MEANING "Elke calamiteit heeft tenminste één noodplan." +MEANING "Elke calamiteit heeft tenminste één noodplan." PURPOSE RELATION nood {+Voor elke calamiteit moet er een noodplan aanwezig zijn.+} RULE SUR_nood: I|-nood;nood~ @@ -129,7 +129,7 @@ ROLE USER MAINTAINS SUR_nood RELATION onderdeelvan[Implementatieplan*ICToutsourcing] PRAGMA "Implementatieplan "" is onderdeel van ICT-outsourcing project ""." -MEANING "Elke implementatieplan dient tenminste één keer te zijn gekoppeld aan een ICT-outsourcing project." +MEANING "Elke implementatieplan dient tenminste één keer te zijn gekoppeld aan een ICT-outsourcing project." PURPOSE RELATION onderdeelvan {+Bij elk ICT-outsourcing moet er een implementatieplan aanwezig zijn.+} RULE TOT_onderdeelvan: I|-onderdeelvan;onderdeelvan~ @@ -139,7 +139,7 @@ ROLE USER MAINTAINS TOT_onderdeelvan RELATION opgeleverd[Documentatie*Transitieteam] [UNI] PRAGMA "Documentatieset "" is opgeleverd door ""." -MEANING "Elke documentatieset mag door maximaal één transitieteam worden opgeleverd." +MEANING "Elke documentatieset mag door maximaal één transitieteam worden opgeleverd." PURPOSE RELATION opgeleverd {+Voor elk ICT-outsourcing project moet het transitieteam documentatie opleveren.+} RULE SUR_opgeleverd: I|-opgeleverd~;opgeleverd @@ -149,14 +149,14 @@ ROLE USER MAINTAINS SUR_opgeleverd RELATION opgeleid[Gebruiker*Transitieteam] [UNI] PRAGMA "Gebruiker "" is opgeleid door transitieteam "" ." -MEANING "Een gebruiker wordt maximaal één keer opgeleid voor gebruik van het nieuwe ICT." +MEANING "Een gebruiker wordt maximaal één keer opgeleid voor gebruik van het nieuwe ICT." PURPOSE RELATION opgeleid -{+Het transitieteam dient één of meer gebruikers op te leiden voor gebruik van het nieuwe ICT.+} +{+Het transitieteam dient één of meer gebruikers op te leiden voor gebruik van het nieuwe ICT.+} RELATION heeftkennis[Gebruiker*ICToutsourcing] PRAGMA "Gebruiker "" heeft kennis van "" ." -MEANING "Een gebruiker dient tenminste één keer (onder begeleiding) kennis genomen te hebben van het nieuwe ICT dat is gerealiseerd in het ICT-outsourcing project." +MEANING "Een gebruiker dient tenminste één keer (onder begeleiding) kennis genomen te hebben van het nieuwe ICT dat is gerealiseerd in het ICT-outsourcing project." PURPOSE RELATION heeftkennis {+De gebruiker dient kennis te hebben van het nieuwe ICT voordat hij hier gebruik van maakt.+} RULE TOT_heeftkennis: I|-heeftkennis~;heeftkennis @@ -166,17 +166,17 @@ ROLE USER MAINTAINS TOT_heeftkennis RELATION geevalueerd[ICToutsourcing*Transitieteam] PRAGMA "" "is geevalueerd door ""." -MEANING "Elke ICT-outsourcing project moet tenminste één keer worden geevalueerd door het transitieteam." +MEANING "Elke ICT-outsourcing project moet tenminste één keer worden geevalueerd door het transitieteam." PURPOSE RELATION geevalueerd {+Elke ICT-outsourcing project moet worden geevalueerd door het transitieteam.+} RULE TOT_geevalueerd: I|-geevalueerd;geevalueerd~ -MESSAGE "De volgende ICT-outsourcing projecten zijn nog niet geëvalueerd:" VIOLATION(SRC heeftprojectnaam) +MESSAGE "De volgende ICT-outsourcing projecten zijn nog niet geëvalueerd:" VIOLATION(SRC heeftprojectnaam) ROLE USER MAINTAINS TOT_geevalueerd RELATION heeftset[ICToutsourcing*Documentatie] PRAGMA "" "heeft documentatieset ""." -MEANING "Elke ICT-outsourcing project dient tenminste één documentatieset te bevatten." +MEANING "Elke ICT-outsourcing project dient tenminste één documentatieset te bevatten." PURPOSE RELATION heeftset {+Elke ICT-outsourcing project dient een documentatieset te hebben.+} RULE TOT_heeftset: I|-heeftset;heeftset~ @@ -186,7 +186,7 @@ ROLE USER MAINTAINS TOT_heeftset RELATION bevatID[ICToutsourcing*ContractID] PRAGMA "ICT-outsourcing project "" heeft alle betreffende contracten opgenomen in contractID ""." -MEANING "Elke ICT-outsourcing project bevat tenminste één contractID." +MEANING "Elke ICT-outsourcing project bevat tenminste één contractID." PURPOSE RELATION bevatID {+Elke ICT-outsourcing project dient de betreffende contracten te borgen middels een contractID.+} RULE SUR_bevatID: I|-bevatID;bevatID~ @@ -196,7 +196,7 @@ ROLE USER MAINTAINS SUR_bevatID RELATION heeftsoftware[ICToutsourcing*SoftwareID] PRAGMA "Implementatieplan "" heeft alle betreffende software opgenomen in softwareID ""." -MEANING "Elke implementatieplan bevat tenminste één softwareID." +MEANING "Elke implementatieplan bevat tenminste één softwareID." PURPOSE RELATION heeftsoftware {+Elke implementatieplan dient de betreffende software te borgen middels een softwareID.+} RULE SUR_heeftsoftware: I|-heeftsoftware;heeftsoftware~ @@ -242,7 +242,7 @@ RELATION heeftversie [SoftwareID*Versie] [UNI] RELATION heeftkoppeling [SoftwareID*ContractID] RELATION einddatum[ContractID*Datum] [UNI] -MEANING "Elke ContractID heeft precies één einddatum." +MEANING "Elke ContractID heeft precies één einddatum." REPRESENT Datum TYPE DATE RELATION omschrijving[ContractID*Details] [UNI] RULE TOT_einddatum: I|-einddatum;einddatum~ @@ -252,9 +252,9 @@ ROLE USER MAINTAINS TOT_einddatum --definieren van regel 1-- PURPOSE RULE "Teamvalidatie" -{+Elk ICT-outsourcing project dat is geëvalueerd door een transitieteam moet uitgevoerd zijn door dezelfde transitieteam die de evaluatie verzorgd.+} +{+Elk ICT-outsourcing project dat is geëvalueerd door een transitieteam moet uitgevoerd zijn door dezelfde transitieteam die de evaluatie verzorgd.+} RULE Teamvalidatie : geevalueerd |-onderdeelvan~;uitgevoerd -MEANING "Voor elke geëvalueerde ICT-outsourcing project geldt dat de evalutie gedaan wordt door het transitieteam die het implementatieplan heeft uitgevoerd." +MEANING "Voor elke geëvalueerde ICT-outsourcing project geldt dat de evalutie gedaan wordt door het transitieteam die het implementatieplan heeft uitgevoerd." VIOLATION (TXT "ICT-outsourcing plan '", SRC I;heeftprojectnaam, TXT "' kan niet worden gekoppeld aan transitieteam '", TGT I;teamnaam, TXT "' (verwacht team '", TGT I;geevalueerd~;onderdeelvan~;uitgevoerd;teamnaam, TXT "').") diff --git a/Doosjes/Counters.adl b/Doosjes/Counters.adl index dd11d3bb..187df817 100644 --- a/Doosjes/Counters.adl +++ b/Doosjes/Counters.adl @@ -10,14 +10,14 @@ MEANING "A Counter must specify the Name for which subScopes are counted." counterValue :: Counter * Integer [UNI] MEANING "The number of subScopes within the 'counterScope'." -counterHasCountedScope :: Counter * Scope [INJ] -- Elke Scope wordt door hoogstens één counter geteld. +counterHasCountedScope :: Counter * Scope [INJ] -- Elke Scope wordt door hoogstens één counter geteld. MEANING "A Counter keeps track of the Scopes it has counted." scopeSeqNr :: Scope * Integer [UNI] MEANING "A Scope can have a sequence number so that it can be distinguished from sibling-Scopes that have the same name." counterComponent :: Counter * Scope [UNI] MEANING "A Counter may specify a Component within which it counts Ports that have the same name." -counterHasCountedPort :: Counter * Port [INJ] -- Elke Port wordt door hoogstens één counter geteld. +counterHasCountedPort :: Counter * Port [INJ] -- Elke Port wordt door hoogstens één counter geteld. MEANING "A Counter keeps track of the Ports it has counted." portSeqNr :: Port * Integer [UNI] MEANING "A Port can have a sequence number so that it can be distinguished from sibling-Ports that have the same name." diff --git a/Doosjes/Developer.ifc b/Doosjes/Developer.ifc index 4bda5184..ce827d85 100644 --- a/Doosjes/Developer.ifc +++ b/Doosjes/Developer.ifc @@ -1,4 +1,4 @@ -CONTEXT Doosjes IN ENGLISH +CONTEXT Doosjes IN ENGLISH --[ScopeEditingSvc relations]-- sNwProject :: SESSION * ProjectName [UNI] diff --git a/Doosjes/Doosjes.adl b/Doosjes/Doosjes.adl index 29cf44a6..3edf51c4 100644 --- a/Doosjes/Doosjes.adl +++ b/Doosjes/Doosjes.adl @@ -1,4 +1,4 @@ -CONTEXT Doosjes IN ENGLISH +CONTEXT Doosjes IN ENGLISH ----------------------------------------------------------- META "authors" "Rieks Joosten (rieks.joosten@tno.nl)" diff --git a/Doosjes/DoosjesOntology.adl b/Doosjes/DoosjesOntology.adl index 3fc8095a..072fcea9 100644 --- a/Doosjes/DoosjesOntology.adl +++ b/Doosjes/DoosjesOntology.adl @@ -1,4 +1,4 @@ -CONTEXT DoosjesOntology IN ENGLISH +CONTEXT DoosjesOntology IN ENGLISH ----------------------------------------------------------- PROCESS DoosjesOntology --[Scopes and Components]---------------------------------- diff --git a/Doosjes/DoosjesViews.adl b/Doosjes/DoosjesViews.adl index 5a0f3a54..4783b6b7 100644 --- a/Doosjes/DoosjesViews.adl +++ b/Doosjes/DoosjesViews.adl @@ -1,4 +1,4 @@ -CONTEXT DoosjesViews IN ENGLISH +CONTEXT DoosjesViews IN ENGLISH --[Scopes]-- diff --git a/EURent/EURent NavBar.adl b/EURent/EURent NavBar.adl index 2fe9f7f2..ab5c2edb 100644 --- a/EURent/EURent NavBar.adl +++ b/EURent/EURent NavBar.adl @@ -1,4 +1,4 @@ -CONTEXT PrototypeMenus IN ENGLISH +CONTEXT PrototypeMenus IN ENGLISH -- See https://github.com/AmpersandTarski/Ampersand/issues/578 --[For Testing purposes]-- diff --git a/EURent/EURent SIAM Module.adl b/EURent/EURent SIAM Module.adl index 65c59d0f..b5eec8f8 100644 --- a/EURent/EURent SIAM Module.adl +++ b/EURent/EURent SIAM Module.adl @@ -1,4 +1,4 @@ -CONTEXT SIAMv2_1 IN ENGLISH -- SIAM: Sessions, Identity- and Access Management +CONTEXT SIAMv2_1 IN ENGLISH -- SIAM: Sessions, Identity- and Access Management -- The purpose of this file is to provide an easy way for users of the module to include SIAM functionality. -- This is the example loader file for SIAM v 2.1 diff --git a/EURent/EURent SIAMv3 module.adl b/EURent/EURent SIAMv3 module.adl index b479d9b0..0afe2a27 100644 --- a/EURent/EURent SIAMv3 module.adl +++ b/EURent/EURent SIAMv3 module.adl @@ -1,4 +1,4 @@ -CONTEXT SIAMv3_0 IN ENGLISH -- SIAM: Sessions, Identity- and Access Management +CONTEXT SIAMv3_0 IN ENGLISH -- SIAM: Sessions, Identity- and Access Management -- The purpose of this file is to provide an easy way for users of the module to include SIAM functionality. -- This is the example loader file for SIAM v 3.0 diff --git a/Ella/ProtocolModeling.adl b/Ella/ProtocolModeling.adl index 705c2f19..f43c81f7 100644 --- a/Ella/ProtocolModeling.adl +++ b/Ella/ProtocolModeling.adl @@ -1,4 +1,4 @@ -CONTEXT ProtocolModelling IN DUTCH +CONTEXT ProtocolModelling IN DUTCH RELATION in[ProtocolMachine*ProtocolModel] RELATION in[Transition*ProtocolModel] diff --git a/Ella/ProtocolModeling.docadl b/Ella/ProtocolModeling.docadl index faf9ae67..8f60a8cc 100644 --- a/Ella/ProtocolModeling.docadl +++ b/Ella/ProtocolModeling.docadl @@ -1,4 +1,4 @@ -CONTEXT ProtocolModelling IN DUTCH LATEX +CONTEXT ProtocolModelling IN DUTCH LATEX PURPOSE RELATION attribute[ProtocolMachine*Attribute] {+A protocol machine contains a finite set of attributes. diff --git a/Examples/ProjectAdministration/ProjectAdministration.adl b/Examples/ProjectAdministration/ProjectAdministration.adl index d52135d2..39b45acc 100644 --- a/Examples/ProjectAdministration/ProjectAdministration.adl +++ b/Examples/ProjectAdministration/ProjectAdministration.adl @@ -1,4 +1,4 @@ -CONTEXT ProjectAdministration IN ENGLISH +CONTEXT ProjectAdministration IN ENGLISH PURPOSE CONTEXT ProjectAdministration {+This is a small demonstration script that uses the basic &-features. It is used as an example in our GitBook, in . diff --git a/FOquality/easytax.adl b/FOquality/easytax.adl index af2c3405..5643fe6e 100644 --- a/FOquality/easytax.adl +++ b/FOquality/easytax.adl @@ -5,7 +5,7 @@ CONCEPT "Functionele Eis" "Een beschreven of stilzwijgende eis aan de functional CONCEPT Schermdefinitie "Een schermdefinitie beschrijft hoe het gegevensmodel getoond wordt en geeft de gebruiker de mogelijkheid het (aan) te vullen of te wijzigen." CONCEPT Gegevensmodel "Een gegevensmodel bevat alle gegevens terwijl het programma actief is. Dit zijn de ingevulde gegevens van de belastingplichtige en eventueel die van de partner of die van de ondernemer." CONCEPT Gegevensbestand "Een gegevensbestand is een persistente vorm van het gegevensmodel." -CONCEPT "XML-bestand" "Een XML-bestand bevat alle relevante fiscale gegevens die de gebruiker heeft ingevuld. Dit bestand voldoet aan de door de Belastingdienst vastgestelde berichtspecificatie (.XSD). Als de gebruiker een gezamenlijke uitvraging wil doen zijn er twee of meer XML-bestanden, één voor de aangever en één voor ieder partner/medebewoner." +CONCEPT "XML-bestand" "Een XML-bestand bevat alle relevante fiscale gegevens die de gebruiker heeft ingevuld. Dit bestand voldoet aan de door de Belastingdienst vastgestelde berichtspecificatie (.XSD). Als de gebruiker een gezamenlijke uitvraging wil doen zijn er twee of meer XML-bestanden, één voor de aangever en één voor ieder partner/medebewoner." CONCEPT Verzendbestand "Een verzendbestand is een XML-bestand, ingepakt in een SOAP enveloppe en klaargemaakt voor verzending. Afhankelijk van de stroom worden de bestanden klaargezet of verstuurd naar de Belastingdienst." RELATION omschrijving[Kwaliteitseis*Omschrijving] POPULATION omschrijving[Kwaliteitseis*Omschrijving] CONTAINS @@ -20,12 +20,12 @@ RELATION in[FiscaleBewering*Gegevensmodel] MEANING "Het gegevensmodel bevat alleen fiscale beweringen." PURPOSE RELATION bestand[Gegevensmodel*Gegevensbestand] -{+Particulieren kunnen diverse Easytax programma’s ook gezamenlijk invullen. Berekeningen en condities moeten gelijktijdig gegevens van de belastingplichtige en de fiscale partner kunnen raadplegen en daarom zijn gegevens van beiden gecombineerd in één gegevensmodel en één gegevensbestand.+} +{+Particulieren kunnen diverse Easytax programma’s ook gezamenlijk invullen. Berekeningen en condities moeten gelijktijdig gegevens van de belastingplichtige en de fiscale partner kunnen raadplegen en daarom zijn gegevens van beiden gecombineerd in één gegevensmodel en één gegevensbestand.+} RELATION bestand[Gegevensmodel*Gegevensbestand] [UNI,INJ] PURPOSE RELATION bestand[Gegevensmodel*Verzendbestand] -{+De gebruiker kan dan met één programma één of twee berichten verzenden: voor de belastingplichtige en voor zijn/haar partner. Elektronisch betekent dit het verzenden van meerdere afzonderlijk versleutelde verzendbestanden.+} +{+De gebruiker kan dan met één programma één of twee berichten verzenden: voor de belastingplichtige en voor zijn/haar partner. Elektronisch betekent dit het verzenden van meerdere afzonderlijk versleutelde verzendbestanden.+} RELATION bestand[Gegevensmodel*Verzendbestand] [SUR] MEANING "" PURPOSE RELATION gegevensmodel[SESSION*Gegevensmodel] @@ -36,7 +36,7 @@ MEANING "Een gegevensmodel bestaat alleen gedurende een sessie." RELATION omschrijving[Proces*Omschrijving] POPULATION omschrijving[Proces*Omschrijving] CONTAINS [ ("Tonen Scherm", "1.\tHet proces 'Tonen Scherm' leest gegevens uit het gegevensmodel om de verschillende velden op het te tonen scherm te vullen.") - , ("Bewaren Scherm", "2.\tHet proces 'Bewaren Scherm' wordt actief, als de gebruiker een scherm verlaat met de 'Akkoord’ knop. Door op de ‘Akkoord’ knop te drukken worden de gegevens eerst gevalideerd en eventuele foutmeldingen en waarschuwingen getoond. Indien de gegevens correct zijn, dan wordt het gegevensmodel aangepast met de gegevens van het scherm.") + , ("Bewaren Scherm", "2.\tHet proces 'Bewaren Scherm' wordt actief, als de gebruiker een scherm verlaat met de 'Akkoord’ knop. Door op de ‘Akkoord’ knop te drukken worden de gegevens eerst gevalideerd en eventuele foutmeldingen en waarschuwingen getoond. Indien de gegevens correct zijn, dan wordt het gegevensmodel aangepast met de gegevens van het scherm.") , ("Onderhoudbaarheid", "Onderhoudbaarheid heeft betrekking op de benodigde inspanning om wijzigingen aan te brengen.") ] diff --git a/Handelsregister/Definities.adl b/Handelsregister/Definities.adl index 136ffd33..e92e8fdd 100644 --- a/Handelsregister/Definities.adl +++ b/Handelsregister/Definities.adl @@ -4,13 +4,13 @@ PURPOSE CONTEXT "Handelsregister" REF "Art. 2 Hrw 2007" Er is een handelsregister van ondernemingen en rechtspersonen: a. ter bevordering van de rechtszekerheid in het economisch verkeer; b. voor de verstrekking van gegevens van algemene, feitelijke aard omtrent de samenstelling van ondernemingen en rechtspersonen ter bevordering van de economische belangen van handel, industrie, ambacht en dienstverlening; - c. voor het registreren van alle ondernemingen en rechtspersonen als onderdeel van de gegevenshuishouding die bijdraagt aan het efficiënt functioneren van de overheid. + c. voor het registreren van alle ondernemingen en rechtspersonen als onderdeel van de gegevenshuishouding die bijdraagt aan het efficiënt functioneren van de overheid. +} PURPOSE CONCEPT Onderneming {+Art 8 sub b Hrw 2007 bepaalt dat bij AMvB nader wordt bepaald wanneer sprake is van een onderneming. +} -CONCEPT Onderneming "Van een onderneming is sprake indien een voldoende zelfstandig optredende organisatorische eenheid van één of meer personen bestaat waarin door voldoende inbreng van arbeid of middelen, ten behoeve van derden diensten of goederen worden geleverd of werken tot stand worden gebracht met het oogmerk daarmee materieel voordeel te behalen." "Art. 2 lid 1 Hrb 2008" +CONCEPT Onderneming "Van een onderneming is sprake indien een voldoende zelfstandig optredende organisatorische eenheid van één of meer personen bestaat waarin door voldoende inbreng van arbeid of middelen, ten behoeve van derden diensten of goederen worden geleverd of werken tot stand worden gebracht met het oogmerk daarmee materieel voordeel te behalen." "Art. 2 lid 1 Hrb 2008" CONCEPT NV "description" "" CONCEPT BV "description" "" CONCEPT ENV "description" "" @@ -99,8 +99,8 @@ RELATION deelneming[Rechtspersoon * Rechtspersoon] PURPOSE RELATION afhankelijkVan[Rechtspersoon * Vereniging] {+Art. 2:63a BW definieert het begrip afhankelijke maatschappij -a. een rechtspersoon waaraan de coöperatie of onderlinge waarborgmaatschappij of een of meer afhankelijke maatschappijen alleen of samen voor eigen rekening ten minste de helft van het geplaatste kapitaal verschaffen. -b. een vennootschap waarvan een ondernemingVolgende zoekterm markering in het handelsregister is ingeschreven en waarvoor de coöperatie of onderlinge waarborgmaatschappij als vennote jegens derden volledig aansprakelijk is voor alle schulden. +a. een rechtspersoon waaraan de coöperatie of onderlinge waarborgmaatschappij of een of meer afhankelijke maatschappijen alleen of samen voor eigen rekening ten minste de helft van het geplaatste kapitaal verschaffen. +b. een vennootschap waarvan een ondernemingVolgende zoekterm markering in het handelsregister is ingeschreven en waarvoor de coöperatie of onderlinge waarborgmaatschappij als vennote jegens derden volledig aansprakelijk is voor alle schulden. +} RELATION afhankelijkVan[Rechtspersoon * Vereniging] @@ -121,7 +121,7 @@ MEANING "de beheerder in Nederland, bedoeld in artikel 24, derde lid, 25, derde PURPOSE RELATION bewindvoerder[Rechtspersoon * Persoon] {+Voor het inschrijven of wijzigen van registraties van ondernemingen die onder bewindvoering zijn gesteld, -bijvoorbeeld vanwege faillissement of surcéance van betaling, registreert het handelsregister de bewindvoering. +bijvoorbeeld vanwege faillissement of surcéance van betaling, registreert het handelsregister de bewindvoering. +} RELATION bewindvoerder[Rechtspersoon * Persoon] MEANING "de bewindvoerder, bedoeld in artikel 37, eerste lid, onder a, Hrb 2008." @@ -141,6 +141,6 @@ MEANING "De Kamer registreert de handelsnamen in het handelsregister (Art. 9 sub RELATION aanvang[Onderneming * Datum] [UNI] -- Art. 9 sub c, Hrw 2007 RELATION voortzetting[Onderneming * Datum] -RELATION beëindiging[Onderneming * Datum] [UNI] +RELATION beëindiging[Onderneming * Datum] [UNI] ENDCONTEXT \ No newline at end of file diff --git a/Handelsregister/Transacties.adl b/Handelsregister/Transacties.adl index b9d8096d..d136c881 100644 --- a/Handelsregister/Transacties.adl +++ b/Handelsregister/Transacties.adl @@ -11,8 +11,8 @@ Opgave van bewaring (Art. 2:24 lid 3 BW) Opgave ter inschrijving van een vereniging (Art. 2:30 lid 3 BW) Opgave van statutenwijziging (Art. 2:43 lid 5 en 6 BW) -Opgave van faillissement of surséance van betaling van een vereniging (Art. 2:51 BW) -Neerleggen van de ledenlijst van een coöperatie (Art. 2:61 lid d BW) +Opgave van faillissement of surséance van betaling van een vereniging (Art. 2:51 BW) +Neerleggen van de ledenlijst van een coöperatie (Art. 2:61 lid d BW) Opgave van grote cooperatie of grote onderlinge waarborgmaatschappij (Art. 2:63b BW) Opgave ter inschrijving van naamloze vennootschap (Art. 2:69 BW) @@ -39,7 +39,7 @@ Neerleggen van een afschrift van de beschikking van de ondernemingskamer (Art. 2 Opgave ter inschrijving van een stichting (Art. 2:289 BW) Neerleggen van een afschrift van wijziging en de gewijzigde statuten (Art. 2:293 BW) Inschrijving van een rechterlijke uitspraak (Art. 2:302 BW) -Aankondiging van faillissement of surséance van betaling (Art. 2:303 BW) +Aankondiging van faillissement of surséance van betaling (Art. 2:303 BW) Neerleggen van een voorstel tot fusie (Art. 2:314 lid 1 BW) Neerleggen van een akte van fusie (Art. 2:318 lid 3 BW) @@ -58,6 +58,6 @@ Deponeren van een verklaring ex art. 396 (Art. 2:396 lid 9 BW) Deponeren van een verklaring van instemming tot afwijken van voorschriften (Art. 2:403 lid 1 BW) Deponeren van een verklaring tot aansprakelijkheidsname (Art. 2:403 lid 1 BW) Deponeren van een intrekking van aansprakelijkheidsname (Art. 2:404 lid 1 BW) -Deponeren van een voornemen tot beëindiging van aansprakelijkheid (Art. 2:404 lid 3 BW) +Deponeren van een voornemen tot beëindiging van aansprakelijkheid (Art. 2:404 lid 3 BW) Opname van verleende volmacht (Art. 16a lid 1 Hrw 2007) \ No newline at end of file diff --git a/Hawaii/Hawaii.adl b/Hawaii/Hawaii.adl index 9f4680d0..4bd1a10b 100644 --- a/Hawaii/Hawaii.adl +++ b/Hawaii/Hawaii.adl @@ -1,4 +1,4 @@ -CONTEXT Hawaii IN ENGLISH +CONTEXT Hawaii IN ENGLISH PURPOSE CONTEXT Hawaii {+Once in their school career, students get to go on a field trip abroad. However, the organizer of the field trip may require that you have completed specific courses. diff --git a/Hawaii/SearchRegisterBasicTest.pop b/Hawaii/SearchRegisterBasicTest.pop index 138dedc7..ad969488 100644 --- a/Hawaii/SearchRegisterBasicTest.pop +++ b/Hawaii/SearchRegisterBasicTest.pop @@ -1,4 +1,4 @@ -CONTEXT "Search Register Basic Test Population" +CONTEXT "Search Register Basic Test Population" POPULATION npNPID CONTAINS [ ("NP001", "9001") ] POPULATION npLastName CONTAINS [ ("NP001", "Puk") ] diff --git a/Hawaii/SearchRegisterForRecord.adl b/Hawaii/SearchRegisterForRecord.adl index 120a7f71..6e51c08a 100644 --- a/Hawaii/SearchRegisterForRecord.adl +++ b/Hawaii/SearchRegisterForRecord.adl @@ -1,4 +1,4 @@ -CONTEXT "Search a register for a specific record" +CONTEXT "Search a register for a specific record" INCLUDE "SearchRegisterBasicTest.pop" diff --git a/Hawaii/SearchRegisterMenTest.pop b/Hawaii/SearchRegisterMenTest.pop index 3b1b0c1f..470aa718 100644 --- a/Hawaii/SearchRegisterMenTest.pop +++ b/Hawaii/SearchRegisterMenTest.pop @@ -1,4 +1,4 @@ -CONTEXT "Search Register Basic Test Population" +CONTEXT "Search Register Basic Test Population" POPULATION manAttribute CONTAINS [ ("NP001", "1") ] POPULATION manAttribute CONTAINS [ ("NP001", "5") ] diff --git a/Hawaii/SearchRegisterWithSpecializations.adl b/Hawaii/SearchRegisterWithSpecializations.adl index e5b2876d..a9c0e7d9 100644 --- a/Hawaii/SearchRegisterWithSpecializations.adl +++ b/Hawaii/SearchRegisterWithSpecializations.adl @@ -1,4 +1,4 @@ -CONTEXT "Search a register with specializations" +CONTEXT "Search a register with specializations" INCLUDE "SearchRegisterForRecord.adl" INCLUDE "SearchRegisterMenTest.pop" diff --git a/Historie/Historie_RJ.adl b/Historie/Historie_RJ.adl index b81bd7a3..ce999d9f 100644 --- a/Historie/Historie_RJ.adl +++ b/Historie/Historie_RJ.adl @@ -46,11 +46,11 @@ PURPOSE CONCEPT Gebeurtenis IN DUTCH Om zuiver met historie om te kunnen gaan moet elke verandering herleidbaar zijn tot gebeurtenissen, die op enig moment in de geschiedenis zijn waargenomen. -} -CONCEPT Gebeurtenis "een aanleiding om de inhoud van een object te creëren, lezen, veranderen of verwijderen" "" +CONCEPT Gebeurtenis "een aanleiding om de inhoud van een object te creëren, lezen, veranderen of verwijderen" "" IDENT keyInhoud: Inhoud(object,versie) --RULE keyInhoud: object;object~ /\ versie;versie~ |- I --- PHRASE "De inhoud van een object is uniek gekarakteriseerd door het versienummer. Dat wil zeggen: als het object en het versienummer vastliggen, dan is er één inhoud (of er is geen inhoud)." +-- PHRASE "De inhoud van een object is uniek gekarakteriseerd door het versienummer. Dat wil zeggen: als het object en het versienummer vastliggen, dan is er één inhoud (of er is geen inhoud)." -- PHRASE "When the object and versie number is known, any object is uniquely determined. Note the difference with 'object', which identifies the most recent versie of an object." object :: Inhoud -> Object PRAGMA "" "hoort bij" "" @@ -223,7 +223,7 @@ PURPOSE RELATION betreft[Feit*Persoon] IN DUTCH {+Om rechtmatig te kunnen omgaan met persoonlijke gegevens worden zij gekoppeld aan de betreffende persoon. -} --- Elk geconstateerd feit heeft één feittype, en wel de naam van dat feit. +-- Elk geconstateerd feit heeft één feittype, en wel de naam van dat feit. naam :: Feit -> Feitnaam PRAGMA "" "heeft" PURPOSE RELATION naam[Feit*Feitnaam] IN DUTCH {+ diff --git a/Historie/historie.adl b/Historie/historie.adl index fe7be7f8..147ffe23 100644 --- a/Historie/historie.adl +++ b/Historie/historie.adl @@ -110,7 +110,7 @@ PURPOSE RELATION over[Feit*Persoon] IN DUTCH {+Om rechtmatig te kunnen omgaan met persoonlijke gegevens worden zij gekoppeld aan de betreffende persoon. -} --- Elk geconstateerd feit heeft één feittype, en wel de naam van dat feit. +-- Elk geconstateerd feit heeft één feittype, en wel de naam van dat feit. naam :: Feit -> Feitnaam PRAGMA "" "heeft". PURPOSE RELATION naam[Feit*Feitnaam] IN DUTCH {+ diff --git a/IDEA/DemoToevoegen.oldadl b/IDEA/DemoToevoegen.oldadl index 746c4921..44746eb6 100644 --- a/IDEA/DemoToevoegen.oldadl +++ b/IDEA/DemoToevoegen.oldadl @@ -1,4 +1,4 @@ -CONTEXT Rechtsbijstand IN DUTCH +CONTEXT Rechtsbijstand IN DUTCH INCLUDE "Rechtsbijstand.adl" diff --git a/IDEA/GBA.oldadl b/IDEA/GBA.oldadl index c4e26dfd..50cf467e 100644 --- a/IDEA/GBA.oldadl +++ b/IDEA/GBA.oldadl @@ -54,7 +54,7 @@ gbaTitelPredikaat :: BurgerServiceNummer * TitelPredikaat [UNI] --adell PRAGMA "Aan " " is de titel " "toegekend" MEANING "Een persoon kan een of meerdere adelijke aanspreektitels hebben." PURPOSE RELATION gbaTitelPredikaat[BurgerServiceNummer*TitelPredikaat] IN DUTCH REF "Bijlage I lid 1 sub a WGBA" -{+ Adelijke titels worden als aanspreektitels beschouwd en moeten worden vermeld op officiële documenten. +{+ Adelijke titels worden als aanspreektitels beschouwd en moeten worden vermeld op officiële documenten. -} -- b. Geboorte: @@ -119,21 +119,21 @@ PURPOSE RELATION gbaGeslacht[BurgerServiceNummer*Geslacht] IN DUTCH REF "Art. 34 -- overlijdensdatum; -- plaats overlijden; -- land en zo nodig gebiedsdeel overlijden. --- i. Data ingang en beëindiging rechtsgeldigheid gegevens: +-- i. Data ingang en beëindiging rechtsgeldigheid gegevens: -- datum ingang rechtsgeldigheid; --- datum beëindiging rechtsgeldigheid. +-- datum beëindiging rechtsgeldigheid. -- -- 2. Gegevens over curatele -- curatele; -- datum ingang rechtsgeldigheid curatele; --- datum beëindiging rechtsgeldigheid curatele. +-- datum beëindiging rechtsgeldigheid curatele. -- 3. Gegevens over het gezag dat over de minderjarige wordt uitgeoefend --- de aantekening dat het gezag over de ingeschrevene uitsluitend door één ouder wordt uitgeoefend; +-- de aantekening dat het gezag over de ingeschrevene uitsluitend door één ouder wordt uitgeoefend; -- de aantekening dat het gezag over de ingeschrevene door beide ouders wordt uitgeoefend; -- de aantekening dat het gezag over de ingeschrevene door een ouder en een derde wordt uitgeoefend; --- de aantekening dat het gezag over de ingeschrevene door één derde of twee derden tezamen wordt uitgeoefend, dan wel dat over de ingeschrevene tijdelijke of voorlopige voogdij wordt uitgeoefend; +-- de aantekening dat het gezag over de ingeschrevene door één derde of twee derden tezamen wordt uitgeoefend, dan wel dat over de ingeschrevene tijdelijke of voorlopige voogdij wordt uitgeoefend; -- datum ingang rechtsgeldigheid gegeven; --- datum beëindiging rechtsgeldigheid gegeven. +-- datum beëindiging rechtsgeldigheid gegeven. -- 4. Gegevens over de nationaliteit gbaNationaliteit :: BurgerServiceNummer * Nationaliteit -- nationaliteit of nationaliteiten, dan wel een aanduiding dat de betrokkene geen nationaliteit bezit, of een aanduiding dat de nationaliteit van de betrokkene niet kan worden vastgesteld; PRAGMA "" "heeft de" "nationaliteit" @@ -146,11 +146,11 @@ PURPOSE RELATION gbaNationaliteit[BurgerServiceNummer*Nationaliteit] IN DUTCH RE -- de aantekening dat op grond van artikel 17 van de Rijkswet op het Nederlanderschap is vastgesteld dat de betrokkene niet de Nederlandse nationaliteit bezit; -- de aantekening dat de betrokkene op grond van de Wet betreffende de positie van Molukkers als Nederlander behandeld wordt; -- datum ingang rechtsgeldigheid gegeven; --- datum beëindiging rechtsgeldigheid gegeven. +-- datum beëindiging rechtsgeldigheid gegeven. -- 5. Gegevens over het verblijfsrecht van de vreemdeling -- de aantekening over het verblijfsrecht; -- datum ingang verblijfsrecht; --- datum beëindiging verblijfsrecht; +-- datum beëindiging verblijfsrecht; -- datum mededeling gegeven. -- 6. Gegevens over de gemeente van inschrijving en het adres in die gemeente alsmede over het verblijf in Nederland en het vertrek uit Nederland -- a. Gemeente van inschrijving: @@ -205,7 +205,7 @@ gbaBSNDatum :: BurgerServiceNummer * Datum [UNI] -- de aantekening dat de ingeschrevene de geslachtsnaam van de echtgenoot, de geregistreerde partner vooraf doet gaan aan de eigen geslachtsnaam; -- de aantekening dat de ingeschrevene de geslachtsnaam van de echtgenoot, de geregistreerde partner, de eerdere echtgenoot of de eerdere geregistreerde partner doet volgen op de eigen geslachtsnaam; -- datum ingang van het gegeven over het naamgebruik; --- datum beëindiging van het gegeven over het naamgebruik. +-- datum beëindiging van het gegeven over het naamgebruik. ENDPATTERN ------------------------------------------------------------ diff --git a/IDEA/Persoonsgegevens.oldadl b/IDEA/Persoonsgegevens.oldadl index 06f1a752..14d189c1 100644 --- a/IDEA/Persoonsgegevens.oldadl +++ b/IDEA/Persoonsgegevens.oldadl @@ -1,4 +1,4 @@ -CONTEXT Persoonsgegevens IN DUTCH +CONTEXT Persoonsgegevens IN DUTCH PATTERN Persoonsgegevens diff --git a/IDEA/Rechtsbijstand.oldadl b/IDEA/Rechtsbijstand.oldadl index 320e23f0..f541610d 100644 --- a/IDEA/Rechtsbijstand.oldadl +++ b/IDEA/Rechtsbijstand.oldadl @@ -13,19 +13,19 @@ wordt de Wet op de rechtsbijstand bedoeld.-} PROCESS Toevoegen PURPOSE PROCESS Toevoegen REF "www.rvr.org" {+ -Rechtsbijstandverleners kunnen cliënten bijstaan die in aanmerking komen voor gesubsidieerde rechtsbijstand. In de praktijk heet dit de toevoeging. Een toevoeging wordt door de rechtsbijstandsverlener aangevraagd bij de Raad. Een dergelijke aanvraag wordt door de Raad zowel financieel als inhoudelijk getoetst. +Rechtsbijstandverleners kunnen cliënten bijstaan die in aanmerking komen voor gesubsidieerde rechtsbijstand. In de praktijk heet dit de toevoeging. Een toevoeging wordt door de rechtsbijstandsverlener aangevraagd bij de Raad. Een dergelijke aanvraag wordt door de Raad zowel financieel als inhoudelijk getoetst. -} door :: Aanvraag * Rechtsbijstandverlener [UNI,TOT] PRAGMA "" "is ingediend door" -MEANING "Elke aanvraag om een toevoeging is ingediend door één rechtsbijstandserlener." +MEANING "Elke aanvraag om een toevoeging is ingediend door één rechtsbijstandserlener." PURPOSE RELATION door[Aanvraag * Rechtsbijstandverlener] REF "Artikel 24 lid 2" -{+Omdat een aanvraag niet zomaar uit de lucht kan komen vallen, moet bij elke aanvraag duidelijk zijn wie de indiener ervan is. Dat kan bovendien slechts één persoon zijn. +{+Omdat een aanvraag niet zomaar uit de lucht kan komen vallen, moet bij elke aanvraag duidelijk zijn wie de indiener ervan is. Dat kan bovendien slechts één persoon zijn. -} namens :: Aanvraag * Rechtzoekende [UNI] --TOT is geregeld door middel van een overtreedbare regel. PRAGMA "" "is ingediend namens" -MEANING "Elke aanvraag om een toevoeging is ingediend namens één rechtzoekende." +MEANING "Elke aanvraag om een toevoeging is ingediend namens één rechtzoekende." PURPOSE RELATION namens[Aanvraag * Rechtzoekende] REF "Artikel 24 lid 2" {+Omdat een aanvraag namens een rechtzoekende wordt gedaan, moet op elk moment duidelijk zijn namens wie de aanvraag is ingediend. -} @@ -73,7 +73,7 @@ PURPOSE RELATION terzake[Toevoeging * Belang] REF "Artikel 24 lid 5" -} besluit :: Beschikking * Datum [UNI,TOT] PRAGMA "de beschikkingsdatum van "" is " -MEANING "Elke beschikking is besloten op precies één datum" +MEANING "Elke beschikking is besloten op precies één datum" PURPOSE RELATION besluit [Beschikking * Datum] {+Omdat een beschikking een vastlegging is van een besluit dat op een specifieke datum is genomen, wordt de datum van het besluit vastgelegd in de beschikking.+} @@ -209,7 +209,7 @@ MEANING "Een vreemdeling komt in aanmerking voor een vreemdelingennummer" PURPOSE RELATION vnummer [NatuurlijkPersoon * Vreemdelingennummer] {+De wet lijkt onduidelijk als het gaat over de uitgifte van vreemdelingennummers. Schijnbaar krijgt elke vreemdeling, zodra die met een overheidsinstantie te maken krijgt, een vreemdelingennummer toebedeeld. Artikel 2 punt f van het Besluit identiteitsvaststelling verdachten en veroordeelden suggereert dit. -Op www.yurist.nl staat te lezen: Het V-nummer staat voor vreemdelingennummer. Dit is een uniek nummer, waarmee iedere vreemdeling bij de IND en de ketenpartners (zoals de vreemdelingenpolitie) is te identificeren. Dit nummer wordt toegekend zodra iemand een toelatingsprocedure start. Het nummer staat vermeld in de correspondentie die de vreemdeling of de referent van onder meer de IND ontvangt én op het verblijfsdocument zelf.-} +Op www.yurist.nl staat te lezen: Het V-nummer staat voor vreemdelingennummer. Dit is een uniek nummer, waarmee iedere vreemdeling bij de IND en de ketenpartners (zoals de vreemdelingenpolitie) is te identificeren. Dit nummer wordt toegekend zodra iemand een toelatingsprocedure start. Het nummer staat vermeld in de correspondentie die de vreemdeling of de referent van onder meer de IND ontvangt én op het verblijfsdocument zelf.-} prNummer :: Advocaat * PRNummer PRAGMA "" "is ingeschreven als rechtshulpverlener onder nummer " MEANING "Een advocaat kan door de raad zijn ingeschreven" @@ -237,7 +237,7 @@ CONCEPT Rechtsbijstandverlener "de advocaat, de medewerker van de voorziening vo PURPOSE CONCEPT Rechtsbijstandverlener REF "Artikel 1" {+De wet geeft een definitie van de persoon die rechtsbijstand verleent aan een rechtzoekende. -} -CONCEPT Rechtzoekende "degene die op grond van onvoldoende financiële draagkracht aanspraak kan maken op rechtsbijstand of mediation, voorzover in deze wet en de daarop berustende bepalingen geregeld, alsmede degene die zijn schade wil vorderen als slachtoffer van een misdrijf tegen de zeden of een geweldsmisdrijf;" +CONCEPT Rechtzoekende "degene die op grond van onvoldoende financiële draagkracht aanspraak kan maken op rechtsbijstand of mediation, voorzover in deze wet en de daarop berustende bepalingen geregeld, alsmede degene die zijn schade wil vorderen als slachtoffer van een misdrijf tegen de zeden of een geweldsmisdrijf;" PURPOSE CONCEPT Rechtzoekende REF "Artikel 1" {+Wanneer iemand rechtstreeks betrokken is bij een ruzie of conflict, kan zij onder voorwaarden aanspraak doen op gesubsidieerde rechtsbijstand. -} @@ -276,7 +276,7 @@ PURPOSE RELATION barnummer[Advocaat * Barnummer] IN DUTCH REF "www.barbeheer.nl" houdtkantoor :: Advocaat -> Kantoor [UNI] PRAGMA "" "staat ingeschreven bij advocatenkantoor" "" MEANING "Een advocaat is verplicht kantoor te houden." PURPOSE RELATION houdtkantoor[Advocaat*Kantoor] IN DUTCH REF "Art. 12 lid 1 Advw." -{+ Advocaten zijn verplicht kantoor te houden. Zij mogen slechts in één arrondissement op één locatie kantoor houden. +{+ Advocaten zijn verplicht kantoor te houden. Zij mogen slechts in één arrondissement op één locatie kantoor houden. -} telefoon :: Advocaat -> Telefoonnummer PRAGMA "" "is telefonisch bereikbaar op" "" MEANING "Van een advocaat is het telefoonnummer bekend." @@ -423,6 +423,6 @@ KEY beschikking : Beschikking (TXT "Op: ", ENDCONTEXT ---TODO: Opgave Inkomen & Vermogen voorzien van relevante specificaties (bij ontbreken van zowel BSN en vreemdelingennummer (zie http://www.rvr.org/binaries/over-rvr/amsterdam/checklist_amsterdam.pdf) +--TODO: Opgave Inkomen & Vermogen voorzien van relevante specificaties (bij ontbreken van zowel BSN en vreemdelingennummer (zie http://www.rvr.org/binaries/over-rvr/amsterdam/checklist_amsterdam.pdf) --TODO: Nalopen checklist: http://www.rvr.org/binaries/rbv-downloads/versie-1_0-checklist-aanvragen-toevoegingen.pdf --TODO: Artikel 24 rept over welke vestiging moet worden gebruikt door de rechtsbijstandverlener. Daar komt ook nog wel een en ander achter weg.... \ No newline at end of file diff --git a/IDEA/Wbtv/Persoonsgegevens.adl b/IDEA/Wbtv/Persoonsgegevens.adl index 8b0f4af0..3129b33b 100644 --- a/IDEA/Wbtv/Persoonsgegevens.adl +++ b/IDEA/Wbtv/Persoonsgegevens.adl @@ -1,4 +1,4 @@ -CONTEXT Persoonsgegevens IN DUTCH +CONTEXT Persoonsgegevens IN DUTCH PATTERN Persoonsgegevens diff --git a/IDEA/Wbtv/Wbtv.adl b/IDEA/Wbtv/Wbtv.adl index 3279c6e9..42706236 100644 --- a/IDEA/Wbtv/Wbtv.adl +++ b/IDEA/Wbtv/Wbtv.adl @@ -1,4 +1,4 @@ -CONTEXT WBTV IN DUTCH +CONTEXT WBTV IN DUTCH INCLUDE "Persoonsgegevens.adl" THEMES "Rbtv en uitwijklijst","Permanente Educatie",Aanvragen,Beëdiging --THEMES "Permanente Educatie" diff --git a/ISTAR/ISTAR.adl b/ISTAR/ISTAR.adl index 1ea48bde..55eec225 100644 --- a/ISTAR/ISTAR.adl +++ b/ISTAR/ISTAR.adl @@ -10,6 +10,6 @@ INCLUDE "GenericDataTypes.ifc" META "authors" "Rieks Joosten, Michiel Stornebrink (TNO)" PURPOSE CONTEXT ISTAR -{+103 ISTAR batallion is a military unit within the Dutch Royal Army that implements the so-called ‘ISTAR’ (Intelligence, Surveillance, Target Acquisition and Reconnaissance) concept, which is the integration of all intelligence capacities for initiating the intelligence process, the collection and processing of information for intelligence purposes, and the dissemination of information and intelligence. +{+103 ISTAR batallion is a military unit within the Dutch Royal Army that implements the so-called ‘ISTAR’ (Intelligence, Surveillance, Target Acquisition and Reconnaissance) concept, which is the integration of all intelligence capacities for initiating the intelligence process, the collection and processing of information for intelligence purposes, and the dissemination of information and intelligence. The 'ISTAR process' is the set of tasks that personnell of 103 ISTAR (and others) have to carry out to support commanders in carrying out their orders. Very roughly speaking, it is the task of 103 ISTAR to provide answers to Intel Requests that such commanders set in order to carry out a specific order in an optimal fashion. That is the scope of this document.-} ENDCONTEXT \ No newline at end of file diff --git a/Jurre/Jurre_SIAM_LoginForDevelopers.ifc b/Jurre/Jurre_SIAM_LoginForDevelopers.ifc index 1eb57042..5d8a745b 100644 --- a/Jurre/Jurre_SIAM_LoginForDevelopers.ifc +++ b/Jurre/Jurre_SIAM_LoginForDevelopers.ifc @@ -1,4 +1,4 @@ -CONTEXT "LoginForDevelopers" IN ENGLISH LATEX +CONTEXT "LoginForDevelopers" IN ENGLISH LATEX {-This script is intended to be reusable, and for INCLUDEsion in your own scripts. This interface provides you with LOGIN functionality. It is particularly suited for developers, since it allows you to select an account diff --git a/Jurre/Jurre_TText_Module.adl b/Jurre/Jurre_TText_Module.adl index c4b66edd..cff91cbc 100644 --- a/Jurre/Jurre_TText_Module.adl +++ b/Jurre/Jurre_TText_Module.adl @@ -1,4 +1,4 @@ -CONTEXT Jurre_TText_Module IN ENGLISH +CONTEXT Jurre_TText_Module IN ENGLISH {-This file imports the TText facilities-} META "authors" "Rieks Joosten (rieks.joosten@tno.nl)" diff --git a/Jurre/MiniMirrorMe.adl b/Jurre/MiniMirrorMe.adl index 8421c363..23d8bef5 100644 --- a/Jurre/MiniMirrorMe.adl +++ b/Jurre/MiniMirrorMe.adl @@ -50,7 +50,7 @@ RULE "deleting pairs from sub": subArg |- argClaim;fact~;supports MEANING "If argument a is subordinate to argument c, then the claim of a is a fact of c." VIOLATION (TXT "{EX} DelPair;subArg;Argument;", SRC I, TXT ";Argument;", TGT I) -{- Het uitrekenen gebeurt in twee stappen. Eén stap leidt tot het invoegen van een paar in sub, als veranderingen in claim, fact en rebuttal daar aanleiding toe geven. +{- Het uitrekenen gebeurt in twee stappen. Eén stap leidt tot het invoegen van een paar in sub, als veranderingen in claim, fact en rebuttal daar aanleiding toe geven. Het verwijderen van elementen uit sub gebeurt in de tweede regel. Einde Intermezzo -} @@ -124,8 +124,8 @@ POPULATION text CONTAINS ; ("TAT4.2", "Eiser dient tot de werkzaamheden toegelaten te worden.") ; ("TAT4.3", "Gedaagde dient achterstallig loon te betalen.") ; ("TRT4.1", "Er is een uitzendovereenkomst tot stand gekomen.") - ; ("TRT4.2", "De allocatiefunctie geeft aanleiding de overeenkomst anders te definiëren") - ; ("TRT4.3", "De inkleding van het werkgeverschap door de uitlener geeft aanleiding de overeenkomst anders te definiëren.") + ; ("TRT4.2", "De allocatiefunctie geeft aanleiding de overeenkomst anders te definiëren") + ; ("TRT4.3", "De inkleding van het werkgeverschap door de uitlener geeft aanleiding de overeenkomst anders te definiëren.") ; ("TRT4.4", "Er bestaat onduidelijkheid over de positie van de werknemer") , ("TAVT4.1", "ECLI:NL:HR:2016:2356") , ("TAVT4.2", "ingevolge artikel 8 lid 1 van de Wet allocatie arbeidskrachten door intermediairs, konden eiser geen lager loon of slechtere arbeidsvoorwaarden worden aangeboden dan het loon an de arbeidsvoorwaarden, die ook golden toen eiser nog bij gedaagde werkzaam was. Dat daar niet over is onderhandeld is dan ook niet van belang voor de beoordeling van de onderhavige zaak.") @@ -204,7 +204,7 @@ POPULATION text CONTAINS ; ("TTJT6.8", "Door niet na te gaan of de medeling van ING dat incasso onmogelijk was, juist was, heeft NPL haar zorgplicht geschonden.") ; ("TJT6.9", "NPL handelt naar willekeur") ; ("TJT6.11", "NPL neemt enerzijds een zeer terughoudend beleid aan als het aankomt op eenzijdige opzegging en anderzijds als het op uitbetalen aankomt met een beroep op het niet betalen van inleggeld eenvoudig onder haar verplichtingen uit kan komen.") - ; ("TJT6.11.1", "NPL handelt naar willekeur en stelt zich niet uniform op jegens haar (potentiële) deelnemers als het gaat om incasseren van inleggeld.") + ; ("TJT6.11.1", "NPL handelt naar willekeur en stelt zich niet uniform op jegens haar (potentiële) deelnemers als het gaat om incasseren van inleggeld.") ; ("TAT6.1", "NPL moet schadevergoeding betalen aan eiser.") ; ("TAVT6.1", "Als er met meerdere loten wordt ingelegd, moet inning van het totaalbedrag plaatsvinden.") ; ("TAVT6.2", "Eiser heeft zijn stelling dat minimaal drie incassopogingen gebruikelijk zijn, niet nader toegelicht.") @@ -388,7 +388,7 @@ POPULATION backing CONTAINS ; ("JT2.4", "artikel 7:406 lid 1 BW") ; ("JT4.4", "Artikel 7:690 BW") ; ("JT5.1", "Article 341 of the Code of Criminal Procedure") - ; ("JVT5.1", "Article 6 § 1, 2 and 3 of the Convention") + ; ("JVT5.1", "Article 6 § 1, 2 and 3 of the Convention") ; ("JVT5.4", "Moreira Ferreira v Portugal case") ; ("JVT5.2", "Article 13 of the Convention") ; ("JVT5.3", "Article 14 of the Convention") diff --git a/Jurre/jurre-SIAMv3_Module.adl b/Jurre/jurre-SIAMv3_Module.adl index b111003a..97631bb1 100644 --- a/Jurre/jurre-SIAMv3_Module.adl +++ b/Jurre/jurre-SIAMv3_Module.adl @@ -1,4 +1,4 @@ -CONTEXT Jurre_SIAMv3_0 IN ENGLISH -- SIAM: Sessions, Identity- and Access Management +CONTEXT Jurre_SIAMv3_0 IN ENGLISH -- SIAM: Sessions, Identity- and Access Management -- The purpose of this file is to provide an easy way for users of the module to include SIAM functionality. --! git@ci.tno.nl:ampersand/models.git has the authoratative source of SIAMv3 diff --git a/Kadaster/ADL-Script/Hypotheek-V1-2.adl b/Kadaster/ADL-Script/Hypotheek-V1-2.adl index 0ebe7815..e02dad04 100644 --- a/Kadaster/ADL-Script/Hypotheek-V1-2.adl +++ b/Kadaster/ADL-Script/Hypotheek-V1-2.adl @@ -1,4 +1,4 @@ -CONTEXT Registratie_Hypotheek IN DUTCH +CONTEXT Registratie_Hypotheek IN DUTCH META "authors" "Hypotheek-V1-2.ADL" PATTERN Hypotheken_Kadaster diff --git a/Kadaster/ADL-Script/Hypotheek-V1-3.adl/Hypotheek-V1-3.adl b/Kadaster/ADL-Script/Hypotheek-V1-3.adl/Hypotheek-V1-3.adl index 6082263a..27e2a3b4 100644 --- a/Kadaster/ADL-Script/Hypotheek-V1-3.adl/Hypotheek-V1-3.adl +++ b/Kadaster/ADL-Script/Hypotheek-V1-3.adl/Hypotheek-V1-3.adl @@ -1,4 +1,4 @@ -CONTEXT Registratie_Hypotheek IN DUTCH +CONTEXT Registratie_Hypotheek IN DUTCH META "authors" "Hypotheek-V1-3.ADL" PATTERN Hypotheken_Kadaster diff --git a/Kadaster/ADL-Script/Hypotheek-V1-3.adl/Hypotheek.oldadl b/Kadaster/ADL-Script/Hypotheek-V1-3.adl/Hypotheek.oldadl index dd1cf22f..10c51027 100644 --- a/Kadaster/ADL-Script/Hypotheek-V1-3.adl/Hypotheek.oldadl +++ b/Kadaster/ADL-Script/Hypotheek-V1-3.adl/Hypotheek.oldadl @@ -1,4 +1,4 @@ -CONTEXT Registratie_Hypotheek IN DUTCH +CONTEXT Registratie_Hypotheek IN DUTCH META "author" "Edu Walter, Stef Joosten" PATTERN Hypotheken_Kadaster diff --git a/MPTrx/MPTRX_TText_Module.adl b/MPTrx/MPTRX_TText_Module.adl index 5f9c38b3..d8a8c92e 100644 --- a/MPTrx/MPTRX_TText_Module.adl +++ b/MPTrx/MPTRX_TText_Module.adl @@ -1,4 +1,4 @@ -CONTEXT TText_Module IN ENGLISH +CONTEXT TText_Module IN ENGLISH {-This file imports the TText facilities-} META "authors" "Rieks Joosten (rieks.joosten@tno.nl)" diff --git a/MPTrx/MPTrx.adl b/MPTrx/MPTrx.adl index 2f633a3d..f76a99b1 100644 --- a/MPTrx/MPTrx.adl +++ b/MPTrx/MPTrx.adl @@ -1,4 +1,4 @@ -CONTEXT MPTrx IN ENGLISH +CONTEXT MPTrx IN ENGLISH {-This file is a stand-alone application `MPTRx`, which stands for Multi-Party Transactions.-} META "authors" "Rieks Joosten (rieks.joosten@tno.nl)" diff --git a/MPTrx/MPTrx_Basics.adl b/MPTrx/MPTrx_Basics.adl index 950cdeaa..a6e12afa 100644 --- a/MPTrx/MPTrx_Basics.adl +++ b/MPTrx/MPTrx_Basics.adl @@ -1,4 +1,4 @@ -CONTEXT MPTrx_Basics IN ENGLISH +CONTEXT MPTrx_Basics IN ENGLISH --[[Multi-Party Transactions - TText Extensions]]-- diff --git a/MPTrx/MPTrx_DataTransfers.adl b/MPTrx/MPTrx_DataTransfers.adl index 3283246d..83c47266 100644 --- a/MPTrx/MPTrx_DataTransfers.adl +++ b/MPTrx/MPTrx_DataTransfers.adl @@ -1,4 +1,4 @@ -CONTEXT MPTrx_DataTransfers IN ENGLISH +CONTEXT MPTrx_DataTransfers IN ENGLISH CONCEPT DataTransfer "the set of TTexts that one TParty must supply to another TParty in a runtime MPTrx" IDENT DataTransfers: DataTransfer(dtrfScope,dtrfSrc,dtrfTgt) diff --git a/MPTrx/MPTrx_Demo.ifc b/MPTrx/MPTrx_Demo.ifc index f6f150d9..aab504af 100644 --- a/MPTrx/MPTrx_Demo.ifc +++ b/MPTrx/MPTrx_Demo.ifc @@ -1,4 +1,4 @@ -CONTEXT "MPTrxUserInterfaces" IN ENGLISH +CONTEXT "MPTrxUserInterfaces" IN ENGLISH --[Overviews]-- INTERFACE "{Transactions}" FOR User: "_SESSION"[SESSION];sessionAccount cRud TABS diff --git a/MPTrx/MPTrx_Developer.ifc b/MPTrx/MPTrx_Developer.ifc index f8808591..86170bf0 100644 --- a/MPTrx/MPTrx_Developer.ifc +++ b/MPTrx/MPTrx_Developer.ifc @@ -1,4 +1,4 @@ -CONTEXT MPTrxDeveloperInterfaces IN ENGLISH +CONTEXT MPTrxDeveloperInterfaces IN ENGLISH --[Copying Scopes (and trigger Scope copying)]-- RELATION scopeCreateCopyReq[Scope*ScopeID] [UNI] -- Create a copy of an existing scope, (with the newly specified ScopeID) @@ -266,14 +266,18 @@ INTERFACE "[AssignmentList]": I[Scope] cRud COLS [ "asmVar" : asmVar LINKTO INTERFACE "[TText]" , "asmVal" : asmVal cRud , "time" : asmPOT cRud +--#IF UseAssignmentHistory , "parent" : asmHasPred LINKTO INTERFACE "[Assignment]" +--#ENDIF UseAssignmentHistory ] , "Historical Assignments" : ttScope~;(asmVar~ - ttTrace) cRud BOX [ "asmVar" : asmVar LINKTO INTERFACE "[TText]" , "asmVal" : asmVal cRud , "time" : asmPOT cRud +--#IF UseAssignmentHistory , "parent" : asmHasPred LINKTO INTERFACE "[Assignment]" , "child" : asmHasPred~ LINKTO INTERFACE "[Assignment]" +--#ENDIF UseAssignmentHistory ] ] @@ -281,8 +285,10 @@ INTERFACE "[Assignment]" FOR Developer: I[Assignment] cRuD BOX [ "asmVar" : asmVar LINKTO INTERFACE "[TText]" , "asmVal" : asmVal cRud , "time" : asmPOT cRud +--#IF UseAssignmentHistory , "parent" : asmHasPred LINKTO INTERFACE "[Assignment]" , "child" : asmHasPred~ LINKTO INTERFACE "[Assignment]" +--#ENDIF UseAssignmentHistory ] --[Computations]-- diff --git a/MPTrx/MPTrx_DynamicSemantics - documentation start.adl b/MPTrx/MPTrx_DynamicSemantics - documentation start.adl index 50150bd3..6353b1b3 100644 --- a/MPTrx/MPTrx_DynamicSemantics - documentation start.adl +++ b/MPTrx/MPTrx_DynamicSemantics - documentation start.adl @@ -1,4 +1,4 @@ -CONTEXT MPTrx_DynamicSemantics {- Second attempt-} IN ENGLISH +CONTEXT MPTrx_DynamicSemantics {- Second attempt-} IN ENGLISH PURPOSE CONTEXT MPTrx_DynamicSemantics {+For every TText within an MPTrx, we distinguish between two kinds of user-abilities: 1. the ability to `Create, Update or Delete/Disable its MEANING` (i.e. specifications, descriptions). diff --git a/MPTrx/MPTrx_DynamicSemantics.adl b/MPTrx/MPTrx_DynamicSemantics.adl index 854dceea..46a29c4e 100644 --- a/MPTrx/MPTrx_DynamicSemantics.adl +++ b/MPTrx/MPTrx_DynamicSemantics.adl @@ -1,4 +1,4 @@ -CONTEXT MPTrx_DynamicSemantics {- Second attempt-} IN ENGLISH +CONTEXT MPTrx_DynamicSemantics {- Second attempt-} IN ENGLISH --[Ownership - template TTexts]-- ROLE ExecEngine MAINTAINS "All MPTrx template TTexts are owned by the template owner" diff --git a/MPTrx/MPTrx_DynamicSemantics_old.adl b/MPTrx/MPTrx_DynamicSemantics_old.adl index f65a18c1..fe822a2e 100644 --- a/MPTrx/MPTrx_DynamicSemantics_old.adl +++ b/MPTrx/MPTrx_DynamicSemantics_old.adl @@ -1,4 +1,4 @@ -CONTEXT MPTrx_DynamicSemantics {- First attempt-} IN ENGLISH +CONTEXT MPTrx_DynamicSemantics {- First attempt-} IN ENGLISH --[Deleting and re-creating Objectives caused by changes in ValueSuppliers (SHRoles)]-- {-- (Als kommentaar erg lang is (bijv., maar niet uitsluitend tot het eind v/e file, dan wordt het editen erg traag) diff --git a/MPTrx/MPTrx_Inclusion.svc b/MPTrx/MPTrx_Inclusion.svc index 9c86b2a4..e1ae6854 100644 --- a/MPTrx/MPTrx_Inclusion.svc +++ b/MPTrx/MPTrx_Inclusion.svc @@ -1,4 +1,4 @@ -CONTEXT MPTrx_Basics IN ENGLISH +CONTEXT MPTrx_Basics IN ENGLISH INCLUDE "../TText/TText_Inclusion.svc" -- This implies scope copying facilities diff --git a/MPTrx/MPTrx_SIAMv3_Module.adl b/MPTrx/MPTrx_SIAMv3_Module.adl index a9908e71..b852123d 100644 --- a/MPTrx/MPTrx_SIAMv3_Module.adl +++ b/MPTrx/MPTrx_SIAMv3_Module.adl @@ -1,4 +1,4 @@ -CONTEXT SIAMv3_0 IN ENGLISH -- SIAM: Sessions, Identity- and Access Management +CONTEXT SIAMv3_0 IN ENGLISH -- SIAM: Sessions, Identity- and Access Management -- The purpose of this file is to provide an easy way for users of the module to include SIAM functionality. --! git@ci.tno.nl:ampersand/models.git has the authoratative source of SIAMv3 diff --git a/MPTrx/MPTrx_User.ifc b/MPTrx/MPTrx_User.ifc index fb71db34..6787d05d 100644 --- a/MPTrx/MPTrx_User.ifc +++ b/MPTrx/MPTrx_User.ifc @@ -1,4 +1,4 @@ -CONTEXT "MPTrxUserInterfaces" IN ENGLISH +CONTEXT "MPTrxUserInterfaces" IN ENGLISH --[Copying MPTrxs (and trigger MPTrx copying)]-- {-It is not obvious what the attributes of a newly created target `MPTrx` should be. @@ -143,7 +143,7 @@ VIOLATION (TXT "{EX} DelPair;tPartyLeaveSeatReq;TText;", SRC I, TXT ";TText;", S --[Overviews]-- INTERFACE "Transactions" FOR User: "_SESSION"[SESSION];sessionAccount cRud TABS [ "My cases": I[Account] cRud BOX

- [ "Create new case": I[Account] cRud INTERFACE "CreateNewCaseForAccount" + [ "Create new case": I[Account] INTERFACE "CreateNewCaseForAccount" , "Empty line" : I-I cRud , "Only show cases when there is somtheing to whow": I /\ (tPartyAcc~;ttScope \/ scopeOwner~);mptrxIsaCasus;V cRud BOX
diff --git a/MPTrx/MPTrx_Views.adl b/MPTrx/MPTrx_Views.adl index 96f57fa6..d176e3d5 100644 --- a/MPTrx/MPTrx_Views.adl +++ b/MPTrx/MPTrx_Views.adl @@ -1,4 +1,4 @@ -CONTEXT MPTrx_Views IN ENGLISH +CONTEXT MPTrx_Views IN ENGLISH --[TTexts]-- --VIEW TTexts: TText DEFAULT { "name": ttName } ENDVIEW diff --git a/Messaging/MSG_CEPValidation.adl b/Messaging/MSG_CEPValidation.adl index cace799e..6998f54a 100644 --- a/Messaging/MSG_CEPValidation.adl +++ b/Messaging/MSG_CEPValidation.adl @@ -1,4 +1,4 @@ -CONTEXT CEPValidationService IN ENGLISH +CONTEXT CEPValidationService IN ENGLISH PURPOSE CONTEXT CEPValidationService {+This service can validate ContactEndpoints, in two ways: 1) the application creates a `CEPValRecord` and populates the relation `cvrCEP` diff --git a/Messaging/MSG_ContactEndpoints.adl b/Messaging/MSG_ContactEndpoints.adl index b6796bb0..86767ceb 100644 --- a/Messaging/MSG_ContactEndpoints.adl +++ b/Messaging/MSG_ContactEndpoints.adl @@ -1,4 +1,4 @@ -CONTEXT "Contact Endpoints" IN ENGLISH +CONTEXT "Contact Endpoints" IN ENGLISH {- This context specifies the basics of how people may be contacted through various means (e.g. email, phone, etc.) -} --[Contact Endpoints (CEPs)]-- diff --git a/Messaging/MSG_Email.adl b/Messaging/MSG_Email.adl index 69a509d3..7ffbdc61 100644 --- a/Messaging/MSG_Email.adl +++ b/Messaging/MSG_Email.adl @@ -1,4 +1,4 @@ -CONTEXT Email IN ENGLISH +CONTEXT Email IN ENGLISH PURPOSE CONTEXT Email {+Sometimes, there an application may be programmed to send a message to one or more users. This context specifies a way to send messages to registered users that can be reached through a communication means called `Email`. diff --git a/Messaging/MSG_Endpoints.ifc b/Messaging/MSG_Endpoints.ifc index 6b333e5e..cfede1d2 100644 --- a/Messaging/MSG_Endpoints.ifc +++ b/Messaging/MSG_Endpoints.ifc @@ -1,4 +1,4 @@ -CONTEXT "Contact Endpoints Interfaces" IN ENGLISH +CONTEXT "Contact Endpoints Interfaces" IN ENGLISH ----------------------------------------------------------- INTERFACE "MessageEndpoint" (cepConnectsTo, cepMeans, cepAddress, cepNote, cepAppUseProp) : I[MsgEndpoint] CRud BOX diff --git a/Messaging/MSG_Module-example.adl b/Messaging/MSG_Module-example.adl index e4293fb5..78ff2c5d 100644 --- a/Messaging/MSG_Module-example.adl +++ b/Messaging/MSG_Module-example.adl @@ -1,4 +1,4 @@ -CONTEXT Messaging IN ENGLISH +CONTEXT Messaging IN ENGLISH -- The purpose of this file is to provide an easy way for users of the module to include Messaging functionality. INCLUDE "../Messaging/MSG_ContactEndpoints.adl" diff --git a/Messaging/MSG_Pushalot.adl b/Messaging/MSG_Pushalot.adl index 9ae40f45..4975fcf0 100644 --- a/Messaging/MSG_Pushalot.adl +++ b/Messaging/MSG_Pushalot.adl @@ -1,4 +1,4 @@ -CONTEXT Pushalot IN ENGLISH +CONTEXT Pushalot IN ENGLISH PURPOSE CONTEXT Pushalot {+Sometimes, there an application may be programmed to send a message to one or more users. This context specifies a way to send messages to registered users that can be reached through a communication means called `Pushalot`. diff --git a/Messaging/MSG_Pushover.adl b/Messaging/MSG_Pushover.adl index 3236d942..f3eb6471 100644 --- a/Messaging/MSG_Pushover.adl +++ b/Messaging/MSG_Pushover.adl @@ -1,4 +1,4 @@ -CONTEXT PushOver IN ENGLISH +CONTEXT PushOver IN ENGLISH PURPOSE CONTEXT PushOver {+Sometimes, there an application may be programmed to send a message to one or more users. This context specifies a way to send messages to registered users that can be reached through a communication means called `Pushover`. diff --git a/Messaging/MSG_SMS.adl b/Messaging/MSG_SMS.adl index 57136c07..022ad421 100644 --- a/Messaging/MSG_SMS.adl +++ b/Messaging/MSG_SMS.adl @@ -1,4 +1,4 @@ -CONTEXT SMS IN ENGLISH +CONTEXT SMS IN ENGLISH PURPOSE CONTEXT SMS {+Sometimes, there an application may be programmed to send a message to one or more users. This context specifies a way to send messages to registered users that can be reached through a communication means called `SMS`. diff --git a/Messaging/MSG_Transmission.adl b/Messaging/MSG_Transmission.adl index febf4e51..8ac3a6f1 100644 --- a/Messaging/MSG_Transmission.adl +++ b/Messaging/MSG_Transmission.adl @@ -1,4 +1,4 @@ -CONTEXT MessagingService IN ENGLISH +CONTEXT MessagingService IN ENGLISH PURPOSE CONTEXT MessagingService {+This service allows applications to send messages to a MsgEndpoint, provided that the MsgEndpoint has a (valid) ContactEndpoint that is suitable for sending automated diff --git a/Messaging/Messaging.adl b/Messaging/Messaging.adl index 16212910..4db91abd 100644 --- a/Messaging/Messaging.adl +++ b/Messaging/Messaging.adl @@ -1,4 +1,4 @@ -CONTEXT "Messaging" IN ENGLISH +CONTEXT "Messaging" IN ENGLISH {- This is a stand-alone context used for demonstrating and testing messaging services To use the messaging module, INCLUDE "../Messaging/MSG_Module.adl". This module does not provide any (user)interfacing facilities. diff --git a/Messaging/SIAM_Module.adl b/Messaging/SIAM_Module.adl index 4ca9bb62..b526871a 100644 --- a/Messaging/SIAM_Module.adl +++ b/Messaging/SIAM_Module.adl @@ -1,4 +1,4 @@ -CONTEXT SIAM IN ENGLISH -- SIAM: Sessions, Identity- and Access Management. +CONTEXT SIAM IN ENGLISH -- SIAM: Sessions, Identity- and Access Management. -- The purpose of this file is to provide an easy way for users of the module to include SIAM functionality. INCLUDE "../SIAM/SIAM_PersonReg.adl" diff --git a/Minho/ArgsAttempt0.adl b/Minho/ArgsAttempt0.adl index 2772b231..1acb394e 100644 --- a/Minho/ArgsAttempt0.adl +++ b/Minho/ArgsAttempt0.adl @@ -1,4 +1,4 @@ -CONTEXT Arguments IN ENGLISH +CONTEXT Arguments IN ENGLISH PURPOSE CONTEXT Arguments {+This Ampersand script is meant as an executable example for the students at Uni Minho. +} diff --git a/Minho/Arguments.adl b/Minho/Arguments.adl index c1d11902..64dac374 100644 --- a/Minho/Arguments.adl +++ b/Minho/Arguments.adl @@ -35,7 +35,7 @@ INCLUDE "Arguments_generated_pop.xlsx" PURPOSE RELATION backing[WarrantC*BackingC] {+ The backing "Standing behind our warrants there will normally be other assurances, without which the warrants themselves would posses neither authority nor currency. This - ‘backing’ of our warrants is something which we shall have to scrutinise + ‘backing’ of our warrants is something which we shall have to scrutinise very carefully: its precise relations to our data, claims, warrants and conditions" - Toulmin the use of argumentation We highlight 'precise relations' +} diff --git a/MirrorMe/Arguments.docadl b/MirrorMe/Arguments.docadl index 5326c436..ada29f47 100644 --- a/MirrorMe/Arguments.docadl +++ b/MirrorMe/Arguments.docadl @@ -1,4 +1,4 @@ -CONTEXT Arguments IN ENGLISH MARKDOWN +CONTEXT Arguments IN ENGLISH MARKDOWN INCLUDE "Arguments.adl" INCLUDE "Login_doc.adl" INCLUDE "Login.xlsx" diff --git a/MirrorMe/MiniMirrorMe.adl b/MirrorMe/MiniMirrorMe.adl index 15131805..44e25fa5 100644 --- a/MirrorMe/MiniMirrorMe.adl +++ b/MirrorMe/MiniMirrorMe.adl @@ -42,7 +42,7 @@ RULE "deleting pairs from sub": MEANING "If argument a is subordinate to argument c, then the claim of a is a datum of c." VIOLATION (TXT "{EX} DelPair;sub;Argument;", SRC I, TXT ";Argument;", TGT I) -{- Het uitrekenen gebeurt in twee stappen. Eén stap leidt tot het invoegen van een paar in sub, als veranderingen in claim, datum en rebuttal daar aanleiding toe geven. +{- Het uitrekenen gebeurt in twee stappen. Eén stap leidt tot het invoegen van een paar in sub, als veranderingen in claim, datum en rebuttal daar aanleiding toe geven. Het verwijderen van elementen uit sub gebeurt in de tweede regel. Einde Intermezzo -} @@ -116,8 +116,8 @@ POPULATION text CONTAINS ; ("TAT4.2", "Eiser dient tot de werkzaamheden toegelaten te worden.") ; ("TAT4.3", "Gedaagde dient achterstallig loon te betalen.") ; ("TRT4.1", "Er is een uitzendovereenkomst tot stand gekomen.") - ; ("TRT4.2", "De allocatiefunctie geeft aanleiding de overeenkomst anders te definiëren") - ; ("TRT4.3", "De inkleding van het werkgeverschap door de uitlener geeft aanleiding de overeenkomst anders te definiëren.") + ; ("TRT4.2", "De allocatiefunctie geeft aanleiding de overeenkomst anders te definiëren") + ; ("TRT4.3", "De inkleding van het werkgeverschap door de uitlener geeft aanleiding de overeenkomst anders te definiëren.") ; ("TRT4.4", "Er bestaat onduidelijkheid over de positie van de werknemer") , ("TAVT4.1", "ECLI:NL:HR:2016:2356") , ("TAVT4.2", "ingevolge artikel 8 lid 1 van de Wet allocatie arbeidskrachten door intermediairs, konden eiser geen lager loon of slechtere arbeidsvoorwaarden worden aangeboden dan het loon an de arbeidsvoorwaarden, die ook golden toen eiser nog bij gedaagde werkzaam was. Dat daar niet over is onderhandeld is dan ook niet van belang voor de beoordeling van de onderhavige zaak.") @@ -196,7 +196,7 @@ POPULATION text CONTAINS ; ("TTJT6.8", "Door niet na te gaan of de medeling van ING dat incasso onmogelijk was, juist was, heeft NPL haar zorgplicht geschonden.") ; ("TJT6.9", "NPL handelt naar willekeur") ; ("TJT6.11", "NPL neemt enerzijds een zeer terughoudend beleid aan als het aankomt op eenzijdige opzegging en anderzijds als het op uitbetalen aankomt met een beroep op het niet betalen van inleggeld eenvoudig onder haar verplichtingen uit kan komen.") - ; ("TJT6.11.1", "NPL handelt naar willekeur en stelt zich niet uniform op jegens haar (potentiële) deelnemers als het gaat om incasseren van inleggeld.") + ; ("TJT6.11.1", "NPL handelt naar willekeur en stelt zich niet uniform op jegens haar (potentiële) deelnemers als het gaat om incasseren van inleggeld.") ; ("TAT6.1", "NPL moet schadevergoeding betalen aan eiser.") ; ("TAVT6.1", "Als er met meerdere loten wordt ingelegd, moet inning van het totaalbedrag plaatsvinden.") ; ("TAVT6.2", "Eiser heeft zijn stelling dat minimaal drie incassopogingen gebruikelijk zijn, niet nader toegelicht.") @@ -380,7 +380,7 @@ POPULATION backing CONTAINS ; ("JT2.4", "artikel 7:406 lid 1 BW") ; ("JT4.4", "Artikel 7:690 BW") ; ("JT5.1", "Article 341 of the Code of Criminal Procedure") - ; ("JVT5.1", "Article 6 § 1, 2 and 3 of the Convention") + ; ("JVT5.1", "Article 6 § 1, 2 and 3 of the Convention") ; ("JVT5.4", "Moreira Ferreira v Portugal case") ; ("JVT5.2", "Article 13 of the Convention") ; ("JVT5.3", "Article 14 of the Convention") diff --git a/MirrorMe/MirrorMe_TText_Module.adl b/MirrorMe/MirrorMe_TText_Module.adl index 27c56987..dd4d0807 100644 --- a/MirrorMe/MirrorMe_TText_Module.adl +++ b/MirrorMe/MirrorMe_TText_Module.adl @@ -1,4 +1,4 @@ -CONTEXT TText_ModuleExample IN ENGLISH +CONTEXT TText_ModuleExample IN ENGLISH {-This file imports the TText facilities-} META "authors" "Rieks Joosten (rieks.joosten@tno.nl)" diff --git a/OMV/cogniamOpa.adl b/OMV/cogniamOpa.adl index 5ee1aae4..fd56ecfa 100644 --- a/OMV/cogniamOpa.adl +++ b/OMV/cogniamOpa.adl @@ -1,4 +1,4 @@ -CONTEXT Doctool2OpaConvertor IN DUTCH +CONTEXT Doctool2OpaConvertor IN DUTCH META "authors" "Han Joosten" diff --git a/PRACO/AccountsSessionsLogin.include b/PRACO/AccountsSessionsLogin.include index 628f36a3..da7ae4e2 100644 --- a/PRACO/AccountsSessionsLogin.include +++ b/PRACO/AccountsSessionsLogin.include @@ -1,4 +1,4 @@ -CONTEXT "AccountsSessionsLogin_Include" IN ENGLISH LATEX +CONTEXT "AccountsSessionsLogin_Include" IN ENGLISH LATEX {-Dit script is generiek bruikbaar. Het is bedoeld om in een van je eigen scripts te INCLUDEn, en dan in je eigen bestanden waar nodig additionele account attributen, session variabelen, interfaces e.d. maken. In het bijzonder kun je er dus ook zelf je eigen persoonsadministratie aan hangen - daarvoor hoef je niet in dit bestand te zijn. Het bestand AccountsSessionsLogin.adl geeft een werkend voorbeeld van hoe je deze zaken kunt gebruiken. diff --git a/PRACO/GRC-AccountsAndSessions.adl b/PRACO/GRC-AccountsAndSessions.adl index 3ea4cd7a..3334f4d0 100644 --- a/PRACO/GRC-AccountsAndSessions.adl +++ b/PRACO/GRC-AccountsAndSessions.adl @@ -1,4 +1,4 @@ -CONTEXT GRCAccountsAndSessions IN ENGLISH +CONTEXT GRCAccountsAndSessions IN ENGLISH --$In dit bestand definieren we de session variabelen, en (de)populeren we ze (automatisch). INCLUDE "AccountsSessionsLogin.include" --$Dit is de basis diff --git a/PRACO/GRC-ComplianceProcesses.adl b/PRACO/GRC-ComplianceProcesses.adl index 92160507..7d52355e 100644 --- a/PRACO/GRC-ComplianceProcesses.adl +++ b/PRACO/GRC-ComplianceProcesses.adl @@ -1,4 +1,4 @@ -CONTEXT "GRC Compliance Processes" IN ENGLISH +CONTEXT "GRC Compliance Processes" IN ENGLISH --[Agreements about NormHierarchies]-- PROCESS "Agreements about NormHierarchies" diff --git a/PRACO/GRC-ComputeCounters.adl b/PRACO/GRC-ComputeCounters.adl index 2f183b3b..9ef2c05a 100644 --- a/PRACO/GRC-ComputeCounters.adl +++ b/PRACO/GRC-ComputeCounters.adl @@ -1,4 +1,4 @@ -CONTEXT "Counting" IN ENGLISH +CONTEXT "Counting" IN ENGLISH PROCESS "Counting the Number of Controls" diff --git a/PRACO/GRC-ControlProcesses.adl b/PRACO/GRC-ControlProcesses.adl index 767d309e..341ca95b 100644 --- a/PRACO/GRC-ControlProcesses.adl +++ b/PRACO/GRC-ControlProcesses.adl @@ -1,4 +1,4 @@ -CONTEXT "NRM Control Processes" IN ENGLISH +CONTEXT "NRM Control Processes" IN ENGLISH --[ControlTemplates]-- PROCESS "Templates" diff --git a/PRACO/GRC-ISO27001_Appendix_Excerpt.pop b/PRACO/GRC-ISO27001_Appendix_Excerpt.pop index b7c70313..aa818ac3 100644 --- a/PRACO/GRC-ISO27001_Appendix_Excerpt.pop +++ b/PRACO/GRC-ISO27001_Appendix_Excerpt.pop @@ -1,4 +1,4 @@ -CONTEXT ISO27001 IN ENGLISH +CONTEXT ISO27001 IN ENGLISH --! This is an excerpt from the APPENDIX of the ISO 27001 Standard --! It is NOT the ISO 27001 itself!!!! diff --git a/PRACO/GRC-Ontology.adl b/PRACO/GRC-Ontology.adl index ca4ef935..0dbe6d54 100644 --- a/PRACO/GRC-Ontology.adl +++ b/PRACO/GRC-Ontology.adl @@ -1,4 +1,4 @@ -CONTEXT GRCOntology IN ENGLISH +CONTEXT GRCOntology IN ENGLISH --[BusinessFunctions, OrgUnits and Organizations]-- PROCESS {-**Was: PATTERN**-} "BusinessFunctions and OrgUnits" diff --git a/PRACO/GRC-PersonRegistration.adl b/PRACO/GRC-PersonRegistration.adl index 480df142..c3343350 100644 --- a/PRACO/GRC-PersonRegistration.adl +++ b/PRACO/GRC-PersonRegistration.adl @@ -1,4 +1,4 @@ -CONTEXT "NRM Person Registration" IN ENGLISH +CONTEXT "NRM Person Registration" IN ENGLISH PURPOSE PROCESS {-**Was: PATTERN**-} "NRM Person Registration" {+We need some personal information of individuals, such as their names and ways to reach them. Dit pattern specifies the personal information that is needed.+} diff --git a/PRACO/GRC-RLIType-IRAM.pop b/PRACO/GRC-RLIType-IRAM.pop index 0829734e..01333e13 100644 --- a/PRACO/GRC-RLIType-IRAM.pop +++ b/PRACO/GRC-RLIType-IRAM.pop @@ -1,4 +1,4 @@ -CONTEXT "RLIType_IRAM" IN ENGLISH +CONTEXT "RLIType_IRAM" IN ENGLISH -- Source: ISF -- Note: In IRAM, this risk matrix is configurable. That means that every entity that decides to use it, may have different mappings for (Impact,Likelihood)-->Risk. Currently, this is not supported. diff --git a/PRACO/GRC-RLIType-LMH.pop b/PRACO/GRC-RLIType-LMH.pop index 7279b95f..420db06a 100644 --- a/PRACO/GRC-RLIType-LMH.pop +++ b/PRACO/GRC-RLIType-LMH.pop @@ -1,4 +1,4 @@ -CONTEXT "RLIType_LMH" IN ENGLISH +CONTEXT "RLIType_LMH" IN ENGLISH --$ For every kind of RLItype, the computations 'CalcRisk' and 'CalcGT' must be executable. For straightforward RLITypes, this can be achieved through populations. For more complex computations, addtional rules (and/or code) may be needed. diff --git a/PRACO/GRC-RLIType-[1-5]x[A-E].pop b/PRACO/GRC-RLIType-[1-5]x[A-E].pop index 49e9b642..6967b6f9 100644 --- a/PRACO/GRC-RLIType-[1-5]x[A-E].pop +++ b/PRACO/GRC-RLIType-[1-5]x[A-E].pop @@ -1,4 +1,4 @@ -CONTEXT "RLIType_1-5xA-E" IN ENGLISH +CONTEXT "RLIType_1-5xA-E" IN ENGLISH -- Source: Hans Baars (DNV Kema) mailto:Hans.Baars@dnvkema.com --$ For every kind of RLItype, the computations 'CalcRisk' and 'CalcGT' must be executable. For straightforward RLITypes, this can be achieved through populations. For more complex computations, addtional rules (and/or code) may be needed. diff --git a/PRACO/GRC-RLIType-[1..9].pop b/PRACO/GRC-RLIType-[1..9].pop index 512af013..d54f3a9a 100644 --- a/PRACO/GRC-RLIType-[1..9].pop +++ b/PRACO/GRC-RLIType-[1..9].pop @@ -1,4 +1,4 @@ -CONTEXT "RLIType_[1..9]" IN ENGLISH +CONTEXT "RLIType_[1..9]" IN ENGLISH -- Computation used: Risk = Impact + Likelihood - 1 -- For a discussion about "What's right with risk matrices", see -- http://31000risk.wordpress.com/article/what-s-right-with-risk-matrices-3dksezemjiq54-4/ diff --git a/PRACO/GRC-RiskAnalysis.adl b/PRACO/GRC-RiskAnalysis.adl index 48d16774..cc9799a4 100644 --- a/PRACO/GRC-RiskAnalysis.adl +++ b/PRACO/GRC-RiskAnalysis.adl @@ -1,4 +1,4 @@ -CONTEXT NRM_RiskAnalysis IN ENGLISH +CONTEXT NRM_RiskAnalysis IN ENGLISH ----------------------------------------------------------- -- For different RLITypes (e.g. 'LMH', '1..9' e.a.) there are separate include files. ----------------------------------------------------------- diff --git a/PRACO/PRACO.adl b/PRACO/PRACO.adl index df7e95b1..f71fa9f3 100644 --- a/PRACO/PRACO.adl +++ b/PRACO/PRACO.adl @@ -1,4 +1,4 @@ -CONTEXT PRACO IN ENGLISH LATEX +CONTEXT PRACO IN ENGLISH LATEX INCLUDE "GRC-Ontology.adl" INCLUDE "GRC-ComplianceProcesses.adl" diff --git a/PRACO/PRACO.ifc b/PRACO/PRACO.ifc index 8fe5a7e1..f35a6c6a 100644 --- a/PRACO/PRACO.ifc +++ b/PRACO/PRACO.ifc @@ -1,4 +1,4 @@ -CONTEXT "GRC-PRACO" IN ENGLISH +CONTEXT "GRC-PRACO" IN ENGLISH -- Session Variables sessionUser :: SESSION * Person [UNI] -- The Person that has logged in. diff --git a/PRACO/PRACO.pop b/PRACO/PRACO.pop index 8824245f..611a7cc0 100644 --- a/PRACO/PRACO.pop +++ b/PRACO/PRACO.pop @@ -1,4 +1,4 @@ -CONTEXT PRACO_populations IN ENGLISH +CONTEXT PRACO_populations IN ENGLISH -- Alle standaarden, wetten e.d. waaraan VB compliant wil zijn moeten worden geimporteerd -- INCLUDE "GRC-ISO27001.pop" diff --git a/PRACO/READONLY.ifc b/PRACO/READONLY.ifc index 9f72a50a..16ab1156 100644 --- a/PRACO/READONLY.ifc +++ b/PRACO/READONLY.ifc @@ -1,4 +1,4 @@ -CONTEXT "GRC-READONLY" IN ENGLISH +CONTEXT "GRC-READONLY" IN ENGLISH INTERFACE "AllControls" FOR Developer : V[SESSION*Control];ctrlIsSpecified COLS[ "ID" : I diff --git a/PRACO/VB B.V.pop b/PRACO/VB B.V.pop index b6898d6a..8d811e2a 100644 --- a/PRACO/VB B.V.pop +++ b/PRACO/VB B.V.pop @@ -1,4 +1,4 @@ -CONTEXT VB_OrganizationPopulaties IN ENGLISH +CONTEXT VB_OrganizationPopulaties IN ENGLISH bfOrganization :: BusinessFunction * Organization [UNI] bfAccountableOU :: BusinessFunction * OrgUnit [UNI] diff --git a/Pegasus/PegaConceptualModel.docadl b/Pegasus/PegaConceptualModel.docadl index 96ead2f3..3df72b0b 100644 --- a/Pegasus/PegaConceptualModel.docadl +++ b/Pegasus/PegaConceptualModel.docadl @@ -146,7 +146,7 @@ CONCEPT ReportDefinition "A Report Definition is a rule, which defines a report PURPOSE RELATION scope[Rule*Class] {+Each rule has a scope, which is the class in which that rule is visible. You specify the scope of a rule in the Apply to field. -The class you select determines how extensively you can use the rule — within one case type, or across case types. +The class you select determines how extensively you can use the rule — within one case type, or across case types. +} PURPOSE CONCEPT RuleSet diff --git a/RAPRelatedPatterns/Holons.pat b/RAPRelatedPatterns/Holons.pat index 9ad52523..d9b13f07 100644 --- a/RAPRelatedPatterns/Holons.pat +++ b/RAPRelatedPatterns/Holons.pat @@ -72,7 +72,7 @@ We gebruiken de term bedrijfsfunctie [#bedrijfsfunctie]_ als conceptueel anker d .. [#bedrijfsfunctie] Ons gebruik van deze term is losjes geinspireerd op de inhoud van `_ -Eén idee achter bedrijfsfuncties is dat het een afbakening (scope) levert waarbinnen werk beheersbaar wordt voor mensen. Mensen kunnen zo hun aandacht richten op dat waar daarbinnen valt en al het andere (tijdelijk) buitensluiten). Dit is nodig om binnen de intrinsiek menselijke begrenzingen te blijven zoals onder meer door [Anderson]_ zijn opgeschreven. +Eén idee achter bedrijfsfuncties is dat het een afbakening (scope) levert waarbinnen werk beheersbaar wordt voor mensen. Mensen kunnen zo hun aandacht richten op dat waar daarbinnen valt en al het andere (tijdelijk) buitensluiten). Dit is nodig om binnen de intrinsiek menselijke begrenzingen te blijven zoals onder meer door [Anderson]_ zijn opgeschreven. Voorbeelden van (onze) bedrijfsfuncties zijn: diff --git a/RAPRelatedPatterns/Oude RAP versies/RAP2.oldadl b/RAPRelatedPatterns/Oude RAP versies/RAP2.oldadl index b4855ef9..20e282b2 100644 --- a/RAPRelatedPatterns/Oude RAP versies/RAP2.oldadl +++ b/RAPRelatedPatterns/Oude RAP versies/RAP2.oldadl @@ -593,7 +593,7 @@ PATTERN Tables entCol :: Column -> Declaration. entTable :: Concept -> Table. entCol = in;entTable~;attribute~ - EXPLANATION "Éach column in an entity table associates with an attribute of that entity." + EXPLANATION "Éach column in an entity table associates with an attribute of that entity." ent :: Key -> Concept. key :: Key * Declaration PRAGMA "Key " " contains Declaration ". @@ -610,7 +610,7 @@ ENDPATTERN PATTERN "Signal Resolution" {- RJ/15082007: Hierover nadenkend denk ik dat we iets nodig hebben als: een valuatie in een Space die een violation is, moet worden afgehandeld binnen de meest specifieke context waarin die data zich bevindt. Een mooie case hiervoor is het signaal "nomaintainer" uit dit pattern. Dit signaal zit in de RAP2 context, en dat is de supercontext van alle andere contexten. Het moge duidelijk zijn dat als hier een violation optreedt, dit niet door Stef wordt opgelost, maar door een actor die is geassocieerd met de meest specifieke context. -Daarom moeten we ook de term Domain invoeren zoals die al binnen PNP en andere contexten is gedefinieerd (een vz. van verantwoordelijkheden met een domainmanager), en moeten we zorgen dat elk Domain samenvalt met precies één Context (omgekeerd hoeft niet), zodat we signalen kunnen gaan toewijzen. Dat moet nog worden uitgewerkt. +Daarom moeten we ook de term Domain invoeren zoals die al binnen PNP en andere contexten is gedefinieerd (een vz. van verantwoordelijkheden met een domainmanager), en moeten we zorgen dat elk Domain samenvalt met precies één Context (omgekeerd hoeft niet), zodat we signalen kunnen gaan toewijzen. Dat moet nog worden uitgewerkt. -} signal :: Relation * Rule [INJ,UNI] @@ -656,9 +656,9 @@ svcAppl -: svcIfc; ifcContext; extends*; applContext~ sessiontype~; sessiontype -: I -{-NL-} EXPLANATION "Elke sessie is van tenminste één sessie type." -- UNI(sessiontype) +{-NL-} EXPLANATION "Elke sessie is van tenminste één sessie type." -- UNI(sessiontype) I -: sessiontype; sessiontype~ -{-NL-} EXPLANATION "Elke sessie is van ten hoogste één sessie type." -- TOT(sessiontype) +{-NL-} EXPLANATION "Elke sessie is van ten hoogste één sessie type." -- TOT(sessiontype) sessiontype :: Session -> Service -- Imported from "Sessions and Domains" --NL-- PRAGMA "Sessie " " is van het type ". {-EN-} PRAGMA "Session " " instantiates service ". @@ -706,7 +706,7 @@ contextDomain :: Context * Domain [UNI] -- Leaving out [TOT] allows us to talk a ENDPATTERN PATTERN "Business relations and Contracts" --- RJ/15082007: Je kunt een contract zien als een verzameling van evenzoveel contexten als dat er contractpartijen zijn, waarbij elke context aan precies één contractpartij (domein) is gekoppeld. Het aardige is dan dat een contract consistent is als de aan elkaar gelijmde contexten dat zijn. Dit biedt dan vervolgens een solide basis op grond waarvan deze partijen hun IT en hun processen aan elkaar kunnen gaan hangen en elkaar kunnen gaan voorzien van elkaars overtredingen (SLA management). +-- RJ/15082007: Je kunt een contract zien als een verzameling van evenzoveel contexten als dat er contractpartijen zijn, waarbij elke context aan precies één contractpartij (domein) is gekoppeld. Het aardige is dan dat een contract consistent is als de aan elkaar gelijmde contexten dat zijn. Dit biedt dan vervolgens een solide basis op grond waarvan deze partijen hun IT en hun processen aan elkaar kunnen gaan hangen en elkaar kunnen gaan voorzien van elkaars overtredingen (SLA management). contractContext :: Contract * Context [TOT] {-EN-} PRAGMA "Contract " " defines Context ". @@ -788,9 +788,9 @@ sessionDomain~; sessionDomain -: I {-EN-} PRAGMA "For everything that happens within session " ", domain " " bears the responsibility". sessiontype~; sessiontype -: I -{-NL-} EXPLANATION "Elke sessie is van tenminste één sessie type." -- UNI(sessiontype) +{-NL-} EXPLANATION "Elke sessie is van tenminste één sessie type." -- UNI(sessiontype) I -: sessiontype; sessiontype~ -{-NL-} EXPLANATION "Elke sessie is van ten hoogste één sessie type." -- TOT(sessiontype) +{-NL-} EXPLANATION "Elke sessie is van ten hoogste één sessie type." -- TOT(sessiontype) sessiontype :: Session * Service [UNI,TOT] --NL-- PRAGMA "Sessie " " is van het type ". {-EN-} PRAGMA "Session " " instantiates service ". diff --git a/RAPRelatedPatterns/Proces.pat b/RAPRelatedPatterns/Proces.pat index 7a8e70c2..4447ce97 100644 --- a/RAPRelatedPatterns/Proces.pat +++ b/RAPRelatedPatterns/Proces.pat @@ -1,5 +1,5 @@ {----------------------------------------------------------------------- -RJ/20100221: De Compliant Service Layer (CSL) is op het moment van schrijven, een in wezen ongeordende verzameling services met de eigenschap dat elk daarvan tijdens executie (a) een vz. regels afdwingt en (b) overtredingen van een (andere) vz. regels signaleert; voorts geldt voor de vz. regels als bedoeld onder (a) dat er voor de hele CSL slechts één zo'n vz. is. Ditzelfde geldt voor de vz. regels als bedoeld onder (b). +RJ/20100221: De Compliant Service Layer (CSL) is op het moment van schrijven, een in wezen ongeordende verzameling services met de eigenschap dat elk daarvan tijdens executie (a) een vz. regels afdwingt en (b) overtredingen van een (andere) vz. regels signaleert; voorts geldt voor de vz. regels als bedoeld onder (a) dat er voor de hele CSL slechts één zo'n vz. is. Ditzelfde geldt voor de vz. regels als bedoeld onder (b). Het is al langer bekend dat deze situatie ongewenst is en dat in verschillende gevallen verschillende regelverzamelingen zijn die in stand gehouden moeten worden. -}---------------------------------------------------------------------- PATTERN Proces --!EXTENDS Texts @@ -9,7 +9,7 @@ PURPOSE PATTERN Proces IN DUTCH Onder een 'Proces' wordt verstaan: a) een verzameling van (soorten) producten/dienstenresultaten die voor de organisatie een waarde vertegenwoordigen en die door middel van het uitvoeren van werk binnen het proces worden geproduceerd/geleverd; b) een door de organisatie vastgestelde verzameling regels/invarianten die de grenzen afbakenen waarbinnen het werk zoals bedoeld onder a) moet worden gedaan, en die zo goed mogelijk moeten worden afgedwongen; -c) een door de organisatie gespecificeerde verzameling regels/invarianten die signaleren dat een ongewenste situatie is ontstaan dan wel dreigt te ontstaan, en wel zodanig dat bij elke signaalregel tenminste één Service is gespecificeerd die werkers ondersteunt bij het oplossen dan wel voorkomen van voornoemde situatie. Zie ook het concept 'Service'.-} +c) een door de organisatie gespecificeerde verzameling regels/invarianten die signaleren dat een ongewenste situatie is ontstaan dan wel dreigt te ontstaan, en wel zodanig dat bij elke signaalregel tenminste één Service is gespecificeerd die werkers ondersteunt bij het oplossen dan wel voorkomen van voornoemde situatie. Zie ook het concept 'Service'.-} procesDescription :: Proces * Text [UNI] PRAGMA "" " wordt omschreven door middel van ". resultProces :: Result -> Proces PRAGMA "" " wordt opgeleverd binnen ". diff --git a/RAPRelatedPatterns/Steigerwerk/SessionAccounts.pat b/RAPRelatedPatterns/Steigerwerk/SessionAccounts.pat index 3eb8e594..017e8479 100644 --- a/RAPRelatedPatterns/Steigerwerk/SessionAccounts.pat +++ b/RAPRelatedPatterns/Steigerwerk/SessionAccounts.pat @@ -59,7 +59,7 @@ userPassword :: UserAccount * Password [UNI] PRAGMA "" " mag alleen worden geact {- Het hiernavolgende mag pas als we echte expressies aan kunnen in regels... Dan mag ook de 'UNI' weg bij 'userPerson'. personalAccount :: UserAccount * UserAccount -personalAccount = (userPerson~;userPerson |- I) MEANING "Onder een 'personal seraccount' of 'personal account' verstaan we een account waaraan precies één Person is gekoppeld." +personalAccount = (userPerson~;userPerson |- I) MEANING "Onder een 'personal seraccount' of 'personal account' verstaan we een account waaraan precies één Person is gekoppeld." -} ENDPATTERN --------------------------------------------------------------------- diff --git a/RAPRelatedPatterns/Versioning.pat b/RAPRelatedPatterns/Versioning.pat index e8e95ad5..1f03664c 100644 --- a/RAPRelatedPatterns/Versioning.pat +++ b/RAPRelatedPatterns/Versioning.pat @@ -41,7 +41,7 @@ PURPOSE CONCEPT Version IN ENGLISH KEY keyContents: Contents(object,version) --RULE keyContents: object;object~ /\ version;version~ |- I --- MEANING "De contents van een object is uniek gekarakteriseerd door het versienummer. Dat wil zeggen: als het object en het versienummer vastliggen, dan is er één contents (of er is geen contents)." +-- MEANING "De contents van een object is uniek gekarakteriseerd door het versienummer. Dat wil zeggen: als het object en het versienummer vastliggen, dan is er één contents (of er is geen contents)." -- MEANING "When the object and version number is known, any object is uniquely determined. Note the difference with 'object', which identifies the most recent version of an object." isSuccessorOf :: Version * Version [INJ,IRF,ASY] PRAGMA "" "is the (direct) successor of" diff --git a/RETINA/IFC-Developer.ifc b/RETINA/IFC-Developer.ifc index 28959f48..88ee8b74 100644 --- a/RETINA/IFC-Developer.ifc +++ b/RETINA/IFC-Developer.ifc @@ -47,11 +47,11 @@ BOX[ "Verwerking/Systeem" : I , "Bewerker(s)" : verwerkingBewerker -- , "Doel(en) van het verzamelen" : verzamelDoel -- zie ook art 7 (welbepaald, uitdruikkelijk omschreven en gerechtvaardigd) , "Doel(en) van de verwerking" : verwerkingsDoel - , "Categorieën van betrokkenen" : verwerkingBetrokkenenCategorie - , "Categorieën van gegevens" : verwerkingGegevensCategorie + , "Categorieën van betrokkenen" : verwerkingBetrokkenenCategorie + , "Categorieën van gegevens" : verwerkingGegevensCategorie --!Onderstaand spul nog uitwerken. Dat geldt ook voor andere meldingscategorien. -- , "Onderliggende gegevenscategorien" : - , "Categorieën van ontvangers" : verwerkingOntvangerCategorie + , "Categorieën van ontvangers" : verwerkingOntvangerCategorie , "Individuele ontvangers" : verwerkingOntvanger , "Voorgenomen doorgiften van gegevens naar landen buiten de Europese Unie" : verwerkingGegevensDoorgiftenBuitenEU , "Algemene verwerkingbeschrijving" : verwerkingSpecificatieSamenvatting diff --git a/RETINA/RETINA.adl b/RETINA/RETINA.adl index 15c443df..9b9eae8a 100644 --- a/RETINA/RETINA.adl +++ b/RETINA/RETINA.adl @@ -18,7 +18,7 @@ CONCEPT Functionaris "de functionaris voor de gegevensbescherming als bedoeld in CONCEPT Melding "een bericht aan het CBP of een Functionaris met betrekking tot een (definetime) verwerking, als bedoeld in artikel 27 Wbp" "artikel 27 Wbp" CONCEPT MinJust "Onze Minister van Justitie" "artikel 1 sub j Wbp" CONCEPT Ontvanger "degene aan wie de persoonsgegevens worden verstrekt" "artikel 1 sub h Wbp" -CONCEPT Persoonsgegeven "elk gegeven betreffende een geïdentificeerde of identificeerbare natuurlijke persoon" "artikel 1 sub a Wbp" +CONCEPT Persoonsgegeven "elk gegeven betreffende een geïdentificeerde of identificeerbare natuurlijke persoon" "artikel 1 sub a Wbp" CONCEPT Verantwoordelijke "de partij (natuurlijke persoon, rechtspersoon of ieder ander) die of het bestuursorgaan dat, alleen of te zamen met anderen, het doel van en de middelen voor de verwerking van persoonsgegevens vaststelt" "artikel 1 sub d Wbp" CONCEPT Verwerking "(van persoonsgegegevens) elke handeling of elk geheel van handelingen met betrekking tot persoonsgegevens, waaronder in ieder geval het verzamelen, vastleggen, ordenen, bewaren, bijwerken, wijzigen, opvragen, raadplegen, gebruiken, verstrekken door middel van doorzending, verspreiding of enige andere vorm van terbeschikkingstelling, samenbrengen, met elkaar in verband brengen, alsmede het afschermen, uitwissen of vernietigen van gegevens" "artikel 1 sub b Wbp" ----------------------------------------------------------- @@ -28,7 +28,7 @@ PURPOSE PROCESS "Wbp Hoofdstuk 1 (uitgezonderd paragraaf 2)" --[Persoonsgegevens]-- -CONCEPT Persoonsgegeven "elk gegeven betreffende een geïdentificeerde of identificeerbare natuurlijke persoon." "Artikel 1 sub a Wbp" +CONCEPT Persoonsgegeven "elk gegeven betreffende een geïdentificeerde of identificeerbare natuurlijke persoon." "Artikel 1 sub a Wbp" CONCEPT PersoonsgegevensType "een klasse van persoonsgegevens" persoonsgegevensType :: Persoonsgegeven -> PersoonsgegevensType @@ -131,22 +131,22 @@ PURPOSE RULE "Doel van verwerkingen" REF "Artikel 28 sub b Wbp" verwerkingBetrokkenenCategorie :: Verwerking * BetrokkeneCategorie PRAGMA "" " verzamelt en/of verwerkt gegevens met betrekking tot betrokkenen die behoren tot " PURPOSE RELATION verwerkingBetrokkenenCategorie REF "Artikel 28 sub c Wbp" -{+Een melding van een (geheel of gedeeltelijk geautomatiseerde VERWERKING) als bedoeld in Artikel 27 eerste lid, behelst een opgave van een beschrijving van de categorieën van BETROKKENEn en van de gegevens of categorieën van gegevens die daarop betrekking hebben.+} +{+Een melding van een (geheel of gedeeltelijk geautomatiseerde VERWERKING) als bedoeld in Artikel 27 eerste lid, behelst een opgave van een beschrijving van de categorieën van BETROKKENEn en van de gegevens of categorieën van gegevens die daarop betrekking hebben.+} verwerkingGegevensCategorie :: Verwerking * GegevensCategorie PRAGMA "" " verzamelt en/of verwerkt gegevens die behoren tot " PURPOSE RELATION verwerkingGegevensCategorie REF "Artikel 28 sub c Wbp" -{+Een melding van een (geheel of gedeeltelijk geautomatiseerde VERWERKING) als bedoeld in Artikel 27 eerste lid, behelst een opgave van een beschrijving van de categorieën van BETROKKENEn en van de gegevens of categorieën van gegevens die daarop betrekking hebben.+} +{+Een melding van een (geheel of gedeeltelijk geautomatiseerde VERWERKING) als bedoeld in Artikel 27 eerste lid, behelst een opgave van een beschrijving van de categorieën van BETROKKENEn en van de gegevens of categorieën van gegevens die daarop betrekking hebben.+} verwerkingOntvangerCategorie :: Verwerking * OntvangerCategorie PRAGMA "" " verstrekt gegevens aan partijen die behoren tot " PURPOSE RELATION verwerkingOntvangerCategorie REF "Artikel 28 sub d Wbp" -{+Een melding van een (geheel of gedeeltelijk geautomatiseerde VERWERKING) als bedoeld in Artikel 27 eerste lid, behelst een opgave van de ONTVANGERs of categorieën van ONTVANGERs aan wie de gegevens kunnen worden verstrekt.+} +{+Een melding van een (geheel of gedeeltelijk geautomatiseerde VERWERKING) als bedoeld in Artikel 27 eerste lid, behelst een opgave van de ONTVANGERs of categorieën van ONTVANGERs aan wie de gegevens kunnen worden verstrekt.+} verwerkingOntvanger :: Verwerking * Partij PRAGMA "" " verstrekt gegevens aan " PURPOSE RELATION verwerkingOntvanger REF "Artikel 28 sub d Wbp" -{+Een melding van een (geheel of gedeeltelijk geautomatiseerde VERWERKING) als bedoeld in Artikel 27 eerste lid, behelst een opgave van de ONTVANGERs of categorieën van ONTVANGERs aan wie de gegevens kunnen worden verstrekt.+} +{+Een melding van een (geheel of gedeeltelijk geautomatiseerde VERWERKING) als bedoeld in Artikel 27 eerste lid, behelst een opgave van de ONTVANGERs of categorieën van ONTVANGERs aan wie de gegevens kunnen worden verstrekt.+} verwerkingGegevensDoorgiftenBuitenEU :: Verwerking * DoorgifteBuitenEU PRAGMA "" " geeft gegevens door aan " " (buiten de EU)" @@ -187,7 +187,7 @@ a. ten behoeve van activiteiten met uitsluitend persoonlijke of huishoudelijke d b. door of ten behoeve van de inlichtingen- en veiligheidsdiensten, bedoeld in de Wet op de inlichtingen- en veiligheidsdiensten 2002; c. 2. ten behoeve van de uitvoering van de politietaak, bedoeld in de artikelen 2 en 6, eerste lid, van de Politiewet 1993; d. die is geregeld bij of krachtens de Wet gemeentelijke basisadministratie persoonsgegevens; -e. ten behoeve van de uitvoering van de Wet justitiële en strafvorderlijke gegevens en +e. ten behoeve van de uitvoering van de Wet justitiële en strafvorderlijke gegevens en f. ten behoeve van de uitvoering van de Kieswet. -} PURPOSE RELATION doelWettelijkeGrondslag REF "Artikel 2 derde lid Wbp" @@ -294,17 +294,17 @@ PURPOSE RULE "Verzamelen van persoonsgegevens is het verwerken ervan" REF "Artik serviceGegevensCategorie :: Service * GegevensCategorie PRAGMA "" " verzamelt en/of verwerkt gegevens die behoren tot " PURPOSE RELATION serviceGegevensCategorie REF "Artikel 28 sub c Wbp" -{+Een melding van een (geheel of gedeeltelijk geautomatiseerde VERWERKING) als bedoeld in Artikel 27 eerste lid, behelst een opgave van een beschrijving van de categorieën van BETROKKENEn en van de gegevens of categorieën van gegevens die daarop betrekking hebben.+} +{+Een melding van een (geheel of gedeeltelijk geautomatiseerde VERWERKING) als bedoeld in Artikel 27 eerste lid, behelst een opgave van een beschrijving van de categorieën van BETROKKENEn en van de gegevens of categorieën van gegevens die daarop betrekking hebben.+} serviceOntvangerCategorie :: Service * ServiceCategorie PRAGMA "" " verstrekt gegevens aan partijen die behoren tot " PURPOSE RELATION serviceOntvangerCategorie REF "Artikel 28 sub d Wbp" -{+Een melding van een (geheel of gedeeltelijk geautomatiseerde VERWERKING) als bedoeld in Artikel 27 eerste lid, behelst een opgave van de ONTVANGERs of categorieën van ONTVANGERs aan wie de gegevens kunnen worden verstrekt.+} +{+Een melding van een (geheel of gedeeltelijk geautomatiseerde VERWERKING) als bedoeld in Artikel 27 eerste lid, behelst een opgave van de ONTVANGERs of categorieën van ONTVANGERs aan wie de gegevens kunnen worden verstrekt.+} serviceOntvanger :: Service * Service PRAGMA "" " verstrekt gegevens aan " PURPOSE RELATION serviceOntvanger REF "Artikel 28 sub d Wbp" -{+Een melding van een (geheel of gedeeltelijk geautomatiseerde VERWERKING) als bedoeld in Artikel 27 eerste lid, behelst een opgave van de ONTVANGERs of categorieën van ONTVANGERs aan wie de gegevens kunnen worden verstrekt.+} +{+Een melding van een (geheel of gedeeltelijk geautomatiseerde VERWERKING) als bedoeld in Artikel 27 eerste lid, behelst een opgave van de ONTVANGERs of categorieën van ONTVANGERs aan wie de gegevens kunnen worden verstrekt.+} versturendeService :: BerichtSoort * Service PRAGMA "Berichten van het soort " " kunnen worden verstuurd (en DUS ook verwerkt) door " @@ -467,9 +467,9 @@ BOX[ "Verwerking/Systeem" : I , "Bewerker(s)" : verwerkingBewerker -- , "Doel(en) van het verzamelen" : verzamelDoel -- zie ook art 7 (welbepaald, uitdruikkelijk omschreven en gerechtvaardigd) , "Doel(en) van de verwerking" : verwerkingsDoel - , "Categorieën van betrokkenen" : verwerkingBetrokkenenCategorie - , "Categorieën van gegevens" : verwerkingGegevensCategorie - , "Categorieën van ontvangers" : verwerkingOntvangerCategorie + , "Categorieën van betrokkenen" : verwerkingBetrokkenenCategorie + , "Categorieën van gegevens" : verwerkingGegevensCategorie + , "Categorieën van ontvangers" : verwerkingOntvangerCategorie , "Individuele ontvangers" : verwerkingOntvanger , "Voorgenomen doorgiften van gegevens naar landen buiten de Europese Unie" : verwerkingGegevensDoorgiftenBuitenEU , "Algemene verwerkingbeschrijving" : verwerkingSpecificatieSamenvatting diff --git a/RETINA/StePS - maart 2012/IFC-Developer.ifc b/RETINA/StePS - maart 2012/IFC-Developer.ifc index 42cd6947..b0b7ba7b 100644 --- a/RETINA/StePS - maart 2012/IFC-Developer.ifc +++ b/RETINA/StePS - maart 2012/IFC-Developer.ifc @@ -47,11 +47,11 @@ BOX[ "Verwerking/Systeem" : I , "Bewerker(s)" : verwerkingBewerker -- , "Doel(en) van het verzamelen" : verzamelDoel -- zie ook art 7 (welbepaald, uitdruikkelijk omschreven en gerechtvaardigd) , "Doel(en) van de verwerking" : verwerkingsDoel - , "Categorieën van betrokkenen" : verwerkingBetrokkenenCategorie - , "Categorieën van gegevens" : verwerkingGegevensCategorie + , "Categorieën van betrokkenen" : verwerkingBetrokkenenCategorie + , "Categorieën van gegevens" : verwerkingGegevensCategorie --!Onderstaand spul nog uitwerken. Dat geldt ook voor andere meldingscategorien. -- , "Onderliggende gegevenscategorien" : - , "Categorieën van ontvangers" : verwerkingOntvangerCategorie + , "Categorieën van ontvangers" : verwerkingOntvangerCategorie , "Individuele ontvangers" : verwerkingOntvanger , "Voorgenomen doorgiften van gegevens naar landen buiten de Europese Unie" : verwerkingGegevensDoorgiftenBuitenEU , "Algemene verwerkingbeschrijving" : verwerkingSpecificatieSamenvatting diff --git a/RETINA/StePS - maart 2012/WBP-Glossary.adl b/RETINA/StePS - maart 2012/WBP-Glossary.adl index ef02a9ae..9fa996e6 100644 --- a/RETINA/StePS - maart 2012/WBP-Glossary.adl +++ b/RETINA/StePS - maart 2012/WBP-Glossary.adl @@ -2,7 +2,7 @@ CONTEXT WBPConcepten {- **Artikel 1** In deze wet en de daarop berustende bepalingen wordt verstaan onder: -a. PERSOONSGEGEVEN: elk gegeven betreffende een geïdentificeerde of identificeerbare natuurlijke persoon; +a. PERSOONSGEGEVEN: elk gegeven betreffende een geïdentificeerde of identificeerbare natuurlijke persoon; b. VERWERKING: elke handeling of elk geheel van handelingen met betrekking tot PERSOONSGEGEVENs, waaronder in ieder geval het verzamelen, vastleggen, ordenen, bewaren, bijwerken, wijzigen, opvragen, raadplegen, gebruiken, verstrekken door middel van doorzending, verspreiding of enige andere vorm van terbeschikkingstelling, samenbrengen, met elkaar in verband brengen, alsmede het afschermen, uitwissen of vernietigen van gegevens; c. BESTAND: elk gestructureerd geheel van PERSOONSGEGEVENs, ongeacht of dit geheel van gegevens gecentraliseerd is of verspreid is op een functioneel of geografisch bepaalde wijze, dat volgens bepaalde criteria toegankelijk is en betrekking heeft op verschillende personen; d. VERANTWOORDELIJKE: de natuurlijke persoon, rechtspersoon of ieder ander die of het bestuursorgaan dat, alleen of te zamen met anderen, het doel van en de middelen voor de VERWERKING vaststelt; @@ -29,7 +29,7 @@ CONCEPT Functionaris "de functionaris voor de gegevensbescherming als bedoeld in CONCEPT Melding "een bericht aan het CBP of een Functionaris met betrekking tot een (definetime) verwerking, als bedoeld in artikel 27 Wbp" "artikel 27 Wbp" CONCEPT MinJust "Onze Minister van Justitie" "artikel 1 sub j Wbp" CONCEPT Ontvanger "degene aan wie de persoonsgegevens worden verstrekt" "artikel 1 sub h Wbp" -CONCEPT Persoonsgegeven "elk gegeven betreffende een geïdentificeerde of identificeerbare natuurlijke persoon" "artikel 1 sub a Wbp" +CONCEPT Persoonsgegeven "elk gegeven betreffende een geïdentificeerde of identificeerbare natuurlijke persoon" "artikel 1 sub a Wbp" CONCEPT Toestemming "(van de betrokkene) elke vrije, specifieke en op informatie berustende wilsuiting waarmee de betrokkene aanvaardt dat hem betreffende persoonsgegevens worden verwerkt" "artikel 1 sub i Wbp" CONCEPT Verantwoordelijke "de partij (natuurlijke persoon, rechtspersoon of ieder ander) die of het bestuursorgaan dat, alleen of te zamen met anderen, het doel van en de middelen voor de verwerking van persoonsgegevens vaststelt" "artikel 1 sub d Wbp" CONCEPT Verwerking "(van persoonsgegegevens) elke handeling of elk geheel van handelingen met betrekking tot persoonsgegevens, waaronder in ieder geval het verzamelen, vastleggen, ordenen, bewaren, bijwerken, wijzigen, opvragen, raadplegen, gebruiken, verstrekken door middel van doorzending, verspreiding of enige andere vorm van terbeschikkingstelling, samenbrengen, met elkaar in verband brengen, alsmede het afschermen, uitwissen of vernietigen van gegevens" "artikel 1 sub b Wbp" diff --git a/RETINA/StePS - maart 2012/WBP-Ontologie.adl b/RETINA/StePS - maart 2012/WBP-Ontologie.adl index bdf95bde..e7a66da4 100644 --- a/RETINA/StePS - maart 2012/WBP-Ontologie.adl +++ b/RETINA/StePS - maart 2012/WBP-Ontologie.adl @@ -6,7 +6,7 @@ PURPOSE PROCESS "Wbp Hoofdstuk 1 (uitgezonderd paragraaf 2)" --[Persoonsgegevens]-- -CONCEPT Persoonsgegeven "elk gegeven betreffende een geïdentificeerde of identificeerbare natuurlijke persoon." "Artikel 1 sub a Wbp" +CONCEPT Persoonsgegeven "elk gegeven betreffende een geïdentificeerde of identificeerbare natuurlijke persoon." "Artikel 1 sub a Wbp" CONCEPT PersoonsgegevensType "een klasse van persoonsgegevens" persoonsgegevensType :: Persoonsgegeven -> PersoonsgegevensType @@ -132,22 +132,22 @@ PURPOSE RULE "Doel van verwerkingen" REF "Artikel 28 sub b Wbp" verwerkingBetrokkenenCategorie :: Verwerking * BetrokkeneCategorie PRAGMA "" " verzamelt en/of verwerkt gegevens met betrekking tot betrokkenen die behoren tot " PURPOSE RELATION verwerkingBetrokkenenCategorie REF "Artikel 28 sub c Wbp" -{+Een melding van een (geheel of gedeeltelijk geautomatiseerde VERWERKING) als bedoeld in Artikel 27 eerste lid, behelst een opgave van een beschrijving van de categorieën van BETROKKENEn en van de gegevens of categorieën van gegevens die daarop betrekking hebben.+} +{+Een melding van een (geheel of gedeeltelijk geautomatiseerde VERWERKING) als bedoeld in Artikel 27 eerste lid, behelst een opgave van een beschrijving van de categorieën van BETROKKENEn en van de gegevens of categorieën van gegevens die daarop betrekking hebben.+} verwerkingGegevensCategorie :: Verwerking * GegevensCategorie PRAGMA "" " verzamelt en/of verwerkt gegevens die behoren tot " PURPOSE RELATION verwerkingGegevensCategorie REF "Artikel 28 sub c Wbp" -{+Een melding van een (geheel of gedeeltelijk geautomatiseerde VERWERKING) als bedoeld in Artikel 27 eerste lid, behelst een opgave van een beschrijving van de categorieën van BETROKKENEn en van de gegevens of categorieën van gegevens die daarop betrekking hebben.+} +{+Een melding van een (geheel of gedeeltelijk geautomatiseerde VERWERKING) als bedoeld in Artikel 27 eerste lid, behelst een opgave van een beschrijving van de categorieën van BETROKKENEn en van de gegevens of categorieën van gegevens die daarop betrekking hebben.+} verwerkingOntvangerCategorie :: Verwerking * OntvangerCategorie PRAGMA "" " verstrekt gegevens aan partijen die behoren tot " PURPOSE RELATION verwerkingOntvangerCategorie REF "Artikel 28 sub d Wbp" -{+Een melding van een (geheel of gedeeltelijk geautomatiseerde VERWERKING) als bedoeld in Artikel 27 eerste lid, behelst een opgave van de ONTVANGERs of categorieën van ONTVANGERs aan wie de gegevens kunnen worden verstrekt.+} +{+Een melding van een (geheel of gedeeltelijk geautomatiseerde VERWERKING) als bedoeld in Artikel 27 eerste lid, behelst een opgave van de ONTVANGERs of categorieën van ONTVANGERs aan wie de gegevens kunnen worden verstrekt.+} verwerkingOntvanger :: Verwerking * Partij PRAGMA "" " verstrekt gegevens aan " PURPOSE RELATION verwerkingOntvanger REF "Artikel 28 sub d Wbp" -{+Een melding van een (geheel of gedeeltelijk geautomatiseerde VERWERKING) als bedoeld in Artikel 27 eerste lid, behelst een opgave van de ONTVANGERs of categorieën van ONTVANGERs aan wie de gegevens kunnen worden verstrekt.+} +{+Een melding van een (geheel of gedeeltelijk geautomatiseerde VERWERKING) als bedoeld in Artikel 27 eerste lid, behelst een opgave van de ONTVANGERs of categorieën van ONTVANGERs aan wie de gegevens kunnen worden verstrekt.+} verwerkingGegevensDoorgiftenBuitenEU :: Verwerking * DoorgifteBuitenEU PRAGMA "" " geeft gegevens door aan " " (buiten de EU)" @@ -188,7 +188,7 @@ a. ten behoeve van activiteiten met uitsluitend persoonlijke of huishoudelijke d b. door of ten behoeve van de inlichtingen- en veiligheidsdiensten, bedoeld in de Wet op de inlichtingen- en veiligheidsdiensten 2002; c. 2. ten behoeve van de uitvoering van de politietaak, bedoeld in de artikelen 2 en 6, eerste lid, van de Politiewet 1993; d. die is geregeld bij of krachtens de Wet gemeentelijke basisadministratie persoonsgegevens; -e. ten behoeve van de uitvoering van de Wet justitiële en strafvorderlijke gegevens en +e. ten behoeve van de uitvoering van de Wet justitiële en strafvorderlijke gegevens en f. ten behoeve van de uitvoering van de Kieswet. -} PURPOSE RELATION doelWettelijkeGrondslag REF "Artikel 2 derde lid Wbp" diff --git a/RETINA/WBP-Artikel 4.adl b/RETINA/WBP-Artikel 4.adl index 912a7230..528ca0b9 100644 --- a/RETINA/WBP-Artikel 4.adl +++ b/RETINA/WBP-Artikel 4.adl @@ -62,7 +62,7 @@ PURPOSE RELATION externVerantwoordelijke REF "artikel 4 lid 3 WBP" {++} ENDPATTERN ----------------------------------------------------------- POPULATION landBinnenEU CONTAINS - [ ("België", "België") + [ ("België", "België") ; ("Belgie", "Belgie") ; ("Bulgarije", "Bulgarije") ; ("Cyprus", "Cyprus") @@ -74,7 +74,7 @@ POPULATION landBinnenEU CONTAINS ; ("Griekenland", "Griekenland") ; ("Hongarije", "Hongarije") ; ("Ierland", "Ierland") - ; ("Italië", "Italië") + ; ("Italië", "Italië") ; ("Italie", "Italie") ; ("Letland", "Letland") ; ("Litouwen", "Litouwen") @@ -84,13 +84,13 @@ POPULATION landBinnenEU CONTAINS ; ("Oostenrijk", "Oostenrijk") ; ("Polen", "Polen") ; ("Portugal", "Portugal") - ; ("Roemenië", "Roemenië") + ; ("Roemenië", "Roemenië") ; ("Roemenie", "Roemenie") - ; ("Slovenië", "Slovenië") + ; ("Slovenië", "Slovenië") ; ("Slovenie", "Slovenie") ; ("Slowakije", "Slowakije") ; ("Spanje", "Spanje") - ; ("Tsjechië", "Tsjechië") + ; ("Tsjechië", "Tsjechië") ; ("Tsjechie", "Tsjechie") ; ("Verenigd Koninkrijk", "Verenigd Koninkrijk") ; ("Engeland", "Engeland") diff --git a/RETINA/WBP-Glossary.adl b/RETINA/WBP-Glossary.adl index ef02a9ae..9fa996e6 100644 --- a/RETINA/WBP-Glossary.adl +++ b/RETINA/WBP-Glossary.adl @@ -2,7 +2,7 @@ CONTEXT WBPConcepten {- **Artikel 1** In deze wet en de daarop berustende bepalingen wordt verstaan onder: -a. PERSOONSGEGEVEN: elk gegeven betreffende een geïdentificeerde of identificeerbare natuurlijke persoon; +a. PERSOONSGEGEVEN: elk gegeven betreffende een geïdentificeerde of identificeerbare natuurlijke persoon; b. VERWERKING: elke handeling of elk geheel van handelingen met betrekking tot PERSOONSGEGEVENs, waaronder in ieder geval het verzamelen, vastleggen, ordenen, bewaren, bijwerken, wijzigen, opvragen, raadplegen, gebruiken, verstrekken door middel van doorzending, verspreiding of enige andere vorm van terbeschikkingstelling, samenbrengen, met elkaar in verband brengen, alsmede het afschermen, uitwissen of vernietigen van gegevens; c. BESTAND: elk gestructureerd geheel van PERSOONSGEGEVENs, ongeacht of dit geheel van gegevens gecentraliseerd is of verspreid is op een functioneel of geografisch bepaalde wijze, dat volgens bepaalde criteria toegankelijk is en betrekking heeft op verschillende personen; d. VERANTWOORDELIJKE: de natuurlijke persoon, rechtspersoon of ieder ander die of het bestuursorgaan dat, alleen of te zamen met anderen, het doel van en de middelen voor de VERWERKING vaststelt; @@ -29,7 +29,7 @@ CONCEPT Functionaris "de functionaris voor de gegevensbescherming als bedoeld in CONCEPT Melding "een bericht aan het CBP of een Functionaris met betrekking tot een (definetime) verwerking, als bedoeld in artikel 27 Wbp" "artikel 27 Wbp" CONCEPT MinJust "Onze Minister van Justitie" "artikel 1 sub j Wbp" CONCEPT Ontvanger "degene aan wie de persoonsgegevens worden verstrekt" "artikel 1 sub h Wbp" -CONCEPT Persoonsgegeven "elk gegeven betreffende een geïdentificeerde of identificeerbare natuurlijke persoon" "artikel 1 sub a Wbp" +CONCEPT Persoonsgegeven "elk gegeven betreffende een geïdentificeerde of identificeerbare natuurlijke persoon" "artikel 1 sub a Wbp" CONCEPT Toestemming "(van de betrokkene) elke vrije, specifieke en op informatie berustende wilsuiting waarmee de betrokkene aanvaardt dat hem betreffende persoonsgegevens worden verwerkt" "artikel 1 sub i Wbp" CONCEPT Verantwoordelijke "de partij (natuurlijke persoon, rechtspersoon of ieder ander) die of het bestuursorgaan dat, alleen of te zamen met anderen, het doel van en de middelen voor de verwerking van persoonsgegevens vaststelt" "artikel 1 sub d Wbp" CONCEPT Verwerking "(van persoonsgegegevens) elke handeling of elk geheel van handelingen met betrekking tot persoonsgegevens, waaronder in ieder geval het verzamelen, vastleggen, ordenen, bewaren, bijwerken, wijzigen, opvragen, raadplegen, gebruiken, verstrekken door middel van doorzending, verspreiding of enige andere vorm van terbeschikkingstelling, samenbrengen, met elkaar in verband brengen, alsmede het afschermen, uitwissen of vernietigen van gegevens" "artikel 1 sub b Wbp" diff --git a/RETINA/WBP-Ontologie.adl b/RETINA/WBP-Ontologie.adl index fd3fb8b0..30b35988 100644 --- a/RETINA/WBP-Ontologie.adl +++ b/RETINA/WBP-Ontologie.adl @@ -6,7 +6,7 @@ PURPOSE PROCESS "Wbp Hoofdstuk 1 (uitgezonderd paragraaf 2)" --[Persoonsgegevens]-- -CONCEPT Persoonsgegeven "elk gegeven betreffende een geïdentificeerde of identificeerbare natuurlijke persoon." "Artikel 1 sub a Wbp" +CONCEPT Persoonsgegeven "elk gegeven betreffende een geïdentificeerde of identificeerbare natuurlijke persoon." "Artikel 1 sub a Wbp" CONCEPT PersoonsgegevensType "een klasse van persoonsgegevens" persoonsgegevensType :: Persoonsgegeven -> PersoonsgegevensType @@ -131,22 +131,22 @@ PURPOSE RULE "Doel van verwerkingen" REF "Artikel 28 sub b Wbp" verwerkingBetrokkenenCategorie :: Verwerking * BetrokkeneCategorie PRAGMA "" " verzamelt en/of verwerkt gegevens met betrekking tot betrokkenen die behoren tot " PURPOSE RELATION verwerkingBetrokkenenCategorie REF "Artikel 28 sub c Wbp" -{+Een melding van een (geheel of gedeeltelijk geautomatiseerde VERWERKING) als bedoeld in Artikel 27 eerste lid, behelst een opgave van een beschrijving van de categorieën van BETROKKENEn en van de gegevens of categorieën van gegevens die daarop betrekking hebben.+} +{+Een melding van een (geheel of gedeeltelijk geautomatiseerde VERWERKING) als bedoeld in Artikel 27 eerste lid, behelst een opgave van een beschrijving van de categorieën van BETROKKENEn en van de gegevens of categorieën van gegevens die daarop betrekking hebben.+} verwerkingGegevensCategorie :: Verwerking * GegevensCategorie PRAGMA "" " verzamelt en/of verwerkt gegevens die behoren tot " PURPOSE RELATION verwerkingGegevensCategorie REF "Artikel 28 sub c Wbp" -{+Een melding van een (geheel of gedeeltelijk geautomatiseerde VERWERKING) als bedoeld in Artikel 27 eerste lid, behelst een opgave van een beschrijving van de categorieën van BETROKKENEn en van de gegevens of categorieën van gegevens die daarop betrekking hebben.+} +{+Een melding van een (geheel of gedeeltelijk geautomatiseerde VERWERKING) als bedoeld in Artikel 27 eerste lid, behelst een opgave van een beschrijving van de categorieën van BETROKKENEn en van de gegevens of categorieën van gegevens die daarop betrekking hebben.+} verwerkingOntvangerCategorie :: Verwerking * OntvangerCategorie PRAGMA "" " verstrekt gegevens aan partijen die behoren tot " PURPOSE RELATION verwerkingOntvangerCategorie REF "Artikel 28 sub d Wbp" -{+Een melding van een (geheel of gedeeltelijk geautomatiseerde VERWERKING) als bedoeld in Artikel 27 eerste lid, behelst een opgave van de ONTVANGERs of categorieën van ONTVANGERs aan wie de gegevens kunnen worden verstrekt.+} +{+Een melding van een (geheel of gedeeltelijk geautomatiseerde VERWERKING) als bedoeld in Artikel 27 eerste lid, behelst een opgave van de ONTVANGERs of categorieën van ONTVANGERs aan wie de gegevens kunnen worden verstrekt.+} verwerkingOntvanger :: Verwerking * Partij PRAGMA "" " verstrekt gegevens aan " PURPOSE RELATION verwerkingOntvanger REF "Artikel 28 sub d Wbp" -{+Een melding van een (geheel of gedeeltelijk geautomatiseerde VERWERKING) als bedoeld in Artikel 27 eerste lid, behelst een opgave van de ONTVANGERs of categorieën van ONTVANGERs aan wie de gegevens kunnen worden verstrekt.+} +{+Een melding van een (geheel of gedeeltelijk geautomatiseerde VERWERKING) als bedoeld in Artikel 27 eerste lid, behelst een opgave van de ONTVANGERs of categorieën van ONTVANGERs aan wie de gegevens kunnen worden verstrekt.+} verwerkingGegevensDoorgiftenBuitenEU :: Verwerking * DoorgifteBuitenEU PRAGMA "" " geeft gegevens door aan " " (buiten de EU)" @@ -187,7 +187,7 @@ a. ten behoeve van activiteiten met uitsluitend persoonlijke of huishoudelijke d b. door of ten behoeve van de inlichtingen- en veiligheidsdiensten, bedoeld in de Wet op de inlichtingen- en veiligheidsdiensten 2002; c. 2. ten behoeve van de uitvoering van de politietaak, bedoeld in de artikelen 2 en 6, eerste lid, van de Politiewet 1993; d. die is geregeld bij of krachtens de Wet gemeentelijke basisadministratie persoonsgegevens; -e. ten behoeve van de uitvoering van de Wet justitiële en strafvorderlijke gegevens en +e. ten behoeve van de uitvoering van de Wet justitiële en strafvorderlijke gegevens en f. ten behoeve van de uitvoering van de Kieswet. -} PURPOSE RELATION doelWettelijkeGrondslag REF "Artikel 2 derde lid Wbp" diff --git a/SIAM/SIAM.adl b/SIAM/SIAM.adl index a2ae1759..bce74e58 100644 --- a/SIAM/SIAM.adl +++ b/SIAM/SIAM.adl @@ -1,4 +1,4 @@ -CONTEXT "SIAM_Testing" IN ENGLISH -- SIAM: Sessions, Identity- and Access Management +CONTEXT "SIAM_Testing" IN ENGLISH -- SIAM: Sessions, Identity- and Access Management -- This is a stand-alone context used for demonstrating and testing Sessions, Identity and Access Management. -- This is the testing file for SIAM v 2.1 diff --git a/SIAM/SIAM_AccountManagement.ifc b/SIAM/SIAM_AccountManagement.ifc index a5458ae1..67dfa6bc 100644 --- a/SIAM/SIAM_AccountManagement.ifc +++ b/SIAM/SIAM_AccountManagement.ifc @@ -1,4 +1,4 @@ -CONTEXT "AccountAndRoleMgt" IN ENGLISH +CONTEXT "AccountAndRoleMgt" IN ENGLISH -- No support yet for Persona's. ----------------------------------------------------------- diff --git a/SIAM/SIAM_AutoLoginAccount.adl b/SIAM/SIAM_AutoLoginAccount.adl index 333aeeaf..6aee00d7 100644 --- a/SIAM/SIAM_AutoLoginAccount.adl +++ b/SIAM/SIAM_AutoLoginAccount.adl @@ -1,4 +1,4 @@ -CONTEXT "AutoLogin" IN ENGLISH +CONTEXT "AutoLogin" IN ENGLISH -- This file implements the auto-login feature, i.e. it defines the property `autoLoginAccount`. RELATION autoLoginAccount[Account*Account] [PROP] -- An account that has this property is automatically logged in. diff --git a/SIAM/SIAM_Developer.ifc b/SIAM/SIAM_Developer.ifc index c40066f5..28f7d004 100644 --- a/SIAM/SIAM_Developer.ifc +++ b/SIAM/SIAM_Developer.ifc @@ -1,4 +1,4 @@ -CONTEXT "DeveloperIfc" IN ENGLISH +CONTEXT "DeveloperIfc" IN ENGLISH -- No support yet for Persona's. ----------------------------------------------------------- diff --git a/SIAM/SIAM_GodAccounts.adl b/SIAM/SIAM_GodAccounts.adl index fb3e44c1..7667ce0e 100644 --- a/SIAM/SIAM_GodAccounts.adl +++ b/SIAM/SIAM_GodAccounts.adl @@ -1,4 +1,4 @@ -CONTEXT "GodAccounts" IN ENGLISH +CONTEXT "GodAccounts" IN ENGLISH -- This file implements the 'God-accounts' feature, i.e. it defines the property `accIsGodAccount`. PURPOSE RELATION accIsGodAccount diff --git a/SIAM/SIAM_Login.adl b/SIAM/SIAM_Login.adl index 55053043..26ce4a4a 100644 --- a/SIAM/SIAM_Login.adl +++ b/SIAM/SIAM_Login.adl @@ -1,4 +1,4 @@ -CONTEXT "Login" IN ENGLISH LATEX +CONTEXT "Login" IN ENGLISH LATEX PURPOSE CONTEXT "Login" {+Het 'inloggen' (van een user in een session) bestaat uit \begin{itemize} diff --git a/SIAM/SIAM_Login.ifc b/SIAM/SIAM_Login.ifc index c64654b3..bfcfcf93 100644 --- a/SIAM/SIAM_Login.ifc +++ b/SIAM/SIAM_Login.ifc @@ -1,4 +1,4 @@ -CONTEXT "Login" IN ENGLISH LATEX +CONTEXT "Login" IN ENGLISH LATEX ----------------------------------------------------------- INTERFACE "Login": "_SESSION"[SESSION] cRud BOX
diff --git a/SIAM/SIAM_LoginISOAuthLevels.adl b/SIAM/SIAM_LoginISOAuthLevels.adl index 9d0276d9..6e57f375 100644 --- a/SIAM/SIAM_LoginISOAuthLevels.adl +++ b/SIAM/SIAM_LoginISOAuthLevels.adl @@ -1,4 +1,4 @@ -CONTEXT "ISO Authentication levels" IN ENGLISH LATEX +CONTEXT "ISO Authentication levels" IN ENGLISH LATEX PURPOSE CONTEXT "ISO Authentication levels" {+This file implements the basic relations and rules that are required for LoA's (Level of Assurance), according to the specifications thereof in diff --git a/SIAM/SIAM_LoginLogging.adl b/SIAM/SIAM_LoginLogging.adl index fc8d26af..dfa531d1 100644 --- a/SIAM/SIAM_LoginLogging.adl +++ b/SIAM/SIAM_LoginLogging.adl @@ -1,4 +1,4 @@ -CONTEXT "LoginLoggingService" IN ENGLISH +CONTEXT "LoginLoggingService" IN ENGLISH {- This service maintains the following rules: * `accMostRecentLogin` contains the time at which the latest login has been performed. * `accLoginTimestamps` contains all times at which a login took place (in a new session). diff --git a/SIAM/SIAM_LoginStub.adl b/SIAM/SIAM_LoginStub.adl index 99ba18bd..75268cd9 100644 --- a/SIAM/SIAM_LoginStub.adl +++ b/SIAM/SIAM_LoginStub.adl @@ -1,4 +1,4 @@ -CONTEXT "LoginStub" IN ENGLISH +CONTEXT "LoginStub" IN ENGLISH {- The purpose of this file is to be included in any script that must run without a functioning LOGIN facility, while it is enabled in `localSettings.php`. It is a stub for: - "SIAM_Login.adl", and/or - "SIAM_Login.ifc", and/or diff --git a/SIAM/SIAM_LoginUsingIdPs.adl b/SIAM/SIAM_LoginUsingIdPs.adl index b75f168e..4d7c985a 100644 --- a/SIAM/SIAM_LoginUsingIdPs.adl +++ b/SIAM/SIAM_LoginUsingIdPs.adl @@ -1,4 +1,4 @@ -CONTEXT UserIdentifiers IN ENGLISH +CONTEXT UserIdentifiers IN ENGLISH PURPOSE CONTEXT UserIdentifiers {+ While the easiest way for authenticating users is using usernames and passwords, a more state-of-the-art approach is to use third party Identity Providers for this. diff --git a/SIAM/SIAM_LoginWithAssistance.ifc b/SIAM/SIAM_LoginWithAssistance.ifc index aa740e65..eea6389c 100644 --- a/SIAM/SIAM_LoginWithAssistance.ifc +++ b/SIAM/SIAM_LoginWithAssistance.ifc @@ -1,4 +1,4 @@ -CONTEXT "LoginWithAssistance" IN ENGLISH LATEX +CONTEXT "LoginWithAssistance" IN ENGLISH LATEX {-This script is intended to be reusable, and for INCLUDEsion in your own scripts. This interface provides you with LOGIN functionality. It is particularly suited for developers, since it allows you to select an account diff --git a/SIAM/SIAM_LoginWithAssistanceAndAuthLevels.ifc b/SIAM/SIAM_LoginWithAssistanceAndAuthLevels.ifc index 63d695f6..e59e9422 100644 --- a/SIAM/SIAM_LoginWithAssistanceAndAuthLevels.ifc +++ b/SIAM/SIAM_LoginWithAssistanceAndAuthLevels.ifc @@ -1,4 +1,4 @@ -CONTEXT "LoginWithAssistanceAndAuthLevels" IN ENGLISH LATEX +CONTEXT "LoginWithAssistanceAndAuthLevels" IN ENGLISH LATEX {-This script is intended to be reusable, and for INCLUDEsion in your own scripts. This interface provides you with LOGIN functionality. It is particularly suited for developers, since it allows you to select an account diff --git a/SIAM/SIAM_LoginWithIdP.ifc b/SIAM/SIAM_LoginWithIdP.ifc index 3c1765cb..72863951 100644 --- a/SIAM/SIAM_LoginWithIdP.ifc +++ b/SIAM/SIAM_LoginWithIdP.ifc @@ -1,4 +1,4 @@ -CONTEXT "LoginWithIdP" IN ENGLISH LATEX +CONTEXT "LoginWithIdP" IN ENGLISH LATEX ----------------------------------------------------------- PURPOSE CONTEXT "LoginWithIdP" {+This context provides the stuff that is needed to call an (external) IdP for doing the authentication for us. diff --git a/SIAM/SIAM_Module-example.adl b/SIAM/SIAM_Module-example.adl index 895602e2..fd39d3e2 100644 --- a/SIAM/SIAM_Module-example.adl +++ b/SIAM/SIAM_Module-example.adl @@ -1,4 +1,4 @@ -CONTEXT SIAMv2_1 IN ENGLISH -- SIAM: Sessions, Identity- and Access Management +CONTEXT SIAMv2_1 IN ENGLISH -- SIAM: Sessions, Identity- and Access Management -- The purpose of this file is to provide an easy way for users of the module to include SIAM functionality. -- This is the example loader file for SIAM v 2.1 diff --git a/SIAM/SIAM_Module-versioning.adl b/SIAM/SIAM_Module-versioning.adl index 1a288fb3..dd8bd905 100644 --- a/SIAM/SIAM_Module-versioning.adl +++ b/SIAM/SIAM_Module-versioning.adl @@ -1,4 +1,4 @@ -CONTEXT SIAM_Module_Versioning IN ENGLISH +CONTEXT SIAM_Module_Versioning IN ENGLISH {- This is the version file for SIAM v 2.0. When upgrading from a previous version (i.e. the unversioned situation, which is considered to be SIAM v 1.0), you should: - check the files that you imported from your own SIAM_Module import file, as v 2.0 has separated features that used to be embedded in other files, so that you may choose to include them or leave them out. See the SIAM_Module-example.adl files for details. -} diff --git a/SIAM/SIAM_OrgReg.adl b/SIAM/SIAM_OrgReg.adl index f460afca..723679a5 100644 --- a/SIAM/SIAM_OrgReg.adl +++ b/SIAM/SIAM_OrgReg.adl @@ -1,4 +1,4 @@ -CONTEXT "Organization Registration" IN ENGLISH +CONTEXT "Organization Registration" IN ENGLISH {- This is a stand-alone file that implements an Organization registration is a minimalistic fashion. Note that it does not contain an IDENT statement, so as to allow for easy extensions. -} diff --git a/SIAM/SIAM_OrgReg.ifc b/SIAM/SIAM_OrgReg.ifc index b7c39c0f..acf45971 100644 --- a/SIAM/SIAM_OrgReg.ifc +++ b/SIAM/SIAM_OrgReg.ifc @@ -1,4 +1,4 @@ -CONTEXT "Organization Registration Interfaces" IN ENGLISH +CONTEXT "Organization Registration Interfaces" IN ENGLISH ----------------------------------------------------------- VIEW Organizations: Organization DEFAULT { "org": orgAbbrName } ENDVIEW diff --git a/SIAM/SIAM_PersonOrgs.adl b/SIAM/SIAM_PersonOrgs.adl index 4483a0fb..4f162ef7 100644 --- a/SIAM/SIAM_PersonOrgs.adl +++ b/SIAM/SIAM_PersonOrgs.adl @@ -1,4 +1,4 @@ -CONTEXT "PersonOrgs" IN ENGLISH +CONTEXT "PersonOrgs" IN ENGLISH -- Extension that defines (and maintains the population of) relation `personOrg`. RELATION personOrg[Person*Organization] -- Person has an account that also has the Organization, i.e. `personOrg = accPerson~;accOrg` diff --git a/SIAM/SIAM_PersonReg.adl b/SIAM/SIAM_PersonReg.adl index 6f44e58e..267786f2 100644 --- a/SIAM/SIAM_PersonReg.adl +++ b/SIAM/SIAM_PersonReg.adl @@ -1,4 +1,4 @@ -CONTEXT "Person Registration" IN ENGLISH +CONTEXT "Person Registration" IN ENGLISH {- This is a stand-alone file that implements a Person registration is a minimalistic fashion. Note that it does not contain an IDENT statement, so as to allow for easy extensions. -} diff --git a/SIAM/SIAM_PersonReg.ifc b/SIAM/SIAM_PersonReg.ifc index 0ab23e22..394f15d1 100644 --- a/SIAM/SIAM_PersonReg.ifc +++ b/SIAM/SIAM_PersonReg.ifc @@ -1,4 +1,4 @@ -CONTEXT "Person Registration Interfaces" IN ENGLISH +CONTEXT "Person Registration Interfaces" IN ENGLISH ----------------------------------------------------------- VIEW Persons : Person DEFAULT diff --git a/SIAM/SIAM_Persona.adl b/SIAM/SIAM_Persona.adl index ac43cbad..31cfd7fa 100644 --- a/SIAM/SIAM_Persona.adl +++ b/SIAM/SIAM_Persona.adl @@ -1,4 +1,4 @@ -CONTEXT "Persona" IN ENGLISH +CONTEXT "Persona" IN ENGLISH PURPOSE CONTEXT "Persona" {+ There is a subtle difference between Actors (that perform actions) and Parties that are responsible for such actions (or better: accountable). diff --git a/SIAM/SIAM_Persona.ifc b/SIAM/SIAM_Persona.ifc index 92569a24..5da55548 100644 --- a/SIAM/SIAM_Persona.ifc +++ b/SIAM/SIAM_Persona.ifc @@ -1,4 +1,4 @@ -CONTEXT "Persona Interfaces" IN ENGLISH +CONTEXT "Persona Interfaces" IN ENGLISH ----------------------------------------------------------- VIEW Persona: Persona DEFAULT diff --git a/SIAM/SIAM_Roles.adl b/SIAM/SIAM_Roles.adl index 6ec67ab0..7840c6b9 100644 --- a/SIAM/SIAM_Roles.adl +++ b/SIAM/SIAM_Roles.adl @@ -1,4 +1,4 @@ -CONTEXT "Roles" IN ENGLISH +CONTEXT "Roles" IN ENGLISH PURPOSE CONTEXT "Roles" {+This context defines Accounts, i.e. registrations (of attributes) of Persona from a (web)Service Provider's perspective. Examples of such attributes are usernames, passwords, roles. diff --git a/SIAM/SIAM_SessionSuspension.adl b/SIAM/SIAM_SessionSuspension.adl index 20707ae9..0d28cc56 100644 --- a/SIAM/SIAM_SessionSuspension.adl +++ b/SIAM/SIAM_SessionSuspension.adl @@ -1,4 +1,4 @@ -CONTEXT "SessionSuspension" IN ENGLISH LATEX +CONTEXT "SessionSuspension" IN ENGLISH LATEX --[Session deactivation/reactivation]-- diff --git a/SIAMv3/SIAM_AccountManagement.ifc b/SIAMv3/SIAM_AccountManagement.ifc index c228a9f4..367f688d 100644 --- a/SIAMv3/SIAM_AccountManagement.ifc +++ b/SIAMv3/SIAM_AccountManagement.ifc @@ -1,4 +1,4 @@ -CONTEXT "AccountAndRoleMgt" IN ENGLISH +CONTEXT "AccountAndRoleMgt" IN ENGLISH -- No support yet for Persona's. ----------------------------------------------------------- diff --git a/SIAMv3/SIAM_AccountSessionRoles.adl b/SIAMv3/SIAM_AccountSessionRoles.adl index ea4be041..a54a0eac 100644 --- a/SIAMv3/SIAM_AccountSessionRoles.adl +++ b/SIAMv3/SIAM_AccountSessionRoles.adl @@ -1,4 +1,4 @@ -CONTEXT "Accounts, Sessions and Roles" IN ENGLISH LATEX +CONTEXT "Accounts, Sessions and Roles" IN ENGLISH LATEX PURPOSE CONTEXT "Accounts, Sessions and Roles" {+This context defines Accounts, Sessions and Roles. diff --git a/SIAMv3/SIAM_AgentAccRegistration.adl b/SIAMv3/SIAM_AgentAccRegistration.adl index 7965f3bb..a1fd6903 100644 --- a/SIAMv3/SIAM_AgentAccRegistration.adl +++ b/SIAMv3/SIAM_AgentAccRegistration.adl @@ -1,4 +1,4 @@ -CONTEXT "AgentAccount Registration" IN ENGLISH +CONTEXT "AgentAccount Registration" IN ENGLISH PURPOSE CONTEXT "AgentAccount Registration" {+ This file specifies a basic AgentAccount Registration Form (AARForm), as well as - the means to use it in various INTERFACEs, and diff --git a/SIAMv3/SIAM_AgentAccountsForAPIs.adl b/SIAMv3/SIAM_AgentAccountsForAPIs.adl index 5c645adc..ddf135e4 100644 --- a/SIAMv3/SIAM_AgentAccountsForAPIs.adl +++ b/SIAMv3/SIAM_AgentAccountsForAPIs.adl @@ -1,4 +1,4 @@ -CONTEXT SIAM_AgentAccountsForAPIs +CONTEXT SIAM_AgentAccountsForAPIs PURPOSE CONTEXT SIAM_AgentAccountsForAPIs {+Webservers may provide APIs that allow other electronic components (which we call Agents) to connect to that server through an Application Programming Interface (API). diff --git a/SIAMv3/SIAM_AgentRefs.adl b/SIAMv3/SIAM_AgentRefs.adl index 8b486f4e..d492a170 100644 --- a/SIAMv3/SIAM_AgentRefs.adl +++ b/SIAMv3/SIAM_AgentRefs.adl @@ -1,4 +1,4 @@ -CONTEXT "Agent References" IN ENGLISH +CONTEXT "Agent References" IN ENGLISH {- The purpose of this file is to provide 'AgentRef's, i.e. textstrings that may be used to refer to an Agent. -} diff --git a/SIAMv3/SIAM_AgentReg.adl b/SIAMv3/SIAM_AgentReg.adl index ead9ab92..933e2c34 100644 --- a/SIAMv3/SIAM_AgentReg.adl +++ b/SIAMv3/SIAM_AgentReg.adl @@ -1,4 +1,4 @@ -CONTEXT "Agent Registration" IN ENGLISH +CONTEXT "Agent Registration" IN ENGLISH {- This extension to `SIAM_AgentRefs.adl` implements an Agent registration in a relatively minimalistic fashion. The purpose of this file is to provide a set of 'standard' relations that are commonly re-used in different projects. Note that it does not contain an IDENT statement, so as to allow for easy extensions of the `Agent` concept. diff --git a/SIAMv3/SIAM_AutoLoginAccount.adl b/SIAMv3/SIAM_AutoLoginAccount.adl index f92f3bc0..382b9520 100644 --- a/SIAMv3/SIAM_AutoLoginAccount.adl +++ b/SIAMv3/SIAM_AutoLoginAccount.adl @@ -1,4 +1,4 @@ -CONTEXT "AutoLogin" IN ENGLISH +CONTEXT "AutoLogin" IN ENGLISH -- This file implements the auto-login feature, i.e. it defines the property `accAutoLoginReq`. RELATION accAutoLoginReq[Account*Account] [PROP] -- An account that has this property is automatically logged in. diff --git a/SIAMv3/SIAM_Developer.ifc b/SIAMv3/SIAM_Developer.ifc index 9fbdd237..63250f8a 100644 --- a/SIAMv3/SIAM_Developer.ifc +++ b/SIAMv3/SIAM_Developer.ifc @@ -1,4 +1,4 @@ -CONTEXT "DeveloperIfc" IN ENGLISH +CONTEXT "DeveloperIfc" IN ENGLISH INTERFACE "[Developer]" FOR Anonymous, User: "_SESSION" cRud TABS [ "This Session" : I cRud ROWS diff --git a/SIAMv3/SIAM_DistributedIDs.adl b/SIAMv3/SIAM_DistributedIDs.adl index 3e924cce..6ce4a0c2 100644 --- a/SIAMv3/SIAM_DistributedIDs.adl +++ b/SIAMv3/SIAM_DistributedIDs.adl @@ -1,4 +1,4 @@ -CONTEXT "DIDs" +CONTEXT "DIDs" -- See https://w3c-ccg.github.io/did-spec/ CONCEPT DIDDoc "DID Document (see https://w3c-ccg.github.io/did-spec/)" diff --git a/SIAMv3/SIAM_GodAccounts.adl b/SIAMv3/SIAM_GodAccounts.adl index 8189efc2..0e76d9d1 100644 --- a/SIAMv3/SIAM_GodAccounts.adl +++ b/SIAMv3/SIAM_GodAccounts.adl @@ -1,4 +1,4 @@ -CONTEXT "GodAccounts" IN ENGLISH +CONTEXT "GodAccounts" IN ENGLISH -- This file implements the 'God-accounts' feature, i.e. it defines the property `accIsGodAccount`. PURPOSE RELATION accIsGodAccount diff --git a/SIAMv3/SIAM_ISO_LoA.adl b/SIAMv3/SIAM_ISO_LoA.adl index 095d22b5..e05b25ab 100644 --- a/SIAMv3/SIAM_ISO_LoA.adl +++ b/SIAMv3/SIAM_ISO_LoA.adl @@ -1,4 +1,4 @@ -CONTEXT "Levels of Assurance" IN ENGLISH LATEX +CONTEXT "Levels of Assurance" IN ENGLISH LATEX PURPOSE CONTEXT "Levels of Assurance" {+This file implements the basic relations and rules that are required for LoA's (Level of Assurance). There are several kinds of LoA's, e.g.: diff --git a/SIAMv3/SIAM_LoginForDevelopers.ifc b/SIAMv3/SIAM_LoginForDevelopers.ifc index bdeb719e..665323f9 100644 --- a/SIAMv3/SIAM_LoginForDevelopers.ifc +++ b/SIAMv3/SIAM_LoginForDevelopers.ifc @@ -1,4 +1,4 @@ -CONTEXT "LoginForDevelopers" IN ENGLISH LATEX +CONTEXT "LoginForDevelopers" IN ENGLISH LATEX {-This script is intended to be reusable, and for INCLUDEsion in your own scripts. This interface provides you with LOGIN functionality. It is particularly suited for developers, since it allows you to select an account diff --git a/SIAMv3/SIAM_LoginLogging.adl b/SIAMv3/SIAM_LoginLogging.adl index fcdb7f07..811c6d25 100644 --- a/SIAMv3/SIAM_LoginLogging.adl +++ b/SIAMv3/SIAM_LoginLogging.adl @@ -1,4 +1,4 @@ -CONTEXT "LoginLoggingService" IN ENGLISH +CONTEXT "LoginLoggingService" IN ENGLISH {- This service maintains the following rules: * `accMostRecentLogin` contains the time at which the latest login has been performed. * `accLoginTimestamps` contains all times at which a login took place (in a new session). diff --git a/SIAMv3/SIAM_LoginWithUID.adl b/SIAMv3/SIAM_LoginWithUID.adl index b4d21743..e54ffcb1 100644 --- a/SIAMv3/SIAM_LoginWithUID.adl +++ b/SIAMv3/SIAM_LoginWithUID.adl @@ -1,4 +1,4 @@ -CONTEXT "Login with Userid and Issuer (IdP)" IN ENGLISH +CONTEXT "Login with Userid and Issuer (IdP)" IN ENGLISH PURPOSE CONTEXT "Login with Userid and Issuer (IdP)" {+ While the easiest way for authenticating users is using usernames and passwords, a more state-of-the-art approach is to use third party Identity Providers for this. diff --git a/SIAMv3/SIAM_LoginWithUID.ifc b/SIAMv3/SIAM_LoginWithUID.ifc index 4ab955d4..b230f87e 100644 --- a/SIAMv3/SIAM_LoginWithUID.ifc +++ b/SIAMv3/SIAM_LoginWithUID.ifc @@ -1,4 +1,4 @@ -CONTEXT "LoginWithUID" IN ENGLISH LATEX +CONTEXT "LoginWithUID" IN ENGLISH LATEX ----------------------------------------------------------- PURPOSE CONTEXT "LoginWithUID" {+This context provides the stuff that is needed to call an (external) IdP for doing the authentication for us.+} diff --git a/SIAMv3/SIAM_LoginWithUPW.adl b/SIAMv3/SIAM_LoginWithUPW.adl index b38b778a..2bbc41b1 100644 --- a/SIAMv3/SIAM_LoginWithUPW.adl +++ b/SIAMv3/SIAM_LoginWithUPW.adl @@ -1,4 +1,4 @@ -CONTEXT "Login with Username and Password" IN ENGLISH +CONTEXT "Login with Username and Password" IN ENGLISH PURPOSE CONTEXT "Login with Username and Password" {+Het 'inloggen' (van een user in een session) met Username en Password bestaat uit \begin{itemize} diff --git a/SIAMv3/SIAM_LoginWithUPW.ifc b/SIAMv3/SIAM_LoginWithUPW.ifc index db284dbc..98cc58f0 100644 --- a/SIAMv3/SIAM_LoginWithUPW.ifc +++ b/SIAMv3/SIAM_LoginWithUPW.ifc @@ -1,4 +1,4 @@ -CONTEXT "Login" IN ENGLISH LATEX +CONTEXT "Login" IN ENGLISH LATEX ----------------------------------------------------------- {- This file contains an INTERFACE by which a user can: - Login (with a username and password) diff --git a/SIAMv3/SIAM_Logout.ifc b/SIAMv3/SIAM_Logout.ifc index 9dc421f3..598ee614 100644 --- a/SIAMv3/SIAM_Logout.ifc +++ b/SIAMv3/SIAM_Logout.ifc @@ -1,4 +1,4 @@ -CONTEXT "Logout" +CONTEXT "Logout" -- This interface can be used as part of various other interfaces. INTERFACE "Logout" FOR User: "_SESSION"[SESSION];sessionIsUser cRud BOX diff --git a/SIAMv3/SIAM_Module-versioning.adl b/SIAMv3/SIAM_Module-versioning.adl index 8ab7a261..e976aa38 100644 --- a/SIAMv3/SIAM_Module-versioning.adl +++ b/SIAMv3/SIAM_Module-versioning.adl @@ -1,4 +1,4 @@ -CONTEXT SIAM_Module_Versioning IN ENGLISH +CONTEXT SIAM_Module_Versioning IN ENGLISH {- This is the version definition file for the SIAM module. We assume that - users use their own SIAM module loader file, and diff --git a/SIAMv3/SIAM_OrgRefs.adl b/SIAMv3/SIAM_OrgRefs.adl index 4b766a86..7d23d742 100644 --- a/SIAMv3/SIAM_OrgRefs.adl +++ b/SIAMv3/SIAM_OrgRefs.adl @@ -1,4 +1,4 @@ -CONTEXT "Organization References" IN ENGLISH +CONTEXT "Organization References" IN ENGLISH {- The purpose of this file is to provide 'OrgRef's, i.e. textstrings that may be used to refer to an organization. -} diff --git a/SIAMv3/SIAM_OrgReg.adl b/SIAMv3/SIAM_OrgReg.adl index 3f3aea5a..76044fe7 100644 --- a/SIAMv3/SIAM_OrgReg.adl +++ b/SIAMv3/SIAM_OrgReg.adl @@ -1,4 +1,4 @@ -CONTEXT "Organization Registration" IN ENGLISH +CONTEXT "Organization Registration" IN ENGLISH {- This is a stand-alone file that implements an Organization registration is a relatively minimalistic fashion. The purpose of this file is to provide a set of 'standard' relations that are commonly re-used in different projects. Note that it does not contain an IDENT statement, so as to allow for easy extensions. diff --git a/SIAMv3/SIAM_OrgReg.ifc b/SIAMv3/SIAM_OrgReg.ifc index b7c39c0f..acf45971 100644 --- a/SIAMv3/SIAM_OrgReg.ifc +++ b/SIAMv3/SIAM_OrgReg.ifc @@ -1,4 +1,4 @@ -CONTEXT "Organization Registration Interfaces" IN ENGLISH +CONTEXT "Organization Registration Interfaces" IN ENGLISH ----------------------------------------------------------- VIEW Organizations: Organization DEFAULT { "org": orgAbbrName } ENDVIEW diff --git a/SIAMv3/SIAM_PersonOrgs.adl b/SIAMv3/SIAM_PersonOrgs.adl index 97c9ed98..4051bdb0 100644 --- a/SIAMv3/SIAM_PersonOrgs.adl +++ b/SIAMv3/SIAM_PersonOrgs.adl @@ -1,4 +1,4 @@ -CONTEXT "PersonOrgs" IN ENGLISH +CONTEXT "PersonOrgs" IN ENGLISH -- Extension that defines (and maintains the population of) relation `personOrg`. personOrg :: Person * Organization -- Person has an account that also has the Organization, i.e. `personOrg = accPerson~;accOrg` diff --git a/SIAMv3/SIAM_PersonRefs.adl b/SIAMv3/SIAM_PersonRefs.adl index 6219881b..5c7e7d5f 100644 --- a/SIAMv3/SIAM_PersonRefs.adl +++ b/SIAMv3/SIAM_PersonRefs.adl @@ -1,4 +1,4 @@ -CONTEXT "Person References" IN ENGLISH +CONTEXT "Person References" IN ENGLISH {- The purpose of this file is to provide 'PersonRef's, i.e. textstrings that may be used to refer to a person. -} diff --git a/SIAMv3/SIAM_PersonReg.adl b/SIAMv3/SIAM_PersonReg.adl index e17e4f6c..10e29a58 100644 --- a/SIAMv3/SIAM_PersonReg.adl +++ b/SIAMv3/SIAM_PersonReg.adl @@ -1,4 +1,4 @@ -CONTEXT "Person Registration" IN ENGLISH +CONTEXT "Person Registration" IN ENGLISH {- This extension to `SIAM_PeronRefs.adl` implements a Person registration is a relatively minimalistic fashion. The purpose of this file is to provide a set of 'standard' relations that are commonly re-used in different projects. Note that it does not contain an IDENT statement, so as to allow for easy extensions of the `Person` concept. diff --git a/SIAMv3/SIAM_PersonReg.ifc b/SIAMv3/SIAM_PersonReg.ifc index 5007f383..728933fb 100644 --- a/SIAMv3/SIAM_PersonReg.ifc +++ b/SIAMv3/SIAM_PersonReg.ifc @@ -1,4 +1,4 @@ -CONTEXT "Person Registration Interfaces" IN ENGLISH +CONTEXT "Person Registration Interfaces" IN ENGLISH ----------------------------------------------------------- VIEW Persons : Person DEFAULT diff --git a/SIAMv3/SIAM_PersonRegExts.adl b/SIAMv3/SIAM_PersonRegExts.adl index 90d9ee8d..4cc9d5d8 100644 --- a/SIAMv3/SIAM_PersonRegExts.adl +++ b/SIAMv3/SIAM_PersonRegExts.adl @@ -1,4 +1,4 @@ -CONTEXT "Person Registration Extensions" IN ENGLISH +CONTEXT "Person Registration Extensions" IN ENGLISH {- This file contains relations for the concept Person that are not in the minimal set, but since they are commonly used, justify to be defined. As such, this file provides a set of 'standard' add-on relations to be re-used in different projects. diff --git a/SIAMv3/SIAM_Persona.adl b/SIAMv3/SIAM_Persona.adl index 12be3459..ebd7f4c6 100644 --- a/SIAMv3/SIAM_Persona.adl +++ b/SIAMv3/SIAM_Persona.adl @@ -1,4 +1,4 @@ -CONTEXT "Persona" IN ENGLISH +CONTEXT "Persona" IN ENGLISH PURPOSE CONTEXT "Persona" {+ There is a subtle difference between Actors (that perform actions) and Parties that are responsible for such actions (or better: accountable). diff --git a/SIAMv3/SIAM_Persona.ifc b/SIAMv3/SIAM_Persona.ifc index 01ee632a..caac28fa 100644 --- a/SIAMv3/SIAM_Persona.ifc +++ b/SIAMv3/SIAM_Persona.ifc @@ -1,4 +1,4 @@ -CONTEXT "Persona Interfaces" IN ENGLISH +CONTEXT "Persona Interfaces" IN ENGLISH ----------------------------------------------------------- VIEW Persona: Persona DEFAULT diff --git a/SIAMv3/SIAM_RegisterWithUID.adl b/SIAMv3/SIAM_RegisterWithUID.adl index e54485ed..4c69f538 100644 --- a/SIAMv3/SIAM_RegisterWithUID.adl +++ b/SIAMv3/SIAM_RegisterWithUID.adl @@ -1,4 +1,4 @@ -CONTEXT "Register an Account based on a third party UID" IN ENGLISH +CONTEXT "Register an Account based on a third party UID" IN ENGLISH PURPOSE CONTEXT "Register an Account based on a third party UID" {+ When a user logs in using a third party IdP, the (authenticated) UID may not be known, diff --git a/SIAMv3/SIAM_RegisterWithUPW.adl b/SIAMv3/SIAM_RegisterWithUPW.adl index 94c8a14c..05703a5f 100644 --- a/SIAMv3/SIAM_RegisterWithUPW.adl +++ b/SIAMv3/SIAM_RegisterWithUPW.adl @@ -1,4 +1,4 @@ -CONTEXT "Account Registration" IN ENGLISH +CONTEXT "Account Registration" IN ENGLISH PURPOSE CONTEXT "Account Registration" {+ This file specifies a basic Account Registration Form (AccRegForm or ARF), as well as - the means to use it in various INTERFACEs, and diff --git a/SIAMv3/SIAM_RegisterWithUPW.ifc b/SIAMv3/SIAM_RegisterWithUPW.ifc index 12fa5560..864e12f6 100644 --- a/SIAMv3/SIAM_RegisterWithUPW.ifc +++ b/SIAMv3/SIAM_RegisterWithUPW.ifc @@ -1,4 +1,4 @@ -CONTEXT "Account Registration Interface" +CONTEXT "Account Registration Interface" INTERFACE "AccRegForm" FOR SYSTEM: I[AccRegForm] cRud ROWS [ "Userid (*)" : arfUserid cRUd diff --git a/SIAMv3/SIAM_SessionSuspension.adl b/SIAMv3/SIAM_SessionSuspension.adl index 12f60061..849e3733 100644 --- a/SIAMv3/SIAM_SessionSuspension.adl +++ b/SIAMv3/SIAM_SessionSuspension.adl @@ -1,4 +1,4 @@ -CONTEXT "SessionSuspension" IN ENGLISH LATEX +CONTEXT "SessionSuspension" IN ENGLISH LATEX --[Session deactivation/reactivation]---------------------- diff --git a/SIAMv3/SIAMv3.adl b/SIAMv3/SIAMv3.adl index 0af97abe..62d2c3c3 100644 --- a/SIAMv3/SIAMv3.adl +++ b/SIAMv3/SIAMv3.adl @@ -1,4 +1,4 @@ -CONTEXT "SIAM_Testing" IN ENGLISH -- SIAM: Sessions, Identity- and Access Management +CONTEXT "SIAM_Testing" IN ENGLISH -- SIAM: Sessions, Identity- and Access Management -- This is a stand-alone context used for demonstrating and testing Sessions, Identity and Access Management. --! git@ci.tno.nl:ampersand/models.git has the authoratative source of SIAMv3 diff --git a/SIAMv3/SIAMv3_Module-example.adl b/SIAMv3/SIAMv3_Module-example.adl index b5e3fd2e..aac5ae1f 100644 --- a/SIAMv3/SIAMv3_Module-example.adl +++ b/SIAMv3/SIAMv3_Module-example.adl @@ -1,4 +1,4 @@ -CONTEXT SIAMv3_0 IN ENGLISH -- SIAM: Sessions, Identity- and Access Management +CONTEXT SIAMv3_0 IN ENGLISH -- SIAM: Sessions, Identity- and Access Management -- The purpose of this file is to provide an easy way for users of the module to include SIAM functionality. --! git@ci.tno.nl:ampersand/models.git has the authoratative source of SIAMv3 diff --git a/SIAMv4_Module-example.adl b/SIAMv4_Module-example.adl index 92123194..b8ca4521 100644 --- a/SIAMv4_Module-example.adl +++ b/SIAMv4_Module-example.adl @@ -1,4 +1,4 @@ -CONTEXT SIAMv4_0 IN ENGLISH -- SIAM: Sessions, Identity- and Access Management +CONTEXT SIAMv4_0 IN ENGLISH -- SIAM: Sessions, Identity- and Access Management -- The purpose of this file is to provide an easy way for users of the module to include SIAM functionality. --! git@ci.tno.nl:ampersand/ssif.git has the authoratative source of SIAMv4 diff --git a/Sequences/SeqInterfacing.svc b/Sequences/SeqInterfacing.svc index b9b271e2..9e8a63c4 100644 --- a/Sequences/SeqInterfacing.svc +++ b/Sequences/SeqInterfacing.svc @@ -1,4 +1,4 @@ -CONTEXT SequenceInterfacingServices IN ENGLISH MARKDOWN +CONTEXT SequenceInterfacingServices IN ENGLISH MARKDOWN PURPOSE CONTEXT SequenceInterfacingServices {+This CONTEXT contains a number of services that are useful in interfacing. They include: - Remove an existing item from a sequence (but not delete it); diff --git a/Sequences/SeqItemNumbering.ifc b/Sequences/SeqItemNumbering.ifc index 0fc338af..13dc8ce1 100644 --- a/Sequences/SeqItemNumbering.ifc +++ b/Sequences/SeqItemNumbering.ifc @@ -1,4 +1,4 @@ -CONTEXT "SeqItemNumberingInterface" IN ENGLISH +CONTEXT "SeqItemNumberingInterface" IN ENGLISH INTERFACE "SeqItemNumbering": '_SESSION' cRud ROWS [ "New Sequence" : sessionNewSeq cRUd diff --git a/Sequences/SeqItemNumbering.svc b/Sequences/SeqItemNumbering.svc index 6773903a..f626e03b 100644 --- a/Sequences/SeqItemNumbering.svc +++ b/Sequences/SeqItemNumbering.svc @@ -1,4 +1,4 @@ -CONTEXT SequenceItemNumberingService IN ENGLISH MARKDOWN +CONTEXT SequenceItemNumberingService IN ENGLISH MARKDOWN PURPOSE CONTEXT SequenceItemNumberingService {+ The purpose of this Service is to ensure that (its postcondition is true, being): all Items in a Sequence that has defined a sequence item value number for its first item diff --git a/Sequences/SeqItemTexts.ifc b/Sequences/SeqItemTexts.ifc index b90e39bb..82f06b01 100644 --- a/Sequences/SeqItemTexts.ifc +++ b/Sequences/SeqItemTexts.ifc @@ -1,4 +1,4 @@ -CONTEXT SeqItemTextsInterface IN ENGLISH +CONTEXT SeqItemTextsInterface IN ENGLISH INTERFACE "SeqItemTexts": '_SESSION' cRud ROWS [ "New Sequence" : sessionNewSeq cRUd diff --git a/Sequences/SeqItemTexts.svc b/Sequences/SeqItemTexts.svc index c69488f4..aba5c58e 100644 --- a/Sequences/SeqItemTexts.svc +++ b/Sequences/SeqItemTexts.svc @@ -1,4 +1,4 @@ -CONTEXT SequenceItemTextFormattingService IN ENGLISH MARKDOWN +CONTEXT SequenceItemTextFormattingService IN ENGLISH MARKDOWN PURPOSE CONTEXT SequenceItemTextFormattingService {+The purpose of this service is to ensure that: * Every item that has an `itemSinValue` has a corresponding `itemSinText` diff --git a/Sequences/SeqItems.ifc b/Sequences/SeqItems.ifc index 6ab62a41..f9b8ac56 100644 --- a/Sequences/SeqItems.ifc +++ b/Sequences/SeqItems.ifc @@ -1,4 +1,4 @@ -CONTEXT "SeqItemsInterface" IN ENGLISH +CONTEXT "SeqItemsInterface" IN ENGLISH INTERFACE "SeqItems" (sessionNewSeq, seqName diff --git a/Sequences/SeqOntology.adl b/Sequences/SeqOntology.adl index 91baa870..a856723f 100644 --- a/Sequences/SeqOntology.adl +++ b/Sequences/SeqOntology.adl @@ -1,4 +1,4 @@ -CONTEXT SequencesOntology IN ENGLISH MARKDOWN +CONTEXT SequencesOntology IN ENGLISH MARKDOWN PURPOSE CONTEXT SequencesOntology {+This script defines the basic constraints for sequences. A 'graphical' view of such sequences is presented in the below figure: diff --git a/Sequences/SeqTextPhrases.ifc b/Sequences/SeqTextPhrases.ifc index 6f2b9bf8..c72d9ca2 100644 --- a/Sequences/SeqTextPhrases.ifc +++ b/Sequences/SeqTextPhrases.ifc @@ -1,4 +1,4 @@ -CONTEXT SeqTextPhrasesInterface IN ENGLISH +CONTEXT SeqTextPhrasesInterface IN ENGLISH INTERFACE "TextConstructs": V[SESSION*TextConstruct] cRud COLS [ "TextConstruct" : I cRud diff --git a/Sequences/SeqTextPhrases.svc b/Sequences/SeqTextPhrases.svc index 48741a5e..2776915c 100644 --- a/Sequences/SeqTextPhrases.svc +++ b/Sequences/SeqTextPhrases.svc @@ -1,4 +1,4 @@ -CONTEXT SequenceTextConstructionService IN ENGLISH +CONTEXT SequenceTextConstructionService IN ENGLISH {- Under the assumption that all Items in a Sequence have a phrase associated with them, this service computes the concatentation of all such phrases. The result is that `seqLastItem;itemBigText` is the concatenation of all phrases of the items of the sequence. diff --git a/Sequences/Sequences.adl b/Sequences/Sequences.adl index 5e9fbdf3..5dfd992d 100644 --- a/Sequences/Sequences.adl +++ b/Sequences/Sequences.adl @@ -1,4 +1,4 @@ -CONTEXT "Sequences_Testing" IN ENGLISH +CONTEXT "Sequences_Testing" IN ENGLISH -- Bitrot awaits fix of #665 -- This is a stand-alone context used for demonstrating and testing Sequences diff --git a/Sequences/Sequences_Module-example.adl b/Sequences/Sequences_Module-example.adl index 80e15b2d..d1db771a 100644 --- a/Sequences/Sequences_Module-example.adl +++ b/Sequences/Sequences_Module-example.adl @@ -1,4 +1,4 @@ -CONTEXT "Sequences" IN ENGLISH +CONTEXT "Sequences" IN ENGLISH -- The purpose of this file is to provide an easy way for users of the module to include Sequences functionality. INCLUDE "../Sequences/SeqOntology.adl" -- Basic notions diff --git a/Sets/Sets.adl b/Sets/Sets.adl index 29251adc..3ede8480 100644 --- a/Sets/Sets.adl +++ b/Sets/Sets.adl @@ -1,4 +1,4 @@ -CONTEXT Sets IN ENGLISH +CONTEXT Sets IN ENGLISH PURPOSE CONTEXT Sets {+The purpose of this context is to show how the subset-relation can be computed automatically.+} elem :: Element * Set diff --git a/TText/Assignments.ifc b/TText/Assignments.ifc index 211cbed2..35d19d3c 100644 --- a/TText/Assignments.ifc +++ b/TText/Assignments.ifc @@ -1,4 +1,4 @@ -CONTEXT "AssignmentsIfc" IN ENGLISH +CONTEXT "AssignmentsIfc" IN ENGLISH VIEW Assignments: Assignment( asmVar;ttName, TXT " = '", asmVal, TXT "'" ) VIEW AssignmentCheckbox: Assignment HTML TEMPLATE "View-PROPERTY.html" ENDVIEW -- Enable Assignment-properties to be shown as checkboxes diff --git a/TText/Assignments.svc b/TText/Assignments.svc index 0fa7e16b..9d3bfea6 100644 --- a/TText/Assignments.svc +++ b/TText/Assignments.svc @@ -1,4 +1,4 @@ -CONTEXT TText_ValueAssignmentAndHistoryService IN ENGLISH +CONTEXT TText_ValueAssignmentAndHistoryService IN ENGLISH PURPOSE CONTEXT TText_ValueAssignmentAndHistoryService {+This context keeps track of the (de)assignment history of TText-values. Whenever a change in a `ttValue` is detected, an Assignment will be created that logs this event. diff --git a/TText/Computations.ifc b/TText/Computations.ifc index c4588c4c..7c77e45a 100644 --- a/TText/Computations.ifc +++ b/TText/Computations.ifc @@ -1,4 +1,4 @@ -CONTEXT "ComputationsIfc" IN ENGLISH +CONTEXT "ComputationsIfc" IN ENGLISH VIEW Computations: Computation( TXT "Compute" ) diff --git a/TText/Computations.svc b/TText/Computations.svc index 2c84d79c..4bdb08a7 100644 --- a/TText/Computations.svc +++ b/TText/Computations.svc @@ -1,4 +1,4 @@ -CONTEXT Computations IN ENGLISH +CONTEXT Computations IN ENGLISH {-TTexts can be used in different ways. One particular view is that a TText is a variable, where diff --git a/TText/ExcelImport.ifc b/TText/ExcelImport.ifc index 53a32d47..d8959178 100644 --- a/TText/ExcelImport.ifc +++ b/TText/ExcelImport.ifc @@ -1,4 +1,4 @@ -CONTEXT "Excel_Import_Interface" IN ENGLISH +CONTEXT "Excel_Import_Interface" IN ENGLISH POPULATION Role CONTAINS [ "ExcelImporter" ] -- Necessary for using the Login-functionality diff --git a/TText/Scope_Basics.adl b/TText/Scope_Basics.adl index 2ffd5c53..15fbb722 100644 --- a/TText/Scope_Basics.adl +++ b/TText/Scope_Basics.adl @@ -1,4 +1,4 @@ -CONTEXT Scopes IN ENGLISH +CONTEXT Scopes IN ENGLISH {-There are many use cases where texts, meaning, semantics etc. has to be scoped. Examples include case-management, judicial cases, a reasoning argument, the setting up of contracts (transactions), and more. diff --git a/TText/Scope_Basics.ifc b/TText/Scope_Basics.ifc index a8477259..dd40fb8d 100644 --- a/TText/Scope_Basics.ifc +++ b/TText/Scope_Basics.ifc @@ -1,4 +1,4 @@ -CONTEXT Scope_BasicsIfc IN ENGLISH +CONTEXT Scope_BasicsIfc IN ENGLISH --[Copying Scopes (and trigger Scope copying)]-- RELATION scopeCreateCopyReq[Scope*ScopeID] [UNI] -- Create a copy of an existing scope, (with the newly specified ScopeID) diff --git a/TText/Scope_CarbonCopy.svc b/TText/Scope_CarbonCopy.svc index 768858e0..50d3d495 100644 --- a/TText/Scope_CarbonCopy.svc +++ b/TText/Scope_CarbonCopy.svc @@ -1,4 +1,4 @@ -CONTEXT Scope_CarbonCopyService IN ENGLISH +CONTEXT Scope_CarbonCopyService IN ENGLISH PURPOSE CONTEXT Scope_CarbonCopyService {+The property relation `scopeIsaCC` of a target Scope determines how conflicts (e.g. naming conflicts) are to be resolved when including structured contents. diff --git a/TText/Scope_Inclusion.svc b/TText/Scope_Inclusion.svc index 721e6631..cf2d678c 100644 --- a/TText/Scope_Inclusion.svc +++ b/TText/Scope_Inclusion.svc @@ -1,4 +1,4 @@ -CONTEXT Scope_InclusionService IN ENGLISH +CONTEXT Scope_InclusionService IN ENGLISH PURPOSE CONTEXT Scope_InclusionService {+There are many cases in which it is useful to copy the structured contents of a Scope. The Scope from which the contents is copied is referred to as 'the source Scope' diff --git a/TText/Scope_SIAM_Extensions.adl b/TText/Scope_SIAM_Extensions.adl index 5b49aa8e..b60da723 100644 --- a/TText/Scope_SIAM_Extensions.adl +++ b/TText/Scope_SIAM_Extensions.adl @@ -1,4 +1,4 @@ -CONTEXT Scope_SIAM_Extensions IN ENGLISH +CONTEXT Scope_SIAM_Extensions IN ENGLISH --[Scope Ownership]-- scopeOwner :: Scope * Account [UNI] -- The Account that is authorized to change and/or delete the Scope. diff --git a/TText/TText.adl b/TText/TText.adl index abd91bcc..aa2d10d1 100644 --- a/TText/TText.adl +++ b/TText/TText.adl @@ -1,4 +1,4 @@ -CONTEXT TText IN ENGLISH +CONTEXT TText IN ENGLISH PURPOSE CONTEXT TText {+This file is a stand-alone application showing off TTexts etc. This demonstration shows a car insurance application. diff --git a/TText/TText_Basics.adl b/TText/TText_Basics.adl index 7c97b96d..f3d5e56d 100644 --- a/TText/TText_Basics.adl +++ b/TText/TText_Basics.adl @@ -1,4 +1,4 @@ -CONTEXT TTexts IN ENGLISH +CONTEXT TTexts IN ENGLISH PURPOSE CONTEXT TText {+There are many use cases where texts (phrases, statements, ...) are used that contain (named) placeholders for (smaller) texts. diff --git a/TText/TText_Basics.ifc b/TText/TText_Basics.ifc index 42199c81..669efd1c 100644 --- a/TText/TText_Basics.ifc +++ b/TText/TText_Basics.ifc @@ -1,4 +1,4 @@ -CONTEXT "TText_BasicIfc" IN ENGLISH +CONTEXT "TText_BasicIfc" IN ENGLISH VIEW TTexts: TText(ttName) diff --git a/TText/TText_CarbonCopy.svc b/TText/TText_CarbonCopy.svc index 4876b8ca..277aaa80 100644 --- a/TText/TText_CarbonCopy.svc +++ b/TText/TText_CarbonCopy.svc @@ -1,4 +1,4 @@ -CONTEXT TText_CarbonCopyService IN ENGLISH +CONTEXT TText_CarbonCopyService IN ENGLISH {- For documentation, see TText_Inclusion.svc-} -- Make sure the `scopeCC` relation is available diff --git a/TText/TText_Descriptions.adl b/TText/TText_Descriptions.adl index 98c0fd71..dd22e42f 100644 --- a/TText/TText_Descriptions.adl +++ b/TText/TText_Descriptions.adl @@ -1,4 +1,4 @@ -CONTEXT TTextDescriptions IN ENGLISH +CONTEXT TTextDescriptions IN ENGLISH PURPOSE CONTEXT TTextDescriptions {+For various applications, the ability to descript a TText, e.g. its purpose, its meaning/intension, or ... may be called for. diff --git a/TText/TText_Inclusion.svc b/TText/TText_Inclusion.svc index 200c0e02..713cae3a 100644 --- a/TText/TText_Inclusion.svc +++ b/TText/TText_Inclusion.svc @@ -1,4 +1,4 @@ -CONTEXT TText_InclusionService IN ENGLISH +CONTEXT TText_InclusionService IN ENGLISH {- TTexts can be copied from one Scope to another, as part of Scope copying (see file `Scope_Inclusion.svc`). diff --git a/TText/TText_LoACarbonCopy.svc b/TText/TText_LoACarbonCopy.svc index c957d50c..d99545d7 100644 --- a/TText/TText_LoACarbonCopy.svc +++ b/TText/TText_LoACarbonCopy.svc @@ -1,4 +1,4 @@ -CONTEXT TTEXT_LoACarbonCopyService IN ENGLISH +CONTEXT TTEXT_LoACarbonCopyService IN ENGLISH INCLUDE "../TText/TText_CarbonCopy.svc" diff --git a/TText/TText_LoAInclusion.svc b/TText/TText_LoAInclusion.svc index abbaac88..239b53d4 100644 --- a/TText/TText_LoAInclusion.svc +++ b/TText/TText_LoAInclusion.svc @@ -1,4 +1,4 @@ -CONTEXT TTEXT_LoAInclusionService IN ENGLISH +CONTEXT TTEXT_LoAInclusionService IN ENGLISH INCLUDE "../TText/TText_Inclusion.svc" diff --git a/TText/TText_LoAs.adl b/TText/TText_LoAs.adl index d79d7479..bcc0e758 100644 --- a/TText/TText_LoAs.adl +++ b/TText/TText_LoAs.adl @@ -1,4 +1,4 @@ -CONTEXT "TText_LoAs.adl" IN ENGLISH +CONTEXT "TText_LoAs.adl" IN ENGLISH --[TText authentication- and validation levels]-- {- ISO/IEC 29115 or ITU-T X.1254 framework for entity authentication assurance; LoA = Level of Assurance (confidence) in the asserted identity diff --git a/TText/TText_ModuleExample.adl b/TText/TText_ModuleExample.adl index 1b9223fc..268032cd 100644 --- a/TText/TText_ModuleExample.adl +++ b/TText/TText_ModuleExample.adl @@ -1,4 +1,4 @@ -CONTEXT TText_ModuleExample IN ENGLISH +CONTEXT TText_ModuleExample IN ENGLISH {-This file imports the TText facilities-} META "authors" "Rieks Joosten (rieks.joosten@tno.nl)" diff --git a/TText/TText_Placeholders.svc b/TText/TText_Placeholders.svc index 812c7164..1abbf869 100644 --- a/TText/TText_Placeholders.svc +++ b/TText/TText_Placeholders.svc @@ -1,4 +1,4 @@ -CONTEXT TText_PlaceholderService IN ENGLISH +CONTEXT TText_PlaceholderService IN ENGLISH PURPOSE CONTEXT TText_PlaceholderService {+ The main purpose of TTexts is to provide a mechanism where a (template) text that may contain placeholders, i.e. phrases surrounded by `[` and `]` characters, diff --git a/TText/TText_SIAM_Extensions.adl b/TText/TText_SIAM_Extensions.adl index 23a4852e..e3e96d5d 100644 --- a/TText/TText_SIAM_Extensions.adl +++ b/TText/TText_SIAM_Extensions.adl @@ -1,4 +1,4 @@ -CONTEXT TText_SIAM_Extensions IN ENGLISH +CONTEXT TText_SIAM_Extensions IN ENGLISH --[TText Ownership]-- ttOwner :: TText * Account [UNI] -- The Account that is authorized to change and/or delete the TText. diff --git a/TText/TText_SIAMv3_Module.adl b/TText/TText_SIAMv3_Module.adl index f1a3bc65..ed64b2bd 100644 --- a/TText/TText_SIAMv3_Module.adl +++ b/TText/TText_SIAMv3_Module.adl @@ -1,4 +1,4 @@ -CONTEXT SIAMv3_0 IN ENGLISH -- SIAM: Sessions, Identity- and Access Management +CONTEXT SIAMv3_0 IN ENGLISH -- SIAM: Sessions, Identity- and Access Management -- The purpose of this file is to provide an easy way for users of the module to include SIAM functionality. --! git@ci.tno.nl:ampersand/models.git has the authoratative source of SIAMv3 diff --git a/TText/TText_ValSuppliers.adl b/TText/TText_ValSuppliers.adl index 27cf71dc..6461c7d1 100644 --- a/TText/TText_ValSuppliers.adl +++ b/TText/TText_ValSuppliers.adl @@ -1,4 +1,4 @@ -CONTEXT TText_ValSuppliers IN ENGLISH +CONTEXT TText_ValSuppliers IN ENGLISH {-The main purpose of TTexts is to specify a reasoning algorithm (in the ttext-template), to evaluate this algorithm as soon as sufficient values for placeholders are provided, and store the result as the ttext-value. diff --git a/TText/TText_ValSuppliers.ifc b/TText/TText_ValSuppliers.ifc index 2d78f58f..22eb6a82 100644 --- a/TText/TText_ValSuppliers.ifc +++ b/TText/TText_ValSuppliers.ifc @@ -1,4 +1,4 @@ -CONTEXT "TText_ValSuppliersInterface" IN ENGLISH +CONTEXT "TText_ValSuppliersInterface" IN ENGLISH INTERFACE "[TValSuppliers]": V[SESSION*Scope] cRud BOX
[ "TValSuppliers" : ttScope~;ttIsaTParty cRud BOX diff --git a/TText/TValSup_CarbonCopy.svc b/TText/TValSup_CarbonCopy.svc index 312d523a..f760ce67 100644 --- a/TText/TValSup_CarbonCopy.svc +++ b/TText/TValSup_CarbonCopy.svc @@ -1,4 +1,4 @@ -CONTEXT TValSup_CarbonCopyService IN ENGLISH +CONTEXT TValSup_CarbonCopyService IN ENGLISH INCLUDE "../TText/TValSup_Inclusion.svc" -- include necessary relations/declarations diff --git a/TText/TValSup_Inclusion.svc b/TText/TValSup_Inclusion.svc index 1288e87b..130ef011 100644 --- a/TText/TValSup_Inclusion.svc +++ b/TText/TValSup_Inclusion.svc @@ -1,4 +1,4 @@ -CONTEXT TValSup_InclusionService IN ENGLISH +CONTEXT TValSup_InclusionService IN ENGLISH {- Tparties, which are specializations of TTexts, can be copied from one Scope to another, as part of Scope copying (see file `Scope_Inclusion.svc`) diff --git a/TText/TValSup_SIAM_Extensions.adl b/TText/TValSup_SIAM_Extensions.adl index b5813e82..9b474137 100644 --- a/TText/TValSup_SIAM_Extensions.adl +++ b/TText/TValSup_SIAM_Extensions.adl @@ -1,4 +1,4 @@ -CONTEXT TValSup_SIAM_Extensions IN ENGLISH +CONTEXT TValSup_SIAM_Extensions IN ENGLISH --[TParty value provisioning]-- diff --git a/TransitiveClosure/TransitiveClosure.adl b/TransitiveClosure/TransitiveClosure.adl index 30a4c675..36177f25 100644 --- a/TransitiveClosure/TransitiveClosure.adl +++ b/TransitiveClosure/TransitiveClosure.adl @@ -1,4 +1,4 @@ -CONTEXT TransitiveClosure IN ENGLISH +CONTEXT TransitiveClosure IN ENGLISH PURPOSE CONTEXT TransitiveClosure {+ Currently, the `*`-operator (transitive closure) is not operational in Ampersand. This file tells you how to work around this omission, allowing you to choose one of three options. diff --git a/VOGDemo/DEMO_VOG.pop b/VOGDemo/DEMO_VOG.pop index 3bf0645a..a36afcb5 100644 --- a/VOGDemo/DEMO_VOG.pop +++ b/VOGDemo/DEMO_VOG.pop @@ -78,9 +78,9 @@ RULE "Specifieke screeningsprofielen": I[SpecifiekScreeningsProfiel] = \/ '65 Taxibranche; chauffeurskaart' \/ '70 Taxibranche; ondernemersvergunning' \/ '75 (Gezins)voogd bij voogdijinstellingen, reclasseringswerker, raadsonderzoeker en maatschappelijk werker' - \/ '80 Beëdigd tolken/vertalers' --Dit screeningsprofiel kan alleen worden gebruikt als de Raad voor Rechtsbijstand de organisatie is die de VOG verlangt + \/ '80 Beëdigd tolken/vertalers' --Dit screeningsprofiel kan alleen worden gebruikt als de Raad voor Rechtsbijstand de organisatie is die de VOG verlangt \/ '85 Lidmaatschap schietvereniging' - \/ '95 Financiële dienstverlening' + \/ '95 Financiële dienstverlening' -- 2.4 Algemeen screeningsprofiel POPULATION algemeenScreeningsProfiel CONTAINS [ ("OrgVOG_0", "AlgemeenScreeningsProfiel") ] -- hier mogen meerdere van worden gekozen RULE "Algemene screeningsprofielen": I[AlgemeenScreeningsProfiel] = @@ -132,7 +132,7 @@ POPULATION taakomschrijving CONTAINS [ ("VOGAT_1", "zie bijla POPULATION overig CONTAINS [ ("VOGAT_1", "Nee") ] -- 2.3 Specifiek screeningsprofiel POPULATION specifiekScreeningsProfielRelevant CONTAINS [ ("VOGAT_1", "Ja") ] -POPULATION specifiekScreeningsProfiel CONTAINS [ ("VOGAT_1", "95 Financiële dienstverlening") ] +POPULATION specifiekScreeningsProfiel CONTAINS [ ("VOGAT_1", "95 Financiële dienstverlening") ] -- 2.4 Algemeen screeningsprofiel -- 2.5 Bijzondere omstandigheden m.b.t. de aanvraag POPULATION orgErZijnBijzondereOmstandigheden CONTAINS [ ("VOGAT_1", "Nee") ] diff --git a/VOGDemo/GBA.adl b/VOGDemo/GBA.adl index 3a9fb5a3..898695a9 100644 --- a/VOGDemo/GBA.adl +++ b/VOGDemo/GBA.adl @@ -53,7 +53,7 @@ gbaTitelPredikaat :: NatuurlijkPersoon * TitelPredikaat [UNI] --adellij PRAGMA "Aan " " is de titel " "toegekend" MEANING "Een persoon kan een of meerdere adelijke aanspreektitels hebben." PURPOSE RELATION gbaTitelPredikaat[NatuurlijkPersoon*TitelPredikaat] IN DUTCH REF "Bijlage I lid 1 sub a WGBA" -{+ Adelijke titels worden als aanspreektitels beschouwd en moeten worden vermeld op officiële documenten. +{+ Adelijke titels worden als aanspreektitels beschouwd en moeten worden vermeld op officiële documenten. -} -- b. Geboorte: @@ -118,21 +118,21 @@ PURPOSE RELATION gbaGeslacht[NatuurlijkPersoon*Geslacht] IN DUTCH REF "Art. 34 l -- overlijdensdatum; -- plaats overlijden; -- land en zo nodig gebiedsdeel overlijden. --- i. Data ingang en beëindiging rechtsgeldigheid gegevens: +-- i. Data ingang en beëindiging rechtsgeldigheid gegevens: -- datum ingang rechtsgeldigheid; --- datum beëindiging rechtsgeldigheid. +-- datum beëindiging rechtsgeldigheid. -- -- 2. Gegevens over curatele -- curatele; -- datum ingang rechtsgeldigheid curatele; --- datum beëindiging rechtsgeldigheid curatele. +-- datum beëindiging rechtsgeldigheid curatele. -- 3. Gegevens over het gezag dat over de minderjarige wordt uitgeoefend --- de aantekening dat het gezag over de ingeschrevene uitsluitend door één ouder wordt uitgeoefend; +-- de aantekening dat het gezag over de ingeschrevene uitsluitend door één ouder wordt uitgeoefend; -- de aantekening dat het gezag over de ingeschrevene door beide ouders wordt uitgeoefend; -- de aantekening dat het gezag over de ingeschrevene door een ouder en een derde wordt uitgeoefend; --- de aantekening dat het gezag over de ingeschrevene door één derde of twee derden tezamen wordt uitgeoefend, dan wel dat over de ingeschrevene tijdelijke of voorlopige voogdij wordt uitgeoefend; +-- de aantekening dat het gezag over de ingeschrevene door één derde of twee derden tezamen wordt uitgeoefend, dan wel dat over de ingeschrevene tijdelijke of voorlopige voogdij wordt uitgeoefend; -- datum ingang rechtsgeldigheid gegeven; --- datum beëindiging rechtsgeldigheid gegeven. +-- datum beëindiging rechtsgeldigheid gegeven. -- 4. Gegevens over de nationaliteit gbaNationaliteit :: NatuurlijkPersoon * Nationaliteit -- nationaliteit of nationaliteiten, dan wel een aanduiding dat de betrokkene geen nationaliteit bezit, of een aanduiding dat de nationaliteit van de betrokkene niet kan worden vastgesteld; PRAGMA "" "heeft de" "nationaliteit" @@ -145,11 +145,11 @@ PURPOSE RELATION gbaNationaliteit[NatuurlijkPersoon*Nationaliteit] IN DUTCH REF -- de aantekening dat op grond van artikel 17 van de Rijkswet op het Nederlanderschap is vastgesteld dat de betrokkene niet de Nederlandse nationaliteit bezit; -- de aantekening dat de betrokkene op grond van de Wet betreffende de positie van Molukkers als Nederlander behandeld wordt; -- datum ingang rechtsgeldigheid gegeven; --- datum beëindiging rechtsgeldigheid gegeven. +-- datum beëindiging rechtsgeldigheid gegeven. -- 5. Gegevens over het verblijfsrecht van de vreemdeling -- de aantekening over het verblijfsrecht; -- datum ingang verblijfsrecht; --- datum beëindiging verblijfsrecht; +-- datum beëindiging verblijfsrecht; -- datum mededeling gegeven. -- 6. Gegevens over de gemeente van inschrijving en het adres in die gemeente alsmede over het verblijf in Nederland en het vertrek uit Nederland -- a. Gemeente van inschrijving: @@ -204,7 +204,7 @@ gbaBSNDatum :: NatuurlijkPersoon * Datum [UNI] -- de aantekening dat de ingeschrevene de geslachtsnaam van de echtgenoot, de geregistreerde partner vooraf doet gaan aan de eigen geslachtsnaam; -- de aantekening dat de ingeschrevene de geslachtsnaam van de echtgenoot, de geregistreerde partner, de eerdere echtgenoot of de eerdere geregistreerde partner doet volgen op de eigen geslachtsnaam; -- datum ingang van het gegeven over het naamgebruik; --- datum beëindiging van het gegeven over het naamgebruik. +-- datum beëindiging van het gegeven over het naamgebruik. ENDPATTERN ------------------------------------------------------------ diff --git a/VOGDemo/GBA.pop b/VOGDemo/GBA.pop index 45005370..54a30acc 100644 --- a/VOGDemo/GBA.pop +++ b/VOGDemo/GBA.pop @@ -25,7 +25,7 @@ POPULATION gbaBSN CONTAINS [ ("NatuurlijkPersoon", "BurgerSe POPULATION gbaBSNDatum CONTAINS [ ("NatuurlijkPersoon", "Datum") ] -} ----------------------------------------------------------- ---Het burgerservicenummer bestaat uit (8 of) 9 cijfers en voldoet aan een variant op de zogenaamde elfproef. Het verschil in de berekening zit in het laatste cijfer, dat in plaats van met 1, met -1 wordt vermenigvuldigd. Als het burgerservicenummer wordt voorgesteld door ABCDEFGHI, dan moet (9 x A) + (8 x B) + (7 x C) + (6 x D) + (5 x E) + (4 x F) + (3 x G) + (2 x H) + (-1 x I) een veelvoud van 11 zijn. Er kunnen met deze combinatie bijna 91 miljoen nummers gecreëerd worden. Geldige voorbeelden zijn bijvoorbeeld: 111222333 en 123456782. +--Het burgerservicenummer bestaat uit (8 of) 9 cijfers en voldoet aan een variant op de zogenaamde elfproef. Het verschil in de berekening zit in het laatste cijfer, dat in plaats van met 1, met -1 wordt vermenigvuldigd. Als het burgerservicenummer wordt voorgesteld door ABCDEFGHI, dan moet (9 x A) + (8 x B) + (7 x C) + (6 x D) + (5 x E) + (4 x F) + (3 x G) + (2 x H) + (-1 x I) een veelvoud van 11 zijn. Er kunnen met deze combinatie bijna 91 miljoen nummers gecreëerd worden. Geldige voorbeelden zijn bijvoorbeeld: 111222333 en 123456782. ----------------------------------------------------------- POPULATION gbaDisplayNaam CONTAINS [ ("NatPers_1", "Dhr. K.L. Jansen") ] POPULATION gbaGeslachtsnaam CONTAINS [ ("NatPers_1", "Jansen") ] diff --git a/VOGDemo/IFC-Aanvrager.ifc b/VOGDemo/IFC-Aanvrager.ifc index 454473bb..e33ef07e 100644 --- a/VOGDemo/IFC-Aanvrager.ifc +++ b/VOGDemo/IFC-Aanvrager.ifc @@ -218,7 +218,7 @@ MESSAGE "Artikel 36 tweede lid BJG:" VIOLATION (TXT "De eigenaar van ", SRC aanvragerEmailAddress, TXT " moet de vergoeding voor de kosten nog voldoen betreffende de afhandeling van ", SRC vogAanvraagOrganisatieTemplate) ROLE Aanvrager MAINTAINS "Leges voor VOG aanvraag voldoen" PURPOSE RULE "Leges voor VOG aanvraag voldoen" REF "Artikel 36 tweede lid BJG" -{+Onze Minister neemt een aanvraag tot afgifte van een verklaring omtrent het gedrag eerst in behandeling nadat de bij ministeriële regeling vastgestelde vergoeding voor de kosten van deze behandeling is ontvangen.+} +{+Onze Minister neemt een aanvraag tot afgifte van een verklaring omtrent het gedrag eerst in behandeling nadat de bij ministeriële regeling vastgestelde vergoeding voor de kosten van deze behandeling is ontvangen.+} ENDPROCESS ------------------------------------------------------------ @@ -355,8 +355,8 @@ BOX[ "Contactgegevens": I , "Omschrijving (bijv. Chaufferskaart, Visum en emigratie, Exploitatievergunning)" : overigOmschrijving ] , "3 - Specifiek screeningsprofiel" : I - BOX[ "Heeft de aanvraag betrekking op één van de hieronder genoemde functies of doelen?" : specifiekScreeningsProfielRelevant - , "Ja, namelijk op: (u kunt slechts één vakje aankruisen!)" : specifiekScreeningsProfiel + BOX[ "Heeft de aanvraag betrekking op één van de hieronder genoemde functies of doelen?" : specifiekScreeningsProfielRelevant + , "Ja, namelijk op: (u kunt slechts één vakje aankruisen!)" : specifiekScreeningsProfiel ] , "4 - Algemeen screeningsprofiel" : I BOX[ " ": algemeenScreeningsProfiel diff --git a/VOGDemo/IFC-COVOG.ifc b/VOGDemo/IFC-COVOG.ifc index 6e0bd1d6..8012fc0d 100644 --- a/VOGDemo/IFC-COVOG.ifc +++ b/VOGDemo/IFC-COVOG.ifc @@ -109,7 +109,7 @@ MESSAGE "Artikel 36 tweede lid BJG" VIOLATION (TXT "Aanvraag ", SRC I, TXT " kan pas in behandeling worden genomen als de verschuldigde leges zijn ontvangen") ROLE COVOG MAINTAINS "Vergoeding voor het behandelen van een VOG aanvraag" PURPOSE RULE "Vergoeding voor het behandelen van een VOG aanvraag" REF "Artikel 36 tweede lid BJG" -{+Onze Minister neemt een aanvraag tot afgifte van een verklaring omtrent het gedrag eerst in behandeling nadat de bij ministeriële regeling vastgestelde vergoeding voor de kosten van deze behandeling is ontvangen (artikel 36 tweede lid BJG)+} +{+Onze Minister neemt een aanvraag tot afgifte van een verklaring omtrent het gedrag eerst in behandeling nadat de bij ministeriële regeling vastgestelde vergoeding voor de kosten van deze behandeling is ontvangen (artikel 36 tweede lid BJG)+} RULE "COVOG Zaaknummer toekennen": I[VOGAanvraag] /\ ( (({-aanvragerHandtekening-}(aanvragerDigitaleHandtekening;idmDigitaleHandtekening~ /\ aanvragerPasswordHandtekening;idmPasswordHandtekening~);idmDisplayHandtekening);({-aanvragerHandtekening-}(aanvragerDigitaleHandtekening;idmDigitaleHandtekening~ /\ aanvragerPasswordHandtekening;idmPasswordHandtekening~);idmDisplayHandtekening)~) @@ -167,7 +167,7 @@ BOX[ "COVOG zaaknummer" : covogZaakNummer isAanvraagNoodzakelijkOmRisicoVoorSamenlevingTeBeperken , "Is er een aanwijsbare belanghebbende derde?" : isErEenAanwijsbareBelanghebbendeDerde - , "Zijn de te beschermen belangen van privé-aard?" : + , "Zijn de te beschermen belangen van privé-aard?" : zijnDeTeBeschermenBelangenVanPriveAard -- Toetsen moeten leiden tot een al dan niet ontvankelijk verklaren van de aanvraag , "Is, gezien het voorafgaande, de aanvraag ontvankelijk?" : @@ -335,38 +335,38 @@ VIOLATION (TXT "Zaak ", SRC covogZaakNummer, TXT " is NIET ontvankelijk omdat er PURPOSE RULE "Integriteit niet-ontvankelijkheid door gebrek aan belanghebbende derde" IN DUTCH REF "Paragraaf 2 Beleidsregels VOG-NP-RP 2008" {+Een aanvraag voor een VOG-NP of VOG-RP is niet ontvankelijk wanneer er geen aanwijsbare belanghebbende derde is+} -RULE "Niet-ontvankelijkheid omdat belangen van privé-aard zijn": +RULE "Niet-ontvankelijkheid omdat belangen van privé-aard zijn": covogZaakNummer~; (I /\ zijnDeTeBeschermenBelangenVanPriveAard;'Ja';zijnDeTeBeschermenBelangenVanPriveAard~ /\ -(covogOntvankelijkheidMotivatie;covogOntvankelijkheidMotivatie~ ) ) |- covogZaakNummer~;(I /\ isAanvraagOntvankelijk;'Nee';isAanvraagOntvankelijk~) -MEANING "Als de te beschermen belangen van privé-aard zijn, dan is de aanvraag niet ontvankelijk (Paragraaf 2 Beleidsregels VOG-NP-RP 2008)" +MEANING "Als de te beschermen belangen van privé-aard zijn, dan is de aanvraag niet ontvankelijk (Paragraaf 2 Beleidsregels VOG-NP-RP 2008)" MESSAGE "Paragraaf 2 beleidsregels VOG-NP-RP 2008:" -VIOLATION (TXT "Zaak ", SRC I, TXT " is NIET ontvankelijk omdat de te beschermen belangen van privé-aard zijn") -PURPOSE RULE "Niet-ontvankelijkheid omdat belangen van privé-aard zijn" IN DUTCH REF "Paragraaf 2 Beleidsregels VOG-NP-RP 2008" -{+Een aanvraag voor een VOG-NP of VOG-RP is niet ontvankelijk wanneer de te beschermen belangen van privé-aard zijn+} -ROLE COVOG MAINTAINS "Niet-ontvankelijkheid omdat belangen van privé-aard zijn" +VIOLATION (TXT "Zaak ", SRC I, TXT " is NIET ontvankelijk omdat de te beschermen belangen van privé-aard zijn") +PURPOSE RULE "Niet-ontvankelijkheid omdat belangen van privé-aard zijn" IN DUTCH REF "Paragraaf 2 Beleidsregels VOG-NP-RP 2008" +{+Een aanvraag voor een VOG-NP of VOG-RP is niet ontvankelijk wanneer de te beschermen belangen van privé-aard zijn+} +ROLE COVOG MAINTAINS "Niet-ontvankelijkheid omdat belangen van privé-aard zijn" -RULE "Integriteit niet-ontvankelijkheid omdat belangen van privé-aard zijn": +RULE "Integriteit niet-ontvankelijkheid omdat belangen van privé-aard zijn": (I /\ covogZaakNummer;covogZaakNummer~ /\ zijnDeTeBeschermenBelangenVanPriveAard;'Ja';zijnDeTeBeschermenBelangenVanPriveAard~ /\ isAanvraagOntvankelijk;'Ja';isAanvraagOntvankelijk~ /\ -(covogOntvankelijkheidMotivatie;covogOntvankelijkheidMotivatie~) ) |- -I -MEANING "Als de te beschermen belangen van privé-aard zijn, dan is de aanvraag niet ontvankelijk (Paragraaf 2 Beleidsregels VOG-NP-RP 2008)" +MEANING "Als de te beschermen belangen van privé-aard zijn, dan is de aanvraag niet ontvankelijk (Paragraaf 2 Beleidsregels VOG-NP-RP 2008)" MESSAGE "Paragraaf 2 beleidsregels VOG-NP-RP 2008:" -VIOLATION (TXT "Zaak ", SRC covogZaakNummer, TXT " is NIET ontvankelijk omdat de te beschermen belangen van privé-aard zijn") -PURPOSE RULE "Integriteit niet-ontvankelijkheid omdat belangen van privé-aard zijn" IN DUTCH REF "Paragraaf 2 Beleidsregels VOG-NP-RP 2008" -{+Een aanvraag voor een VOG-NP of VOG-RP is niet ontvankelijk wanneer de te beschermen belangen van privé-aard zijn+} +VIOLATION (TXT "Zaak ", SRC covogZaakNummer, TXT " is NIET ontvankelijk omdat de te beschermen belangen van privé-aard zijn") +PURPOSE RULE "Integriteit niet-ontvankelijkheid omdat belangen van privé-aard zijn" IN DUTCH REF "Paragraaf 2 Beleidsregels VOG-NP-RP 2008" +{+Een aanvraag voor een VOG-NP of VOG-RP is niet ontvankelijk wanneer de te beschermen belangen van privé-aard zijn+} ENDPROCESS ------------------------------------------------------------ --[Paragraaf 3. Beoordeling van de aanvraag]-- -{-Samenvatting: Bij de beoordeling van de aanvraag wordt in beginsel gekeken naar de justitiële gegevens die zijn opgenomen in de justitiële documentatie in de voor het doel van de aanvraag relevante termijn. -Aan de aanvrager die in het geheel niet voorkomt in de justitiële documentatie wordt zonder meer een VOG afgegeven. -Wanneer de aanvrager wel voorkomt in de justitiële documentatie wordt de vraag of een VOG kan worden afgegeven beoordeeld aan de hand van een objectief criterium en een subjectief criterium.-} +{-Samenvatting: Bij de beoordeling van de aanvraag wordt in beginsel gekeken naar de justitiële gegevens die zijn opgenomen in de justitiële documentatie in de voor het doel van de aanvraag relevante termijn. +Aan de aanvrager die in het geheel niet voorkomt in de justitiële documentatie wordt zonder meer een VOG afgegeven. +Wanneer de aanvrager wel voorkomt in de justitiële documentatie wordt de vraag of een VOG kan worden afgegeven beoordeeld aan de hand van een objectief criterium en een subjectief criterium.-} ------------------------------------------------------------ INTERFACE "Te beoordelen aanvraag" (vogAfgifteBesluit @@ -441,9 +441,9 @@ I /\ isAanvraagOntvankelijk;'Ja';isAanvraagOntvankelijk~ -- Als de aanvraag ont )~ ) |- vogAfgifteBesluit;'Ja'; vogAfgifteBesluit~ -- dan moet de VOG worden afgegeven -MEANING "Aan de aanvrager die in het geheel niet voorkomt in de justitiële documentatie wordt zonder meer een VOG afgegeven (Paragraaf 3 beleidsregels VOG-NP-RP 2008)" +MEANING "Aan de aanvrager die in het geheel niet voorkomt in de justitiële documentatie wordt zonder meer een VOG afgegeven (Paragraaf 3 beleidsregels VOG-NP-RP 2008)" MESSAGE "Paragraaf 3 beleidsregels VOG-NP-RP 2008:" -VIOLATION (TXT "Voor ", SRC covogZaakNummer, TXT " kan zonder meer een VOG worden afgegeven omdat de aanvrager niet voorkomt in de justitiële documentatie") +VIOLATION (TXT "Voor ", SRC covogZaakNummer, TXT " kan zonder meer een VOG worden afgegeven omdat de aanvrager niet voorkomt in de justitiële documentatie") ROLE COVOG MAINTAINS "VOG toekennen als de aanvrager geen strafblad heeft" RULE "Integriteit van VOG toekenningen als de aanvrager geen strafblad heeft": @@ -474,9 +474,9 @@ I /\ isAanvraagOntvankelijk;'Ja';isAanvraagOntvankelijk~ -- Als de aanvraag ont ) /\ vogAfgifteBesluit;'Nee'; vogAfgifteBesluit~ -- en de VOG wordt niet afgegeven |- -I -- Dan zijn we niet integer bezig -MEANING "Voor elke ontvankelijke aanvraag waarvan de aanvrager die in het geheel niet voorkomt in de justitiële documentatie wordt zonder meer een VOG afgegeven (Paragraaf 3 beleidsregels VOG-NP-RP 2008)" +MEANING "Voor elke ontvankelijke aanvraag waarvan de aanvrager die in het geheel niet voorkomt in de justitiële documentatie wordt zonder meer een VOG afgegeven (Paragraaf 3 beleidsregels VOG-NP-RP 2008)" MESSAGE "Paragraaf 3 beleidsregels VOG-NP-RP 2008:" -VIOLATION (TXT "Voor VOG aanvraag ", SRC covogZaakNummer, TXT " moet een VOG worden afgegeven omdat de aanvrager niet voorkomt in de justitiële documentatie (en de aanvraag ontvankelijk is)") +VIOLATION (TXT "Voor VOG aanvraag ", SRC covogZaakNummer, TXT " moet een VOG worden afgegeven omdat de aanvrager niet voorkomt in de justitiële documentatie (en de aanvraag ontvankelijk is)") --ROLE COVOG MAINTAINS "VOG toekennen als de aanvrager geen strafblad heeft" ENDPROCESS @@ -551,8 +551,8 @@ BOX[ "2. VOG aanvraag (Organisatie template)" : I , "Omschrijving (bijv. Chaufferskaart, Visum en emigratie, Exploitatievergunning)" : overigOmschrijving ] , "2.3 - Specifiek screeningsprofiel" : I - BOX[ "Heeft de aanvraag betrekking op één van de hieronder genoemde functies of doelen?" : specifiekScreeningsProfielRelevant - , "Ja, namelijk op: (u kunt slechts één vakje aankruisen!)" : specifiekScreeningsProfiel + BOX[ "Heeft de aanvraag betrekking op één van de hieronder genoemde functies of doelen?" : specifiekScreeningsProfielRelevant + , "Ja, namelijk op: (u kunt slechts één vakje aankruisen!)" : specifiekScreeningsProfiel ] , "2.4 - Algemeen screeningsprofiel" : I BOX[ " ": algemeenScreeningsProfiel diff --git a/VOGDemo/IFC-Gemeente.ifc b/VOGDemo/IFC-Gemeente.ifc index f1009098..84207338 100644 --- a/VOGDemo/IFC-Gemeente.ifc +++ b/VOGDemo/IFC-Gemeente.ifc @@ -308,8 +308,8 @@ BOX[ "VOG aanvraag (Organisatie template)" : I[VOGAanvraagOrganisatieTemplate] , "Omschrijving (bijv. Chaufferskaart, Visum en emigratie, Exploitatievergunning)" : overigOmschrijving ] , "3 - Specifiek screeningsprofiel" : I - BOX[ "Heeft de aanvraag betrekking op één van de hieronder genoemde functies of doelen?" : specifiekScreeningsProfielRelevant - , "Ja, namelijk op: (u kunt slechts één vakje aankruisen!)" : specifiekScreeningsProfiel + BOX[ "Heeft de aanvraag betrekking op één van de hieronder genoemde functies of doelen?" : specifiekScreeningsProfielRelevant + , "Ja, namelijk op: (u kunt slechts één vakje aankruisen!)" : specifiekScreeningsProfiel ] , "4 - Algemeen screeningsprofiel" : I BOX[ " ": algemeenScreeningsProfiel diff --git a/VOGDemo/IFC-Organisatie.ifc b/VOGDemo/IFC-Organisatie.ifc index a182745f..f4aa1160 100644 --- a/VOGDemo/IFC-Organisatie.ifc +++ b/VOGDemo/IFC-Organisatie.ifc @@ -246,8 +246,8 @@ BOX[ "Invullen door organisatie / instelling die de VOG verlangt" : I , "Omschrijving (bijv. Chaufferskaart, Visum en emigratie, Exploitatievergunning)" : overigOmschrijving ] , "3 - Specifiek screeningsprofiel" : I - BOX[ "Heeft de aanvraag betrekking op één van de hieronder genoemde functies of doelen?" : specifiekScreeningsProfielRelevant - , "Ja, namelijk op: (u kunt slechts één vakje aankruisen!)" : specifiekScreeningsProfiel + BOX[ "Heeft de aanvraag betrekking op één van de hieronder genoemde functies of doelen?" : specifiekScreeningsProfielRelevant + , "Ja, namelijk op: (u kunt slechts één vakje aankruisen!)" : specifiekScreeningsProfiel ] , "4 - Algemeen screeningsprofiel" : I BOX[ " ": algemeenScreeningsProfiel @@ -306,8 +306,8 @@ BOX[ "VOG aanvraag (Organisatie template)" : I , "Omschrijving (bijv. Chaufferskaart, Visum en emigratie, Exploitatievergunning)" : overigOmschrijving ] , "3 - Specifiek screeningsprofiel" : I - BOX[ "Heeft de aanvraag betrekking op één van de hieronder genoemde functies of doelen?" : specifiekScreeningsProfielRelevant - , "Ja, namelijk op: (u kunt slechts één vakje aankruisen!)" : specifiekScreeningsProfiel + BOX[ "Heeft de aanvraag betrekking op één van de hieronder genoemde functies of doelen?" : specifiekScreeningsProfielRelevant + , "Ja, namelijk op: (u kunt slechts één vakje aankruisen!)" : specifiekScreeningsProfiel ] , "4 - Algemeen screeningsprofiel" : I BOX[ " ": algemeenScreeningsProfiel diff --git a/VOGDemo/StrafbladKoppeling.adl b/VOGDemo/StrafbladKoppeling.adl index b48036f0..a0d7b144 100644 --- a/VOGDemo/StrafbladKoppeling.adl +++ b/VOGDemo/StrafbladKoppeling.adl @@ -15,7 +15,7 @@ beslissing :: Zaak * Beslissing beslissing :: "Schriftelijke uitspraak" * Beslissing strafrechtsketennummer :: Strafrechtsketennummer -> NatuurlijkPersoon [INJ] PRAGMA "" "is toegekend aan verdachte" "in de rol van gedaagde." -MEANING "Eén strafrechtsketennummer wordt toegekend aan precies één gedaagde." +MEANING "Eén strafrechtsketennummer wordt toegekend aan precies één gedaagde." PURPOSE RELATION strafrechtsketennummer [Strafrechtsketennummer*NatuurlijkPersoon] IN DUTCH REF "Art. 27b lid 1 Sv" {+ Onze Minister van Justitie kent aan de verdachte na de vaststelling van zijn identiteit een strafrechtsketennummer toe, tenzij aan hem reeds een strafrechtsketennummer is toegekend. -} diff --git a/VOGDemo/VOGAanvraag.adl b/VOGDemo/VOGAanvraag.adl index b89dc6a3..38de6350 100644 --- a/VOGDemo/VOGAanvraag.adl +++ b/VOGDemo/VOGAanvraag.adl @@ -60,7 +60,7 @@ MEANING "Er mag pas een handtekening worden gezet nadat is betaald" MESSAGE "Artikel 36 tweede lid BJG:" VIOLATION (TXT "De vergoeding voor het afhandelen van de aanvraag t.b.v. ", SRC vogAanvraagOrganisatieTemplate, TXT " moet eerst worden voldaan") PURPOSE RULE "Eerst betalen, dan tekenen" REF "Artikel 36 tweede lid BJG" -{+Onze Minister neemt een aanvraag tot afgifte van een verklaring omtrent het gedrag eerst in behandeling nadat de bij ministeriële regeling vastgestelde vergoeding voor de kosten van deze behandeling is ontvangen.+} +{+Onze Minister neemt een aanvraag tot afgifte van een verklaring omtrent het gedrag eerst in behandeling nadat de bij ministeriële regeling vastgestelde vergoeding voor de kosten van deze behandeling is ontvangen.+} --Regels m.b.t. de ondertekening zitten in het proces @@ -95,7 +95,7 @@ MEANING "Een aanvraag tot afgifte van een VOG wordt eerst in behandeling genomen MESSAGE "Artikel 36 tweede lid BJG" VIOLATION (TXT "Voor ", SRC I[GemeentelijkeVOGZaak], TXT " moet de vergoeding voor de kosten nog worden voldaan") PURPOSE RULE "Gemeentelijke leges moeten zijn betaald" REF "artikel 36 tweede lid BJG" -{+Onze Minister neemt een aanvraag tot afgifte van een verklaring omtrent het gedrag eerst in behandeling nadat de bij ministeriële regeling vastgestelde vergoeding voor de kosten van deze behandeling is ontvangen (artikel 36 tweede lid BJG)+} +{+Onze Minister neemt een aanvraag tot afgifte van een verklaring omtrent het gedrag eerst in behandeling nadat de bij ministeriële regeling vastgestelde vergoeding voor de kosten van deze behandeling is ontvangen (artikel 36 tweede lid BJG)+} gemVOGAanvraag :: GemeentelijkeVOGZaak * VOGAanvraag [INJ,UNI] @@ -257,12 +257,12 @@ specifiekScreeningsProfielRelevant :: VOGAanvraagOrganisatieTemplate * JaNee [UN specifiekScreeningsProfiel :: VOGAanvraagOrganisatieTemplate * SpecifiekScreeningsProfiel [UNI] RULE "Beedigd tolk/vertaler aanvraag integriteit": -I[VOGAanvraagOrganisatieTemplate] /\ specifiekScreeningsProfiel;'80 Beëdigd tolken/vertalers';specifiekScreeningsProfiel~ +I[VOGAanvraagOrganisatieTemplate] /\ specifiekScreeningsProfiel;'80 Beëdigd tolken/vertalers';specifiekScreeningsProfiel~ |- (orgOrganisatie;hrOrganisatieNaam);'Raad voor Rechtsbijstand';(orgOrganisatie;hrOrganisatieNaam)~ --Bron: VOG aanvraag formulier -MEANING "Het profiel 'Beëdigd tolken/vertalers' mag alleen worden gebruikt door de 'Raad voor Rechtsbijstand'" +MEANING "Het profiel 'Beëdigd tolken/vertalers' mag alleen worden gebruikt door de 'Raad voor Rechtsbijstand'" RULE "Integriteit van specifieke screeningsprofielen invullen": I[VOGAanvraagOrganisatieTemplate] /\ specifiekScreeningsProfielRelevant;'Ja';specifiekScreeningsProfielRelevant~ |-specifiekScreeningsProfiel;specifiekScreeningsProfiel~ -MEANING "Als de aanvraag betrekking heeft op één van de specifieke screeningsprofielen, dan moet dit ook zijn gespecificeerd" +MEANING "Als de aanvraag betrekking heeft op één van de specifieke screeningsprofielen, dan moet dit ook zijn gespecificeerd" MESSAGE "U moet een specifiek screeningsprofiel kiezen" RULE "Specifiek screeningsprofiel integriteit": @@ -285,9 +285,9 @@ RULE "Specifieke screeningsprofielen": I[SpecifiekScreeningsProfiel] = \/ '65 Taxibranche; chauffeurskaart' \/ '70 Taxibranche; ondernemersvergunning' \/ '75 (Gezins)voogd bij voogdijinstellingen, reclasseringswerker, raadsonderzoeker en maatschappelijk werker' - \/ '80 Beëdigd tolken/vertalers' --Dit screeningsprofiel kan alleen worden gebruikt als de Raad voor Rechtsbijstand de organisatie is die de VOG verlangt + \/ '80 Beëdigd tolken/vertalers' --Dit screeningsprofiel kan alleen worden gebruikt als de Raad voor Rechtsbijstand de organisatie is die de VOG verlangt \/ '85 Lidmaatschap schietvereniging' - \/ '95 Financiële dienstverlening' + \/ '95 Financiële dienstverlening' MEANING "Een specifiek screeningsprofiel moet worden gekozen uit de voorgedefinieerde profielen" MESSAGE "U mag alleen een voorgedefinieerd profiel kiezen" POPULATION SpecifiekScreeningsProfiel CONTAINS @@ -302,9 +302,9 @@ POPULATION SpecifiekScreeningsProfiel CONTAINS , "65 Taxibranche; chauffeurskaart" , "70 Taxibranche; ondernemersvergunning" , "75 (Gezins)voogd bij voogdijinstellingen, reclasseringswerker, raadsonderzoeker en maatschappelijk werker" - , "80 Beëdigd tolken/vertalers" --Dit screeningsprofiel kan alleen worden gebruikt als de Raad voor Rechtsbijstand de organisatie is die de VOG verlangt + , "80 Beëdigd tolken/vertalers" --Dit screeningsprofiel kan alleen worden gebruikt als de Raad voor Rechtsbijstand de organisatie is die de VOG verlangt , "85 Lidmaatschap schietvereniging" - , "95 Financiële dienstverlening" + , "95 Financiële dienstverlening" ] -- 2.4 Algemeen screeningsprofiel diff --git a/VOGDemo/VOGDemoPopulationTemplate.pop b/VOGDemo/VOGDemoPopulationTemplate.pop index df188947..8750720f 100644 --- a/VOGDemo/VOGDemoPopulationTemplate.pop +++ b/VOGDemo/VOGDemoPopulationTemplate.pop @@ -59,9 +59,9 @@ RULE "Specifieke screeningsprofielen": I[SpecifiekScreeningsProfiel] = \/ '65 Taxibranche; chauffeurskaart' \/ '70 Taxibranche; ondernemersvergunning' \/ '75 (Gezins)voogd bij voogdijinstellingen, reclasseringswerker, raadsonderzoeker en maatschappelijk werker' - \/ '80 Bedigd tolken/vertalers' --Dit screeningsprofiel kan alleen worden gebruikt als de Raad voor Rechtsbijstand de organisatie is die de VOG verlangt + \/ '80 Beëdigd tolken/vertalers' --Dit screeningsprofiel kan alleen worden gebruikt als de Raad voor Rechtsbijstand de organisatie is die de VOG verlangt \/ '85 Lidmaatschap schietvereniging' - \/ '95 Financile dienstverlening' + \/ '95 Financiële dienstverlening' -- 2.4 Algemeen screeningsprofiel") ] POPULATION algemeenScreeningsProfiel CONTAINS [ ("OrgVOG_0", "AlgemeenScreeningsProfiel") ] -- hier mogen meerdere van worden gekozen RULE "Algemene screeningsprofielen": I[AlgemeenScreeningsProfiel] = diff --git a/VOGDemo2/DEMO_VOG.pop b/VOGDemo2/DEMO_VOG.pop index f628bad2..a1fe8cdc 100644 --- a/VOGDemo2/DEMO_VOG.pop +++ b/VOGDemo2/DEMO_VOG.pop @@ -77,9 +77,9 @@ RULE "Specifieke screeningsprofielen": I[SpecifiekScreeningsProfiel] = \/ '65 Taxibranche; chauffeurskaart' \/ '70 Taxibranche; ondernemersvergunning' \/ '75 (Gezins)voogd bij voogdijinstellingen, reclasseringswerker, raadsonderzoeker en maatschappelijk werker' - \/ '80 Beëdigd tolken/vertalers' --Dit screeningsprofiel kan alleen worden gebruikt als de Raad voor Rechtsbijstand de organisatie is die de VOG verlangt + \/ '80 Beëdigd tolken/vertalers' --Dit screeningsprofiel kan alleen worden gebruikt als de Raad voor Rechtsbijstand de organisatie is die de VOG verlangt \/ '85 Lidmaatschap schietvereniging' - \/ '95 Financiële dienstverlening' + \/ '95 Financiële dienstverlening' -- 2.4 Algemeen screeningsprofiel POPULATION algemeenScreeningsProfiel CONTAINS [ ("OrgVOG_0", "AlgemeenScreeningsProfiel") ] -- hier mogen meerdere van worden gekozen RULE "Algemene screeningsprofielen": I[AlgemeenScreeningsProfiel] = @@ -131,7 +131,7 @@ POPULATION taakomschrijving CONTAINS [ ("VOGAT_1", "zie bijla POPULATION overig CONTAINS [ ("VOGAT_1", "Nee") ] -- 2.3 Specifiek screeningsprofiel POPULATION specifiekScreeningsProfielRelevant CONTAINS [ ("VOGAT_1", "Ja") ] -POPULATION specifiekScreeningsProfiel CONTAINS [ ("VOGAT_1", "95 Financiële dienstverlening") ] +POPULATION specifiekScreeningsProfiel CONTAINS [ ("VOGAT_1", "95 Financiële dienstverlening") ] -- 2.4 Algemeen screeningsprofiel -- 2.5 Bijzondere omstandigheden m.b.t. de aanvraag POPULATION orgErZijnBijzondereOmstandigheden CONTAINS [ ("VOGAT_1", "Nee") ] diff --git a/VOGDemo2/GBA.adl b/VOGDemo2/GBA.adl index e2084acb..059e42f0 100644 --- a/VOGDemo2/GBA.adl +++ b/VOGDemo2/GBA.adl @@ -53,7 +53,7 @@ gbaTitelPredikaat :: NatuurlijkPersoon * TitelPredikaat [UNI] --adellij PRAGMA "Aan " " is de titel " "toegekend" MEANING "Een persoon kan een of meerdere adelijke aanspreektitels hebben." PURPOSE RELATION gbaTitelPredikaat[NatuurlijkPersoon*TitelPredikaat] IN DUTCH REF "Bijlage I lid 1 sub a WGBA" -{+ Adelijke titels worden als aanspreektitels beschouwd en moeten worden vermeld op officiële documenten. +{+ Adelijke titels worden als aanspreektitels beschouwd en moeten worden vermeld op officiële documenten. -} -- b. Geboorte: @@ -118,21 +118,21 @@ PURPOSE RELATION gbaGeslacht[NatuurlijkPersoon*Geslacht] IN DUTCH REF "Art. 34 l -- overlijdensdatum; -- plaats overlijden; -- land en zo nodig gebiedsdeel overlijden. --- i. Data ingang en beëindiging rechtsgeldigheid gegevens: +-- i. Data ingang en beëindiging rechtsgeldigheid gegevens: -- datum ingang rechtsgeldigheid; --- datum beëindiging rechtsgeldigheid. +-- datum beëindiging rechtsgeldigheid. -- -- 2. Gegevens over curatele -- curatele; -- datum ingang rechtsgeldigheid curatele; --- datum beëindiging rechtsgeldigheid curatele. +-- datum beëindiging rechtsgeldigheid curatele. -- 3. Gegevens over het gezag dat over de minderjarige wordt uitgeoefend --- de aantekening dat het gezag over de ingeschrevene uitsluitend door één ouder wordt uitgeoefend; +-- de aantekening dat het gezag over de ingeschrevene uitsluitend door één ouder wordt uitgeoefend; -- de aantekening dat het gezag over de ingeschrevene door beide ouders wordt uitgeoefend; -- de aantekening dat het gezag over de ingeschrevene door een ouder en een derde wordt uitgeoefend; --- de aantekening dat het gezag over de ingeschrevene door één derde of twee derden tezamen wordt uitgeoefend, dan wel dat over de ingeschrevene tijdelijke of voorlopige voogdij wordt uitgeoefend; +-- de aantekening dat het gezag over de ingeschrevene door één derde of twee derden tezamen wordt uitgeoefend, dan wel dat over de ingeschrevene tijdelijke of voorlopige voogdij wordt uitgeoefend; -- datum ingang rechtsgeldigheid gegeven; --- datum beëindiging rechtsgeldigheid gegeven. +-- datum beëindiging rechtsgeldigheid gegeven. -- 4. Gegevens over de nationaliteit gbaNationaliteit :: NatuurlijkPersoon * Nationaliteit -- nationaliteit of nationaliteiten, dan wel een aanduiding dat de betrokkene geen nationaliteit bezit, of een aanduiding dat de nationaliteit van de betrokkene niet kan worden vastgesteld; PRAGMA "" "heeft de" "nationaliteit" @@ -145,11 +145,11 @@ PURPOSE RELATION gbaNationaliteit[NatuurlijkPersoon*Nationaliteit] IN DUTCH REF -- de aantekening dat op grond van artikel 17 van de Rijkswet op het Nederlanderschap is vastgesteld dat de betrokkene niet de Nederlandse nationaliteit bezit; -- de aantekening dat de betrokkene op grond van de Wet betreffende de positie van Molukkers als Nederlander behandeld wordt; -- datum ingang rechtsgeldigheid gegeven; --- datum beëindiging rechtsgeldigheid gegeven. +-- datum beëindiging rechtsgeldigheid gegeven. -- 5. Gegevens over het verblijfsrecht van de vreemdeling -- de aantekening over het verblijfsrecht; -- datum ingang verblijfsrecht; --- datum beëindiging verblijfsrecht; +-- datum beëindiging verblijfsrecht; -- datum mededeling gegeven. -- 6. Gegevens over de gemeente van inschrijving en het adres in die gemeente alsmede over het verblijf in Nederland en het vertrek uit Nederland -- a. Gemeente van inschrijving: @@ -204,7 +204,7 @@ gbaBSNDatum :: NatuurlijkPersoon * Datum [UNI] -- de aantekening dat de ingeschrevene de geslachtsnaam van de echtgenoot, de geregistreerde partner vooraf doet gaan aan de eigen geslachtsnaam; -- de aantekening dat de ingeschrevene de geslachtsnaam van de echtgenoot, de geregistreerde partner, de eerdere echtgenoot of de eerdere geregistreerde partner doet volgen op de eigen geslachtsnaam; -- datum ingang van het gegeven over het naamgebruik; --- datum beëindiging van het gegeven over het naamgebruik. +-- datum beëindiging van het gegeven over het naamgebruik. ENDPATTERN ------------------------------------------------------------ diff --git a/VOGDemo2/GBA.pop b/VOGDemo2/GBA.pop index 45005370..54a30acc 100644 --- a/VOGDemo2/GBA.pop +++ b/VOGDemo2/GBA.pop @@ -25,7 +25,7 @@ POPULATION gbaBSN CONTAINS [ ("NatuurlijkPersoon", "BurgerSe POPULATION gbaBSNDatum CONTAINS [ ("NatuurlijkPersoon", "Datum") ] -} ----------------------------------------------------------- ---Het burgerservicenummer bestaat uit (8 of) 9 cijfers en voldoet aan een variant op de zogenaamde elfproef. Het verschil in de berekening zit in het laatste cijfer, dat in plaats van met 1, met -1 wordt vermenigvuldigd. Als het burgerservicenummer wordt voorgesteld door ABCDEFGHI, dan moet (9 x A) + (8 x B) + (7 x C) + (6 x D) + (5 x E) + (4 x F) + (3 x G) + (2 x H) + (-1 x I) een veelvoud van 11 zijn. Er kunnen met deze combinatie bijna 91 miljoen nummers gecreëerd worden. Geldige voorbeelden zijn bijvoorbeeld: 111222333 en 123456782. +--Het burgerservicenummer bestaat uit (8 of) 9 cijfers en voldoet aan een variant op de zogenaamde elfproef. Het verschil in de berekening zit in het laatste cijfer, dat in plaats van met 1, met -1 wordt vermenigvuldigd. Als het burgerservicenummer wordt voorgesteld door ABCDEFGHI, dan moet (9 x A) + (8 x B) + (7 x C) + (6 x D) + (5 x E) + (4 x F) + (3 x G) + (2 x H) + (-1 x I) een veelvoud van 11 zijn. Er kunnen met deze combinatie bijna 91 miljoen nummers gecreëerd worden. Geldige voorbeelden zijn bijvoorbeeld: 111222333 en 123456782. ----------------------------------------------------------- POPULATION gbaDisplayNaam CONTAINS [ ("NatPers_1", "Dhr. K.L. Jansen") ] POPULATION gbaGeslachtsnaam CONTAINS [ ("NatPers_1", "Jansen") ] diff --git a/VOGDemo2/IFC-Aanvrager.ifc b/VOGDemo2/IFC-Aanvrager.ifc index 46ba1f4d..abdad8f5 100644 --- a/VOGDemo2/IFC-Aanvrager.ifc +++ b/VOGDemo2/IFC-Aanvrager.ifc @@ -198,7 +198,7 @@ MESSAGE "Artikel 36 tweede lid BJG:" VIOLATION (TXT "De eigenaar van ", SRC aanvragerEmailAddress, TXT " moet de vergoeding voor de kosten nog voldoen betreffende de afhandeling van ", SRC vogAanvraagOrganisatieTemplate) ROLE Aanvrager MAINTAINS "Leges voor VOG aanvraag voldoen" PURPOSE RULE "Leges voor VOG aanvraag voldoen" REF "Artikel 36 tweede lid BJG" -{+Onze Minister neemt een aanvraag tot afgifte van een verklaring omtrent het gedrag eerst in behandeling nadat de bij ministeriële regeling vastgestelde vergoeding voor de kosten van deze behandeling is ontvangen.+} +{+Onze Minister neemt een aanvraag tot afgifte van een verklaring omtrent het gedrag eerst in behandeling nadat de bij ministeriële regeling vastgestelde vergoeding voor de kosten van deze behandeling is ontvangen.+} ENDPROCESS ------------------------------------------------------------ @@ -319,8 +319,8 @@ BOX[ "Contactgegevens": I , "Omschrijving (bijv. Chaufferskaart, Visum en emigratie, Exploitatievergunning)" : overigOmschrijving ] , "3 - Specifiek screeningsprofiel" : I - BOX[ "Heeft de aanvraag betrekking op één van de hieronder genoemde functies of doelen?" : specifiekScreeningsProfielRelevant - , "Ja, namelijk op: (u kunt slechts één vakje aankruisen!)" : specifiekScreeningsProfiel + BOX[ "Heeft de aanvraag betrekking op één van de hieronder genoemde functies of doelen?" : specifiekScreeningsProfielRelevant + , "Ja, namelijk op: (u kunt slechts één vakje aankruisen!)" : specifiekScreeningsProfiel ] , "4 - Algemeen screeningsprofiel" : I BOX[ " ": algemeenScreeningsProfiel diff --git a/VOGDemo2/IFC-COVOG.ifc b/VOGDemo2/IFC-COVOG.ifc index c1e39879..587a18df 100644 --- a/VOGDemo2/IFC-COVOG.ifc +++ b/VOGDemo2/IFC-COVOG.ifc @@ -100,7 +100,7 @@ MESSAGE "Artikel 36 tweede lid BJG" VIOLATION (TXT "Aanvraag ", SRC I, TXT " kan pas in behandeling worden genomen als de verschuldigde leges zijn ontvangen") ROLE COVOG MAINTAINS "Vergoeding voor het behandelen van een VOG aanvraag" PURPOSE RULE "Vergoeding voor het behandelen van een VOG aanvraag" REF "Artikel 36 tweede lid BJG" -{+Onze Minister neemt een aanvraag tot afgifte van een verklaring omtrent het gedrag eerst in behandeling nadat de bij ministeriële regeling vastgestelde vergoeding voor de kosten van deze behandeling is ontvangen (artikel 36 tweede lid BJG)+} +{+Onze Minister neemt een aanvraag tot afgifte van een verklaring omtrent het gedrag eerst in behandeling nadat de bij ministeriële regeling vastgestelde vergoeding voor de kosten van deze behandeling is ontvangen (artikel 36 tweede lid BJG)+} RULE "COVOG Zaaknummer toekennen": I[VOGAanvraag] /\ ( (aanvragerHandtekening;aanvragerHandtekening~) @@ -158,7 +158,7 @@ BOX[ "COVOG zaaknummer" : covogZaakNummer isAanvraagNoodzakelijkOmRisicoVoorSamenlevingTeBeperken , "Is er een aanwijsbare belanghebbende derde?" : isErEenAanwijsbareBelanghebbendeDerde - , "Zijn de te beschermen belangen van privé-aard?" : + , "Zijn de te beschermen belangen van privé-aard?" : zijnDeTeBeschermenBelangenVanPriveAard -- Toetsen moeten leiden tot een al dan niet ontvankelijk verklaren van de aanvraag , "Is, gezien het voorafgaande, de aanvraag ontvankelijk?" : @@ -326,38 +326,38 @@ VIOLATION (TXT "Zaak ", SRC covogZaakNummer, TXT " is NIET ontvankelijk omdat er PURPOSE RULE "Integriteit niet-ontvankelijkheid door gebrek aan belanghebbende derde" IN DUTCH REF "Paragraaf 2 Beleidsregels VOG-NP-RP 2008" {+Een aanvraag voor een VOG-NP of VOG-RP is niet ontvankelijk wanneer er geen aanwijsbare belanghebbende derde is+} -RULE "Niet-ontvankelijkheid omdat belangen van privé-aard zijn": +RULE "Niet-ontvankelijkheid omdat belangen van privé-aard zijn": covogZaakNummer~; (I /\ zijnDeTeBeschermenBelangenVanPriveAard;'Ja';zijnDeTeBeschermenBelangenVanPriveAard~ /\ -(covogOntvankelijkheidMotivatie;covogOntvankelijkheidMotivatie~ ) ) |- covogZaakNummer~;(I /\ isAanvraagOntvankelijk;'Nee';isAanvraagOntvankelijk~) -MEANING "Als de te beschermen belangen van privé-aard zijn, dan is de aanvraag niet ontvankelijk (Paragraaf 2 Beleidsregels VOG-NP-RP 2008)" +MEANING "Als de te beschermen belangen van privé-aard zijn, dan is de aanvraag niet ontvankelijk (Paragraaf 2 Beleidsregels VOG-NP-RP 2008)" MESSAGE "Paragraaf 2 beleidsregels VOG-NP-RP 2008:" -VIOLATION (TXT "Zaak ", SRC I, TXT " is NIET ontvankelijk omdat de te beschermen belangen van privé-aard zijn") -PURPOSE RULE "Niet-ontvankelijkheid omdat belangen van privé-aard zijn" IN DUTCH REF "Paragraaf 2 Beleidsregels VOG-NP-RP 2008" -{+Een aanvraag voor een VOG-NP of VOG-RP is niet ontvankelijk wanneer de te beschermen belangen van privé-aard zijn+} -ROLE COVOG MAINTAINS "Niet-ontvankelijkheid omdat belangen van privé-aard zijn" +VIOLATION (TXT "Zaak ", SRC I, TXT " is NIET ontvankelijk omdat de te beschermen belangen van privé-aard zijn") +PURPOSE RULE "Niet-ontvankelijkheid omdat belangen van privé-aard zijn" IN DUTCH REF "Paragraaf 2 Beleidsregels VOG-NP-RP 2008" +{+Een aanvraag voor een VOG-NP of VOG-RP is niet ontvankelijk wanneer de te beschermen belangen van privé-aard zijn+} +ROLE COVOG MAINTAINS "Niet-ontvankelijkheid omdat belangen van privé-aard zijn" -RULE "Integriteit niet-ontvankelijkheid omdat belangen van privé-aard zijn": +RULE "Integriteit niet-ontvankelijkheid omdat belangen van privé-aard zijn": (I /\ covogZaakNummer;covogZaakNummer~ /\ zijnDeTeBeschermenBelangenVanPriveAard;'Ja';zijnDeTeBeschermenBelangenVanPriveAard~ /\ isAanvraagOntvankelijk;'Ja';isAanvraagOntvankelijk~ /\ -(covogOntvankelijkheidMotivatie;covogOntvankelijkheidMotivatie~) ) |- -I -MEANING "Als de te beschermen belangen van privé-aard zijn, dan is de aanvraag niet ontvankelijk (Paragraaf 2 Beleidsregels VOG-NP-RP 2008)" +MEANING "Als de te beschermen belangen van privé-aard zijn, dan is de aanvraag niet ontvankelijk (Paragraaf 2 Beleidsregels VOG-NP-RP 2008)" MESSAGE "Paragraaf 2 beleidsregels VOG-NP-RP 2008:" -VIOLATION (TXT "Zaak ", SRC covogZaakNummer, TXT " is NIET ontvankelijk omdat de te beschermen belangen van privé-aard zijn") -PURPOSE RULE "Integriteit niet-ontvankelijkheid omdat belangen van privé-aard zijn" IN DUTCH REF "Paragraaf 2 Beleidsregels VOG-NP-RP 2008" -{+Een aanvraag voor een VOG-NP of VOG-RP is niet ontvankelijk wanneer de te beschermen belangen van privé-aard zijn+} +VIOLATION (TXT "Zaak ", SRC covogZaakNummer, TXT " is NIET ontvankelijk omdat de te beschermen belangen van privé-aard zijn") +PURPOSE RULE "Integriteit niet-ontvankelijkheid omdat belangen van privé-aard zijn" IN DUTCH REF "Paragraaf 2 Beleidsregels VOG-NP-RP 2008" +{+Een aanvraag voor een VOG-NP of VOG-RP is niet ontvankelijk wanneer de te beschermen belangen van privé-aard zijn+} ENDPROCESS ------------------------------------------------------------ --[Paragraaf 3. Beoordeling van de aanvraag]-- -{-Samenvatting: Bij de beoordeling van de aanvraag wordt in beginsel gekeken naar de justitiële gegevens die zijn opgenomen in de justitiële documentatie in de voor het doel van de aanvraag relevante termijn. -Aan de aanvrager die in het geheel niet voorkomt in de justitiële documentatie wordt zonder meer een VOG afgegeven. -Wanneer de aanvrager wel voorkomt in de justitiële documentatie wordt de vraag of een VOG kan worden afgegeven beoordeeld aan de hand van een objectief criterium en een subjectief criterium.-} +{-Samenvatting: Bij de beoordeling van de aanvraag wordt in beginsel gekeken naar de justitiële gegevens die zijn opgenomen in de justitiële documentatie in de voor het doel van de aanvraag relevante termijn. +Aan de aanvrager die in het geheel niet voorkomt in de justitiële documentatie wordt zonder meer een VOG afgegeven. +Wanneer de aanvrager wel voorkomt in de justitiële documentatie wordt de vraag of een VOG kan worden afgegeven beoordeeld aan de hand van een objectief criterium en een subjectief criterium.-} ------------------------------------------------------------ INTERFACE "Te beoordelen aanvraag" (vogAfgifteBesluit @@ -432,9 +432,9 @@ I /\ isAanvraagOntvankelijk;'Ja';isAanvraagOntvankelijk~ -- Als de aanvraag ont )~ ) |- vogAfgifteBesluit;'Ja'; vogAfgifteBesluit~ -- dan moet de VOG worden afgegeven -MEANING "Aan de aanvrager die in het geheel niet voorkomt in de justitiële documentatie wordt zonder meer een VOG afgegeven (Paragraaf 3 beleidsregels VOG-NP-RP 2008)" +MEANING "Aan de aanvrager die in het geheel niet voorkomt in de justitiële documentatie wordt zonder meer een VOG afgegeven (Paragraaf 3 beleidsregels VOG-NP-RP 2008)" MESSAGE "Paragraaf 3 beleidsregels VOG-NP-RP 2008:" -VIOLATION (TXT "Voor ", SRC covogZaakNummer, TXT " kan zonder meer een VOG worden afgegeven omdat de aanvrager niet voorkomt in de justitiële documentatie") +VIOLATION (TXT "Voor ", SRC covogZaakNummer, TXT " kan zonder meer een VOG worden afgegeven omdat de aanvrager niet voorkomt in de justitiële documentatie") ROLE COVOG MAINTAINS "VOG toekennen als de aanvrager geen strafblad heeft" RULE "Integriteit van VOG toekenningen als de aanvrager geen strafblad heeft": @@ -465,9 +465,9 @@ I /\ isAanvraagOntvankelijk;'Ja';isAanvraagOntvankelijk~ -- Als de aanvraag ont ) /\ vogAfgifteBesluit;'Nee'; vogAfgifteBesluit~ -- en de VOG wordt niet afgegeven |- -I -- Dan zijn we niet integer bezig -MEANING "Voor elke ontvankelijke aanvraag waarvan de aanvrager die in het geheel niet voorkomt in de justitiële documentatie wordt zonder meer een VOG afgegeven (Paragraaf 3 beleidsregels VOG-NP-RP 2008)" +MEANING "Voor elke ontvankelijke aanvraag waarvan de aanvrager die in het geheel niet voorkomt in de justitiële documentatie wordt zonder meer een VOG afgegeven (Paragraaf 3 beleidsregels VOG-NP-RP 2008)" MESSAGE "Paragraaf 3 beleidsregels VOG-NP-RP 2008:" -VIOLATION (TXT "Voor VOG aanvraag ", SRC covogZaakNummer, TXT " moet een VOG worden afgegeven omdat de aanvrager niet voorkomt in de justitiële documentatie (en de aanvraag ontvankelijk is)") +VIOLATION (TXT "Voor VOG aanvraag ", SRC covogZaakNummer, TXT " moet een VOG worden afgegeven omdat de aanvrager niet voorkomt in de justitiële documentatie (en de aanvraag ontvankelijk is)") --ROLE COVOG MAINTAINS "VOG toekennen als de aanvrager geen strafblad heeft" ENDPROCESS @@ -542,8 +542,8 @@ BOX[ "2. VOG aanvraag (Organisatie template)" : I , "Omschrijving (bijv. Chaufferskaart, Visum en emigratie, Exploitatievergunning)" : overigOmschrijving ] , "2.3 - Specifiek screeningsprofiel" : I - BOX[ "Heeft de aanvraag betrekking op één van de hieronder genoemde functies of doelen?" : specifiekScreeningsProfielRelevant - , "Ja, namelijk op: (u kunt slechts één vakje aankruisen!)" : specifiekScreeningsProfiel + BOX[ "Heeft de aanvraag betrekking op één van de hieronder genoemde functies of doelen?" : specifiekScreeningsProfielRelevant + , "Ja, namelijk op: (u kunt slechts één vakje aankruisen!)" : specifiekScreeningsProfiel ] , "2.4 - Algemeen screeningsprofiel" : I BOX[ " ": algemeenScreeningsProfiel diff --git a/VOGDemo2/IFC-Gemeente.ifc b/VOGDemo2/IFC-Gemeente.ifc index 9e888f38..bd362422 100644 --- a/VOGDemo2/IFC-Gemeente.ifc +++ b/VOGDemo2/IFC-Gemeente.ifc @@ -267,8 +267,8 @@ BOX[ "VOG aanvraag (Organisatie template)" : I[VOGAanvraagOrganisatieTemplate] , "Omschrijving (bijv. Chaufferskaart, Visum en emigratie, Exploitatievergunning)" : overigOmschrijving ] , "3 - Specifiek screeningsprofiel" : I - BOX[ "Heeft de aanvraag betrekking op één van de hieronder genoemde functies of doelen?" : specifiekScreeningsProfielRelevant - , "Ja, namelijk op: (u kunt slechts één vakje aankruisen!)" : specifiekScreeningsProfiel + BOX[ "Heeft de aanvraag betrekking op één van de hieronder genoemde functies of doelen?" : specifiekScreeningsProfielRelevant + , "Ja, namelijk op: (u kunt slechts één vakje aankruisen!)" : specifiekScreeningsProfiel ] , "4 - Algemeen screeningsprofiel" : I BOX[ " ": algemeenScreeningsProfiel diff --git a/VOGDemo2/IFC-Organisatie.ifc b/VOGDemo2/IFC-Organisatie.ifc index dc095987..058c0f09 100644 --- a/VOGDemo2/IFC-Organisatie.ifc +++ b/VOGDemo2/IFC-Organisatie.ifc @@ -210,8 +210,8 @@ BOX[ "Invullen door organisatie / instelling die de VOG verlangt" : I , "Omschrijving (bijv. Chaufferskaart, Visum en emigratie, Exploitatievergunning)" : overigOmschrijving ] , "3 - Specifiek screeningsprofiel" : I - BOX[ "Heeft de aanvraag betrekking op één van de hieronder genoemde functies of doelen?" : specifiekScreeningsProfielRelevant - , "Ja, namelijk op: (u kunt slechts één vakje aankruisen!)" : specifiekScreeningsProfiel + BOX[ "Heeft de aanvraag betrekking op één van de hieronder genoemde functies of doelen?" : specifiekScreeningsProfielRelevant + , "Ja, namelijk op: (u kunt slechts één vakje aankruisen!)" : specifiekScreeningsProfiel ] , "4 - Algemeen screeningsprofiel" : I BOX[ " ": algemeenScreeningsProfiel @@ -270,8 +270,8 @@ BOX[ "VOG aanvraag (Organisatie template)" : I , "Omschrijving (bijv. Chaufferskaart, Visum en emigratie, Exploitatievergunning)" : overigOmschrijving ] , "3 - Specifiek screeningsprofiel" : I - BOX[ "Heeft de aanvraag betrekking op één van de hieronder genoemde functies of doelen?" : specifiekScreeningsProfielRelevant - , "Ja, namelijk op: (u kunt slechts één vakje aankruisen!)" : specifiekScreeningsProfiel + BOX[ "Heeft de aanvraag betrekking op één van de hieronder genoemde functies of doelen?" : specifiekScreeningsProfielRelevant + , "Ja, namelijk op: (u kunt slechts één vakje aankruisen!)" : specifiekScreeningsProfiel ] , "4 - Algemeen screeningsprofiel" : I BOX[ " ": algemeenScreeningsProfiel diff --git a/VOGDemo2/StrafbladKoppeling.adl b/VOGDemo2/StrafbladKoppeling.adl index e1fe62af..32578c4d 100644 --- a/VOGDemo2/StrafbladKoppeling.adl +++ b/VOGDemo2/StrafbladKoppeling.adl @@ -15,7 +15,7 @@ beslissing :: Zaak * Beslissing beslissing :: "Schriftelijke uitspraak" * Beslissing strafrechtsketennummer :: Strafrechtsketennummer -> NatuurlijkPersoon [INJ] PRAGMA "" "is toegekend aan verdachte" "in de rol van gedaagde." -MEANING "Eén strafrechtsketennummer wordt toegekend aan precies één gedaagde." +MEANING "Eén strafrechtsketennummer wordt toegekend aan precies één gedaagde." PURPOSE RELATION strafrechtsketennummer [Strafrechtsketennummer*NatuurlijkPersoon] IN DUTCH REF "Art. 27b lid 1 Sv" {+ Onze Minister van Justitie kent aan de verdachte na de vaststelling van zijn identiteit een strafrechtsketennummer toe, tenzij aan hem reeds een strafrechtsketennummer is toegekend. -} diff --git a/VOGDemo2/VOGAanvraag.adl b/VOGDemo2/VOGAanvraag.adl index 0352af4c..daa020b3 100644 --- a/VOGDemo2/VOGAanvraag.adl +++ b/VOGDemo2/VOGAanvraag.adl @@ -50,7 +50,7 @@ MEANING "Er mag pas een handtekening worden gezet nadat is betaald" MESSAGE "Artikel 36 tweede lid BJG:" VIOLATION (TXT "De vergoeding voor het afhandelen van de aanvraag t.b.v. ", SRC vogAanvraagOrganisatieTemplate, TXT " moet eerst worden voldaan") PURPOSE RULE "Eerst betalen, dan tekenen" REF "Artikel 36 tweede lid BJG" -{+Onze Minister neemt een aanvraag tot afgifte van een verklaring omtrent het gedrag eerst in behandeling nadat de bij ministeriële regeling vastgestelde vergoeding voor de kosten van deze behandeling is ontvangen.+} +{+Onze Minister neemt een aanvraag tot afgifte van een verklaring omtrent het gedrag eerst in behandeling nadat de bij ministeriële regeling vastgestelde vergoeding voor de kosten van deze behandeling is ontvangen.+} --Regels m.b.t. de ondertekening zitten in het proces @@ -85,7 +85,7 @@ MEANING "Een aanvraag tot afgifte van een VOG wordt eerst in behandeling genomen MESSAGE "Artikel 36 tweede lid BJG" VIOLATION (TXT "Voor ", SRC I[GemeentelijkeVOGZaak], TXT " moet de vergoeding voor de kosten nog worden voldaan") PURPOSE RULE "Gemeentelijke leges moeten zijn betaald" REF "artikel 36 tweede lid BJG" -{+Onze Minister neemt een aanvraag tot afgifte van een verklaring omtrent het gedrag eerst in behandeling nadat de bij ministeriële regeling vastgestelde vergoeding voor de kosten van deze behandeling is ontvangen (artikel 36 tweede lid BJG)+} +{+Onze Minister neemt een aanvraag tot afgifte van een verklaring omtrent het gedrag eerst in behandeling nadat de bij ministeriële regeling vastgestelde vergoeding voor de kosten van deze behandeling is ontvangen (artikel 36 tweede lid BJG)+} gemVOGAanvraag :: GemeentelijkeVOGZaak * VOGAanvraag [INJ,UNI] @@ -235,12 +235,12 @@ specifiekScreeningsProfielRelevant :: VOGAanvraagOrganisatieTemplate * JaNee [UN specifiekScreeningsProfiel :: VOGAanvraagOrganisatieTemplate * SpecifiekScreeningsProfiel [UNI] RULE "Beedigd tolk/vertaler aanvraag integriteit": -I[VOGAanvraagOrganisatieTemplate] /\ specifiekScreeningsProfiel;'80 Beëdigd tolken/vertalers';specifiekScreeningsProfiel~ +I[VOGAanvraagOrganisatieTemplate] /\ specifiekScreeningsProfiel;'80 Beëdigd tolken/vertalers';specifiekScreeningsProfiel~ |- (orgOrganisatie;hrOrganisatieNaam);'Raad voor Rechtsbijstand';(orgOrganisatie;hrOrganisatieNaam)~ --Bron: VOG aanvraag formulier -MEANING "Het profiel 'Beëdigd tolken/vertalers' mag alleen worden gebruikt door de 'Raad voor Rechtsbijstand'" +MEANING "Het profiel 'Beëdigd tolken/vertalers' mag alleen worden gebruikt door de 'Raad voor Rechtsbijstand'" RULE "Integriteit van specifieke screeningsprofielen invullen": I[VOGAanvraagOrganisatieTemplate] /\ specifiekScreeningsProfielRelevant;'Ja';specifiekScreeningsProfielRelevant~ |-specifiekScreeningsProfiel;specifiekScreeningsProfiel~ -MEANING "Als de aanvraag betrekking heeft op één van de specifieke screeningsprofielen, dan moet dit ook zijn gespecificeerd" +MEANING "Als de aanvraag betrekking heeft op één van de specifieke screeningsprofielen, dan moet dit ook zijn gespecificeerd" MESSAGE "U moet een specifiek screeningsprofiel kiezen" RULE "Specifiek screeningsprofiel integriteit": @@ -263,9 +263,9 @@ RULE "Specifieke screeningsprofielen": I[SpecifiekScreeningsProfiel] = \/ '65 Taxibranche; chauffeurskaart' \/ '70 Taxibranche; ondernemersvergunning' \/ '75 (Gezins)voogd bij voogdijinstellingen, reclasseringswerker, raadsonderzoeker en maatschappelijk werker' - \/ '80 Beëdigd tolken/vertalers' --Dit screeningsprofiel kan alleen worden gebruikt als de Raad voor Rechtsbijstand de organisatie is die de VOG verlangt + \/ '80 Beëdigd tolken/vertalers' --Dit screeningsprofiel kan alleen worden gebruikt als de Raad voor Rechtsbijstand de organisatie is die de VOG verlangt \/ '85 Lidmaatschap schietvereniging' - \/ '95 Financiële dienstverlening' + \/ '95 Financiële dienstverlening' MEANING "Een specifiek screeningsprofiel moet worden gekozen uit de voorgedefinieerde profielen" MESSAGE "U mag alleen een voorgedefinieerd profiel kiezen" diff --git a/VOGDemo2/VOGDemoPopulationTemplate.pop b/VOGDemo2/VOGDemoPopulationTemplate.pop index df188947..8750720f 100644 --- a/VOGDemo2/VOGDemoPopulationTemplate.pop +++ b/VOGDemo2/VOGDemoPopulationTemplate.pop @@ -59,9 +59,9 @@ RULE "Specifieke screeningsprofielen": I[SpecifiekScreeningsProfiel] = \/ '65 Taxibranche; chauffeurskaart' \/ '70 Taxibranche; ondernemersvergunning' \/ '75 (Gezins)voogd bij voogdijinstellingen, reclasseringswerker, raadsonderzoeker en maatschappelijk werker' - \/ '80 Bedigd tolken/vertalers' --Dit screeningsprofiel kan alleen worden gebruikt als de Raad voor Rechtsbijstand de organisatie is die de VOG verlangt + \/ '80 Beëdigd tolken/vertalers' --Dit screeningsprofiel kan alleen worden gebruikt als de Raad voor Rechtsbijstand de organisatie is die de VOG verlangt \/ '85 Lidmaatschap schietvereniging' - \/ '95 Financile dienstverlening' + \/ '95 Financiële dienstverlening' -- 2.4 Algemeen screeningsprofiel") ] POPULATION algemeenScreeningsProfiel CONTAINS [ ("OrgVOG_0", "AlgemeenScreeningsProfiel") ] -- hier mogen meerdere van worden gekozen RULE "Algemene screeningsprofielen": I[AlgemeenScreeningsProfiel] = diff --git a/WODC/OnderzoekWODC.adl b/WODC/OnderzoekWODC.adl index d3517a56..c08d198f 100644 --- a/WODC/OnderzoekWODC.adl +++ b/WODC/OnderzoekWODC.adl @@ -1,4 +1,4 @@ -CONTEXT OnderzoekWODC IN DUTCH +CONTEXT OnderzoekWODC IN DUTCH -- INCLUDE "../SIAM/SIAM_PersonReg.adl" -- INCLUDE "../SIAM/SIAM_OrgReg.adl" -- INCLUDE "../SIAM/SIAM_Persona.adl" diff --git a/XPaths/XPathSvc.adl b/XPaths/XPathSvc.adl index 5b38b4a6..b82231b4 100644 --- a/XPaths/XPathSvc.adl +++ b/XPaths/XPathSvc.adl @@ -1,4 +1,4 @@ -CONTEXT XPathSvc IN ENGLISH +CONTEXT XPathSvc IN ENGLISH -- Waiting for #486 to be resolved PURPOSE CONTEXT XPathSvc {+This service ensures that every Property has a correct set of XPaths, diff --git a/XPaths/XPaths.adl b/XPaths/XPaths.adl index f138730b..c63370e1 100644 --- a/XPaths/XPaths.adl +++ b/XPaths/XPaths.adl @@ -1,4 +1,4 @@ -CONTEXT XPathTest IN ENGLISH +CONTEXT XPathTest IN ENGLISH -- Further testing awaits the resolution of ticket #599 INCLUDE "XPathSvc.adl" diff --git a/ZwolleFrontEnd/CP23/CP23 Ontology.adl b/ZwolleFrontEnd/CP23/CP23 Ontology.adl index be08859f..0850559b 100644 --- a/ZwolleFrontEnd/CP23/CP23 Ontology.adl +++ b/ZwolleFrontEnd/CP23/CP23 Ontology.adl @@ -6,7 +6,7 @@ CONTEXT PortableEquipment IN ENGLISH PATTERN "Policy 2.3 vsn 1: Asset Management - Portable Equipment" PURPOSE PATTERN "Policy 2.3 vsn 1: Asset Management - Portable Equipment" -{+Company Inc. has concerns regarding equipment that employees can ‘carry around’, such as cell-phones, laptops, cars, toolboxes, ID-cards, etc. In order to address these concerns, this policy specifies rules for the purpose of achieving the following objectives: +{+Company Inc. has concerns regarding equipment that employees can ‘carry around’, such as cell-phones, laptops, cars, toolboxes, ID-cards, etc. In order to address these concerns, this policy specifies rules for the purpose of achieving the following objectives: # employees must dispose of all company equipment that is necessary for doing their jobs. # total cost of ownership of company equipment must be controlled, which includes costs for stocks and usage/license fees, in particular when equipment is not or no longer in use. @@ -29,7 +29,7 @@ PURPOSE RELATION emplManager {+Employees may be issued non-standard equipment provided this is apporved by their manager. Therefore, the manager of employees must be known.+} RULE "Employee managers": emplManager |- emplManager;(I /\ emplOrgRole;'Manager';emplOrgRole~) -MEANING "An employee can only be managed by an employee that fulfills the organizational role of ‘Manager’." +MEANING "An employee can only be managed by an employee that fulfills the organizational role of ‘Manager’." VIOLATION (TGT I, TXT "does not fulfill the organizational role of 'Manager'") PURPOSE RULE "Employee managers" REF "CP2.3v1:3.2" {+One employee may only manage another employee if he has been assigned the necessary responsibilities. Such responsibilities are defined for the role 'Manager'. Hence, employees may only be managed by (other) employees that fulfill this role.+} diff --git a/ZwolleFrontEnd/DaggerExample.adl b/ZwolleFrontEnd/DaggerExample.adl index 8b8d28c9..edd3fa0d 100644 --- a/ZwolleFrontEnd/DaggerExample.adl +++ b/ZwolleFrontEnd/DaggerExample.adl @@ -1,4 +1,4 @@ -CONTEXT Dagger IN DUTCH +CONTEXT Dagger IN DUTCH -- Dit is an example of the use of the dagger operator '!'. PROCESS Dagger diff --git a/ZwolleFrontEnd/Fire/FireFighting.ifc b/ZwolleFrontEnd/Fire/FireFighting.ifc index 8cd9eac5..496ce4f8 100644 --- a/ZwolleFrontEnd/Fire/FireFighting.ifc +++ b/ZwolleFrontEnd/Fire/FireFighting.ifc @@ -1,4 +1,4 @@ -CONTEXT "Fire Fighting Interfaces" IN ENGLISH +CONTEXT "Fire Fighting Interfaces" IN ENGLISH INTERFACE "OVERVIEW" (fdetDetectsFire) : '_SESSION'[SESSION] TABS[ "Fire detectors" : V[SESSION*FireDetector] diff --git a/ZwolleFrontEnd/Fire/FireFighting.pop b/ZwolleFrontEnd/Fire/FireFighting.pop index 40380222..2e181385 100644 --- a/ZwolleFrontEnd/Fire/FireFighting.pop +++ b/ZwolleFrontEnd/Fire/FireFighting.pop @@ -1,4 +1,4 @@ -CONTEXT "Ships population" IN ENGLISH +CONTEXT "Ships population" IN ENGLISH --[Fire detectors]-- -- Icons e.g. at: https://www.google.nl/search?q=fire+door+icon&tbm=isch&tbo=u&source=univ&sa=X&ei=mtcLVaHgO8j8UMzKg9AL&ved=0CCEQsAQ&biw=853&bih=399&dpr=1.88#tbm=isch&tbs=rimg%3ACYlbd9ai8Jm3IjjpoNdcRlMwg4ChFMwKX626ezZmu-tf1dJFnaKvog6rYDIouTPIrKfeYPnYrHMcqSh4g0IdFSHqkCoSCemg11xGUzCDEUPI65w4SLZ8KhIJgKEUzApfrboRHj63Y1ZNyREqEgl7Nma761_1V0hEX0SZBvRyPSSoSCUWdoq-iDqtgES60QWtaqFT6KhIJMii5M8isp94RXgLXgCQo3WwqEglg-discxypKBE8k4gExBsPxioSCXiDQh0VIeqQEYg-_1msI3nY_1&q=fire%20door%20icon%20-shutterstock%20-colourbox%20-canstock&imgdii=_