Dokumentasjon og systemutvikling som regelverksutvikling Prof. Dag Wiese Schartum, AFIN.

Slides:



Advertisements
Liknende presentasjoner
EForvaltning og systemutvikling i rettslig perspektiv Dag Wiese Schartum Senter for rettsinformatikk Avdeling for forvaltningsinformatikk.
Advertisements

Eksempler på Rettskildestudier (“annen rettskildeforskning”) Dag Wiese Schartum, AFIN.
Outsourcing av oppgaver som gjelder myndighetsutøvelse Prof. Dag Wiese Schartum, AFIN.
Om personopplysningslovens betydning for forvaltningens beslutningssystemer og nettsider Dag Wiese Schartum, AFIN.
Elektronisk forvaltning og jus Dag Wiese Schartum, AFIN.
Offentlighetsprinsippet Forelesning , “Digital forvaltning”, DRI 1001 Prof. Dag Wiese Schartum, AFIN.
Oversikt over systemer med jus i, og grunnleggende perspektiver og hensyn Dag Wiese Schartum.
Dokumentasjon av rettslige beslutningssystemer Dag Wiese Schartum, AFIN.
Automatisering av rettslige beslutninger, særlig enkeltvedtak
Utvikling av rettslige beslutningssystemer: Innsamling og bearbeiding av rettskilder Prof. Dag Wiese Schartum, AFIN.
Spesifisering av det rettslige innholdet av beslutningssystemer Dag Wiese Schartum.
Regelverksutvikling Dag Wiese Schartum.
Automatisering og rettslige beslutninger: oversikt og utgangspunkter Dag Wiese Schartum, AFIN.
Eksempler på Rettskildestudier (“annen rettskildeforskning”) Dag Wiese Schartum, AFIN.
Elektronisk forvaltning og jus Dag Wiese Schartum, AFIN.
Spesifisering av det rettslige innholdet av beslutningssystemer Dag Wiese Schartum.
Offentlighetsprinsippet Forelesning , “Digital forvaltning”, DRI 1001 Prof. Dag Wiese Schartum, AFIN.
Automatisering av rettslige beslutninger Prof. Dag Wiese Schartum, AFIN.
Automatisering av rettslige beslutninger Prof. Dag Wiese Schartum, AFIN.
Introduksjon til DRI1001: Digital forvaltning Prof. Dag Wiese Schartum, AFIN (program- og emneansvarlig)
Rettslig orientert forskning innen forvaltningsinformatikken - forskningsspørsmål og -metoder Dag Wiese Schartum, AFIN.
Dokumentasjon av rettslige beslutningssystemer Dag Wiese Schartum, AFIN.
Utvikling av rettslige beslutningssystemer, oversikt over emnet og presentasjon av ”Fra lovtekst til programkode” Utvikling av rettslige beslutningssystemer,
Automatisering og rettslige beslutninger: oversikt og hovedspørsmål Dag Wiese Schartum, AFIN.
Oversikt over systemer med jus i, og grunnleggende perspektiver og hensyn Dag Wiese Schartum.
Eksempler på Rettskildestudier (“annen rettskildeforskning”) Dag Wiese Schartum, AFIN.
Systemutvikling som rettslig beslutningsprosess Dag Wiese Schartum, AFIN.
Beslutningssystemer: Gjennomsiktighet, offentlig innsyn og legalitetskontroll Dag Wiese Schartum.
Utvikling av rettslige beslutningssystemer Prof. Dag Wiese Schartum, AFIN.
Transformering av rettsregler til programkode Dag Wiese Schartum, AFIN.
Bruk av IKT i ulike beslutningsprosesser og arbeidsoppgaver i offentlig sektor (II) - Spesielt om representasjon av rettsregler i datamaskinprogrammer.
Introduksjon til bachelorprogrammet Demokrati og rettigheter i informasjonssamfunnet og emnet DRI1001: Digital forvaltning Prof. Dag Wiese Schartum, AFIN.
Krav til sikring av personopplysninger Prof. Dag Wiese Schartum, AFIN.
Automatisering av rettslige beslutninger, særlig enkeltvedtak
Rettslige perspektiver på digital forvaltning
Transformering av lover og forskrifter mv til programkode
Automatisering av rettslige beslutninger, særlig enkeltvedtak
Spesifisering av det rettslige innholdet i beslutningssystemer
Automatisering av rettslige beslutninger, særlig enkeltvedtak
Automatisering av rettslige beslutninger, særlig enkeltvedtak
Dokumentasjon av rettslige beslutningssystemer
Systemutvikling som rettslig beslutningsprosess
Prof. Dag Wiese Schartum, AFIN
Dokumentasjon av og innsyn i rettslige beslutningssystemer
Rettskildestudier (“annen rettskildeforskning”)
Spesifisering av det rettslige innholdet av beslutningssystemer
Dag Wiese Schartum, AFIN
Dokumentasjon og systemutvikling som regelverksutvikling
Beslutningssystemer: Gjennomsiktighet, offentlig innsyn og legalitetskontroll Dag Wiese Schartum.
Dag Wiese Schartum, AFIN
Dokumentasjon og systemutvikling som regelverksutvikling
Elektronisk forvaltning og jus
Transformering av lover og forskrifter mv til programkode
Outsourcing av oppgaver som gjelder myndighetsutøvelse
Automatisering av rettslige beslutninger
Dag Wiese Schartum, AFIN
Oversikt over rettslige aktiviteter og beslutnings-prosesser som inngår i systemutviklingsarbeider Dag Wiese Schartum.
Automatiseringsvennlig lovgivning
Om det rettskildemessige grunnlaget for transformering
Spesifisering av det rettslige innholdet av beslutningssystemer
Transformering; fra lovtekst og andre rettskilder til programkode
Outsourcing av oppgaver som gjelder myndighetsutøvelse
Prof. Dag Wiese Schartum, AFIN
Outsourcing av oppgaver som gjelder myndighetsutøvelse
Prof. Dag Wiese Schartum, AFIN
Transformering; fra lovtekst og andre rettskilder til programkode
Oppsummering – FINF1001 Departementer Direktorater / tilsyn Kommuner
Om det rettskildemessige grunnlaget for transformering
Outsourcing av oppgaver som gjelder myndighetsutøvelse
Dag Wiese Schartum, AFIN
Utskrift av presentasjonen:

Dokumentasjon og systemutvikling som regelverksutvikling Prof. Dag Wiese Schartum, AFIN

Gjennomsiktighet - åpenhet “Offentlighetsprinsippet” sier at grunnregelen er at det skal være åpenhet om [dokumenter mv] også for andre enn de som er direkte involvert. “Publicatio legis-prinsippet” sier at retten (lover mv) skal publiseres og være offentlig tilgjengelig. “Offentlighet” innebærer å gi adgang til / gjøre kjent for andre enn de som er direkte involvert. Første utgangspunkt: Annet utgangspunkt: Systemutvikling må ses som en rettslig beslutningsprosess fordi det treffes avgjørelser som generelt får bestemmende innvirkning på folks rettigheter og plikter, jf “rettslige systemavgjørelser”. Rettslige systemavgjørelser har et innhold som avviker fra det (andre) kilder uttrykker. Nærliggende konklusjon: Rettslige systemavgjørelser bør være offentlige slik at det rettslige innholdet blir “gjennomsiktig” (men hvilket prinsipp en bygger konklusjonen på, har liten betydning)

Det som skal dokumenteres rettslig... forskrift instruks enkeltvedtak Rettslige system- avgjørelser …er det som har rettslig betydning... Også andre aspekter ved beslutningssystemet kan kreve dokumentasjon, men det er ikke temaet for denne forelesningen

Krav til ”rettslig systemdokumentasjon” Dokumentasjonen synes å forutsette at vi kan godtgjøre/bevise at programkoden er i samsvar med gjeldende rett. Samle og fortolke alle relevante rettskilder Beslutte hva som er riktige tolkning- resultater uttrykt i naturlig språk Formalisere tolk- ningsresultatet §§§§ Beslutte hva som er en riktig repre- sentasjon av retts- kildene §001§01 Dokumentere samsvar (I) Dokumentere samsvar (II)

Hvordan kan rettslige systemavgjørelser bli offentlige? 1) Programkoden kan gjøres offentlig tilgjengelig … i mange 1000 linjer kode... Vel bekomme! 2) De rettslige systemavgjørelsene kan formuleres som pseudokode OK, men det meste av pseudokoden vil være lite interessant fordi den ikke holder rettslige nyheter 3) De rettslige systemavgjørelsene kan dokumenteres i form av et utvalg av avgjørelser i vanlig språk som a) avklarer tolkningstvil av betydning og b) inneholder supplerende regler i forhold til rettsgrunnlaget OK, men med vanlig språk mister en stringensen i uttrykket og forholdet til programkoden vil ikke alltid være 1:1 4) De rettslige systemavgjørelsene kan dokumenteres ved at de blir uttrykt som og integrert i det vanlige regelverket (lov, forskrift mv) OK, men dette er tungvint og tidkrevende, og forholdet til programkoden kan vanskelig bli 1:1  Ja, takk, alt sammen! 5) De rettslige systemavgjørelsene kan “dokumenteres” ved at selve beslutningssystemet blir offentlig tilgjengelig OK, men dette er temmelig ressurskrevende!

Fra regeltekst til pseudokode... Klargjør vilkårsstrukturen for hver partskategori “Feil” i denne teksten: Det er ikke tydelig skjelnet mellom de to partskategoriene. Vilkårsstrukturen for hver kategori kan være vanskelig å forstå. Et formelt inngangskrav er blandet inn i de materielle inngangskravene.

Fra pseudokode til regeltekst (med tydeliggjøring av partskategorier)

Fra pseudokode til regeltekst (med tydeliggjøring av formelle inngangskrav)

Vurdering av resultatet Ble det “enklere”? Mer kortfattet? Nei! Mindre komplekst?Nei! Mer lettfattelig? Ja!