Rettslig kravspesifikasjon Forelesning i Finf4001, 21. september 2010 Felt for signatur(enhet, navn og tittel) Hva er rettslig kravspesifikasjon? Kan betegnes som analysemomenter, for å kartlegge og formulere de krav som må stilles til et IT-system som treffer/foreslår rettslige beslutninger Er ikke i seg selv noen selvstendig uviklingsmetode Analysen av systemets rettslige innhold må inngå som del av en systemutvikling, der også andre sider ved IT-systemet ivaretas Arbeidet med rettslig kravspesifikasjon er i prinsippet uavhengig av hvilke øvrige systemutviklings- og styringmodeller man velger Det kan likevel være pragmatisk greit å beskrive rettslig kravspesifikasjon i lys av en tradisjonell, fossefallsorientert utviklingsmodell, fordi en slik modell gjør det lett å lokalisere spesifikasjonarbeidet Finf4001 21 september 2010 1
Utviklingsmodeller Litt ulike perspektiver på når oghvordan kravene til systemet bør identifiseres Spiller i prinsippet ingen rolle her Faser i systemutviklingsarbeidet Forstudie - Foranalyse : Problem og mulighetsanalyse - avdekke problemer mm Systemavgrensning og behovsanalyse Se systemet utenfra og klarlegge behov og rammer : tekniske, organisatoriske, økonomiske, juridiske, sikkerhet Systemanalyse kravspesifikasjon Vi er mest her! Systemutforming (design/konstruere) se systemet innenfra ( og litt her) Realisering og implementasjon Bruk/Drift videreutvikling Avvikling Finf4001 21 september 2010 2
Det handler om: å identifisere beslutnings(støtte)systemets rettslige innhold materielle regler (bestemmende for vedtakenes innhold ) prosessuelle regler (bestemmende for saksgangen ) relevante rettskilder og om å plassere det rettslige innholdet inn i den øvrige spesifiseringen av systemet (teknisk, organisatorisk, grensesnitt mv) og om å beslutte operasjonelle tolkninger utvalg og supplering av rettskilder = transformering Pensumartikkel 1: Efpn kapittel 8 Gjennomgående perspektiver Systemutvikling i forvaltningen innebærer å ta stilling til rettslige spørsmål rettslig kravspesifikasjon er rettslige beslutninger Å transformere regler til IT-system vil ofte avdekke eller skape behov for å utvikle regelverket (tilbakeføring) Pkt 2: Regelverk både hinder og muliggjører for systemutvikling. Tre forskjellige strategier: Unngå systemer som utfordrer gjeldende regler? Strekke lovforståelsen ved tolkning av regler? Endre/tilpasse regelverket parallelt med systemutvikling? Finf4001 21 september 2010 3
Efpn kapittel 8 (forts) Pkt 3: Systemutvikling er rettslige beslutninger Derfor er den undergitt rettslige prosessregler Men hva slags regler er da systemutviklingsprosessen underlagt? Ikke klare og lett synlige regler som kommer til anvendelse (dessverre?) Allmenne forvaltningsrettslige prinsipper relevante Forvaltningslovens konkrete regler er bare i liten grad relevante Utredningsinstruksen (konsekvensanalyser etc.) kan være relevant, men lite konkret om systemutvikling Fragmenter av andre reguleringer (arbeidsmiljø, anskaffelse, opphavsrett osv.) Pensumartikkel 2, deler av notatet utvikling av beslutningssystemer Pensumdelene av notatet handler om samme faglige emne som Efpn kapittel 8, pkt 4-8 Efpn-fremstillingen er mer kortfattet, overordnet, abstrakt og begrunnende Krever kanskje mer forkunnskaper, men poengene kommer tettere og er lette å plukke Notatets fremstilling er mer detaljert og forklarende Kan være mer arbeidsomt å dykke ned i, men tilfører mer konkret kunnskap om både systemutvikling og forvaltningsrett Mer fokus på hvordan dette gjøres enn hvorfor Finf4001 21 september 2010 4
Om begrepet transformering Bokmålsordboka: TILSLAGSORD ARTIKKEL FRA BOKMÅLSORDBOKA (offisiell rettskriving) transformere transforme're v2 (fra lat., av trans- og formare 'danne') omforme, omdanne, særl: overføre elektrisk strøm fra én spenning til en annen I forvaltningsinformatikk: datamaskinprogrammet er en alternativ representasjon av den rettslige normen (Bing, 1984) transformering fra regeltekst i naturlig språk til edb-program innebærer noe prinsipielt forskjellig fra oversettelse i vanlig forstand, bl.a pga de utvalg og suppleringer som foretas (Schartum, 1993) Nærmere om transformering (I) Systemdrevet tolkning av rettskilder Fortolkningen skjer for å ta stilling til alle potensielle tvilsspørsmål i vedkommende sakstype til forskjell fra saksdrevet tolkning Fortolkningen skjer for å ta stilling til de tvilsspørsmål som den konkrete saken aktualiserer Beslektet med forskjellen på det å lage/regler og det å følge regler? Saksdrevet; i all hovedsak å følge eksisterende regler systemdrevet; også i hovedsak å følge eksisterende regler, men transformering kan i noen grad også være litt nærmere beslektet med å lage reglene Finf4001 21 september 2010 5
Nærmere om transformering (II) Utvalg og supplering av rettskilder Henger sammen med systemets dekningsgrad Hvor stor andel av arbeidsoppgaven skal systemet dekke? Henger sammen med systemets transformeringsgrad Hvor sterkt er begreper og prosesser formalisert? Er rettskildene automatiseringsvennlige, eller kreves det omfattende presiseringer og avklaringer og av og til er utvalg og suppleringer nødvendig for at en systemdrevet tolkning i det hele tatt skal fungere For eksempel manuell behandling av vanskelige saker Hva er hovedproblemene i forbindelse med transformeringen? Uriktige fortolkninger Tvilsomme fortolkninger Nye regler som kun finnes i programkoden Tilrettelegging for feil og misforståelser Manglende rettslig dokumentasjon og legalitetskontroll, jf. rettssikkerhetsprinsippet (tas opp i større bredde på en senere forelesning) Finf4001 21 september 2010 6
Hva er alternativet til transformering og rettslig kravspesifikasjon? Transformeringsperspektivet hører sammen med Konvensjonell systemutvikling (robuste, stor-skala systemer) I praktisk bruk innen forvaltningen Gjensidig påvirkning, system regelverk Mye av den øvrige rettsinformatiske forskningen ligger nærmere kunstig intelligens eller ekspertsystem-tradisjonen Dyp representasjon av reglene, avanserte systemer Beskjedent med praktiske anvendelser Ideal om at systemet ikke skal påvirke regelverket Også mye av litteraturen om å representere rettsregler ved hjelp av semantisk web -rammeverk står i en slik tradisjon Hvilket produkt kommer ut av rettslig kravspesifiering? Målet for kravspesifiseringen er en beskrivelse av hvorledes rettsspørsmål skal løses og transformeres til programkode Rettslig kravspesifikasjonen består av to deler: Rettslig informasjonsanalyse som gir en rettslig informasjonsmodell (statiske elementer) Rettslig prosessanalyse, som gir en rettslig prosessmodell (dynamiske elementer) Den rettslige kravspesifikasjonen må løftes inn i den øvrige systemutviklingsprosessen Finf4001 21 september 2010 7
Statiske og dynamiske elementer Statiske elementer som skal ordnes i en rettslig informasjonsmodell variable faste Relevant beslutningsgrunnlag; dvs. opplysninger om den/de aktuelle person(er) +, -, /, * etc. Operasjoner - aritmetiske - logiske - kondisjonale Dynamiske elementer som skal ordnes i en rettslig prosessmodell Enkeltvedtak AND, OR, NOT, =,, <, >, etc. If then (else ) etc. Fra rettslige begreper til informasjonsmodell og prosesmodell Kategorisering av rettsregler ut i fra hovedsteg i saksbehandlingsprosessen Skisse: Formelle inngangskrav Materielle inngangskrav Fastleggelse av vedtakets innhold Identifisere informasjonselementer og operasjoner Identifisere partskategorier Aktører som har materielle og/eller prosessuelle plikter og/eller rettigheter Finf4001 21 september 2010 8
Eksempel 1, skjenkebevilling skjenkebevilling for en enkelt anledning - åpent arrangement (Oslo kommune) Skjema Rettskilde, alkoholloven, 1-6 ff Samme regelverk, annen kommune (Vefsn - skjema) Lav dekningsgrad og transformeringsgrad kun innsending av søknad og noen opplysninger manuell saksbehandling, innhenting av attester skjønnsmessig vurdering, relativt åpne kriterier med rom for å iverksette kommunens egen alkoholpolitikk Eksempel 1, skjenkebevilling (II) Kategorisering av rettsregler formelle inngangskrav, bevillingsplikt 1-4a materielle inngangskrav, aldersgrense, vandelskrav vedtakets innhold: Skjønnsmessig, lokal alkoholpolitikk kan vektlegges (likevel generell forvaltningsrett, ikke usakelig forskjellsbehandling osv.) Partskategorier Bevillingshaver ( 1-4b), Bevilling etter denne lov gis til den for hvis regning virksomheten drives Vandel gjelder også (andre) personer som har vesentlig innflytelse på virksomheten ( 1-7b) Finf4001 21 september 2010 9
Eksempel 1, skjenkebevilling (III) En rekke faktaopplysninger etterspørres Gebyr ( 7-1, og forskriftens kapittel 6) Beregning av gebyr med i skjemaet (men tvilsom fortolkning?) Spørsmål om styrer (en annen part enn bevillingshaver) Avkryssingspunkter egenerklæring Skjønnsmessige momenter til saksbehandlingen Er dette supplering av rettskildene? Eksempel 2, bytte av fastlege Fastlegeordningen, administreres av HELFO, elektronisk tjeneste minfastlege Rettskilder; Fastelegeordningen, kommunehelsetj.loven 1-3 Rett til å bytte fastlege, fastlegeforskriften 3, 4 og 5 Høy transformeringsgrad Vedtaket treffes automatisk, uten manuell saksbehandling Klar rettighet, legen kan ikke nekte deg hvis han/hun har ledig plass på listen Finf4001 21 september 2010 10
Eksempel 2, bytte av fastlege (II) Kategorisering av rettsregler formelle inngangskrav, forskriftens 3: frivillig å delta (opt-out), 5: rett til å bytte, ved å henvende seg til NAV materielle inngangskrav ( 3): Bosatt i norsk kommune, og/eller medlem av folketrygden. Barn under 16 år, som hovedregel forelder de bor hos vedtakets innhold, ivaretar bytteretten, sikrer at man til en hver tid kun står på én fastlegeliste osv. Partskategorier den vedtaket gjelder, og evt. barn under 16 andre? legene? kommunene? - neppe, jf. fvl 2 Eksempel 2, bytte av fastlege (III) Problematisering av statiske og dynamiske elementer; Rett til å skifte fastlege inntil to ganger pr. år ( 5) I den elektroniske tjenesten: Antall tilgjengelige bytter Denne tallverdien er her presentert som statisk element, men kan i prinsippet like gjerne være et dynamisk element, som kalkuleres fra andre elementer begge deler vil være likeverdige, representasjoner av den rettslige regelen Sikkerhet Etter ca. 3 år i drift, knyttet til MinID I tillegg er tjenesten ikke tilgjengelig for personer med hemmelig adresse, fordi det ikke vil være forsvalig Finf4001 21 september 2010 11
Eksempel 3, beregne barnebidrag Rettslig regelverk, administreres av NAV Reglene i hovedtrekk, i hovedsak privat anliggende Rigide beregningsregler, det er laget en enkel kalkulator som alle kan bruke til å simulere beregning Den reelle saksbehandlingen foregår i et eget fagsystem, som ikke er allment tilgjengelig Rettskilder barnelova (kapittel 8, særlig 71) Forskrift om fastsetjing og endring av fostringstilskot 2, 3 og 4 ff, + vedlegget til forskriften rundskriv (tolkninger og utdypninger av en del begreper) Eksempel 3, beregne barnebidrag (II) Automatiseringsvennlig lovgivning relativt nytt regelverk, i kraft fra oktober 2003 Kalkulatoren transformerer forskriftens prinsipielt klare og tydelige regler Kan derfor være helt grei å bruke som utgangspunkt for foreldre som selv vil inngå privat avtale om bidrag begreper som inntektsevne og bidragsevne er imidlertid ofte mer kompliserte i det virkelige liv Det offentliges fastsettelse av bidragsplikt må også inkludere en del mer komplekse detaljregler i rundskrivene Nært samspill mellom systemutviklingen og utarbeidingen av rundskriv Finf4001 21 september 2010 12
Eksempel 3, beregne barnebidrag (III) Kategorisering av rettsregler formelle inngangskrav, generell fostringsplikt (bl 66) også der ein eller begge foreldra ikkje bur saman med barnet. Bidraget er barnets rettighet (bl 67) Foreldreansvar følger av bl 2, 3 og 4. Bidragsplikt kan endres når farskapen vert endra (bl 80) materielle inngangskrav, foreldra kan gjera avtale, men begge kan kreve at bidragsfogden avgjør ( 70) vedtakets innhold, fastsettes i medhold av beregningsreglene (bl 71 og forskriften), underholdskostnad, fordelt etter størrelse på foreldrenes inntekt, fradrag for samvær osv. Eksempel 3, beregne barnebidrag (IV) Partskategorier Foreldrene: Tilskotspliktig og tilskotsmottakar I utgangspunktet kjønnsnøytralt, men oftest hhv. far og mor Barnet som er rettighetshaver, men bidraget skal betales til bidragsmottaker Barnet er selv part hvis det er over 18 år og saken gjelder bidrag under utdanning Særskilte regler om samla forholdsmessig fastsetjing for bidragspliktige som har barn med flere (bl 75) Interessant her: Saksbegrepet En sak; to foreldre og deres felles barn Står ikke noe sted (altså ikke en opplagt, men en rimelig, tolkning) Finf4001 21 september 2010 13