Timed STAIRS tid for å ta steget til 3-event meldinger
|
|
- Monika Nygård
- 8 år siden
- Visninger:
Transkript
1 Timed STAIRS tid for å ta steget til 3-event meldinger 1. april 2005 OMS-seminar 1. april 2005 / / Slide 1
2 Why timed sequence diagrams require three-event semantics I samarbeid med Øystein Haugen, Knut-Eilif Husa og Ketil Stølen Artikkel i "Scenarios: models, algorithms and tools (Dagstuhl post-seminar proceedings)", LNCS???? Teknisk rapport 309 OMS-seminar 1. april 2005 / / Slide 2
3 Timed STAIRS STAIRS: - Øystein Haugen, Ketil Stølen: STAIRS Steps To Analyze Interactions with Refinement Semantics. I Sixth International Conference on UML (UML'2003), LNCS Metode for komposisjonell utvikling av sekvensdiagram - Skiller mellom potensiell og påbudt oppførsel Timed STAIRS-artikkelen: - Sekvensdiagram gis en denotasjonell trace-semantikk - Raffineringsrelasjonene i STAIRS defineres formelt - Utvider med tid og tre-event semantikk OMS-seminar 1. april 2005 / / Slide 3
4 Restaurant-eksempel Opprinnelig STAIRS trace-semantikk: <! main_dish_please,? main_dish_please,! main_dish:sirloin,? main_dish:sirloin > OMS-seminar 1. april 2005 / / Slide 4
5 Restaurant-eksempel (forts) Krav: Skal ikke ta mer enn 10 minutter å lage hovedretten. - Lokal restaurant-eier: Vi oppfyller kravet - Kontrollør/kunde: Det tar mye mer enn 10 minutter! Problemet: Skal tiden tas fra kjøkkenet får bestillingen, eller fra de begynner å arbeide med den? OMS-seminar 1. april 2005 / / Slide 5
6 To tolkninger Standard interpretasjon - Den tradisjonelle tolkningen av sekvensdiagram - Input-eventen representerer konsumpsjon - Kjøkkensjefens versjon Black-box interpretasjon - Vanlig innen formelle metoder - Input-eventen representerer mottak - Kontrollørens/kundens versjon OMS-seminar 1. april 2005 / / Slide 6
7 Generell løsning: tre-event meldinger! Ny Timed STAIRS trace-semantikk: <! main_dish_please, ~ main_dish_please,? main_dish_please,! main_dish:sirloin, ~ main_dish:sirloin,? main_dish:sirloin > OMS-seminar 1. april 2005 / / Slide 7
8 Timed STAIRS: Tid Hver event har en timetag som tilordnes et tidsstempel (et reelt tall) Eventene i en trace må ordnes med hensyn på tid - men to eventer kan forekomme på samme tidspunkt Hver lovlige trace må overholde de angitte tidsbetingelsene <! main_dish_please t1->r1, ~ main_dish_please t2->r2,? main_dish_please t3->r3,! main_dish:sirloin t4->r4, ~ main_dish:sirloin t5->r5,? main_dish:sirloin t6->r6 > OMS-seminar 1. april 2005 / / Slide 8
9 OMS-seminar 1. april 2005 / / Slide 9
10 STAIRS syntaks En melding er et trippel (signal, sender, mottaker) - sender og mottaker er livslinjer En event er et trippel (type, melding, timetag) - type er en av!, ~ eller? - timetag brukes for å angi tidsbetingelse Mengden av sekvensdiagram er definert induktivt ved at: - en event er et sekvensdiagram - neg d og assert d er sekvensdigram (for d et sekvensdigram) - loop N d er et sekvensdiagram (for d et sekvensdiagram, N en delmengde av de naturlige tall inkludert null + uendelig) - d1 alt d2, d1 seq d2, d1 par d2 er sekvensdiagram (for d1 og d2) sekvensdiagram - d tc C er et sekvensdiagram (for d et sekvensdiagram, C en tidsbetingelse) OMS-seminar 1. april 2005 / / Slide 10
11 STAIRS semantikk (enkelt tilfelle) Et sekvensdiagram spesifiserer en eller flere positive og/eller negative tracer Semantikken til et sekvensdiagram er et par (P,N) der P er et sett med positive tracer og N et sett med negative tracer Den samme tracen skal ikke være både positiv og negativ (da er diagrammet inkonsistent) Alle andre tracer (over det aktuelle alfabetet) kalles inconclusive OMS-seminar 1. april 2005 / / Slide 11
12 Raffinering STAIRS beskriver tre hovedtyper raffinering: - Supplementing: Kategoriserer tidligere inconclusive tracer som positiv eller negativ - Narrowing: Reduserer mengden positive tracer - Detaljering: Introduserer mer detaljerte beskrivelser uten å endre vesentlig på den eksternt observerbare oppførselen OMS-seminar 1. april 2005 / / Slide 12
13 Et litt større eksempel $!!"# "#!!"# OMS-seminar 1. april 2005 / / Slide 13
14 Detaljering: dekomposisjon! %! $!"# "#!!"# & OMS-seminar 1. april 2005 / / Slide 14
15 Supplementing + narrowing! ' * ( ) Har gjort gravy negativ (narrowing), og Beárnaise og ingen saus positiv (supplementing) ( OMS-seminar 1. april 2005 / / Slide 15
16 Raffinering mer formelt Et sekvensdiagram S2 = (P2,N2) raffinerer et sekvensdiagram S1 = (P1,N1) hvis: - hver negative trace i S1 er negativ i S2 N1 er en delmengde av eller lik N2 - hver positive trace i S1 er positiv eller negativ i S2 P1 er en delmengde av eller lik unionen av P2 og N2 Supplementing og narrowing blir spesialtilfeller av dette Detaljering: Tilsvarer black-box raffinering, dvs ser bare på deler av tracene OMS-seminar 1. april 2005 / / Slide 16
17 Potensiell vs påbudt oppførsel En kunde må kunne velge mellom både vegetar og kjøtt Kjøtt kan være enten biff eller svin, men en meny trenger ikke å ha begge OMS-seminar 1. april 2005 / / Slide 17
18 STAIRS semantikk (generelt tilfelle) Semantikken til et sekvensdiagram er et sett med par (interaksjons-obligasjoner) av trace-sett - { (P1,N1), (P2,N2),..., (Pm,Nm) } En korrekt implementasjon må kunne oppfylle hver obligasjon. OMS-seminar 1. april 2005 / / Slide 18
19 xalt vs alt La S og S' være sekvensdiagram med semantikk { (P,N) } og { (P',N') } S alt S' er definert som { (P union P', N union N') } S xalt S' er definert som { (P,N), (P',N') } OMS-seminar 1. april 2005 / / Slide 19
20 Potensiell vs påbudt oppførsel En kunde må kunne velge mellom både vegetar og kjøtt + ' ) ( ' ' ) Kjøtt kan være enten biff eller svin, men en meny trenger ikke å ha begge ( OMS-seminar 1. april 2005 / / Slide 20
21 Raffinering (generelt tilfelle) En interaksjons-obligasjon (P2,N2) er en raffinering av en interaksjons-obligasjon (P1,N1) hvis - N1 er en delmengde av eller lik N2 - P1 er en delmengde av eller lik P2 union N2 Et sekvensdiagram S' med semantikk O' er en raffinering av et sekvensdiagram S med semantikk O hvis det for hver interaksjonsobligasjon o i O finnes en obligasjon o' i O' slik at o' er en raffinering av o. OMS-seminar 1. april 2005 / / Slide 21
22 Oppsummering Timed STAIRS Potensiell (alt) og påbudt (xalt) oppførsel Glass-box og black-box raffinering Tre hovedtyper utviklingssteg: - Supplementing - Narrowing - Detaljering Tre-event semantikk Tid - Standard interpretasjon - Black-box interpretasjon OMS-seminar 1. april 2005 / / Slide 22
LSCs Live Sequence Charts
LSCs Live Sequence Charts LSCs Live Sequence Charts / INF 5160 (Dbsem) 26. spril 2005 /Slide 1 Motivasjon Disposisjon - Message Sequence Charts (MSCs): Positive og negative sider - Fremtidsvisjon Basic
DetaljerAnalyse av tillit i elektronisk samvirke
Analyse av tillit i elektronisk samvirke Atle Refsdal SINTEF IKT ICT Oversikt Tillit Hvorfor analysere tillit? Tillit i elektronisk samvirke Tillit og oppførsel Modellering og analyse Nytten av modeller
DetaljerINF Oracle. Version INF Dec-05 INF5150 INFUIT Haugen / Stølen 1
INF-5150 2005 Oracle Version 051202 2-Dec-05 INF5150 INFUIT Haugen / Stølen 1 Sven-Jørgen Karlsen Her er mine spm. til oppsummeringsforelesningen på fredag: (forkortelser: SD = sekvensdiagram, SM = state
DetaljerLO118D Forelesning 3 (DM)
LO118D Forelesning 3 (DM) Mengder og funksjoner 27.08.2007 1 Mengder 2 Funksjoner Symboler x y Logisk AND, både x og y må være sanne x y Logisk OR, x eller y må være sann x Negasjon, ikke x x For alle
DetaljerUse case modellen. Use case modellering i analysefasen. Hva er en Aktør? Hva er et Use case? Use case modellering. Eksempel
Use case modellen Use case modellering i analysefasen Metode for å identifisere og beskrive de funksjonelle kravene til et system Kapittel 3 i UML Distilled Kirsten Ribu beskriver kravene til systemet,
DetaljerHvordan lage og bruke policyer i tillitshåndtering
Hvordan lage og bruke policyer i tillitshåndtering Bjørnar Solhaug Seminar: Håndtering av tillit i elektronisk samvirke SINTEF, 5. november 2009 ICT 1 Oversikt Policy-basert tillitshåndtering Tillit Tillit
DetaljerI dag UML. Domenemodell visualisering av konsepter. Eksempel. Hvordan finne domeneklasser?
UML Use case drevet analyse og design 31.01.2005 Kirsten Ribu I dag Domenemodell (forløper til klassediagram) Interaksjonsdiagrammer Sekvensdiagram Kollaborasjonsdiagram 1 2 Domenemodell visualisering
DetaljerUNIVERSITETET I OSLO
UNIVERSITETET I OSLO Side 1 Det matematisk-naturvitenskapelige fakultet Eksamen i: INF 5150 Uangripelige IT-systemer Eksamensdag: 17. desember 2003 Tid for eksamen: 09.00 12.00 Oppgavesettet er på side(r)
DetaljerUse case modellen. Use case modellering i analysefasen. Hva er en Aktør? Hva er et Use case?
1/15/2004 1 Use case modellen Use case modellering i analysefasen Metode for å identifisere og beskrive de funksjonelle kravene til et system Kapittel 3 i UML Distilled Kapittel 8 i Gurholt og Hasle Kirsten
DetaljerUKE 11 UML modellering og use case. Gruppetime INF1055
UKE 11 UML modellering og use case Gruppetime INF1055 Hva skal vi i dag? Analyse og design - kapittel 5 og 7 UML modellering Ukesoppgaver 3: Modellering av krav UML UML Kompetansemål Modellering av krav
DetaljerINF5120 Oblig gjennomgang
INF5120 Oblig gjennomgang 12.05.2005 COMET og MinMax Replenishment Pilotcase for automatisert ordrehåndtering innen bilindustrien. Integrering av systemer. En gruppe = en aktør Service Oriented Architecture
DetaljerSlides til 12.1 Formelt språk og formell grammatikk
Slides til 12.1 Formelt språk og formell grammatikk Andreas Leopold Knutsen April 6, 2010 Introduksjon Grammatikk er studiet av reglene som gjelder i et språk. Syntaks er læren om hvordan ord settes sammen
Detaljer1 Kodegenerering fra Tau Suiten
Kodegenerering fra Tau Suiten For å generere Javakode eller en annen form for programmeringskode ut i fra Tau suiten, er det visse ting som må være utført.. En UML modell må eksistere og være korrekt.
DetaljerUML 1. Use case drevet analyse og design. 20.01.2004 Kirsten Ribu
UML 1 Use case drevet analyse og design 20.01.2004 Kirsten Ribu 1 I dag Domenemodell (forløper til klassediagram) Interaksjonsdiagrammer Sekvensdiagram Kollaborasjonsdiagram 2 Domenemodell visualisering
DetaljerLitt mer mengdelære. INF3170 Logikk. Multimengder. Definisjon (Multimengde) Eksempel
INF3170 Logikk Forelesning 2: Mengdelære, induktive definisjoner og utsagnslogikk Roger Antonsen Institutt for informatikk, Universitetet i Oslo Litt mer mengdelære 2. februar 2010 (Sist oppdatert: 2010-02-02
DetaljerFra krav til objektdesign
Fra krav til objektdesign Ansvarsdrevet OO: CRC og UML Sekvensdiagrammer INF1050-ansvar-1 Dagens forelesning o Kort repetisjon av kravspesifikasjon med UML Hva skal systemet gjøre? UML: Bruksmønstermodeller
DetaljerINF3170 Forelesning 2
INF3170 Forelesning 2 Mengdelære, induktive definisjoner og utsagnslogikk Roger Antonsen - 2. februar 2010 (Sist oppdatert: 2010-02-02 14:26) Dagens plan Innhold Litt mer mengdelære 1 Multimengder.........................................
DetaljerSpesifikasjon av Lag emne. Kursregistrering bruksmønstermodell (ny versjon) Dagens forelesning. Fra krav til objektdesign
Dagens forelesning o Kort repetisjon av kravspesifikasjon med UML Fra krav til objektdesign Hva skal systemet gjøre? UML: Bruksmønstermodeller o Objektdesign Ansvarsdrevet OO: CRC og UML Sekvensdiagrammer
DetaljerUML-Unified Modeling Language
UML-Unified Modeling Language Use case realisering Designmodellering 21.01.2004 Kirsten Ribu Use Case diagram Klassediagram Oppførselsdiagrammer: Sekvensdiagram Kollaborasjonsdiagram Tilstandsdiagram Aktivitetsdiagram
DetaljerModel Driven Architecture (MDA) Interpretasjon og kritikk
Model Driven Architecture (MDA) Interpretasjon og kritikk Ragnhild Kobro Runde (Ifi, UiO) Veileder: Ketil Stølen (Ifi/SINTEF) Stuntlunsj SINTEF Oversikt Bakgrunn/utgangspunkt for presentasjonen MDA stuntlunsj
DetaljerEksamen INF
Eksamen INF5120 06.06.2005 Et løsningsforslag Oppgave 1 a) Business Model Oppgaven spør om en business model for samhandlingen mellom Buyer og Seller, og det er da viktig å ikke modellere alt det andre!!!
DetaljerDagens plan. INF3170 Logikk. Mengder. Definisjon. Notasjon. Forelesning 0: Mengdelære, Induksjon. Martin Giese. 23. januar 2008.
INF3170 Logikk Dagens plan Forelesning 0:, Induksjon Martin Giese 1 Institutt for informatikk, Universitetet i Oslo 2 23. januar 2008 Institutt for informatikk (UiO) INF3170 Logikk 23.01.2008 2 / 47 1
DetaljerGJENNOMGANG UKESOPPGAVER 4 USE CASE MODELLERING HELGA NYRUD & KRISTIN BRÆNDEN
GJENNOMGANG UKESOPPGAVER 4 USE CASE MODELLERING INF1050 V16 HELGA NYRUD & KRISTIN BRÆNDEN TEMAER SÅ LANGT I KURSET Forelesning 1: Systemutvikling og systemutviklingsprosesser Forelesning 2: Prosessmodeller
DetaljerAkseptansetest av mottak Rekvirering av medisinske tjenester Medisinsk biokjemi
Akseptansetest av mottak Rekvirering av medisinske tjenester Meldingsversjon: versjon 1.4, datert 20.05.2005 2 Akseptansetest av mottak Rekvirering av medisinske tjenester Innholdsfortegnelse 1. Revisjonshistorikk...
DetaljerAkseptansetest for mottak PLO-meldingen Orientering om tjenestetilbud
Akseptansetest for mottak PLO-meldingen Orientering om tjenestetilbud Meldingsversjon: Standard for elektronisk kommunikasjon med pleie- og omsorgstjenesten, versjon 1.4, datert 20.02.2008 Akseptansetest
DetaljerKravspesifikasjon med UML use case modellering. Erik Arisholm 25.02.2009
Kravspesifikasjon med UML use case modellering Erik Arisholm 25.02.2009 Unified Modeling Language (UML) Notasjon som støtter opp under modellbasert systemutvikling objektorientert analyse ( hva systemet
DetaljerOppgave 1: Multiple choice (20 %)
Oppgave 1: Multiple choice (20 %) For alle oppgavene gjelder at det bare er ett riktig svar. No Spørsmål Svar A Svar B Svar C Svar D 1 Kanban er et eksempel på: Prosess Software prosess Prosess modell
DetaljerAkseptansetest for mottak av administrativ kommunikasjon mot kjernejournal
Akseptansetest for mottak av administrativ kommunikasjon mot kjernejournal Meldingsversjon: Standard for administrativ kommunikasjon mot kjernejournal, versjon 1.0, datert 12.08.2008 Akseptansetest - Mottak
DetaljerAkseptansetest for mottak av PLO-meldingen: Konsultasjon
Akseptansetest for mottak av PLO-meldingen: Konsultasjon Meldingsversjon: Standard for elektronisk kommunikasjon med pleie- og omsorgstjenesten, versjon 1.4, datert 20.02.2008 Akseptansetest mottak - PLO-melding
DetaljerGruppenavn. Prosjektnavn Beskrivelse av design For Navn på systemet. Versjon <1.0>
Gruppenavn Prosjektnavn Beskrivelse av design For Navn på systemet Versjon Revisjonshistorie Dato Versjon Beskrivelse av endring Forfatter Innhold 1. Innledning
DetaljerINF 5120 Obligatorisk oppgave Nr 2
INF 5120 Obligatorisk oppgave Nr 2 Vigdis Bye Kampenes Stein Grimstad Gruppe 26 INF 5120 Obligatorisk oppgave Nr 2... 1 1 Business model... 2 Innledende kommentarer... 2 Andre avgrensninger... 2 Scoping
DetaljerAkseptansetest for mottak av PLO-meldingen: Tverrfaglig epikrise
Akseptansetest for mottak av PLO-meldingen: Tverrfaglig epikrise Meldingsversjon: Standard for elektronisk kommunikasjon med pleie- og omsorgstjenesten, versjon 1.3, datert 13.06.2007 Akseptansetest mottak
DetaljerAkseptansetest av mottak Dialogmelding
Akseptansetest av mottak Dialogmelding Meldingsversjon: 1.0 datert 08.07.2005 Akseptansetest av mottak Dialogmelding 2 Innholdsfortegnelse 1. REVISJONSHISTORIKK... 3 2. AKSEPTANSETEST FOR MOTTAK AV DIALOGMELDINGEN...
DetaljerMatematikk 15 V-2008
Matematikk 5 V-008 Løsningsforslag til øving 9 OPPGVE Husk at N = {alle naturlige tall} = {0,,,,... }, Z = {alle heltall} = {...,,, 0,,,,... }, R = {alle reelle tall} og = {alle komplekse tall} = { z :
DetaljerUse Case-modellering. INF1050: Gjennomgang, uke 04
Use Case-modellering INF1050: Gjennomgang, uke 04 Kompetansemål Modellering av krav Kunne modellere ulike typer krav UML-diagrammer Innføring i grunnleggende UML-modellering Bruksmønster (use case) Sekvensdiagram
DetaljerDet matematisk-naturvitenskapelige fakultet
Retteinstruks Eksamen INF5150 Høsten 2004 Side 1 UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i: INF 5150 Uangripelige ITsystemer Eksamensdag: 6. desember 2004 Tid for eksamen:
DetaljerDagens plan INF3170 Logikk. Obliger og eksamen. Forelesning 1: Introduksjon, mengdelære og utsagnslogikk. Christian Mahesh Hansen og Roger Antonsen
Dagens plan INF3170 Logikk Forelesning 1: Introduksjon, mengdelære og utsagnslogikk Christian Mahesh Hansen og Roger Antonsen Institutt for informatikk, Universitetet i Oslo 1 Praktisk informasjon 2 23.
DetaljerKomplekse tall: definisjon og regneregler
Komplekse tall: definisjon og regneregler Eugenia Malinnikova, NTNU, Institutt for matematiske fag 22. august 2011 Komplekse tall fra Wikipedia Et komplekst tall er tall på formen x + iy, der x og y er
DetaljerAkseptansetest for mottak av PLO-meldingen: Helseopplysninger ved søknad
Akseptansetest for mottak av PLO-meldingen: Helseopplysninger ved søknad Meldingsversjon: Standard for elektronisk kommunikasjon med pleie- og omsorgstjenesten, versjon 1.5, datert 30.06.2009 2 Akseptansetest
DetaljerInnholdsfortegnelse INNHOLDSFORTEGNELSE... 2 REVISJONSOVERSIKT...4 INTRODUKSJON MED FORUTSETNINGER... 5
1 Innholdsfortegnelse INNHOLDSFORTEGNELSE... 2 REVISJONSOVERSIKT...4 INTRODUKSJON MED FORUTSETNINGER... 5 FRA LEVERANSE 1 (GRUPPE 2)...5 TILLEGG I FORUTSETNINGER... 5 REVIDERT UTGAVE AV SPESIFIKASJON FRA
DetaljerAkseptansetest for mottak PLO-meldingen: Orientering om tjenestetilbud
Akseptansetest for mottak PLO-meldingen: Orientering om tjenestetilbud Meldingsversjon: Standard for elektronisk kommunikasjon med pleie- og omsorgstjenesten, versjon 1.5, datert 30.06.2009 2 Akseptansetest
DetaljerUKE 13 Mer UML modellering. Gruppetime INF1055 Julie Hagen Nilsen & Maria Stolinski
UKE 13 Mer UML modellering Gruppetime INF1055 Julie Hagen Nilsen & Maria Stolinski Hva skal vi i dag? Objektorientert design - kapittel 5 og 7 UML modellering Aktivitetsdiagrammer Klassediagram Ukesoppgaver
DetaljerRobert er kokk og har bred og lang erfaring i yrket. Roberts mål for turen var primært i kjøkkenet:
Hei Ninette og Odd Gunnar! Her er et forsinket reisebrev fra oss i Danmark. Det nærmer seg sluttfasen av en fantastisk tur hos vår værtsbedrift madogmad i København. Dagene har gått alt for fort! Turen
DetaljerBasis interoperabilitetstest - ebxml
Basis interoperabilitetstest - ebxml Testversjon: 1.0 2 Basis interoperabilitetstest - ebxml Innholdsfortegnelse 1. Revisjonshistorikk... 3 2. Basis interoperabilitetstest - ebxml... 4 Hvordan gjennomføre
DetaljerSTE6221 Sanntidssystemer Løsningsforslag
HØGSKOLEN I NARVIK Avdeling for teknologi MSc.-studiet EL/RT Side 1 av 3 STE6221 Sanntidssystemer Løsningsforslag Tid: Fredag 02.03.2007, kl: 09:00-12:00 Tillatte hjelpemidler: Godkjent programmerbar kalkulator,
DetaljerObligatorisk oppgave 1 i MAT1140, Høst Løsninger med kommentarer
Obligatorisk oppgave 1 i MAT1140, Høst 2014. Oppgave 1 er med kommentarer En funksjon f : R R er en polynomfunksjon hvis f kan defineres som f(x) = a 0 + a 1 x + + a n x n hvor n 0 og a 0,..., a n er reelle
DetaljerOblig2 i INF5120 Modellering med objekter UiO V04, Timelisteføringssystem Ver 6. 040428
Oblig2 i INF5120 Modellering med objekter UiO V04, Timelisteføringssystem Ver 6. 040428 Gruppe 1: Fredrik Melsom Klausen, Andreas Limyr, Odd-Wiking Rahlff, Tho Diu Tang 1...1 2. BUSINESS MODEL...2 2.1
DetaljerAkseptansetest av mottak Svarrapportering av medisinske tjenester Patologi
Akseptansetest av mottak Svarrapportering av medisinske tjenester Meldingsversjon: 1.3 datert 01.12.2008 Akseptansetest av mottak Svarrapportering av medisinske tjenester 2 Innholdsfortegnelse 1. REVISJONSHISTORIKK...
DetaljerVi definerer en mengde ved å fortelle hva den inneholder. Vi kan definere den på listeform eller ved hjelp av en utsagnsfunksjon.
Mengder En mengde (eng:set) er en uordnet samling av objekter. Vi bruker vanligvis store bokstaver, A, B, C, osv., til å betegne mengder. Objektene som inngår i mengden kalles for elementer i mengden (eller
DetaljerModelldrevet risikoanalyse med CORAS
Modelldrevet risikoanalyse med CORAS Bjørnar Solhaug Seminar om risikostyring SINTEF, 27. januar 2011 1 Oversikt Hva er CORAS? Sentrale begreper Risikoanalyseprosessen Risikomodellering Oversettelse av
DetaljerAkseptansetest for mottak av PLO-meldingen: Tverrfaglig epikrise
Akseptansetest for mottak av PLO-meldingen: Tverrfaglig epikrise Meldingsversjon: Standard for elektronisk kommunikasjon med pleie- og omsorgstjenesten, versjon 1.4, datert 20.02.2008 Akseptansetest mottak
DetaljerTo mengder S og T er like, S = T, hvis de inneholder de samme elementene. Notasjon. Mengden med elementene a, b, c og d skrives ofte {a, b, c, d}.
Forelesning 0: Mengdelære, Induksjon Martin Giese - 23. januar 2008 1 Mengdelære 1.1 Mengder Mengder Definisjon 1.1. En mengde er en endelig eller uendelig samling objekter der innbyrdes rekkefølge og
DetaljerAkseptansetest for mottak av Overføring av legemiddelopplysninger (PLO/SUMO)
Akseptansetest for mottak av Overføring av legemiddelopplysninger (PLO/SUMO) Meldingsversjon: Standard for kommunikasjon av EPJ-innhold, versjon 1.0, datert 25.03.08 Akseptansetest mottak - Overføring
DetaljerINF1400. Tilstandsmaskin
INF4 Tilstandsmaskin Hovedpunkter Tilstandsmaskin Tilstandstabell Tilstandsdiagram Analyse av D-flip-flop tilstandsmaskin Reduksjon av antall tilstander Tilordning av tilstandskoder Designprosedyre for
DetaljerVedlegg 6. Anskaffelse IINR 1019 FERSKT KJØTT OG KJØTTPRODUKTER. SLA (Service Level Agreement) til. Side 1 av 5
til Anskaffelse IINR 1019 FERSKT KJØTT OG KJØTTPRODUKTER SLA (Service Level Agreement) Side 1 av 5 Innholdsfortegnelse 1 LEVERANDØROPPLYSNINGER... 3 2 BESTILLING... 3 2.1 ORDREBEKREFTELSE... 3 3 LEVERING...
DetaljerINF3340/4340. Synkrone design Tilstandsmaskiner
INF3340/4340 Synkrone design Tilstandsmaskiner 18.09.2007 Agenda Tilstandsmaskiner Mealy og Moore maskiner ASM tilstandsdiagrammer Syntese av ASM diagrammer Tilstandskoding Implementasjon ved bruk av VHDL
DetaljerINF3340. Tilstandsmaskiner
INF3340 Tilstandsmaskiner Innhold Tilstandsmaskiner Mealy og Moore maskiner ASM tilstandsdiagrammer Syntese av ASM diagrammer Tilstandskoding Implementasjon ved bruk av VHDL Eksempler INF3430-Tilstandsmaskiner
DetaljerVi definerer en mengde ved å fortelle hva den inneholder. Vi kan definere den på listeform eller ved hjelp av en utsagnsfunksjon.
Mengder En mengde (eng:set) er en uordnet samling av objekter. Vi bruker vanligvis store bokstaver, A, B, C, osv., til å betegne mengder. Objektene som inngår i mengden kalles for elementer i mengden (eller
DetaljerDEL MED TILLIT. Novapoint Brukermøte Sette opp prosjekt i Quadri og Quadri Easy Access. Mini kurshefte for:
DEL MED TILLIT Novapoint Brukermøte 2017 Mini kurshefte for: Sette opp prosjekt i Quadri og Quadri Easy Access STEG 1 - Log inn i Quadri Model Manager Link til Quadri Model Manager (QMM) får du fra den
DetaljerUML- Use case drevet analyse og design. Domenemodeller Sekvensdiagrammer Use case realisering med GRASP patterns Klassediagram - designmodeller
UML- Use case drevet analyse og design Bente Anda 23.09.2004 23.09.04 INF320 I dag Domenemodeller Sekvensdiagrammer Use case realisering med GRASP patterns Klassediagram - designmodeller 23.09.04 INF320
DetaljerLøsningsforslag til øving 12
Høgskolen i Gjøvik vd. for tekn., øk. og ledelse Matematikk 5 Løsningsforslag til øving OPPGVE Husk at N {alle naturlige tall} { 0,,,,... }, Z {alle heltall} {...,,,0,,,,... }, R {alle reelle tall} og
DetaljerSpesifikasjon av Lag emne
Dagens forelesning o Kort repetisjon av kravspesifikasjon med UML Fra krav til objekter Hva skal systemet gjøre? UML: Bruksmønstermodeller (Use Cases) o Objektdesign Ansvarsdrevet OO: CRC og UML Sekvensdiagrammer
DetaljerTuringmaskiner en kortfattet introduksjon. Christian F Heide
13. november 2014 Turingmaskiner en kortfattet introduksjon Christian F Heide En turingmaskin er ikke en fysisk datamaskin, men et konsept eller en tankekonstruksjon laget for å kunne resonnere omkring
DetaljerUML-Unified Modeling Language. Prosess-oversikt. Use case realisering
Use case realisering Designmodellering 31.01.2005 Kirsten Ribu UML-Unified Modeling Language Use Case diagram Klassediagram Oppførselsdiagrammer Sekvensdiagram Kollaborasjonsdiagram Tilstandsdiagram Aktivitetsdiagram
DetaljerConference Centre Portal (CCP)
IN-MMO Obligatorisk oppgave 1 Brian Elvesæter mmo-oppgaver@ifi.uio.no 1 Conference Centre Portal (CCP) 2 1 Oblig 1: Problem description [1/3] The Conference Center Portal is an Internet portal that organizers
DetaljerRetningslinjer for scenariobasert trusseldokumentasjon, erfaringer fra praksis
Retningslinjer for scenariobasert trusseldokumentasjon, erfaringer fra praksis Ida Hogganvik, PhD student SINTEF/UiO Innhold Hva er scenariobasert risikodokumentasjon? I hvilke sammenhenger brukes det?
DetaljerINF1500 Introduksjon til design, bruk, interaksjon Kapittel 10 Identifisere behov og etablere krav
INF1500 Introduksjon til design, bruk, interaksjon Kapittel 10 Identifisere behov og etablere krav 19. September 2016 Institutt for Informatikk, Universitetet i Oslo johe@ifi.uio.no Behov? Krav? 3 Krav
DetaljerAkseptansetest for mottak av PLO-meldingen: Helseopplysninger til lege
Akseptansetest for mottak av PLO-meldingen: Helseopplysninger til lege Meldingsversjon: Standard for elektronisk kommunikasjon med pleie- og omsorgstjenesten, versjon 1.5, datert 30.06.2009 2 Akseptansetest
DetaljerAkseptansetest av mottak Svarrapportering av medisinske tjenester Immunologi
Akseptansetest av mottak Svarrapportering av medisinske tjenester Meldingsversjon: 1.3 datert 01.12.2008 Akseptansetest av mottak Svarrapportering av medisinske tjenester 2 Innholdsfortegnelse 1. REVISJONSHISTORIKK...
DetaljerAkseptansetest av mottak Elektronisk henvisning
Akseptansetest av mottak Elektronisk henvisning Meldingsversjon: 1.0 datert 08.07.2005 Akseptansetest av mottak Henvisning 2 Innholdsfortegnelse 1. REVISJONSHISTORIKK... 3 2. AKSEPTANSETEST FOR MOTTAK
DetaljerAnsvarsdrevet OO: CRC og UML Sekvensdiagrammer
Fra krav til objekter Ansvarsdrevet OO: CRC og UML Sekvensdiagrammer INF1050--1 Dagens forelesning o Kort repetisjon av kravspesifikasjon med UML Hva skal systemet gjøre? UML: Bruksmønstermodeller (Use
DetaljerModellering av brukstilfeller og forretningsprosesser. Kurs i standarder, Oslo, 12. juni 2018
Modellering av brukstilfeller og forretningsprosesser Kurs i standarder, Oslo, 12. juni 2018 Modellering av brukstilfeller Innhold Kort innføring i brukstilfeller Elementer i Use Case diagram Relevante
DetaljerBringebærmousse på nøttebunn med vaniljegele.
Suksessen fortsetter! Dette kurset er svært populært og går over en kveld. 26. august 17. september 18. september 15. oktober 13. november forretter 3 hovedretter desserter FORRETTER: Blomkålsuppe servert
DetaljerINF1400. Tilstandsmaskin
INF4 Tilstandsmaskin Hovedpunkter Tilstandsmaskin Tilstandstabell Tilstandsdiagram Analyse av D-flip-flop tilstandsmaskin Reduksjon av antall tilstander Tilordning av tilstandskoder Designprosedyre for
DetaljerSIE 4005, 8/10 (3. Forelesn.)
SIE 4005, 8/10 (3. Forelesn.) Andre forelesning: litt repetisjon 7.7 Arithmetic / Logic unit 7.8 The Shifter 7.9 Datapath representation 7.10 The control word 7.11 Pipelined datapath Tredje forelesning:
DetaljerTuringmaskiner en kortfattet introduksjon. Christian F Heide
7. november 016 Turingmaskiner en kortfattet introduksjon Christian F Heide En turingmaskin er ikke en fysisk datamaskin, men et konsept eller en tankekonstruksjon laget for å kunne resonnere omkring blant
DetaljerSertifisering. Avdelingssjef Bjarte Aksnes
Sertifisering Avdelingssjef Bjarte Aksnes www.kith.no Test- og godkjenningsordningen Formål for T&G: Å gi brukerne trygghet for at informasjonen overføres korrekt Å senke terskelen for å ta i bruk elektronisk
DetaljerINF3170 Forelesning 11
INF3170 Forelesning 11 Intuisjonistisk logikk Roger Antonsen - 27. april 2010 (Sist oppdatert: 2010-04-27 11:58) Innhold Intuisjonistisk logikk 1 Innledning........................................... 1
DetaljerUniversitetet i Oslo Institutt for informatikk. Eskild Busch. UML hefte
Universitetet i Oslo Institutt for informatikk Eskild Busch UML hefte 6. desember 2000 Innhold Dette heftet tar for seg deler av UML som er sentralt i kurset IN29. Use case-, sekvens-, tilstand- og klassediagrammer,
DetaljerIntuisjonistisk logikk
INF3170 Logikk Forelesning 11: Intuisjonistisk logikk Roger Antonsen Institutt for informatikk, Universitetet i Oslo Intuisjonistisk logikk 27. april 2010 (Sist oppdatert: 2010-04-27 11:58) INF3170 Logikk
DetaljerINF3170 Logikk. Forelesning 11: Intuisjonistisk logikk. Roger Antonsen. 27. april Institutt for informatikk, Universitetet i Oslo
INF3170 Logikk Forelesning 11: Intuisjonistisk logikk Roger Antonsen Institutt for informatikk, Universitetet i Oslo 27. april 2010 (Sist oppdatert: 2010-04-27 11:58) Intuisjonistisk logikk INF3170 Logikk
DetaljerAkseptansetest av mottak Elektronisk epikrise - Den gode epikrise
Akseptansetest av mottak Elektronisk epikrise - Den gode epikrise Meldingsversjon: 1.1 datert 23.09.2006 Akseptansetest av mottak Epikrise 2 Informasjon om mottakersystem Programvareleverandør: Navn og
DetaljerForelesning 2: Induktive definisjoner, utsagnslogikk og sekventkalkyle Christian Mahesh Hansen januar 2007
Forelesning 2: Induktive definisjoner, utsagnslogikk og sekventkalkyle Christian Mahesh Hansen - 29. januar 2007 1 Induktive definisjoner Induktive definisjoner Definisjon 1.1 (Induktiv definisjon). Å
DetaljerUse case modellering. Use case modellen. Metode for systembeskrivelse og Nettsted-design
Use case modellering Metode for systembeskrivelse og Nettsted-design Kirsten Ribu 11.09.2007 Use case modellen beskriver kravene til systemet beskriver systemet sett fra kundens perspektiv beskriver hva
DetaljerForelesning januar 2006 Introduksjon, mengdelre og utsagnslogikk. 1 Praktisk informasjon. 1.1 Forelesere og tid/sted. 1.2 Obliger og eksamen
Forelesning 1-23. januar 2006 Introduksjon, mengdelre og utsagnslogikk 1 Praktisk informasjon 1.1 Forelesere og tid/sted Forelesere: { Christian Mahesh Hansen (chrisha@ifi.uio.no) { Roger Antonsen (rantonse@ifi.uio.no)
DetaljerMetadata for samordning og samhandling
Metadata for samordning og samhandling DNV/ Industry Geir Jevne, principal 16 October 2008 Problemløsning i en teknologisk hverdag Slide 2 Trærne i samordnings-, samarbeids- og samhandlingsskogen 1. Status
DetaljerINF1800 Forelesning 2
INF1800 Forelesning 2 Mengdelære Roger Antonsen - 20. august 2008 (Sist oppdatert: 2008-09-03 12:36) Mengdelære Læreboken Det meste av det vi gjør her kan leses uavhengig av boken. Følgende avsnitt i boken
DetaljerAkseptansetest av mottak Rekvirering av medisinske tjenester Immunologi
Akseptansetest av mottak Rekvirering av medisinske tjenester Meldingsversjon: 1.5 datert 01.12.2008 Akseptansetest av mottak Rekvirering av medisinske tjenester 2 Innholdsfortegnelse 1. Revisjonshistorikk...
DetaljerEmne 12 Mengdelære. ( bokstaven g er ikke et element i mengden B ) Betyr: B er mengden av alle positive oddetall.
Emne 12 Mengdelære En mengde er en samling elementer. Mengden er veldefinert hvis vi entydig kan avgjøre om et vilkårlig element tilhører mengden eller ikke. Mengder på listeform. Endelige mengder:, Uendelige
DetaljerINF1300 Introduksjon til databaser
UNIVERSITETET I OSLO INF300 Introduksjon til databaser Dagens tema: Oppdateringsanomalier Normalformer INF300..007 Ellen Munthe-Kaas Hva kjennetegner god relasjonsdatabasedesign? Relasjonene samler beslektet
DetaljerAkseptansetest av mottak Svarrapportering av medisinske tjenester Mikrobiologi
Akseptansetest av mottak Svarrapportering av medisinske tjenester Meldingsversjon: 1.2 datert 14.03.2005 Akseptansetest av mottak Svarrapportering av medisinske tjenester 2 Innholdsfortegnelse 1. REVISJONSHISTORIKK...
DetaljerOppgave 1 Multiple Choice
Oppgave Multiple Choice a 2c 3a 4c 5d 6d 7a 8b 9b 0a b 2c 3c 4a 5b 6b 7a 8d 9c 20b Se video fra forelesningen (Kahoot) for mer detaljer) Eksamen INF050-204 Oppgave 2 a Aktivitetsdiagram Enkelt Eksamen
DetaljerSystemutviklingen er ferdig når et system er operativt. Med operativt menes når systemet blir brukt av brukerne på et faktisk arbeidssted.
Presentasjon nummer 5 The changing system and the nature of maintenance Silde 1 Gruppen introduseres Slide 2 The changing system and the nature of maintenance The Changing system Systemutviklingen er ferdig
DetaljerAkseptansetest av mottak Rekvirering av medisinske tjenester Medisinsk biokjemi
Akseptansetest av mottak Rekvirering av medisinske tjenester Meldingsversjon: v1.5 datert 01.12.2008 2 Akseptansetest av mottak Rekvirering av medisinske tjenester Innholdsfortegnelse 1. Revisjonshistorikk...
DetaljerFrom a table based Feature Catalogue to GML Application schemas
From a table based Feature Catalogue to GML Application schemas 05/ 09/ 2015 EuroSDR Data modelling workshop, Copenhagen 28.-30.1.2015 Knut Jetlund Norwegian Public Roads Administration knut.jetlund@vegvesen.no
DetaljerInjektive og surjektive funksjoner
Injektive og surjektive funksjoner Christian F. Heide 5. september 07 Dette notatet forklarer begrepene injektive og surjektive funksjoner, og er tenkt brukt som et supplement til avsnitt.5 i boken «Mathem»
DetaljerFrankering og computer-nettverk
318 Frankering og computer-nettverk Øystein J. Rødseth Universitetet i Bergen Beskrivelse av oppgaven. I denne oppgaven vil du bruke kombinatorikk, tallteori og muligens også litt analyse. Oppgaven er
DetaljerINF2120 V2005. Gruppe 2 christrc ieronnin kjetimk noushinm sjuros. Trafikanten+ Innlevering
INF2120 V2005 Gruppe 2 christrc ieronnin kjetimk noushinm sjuros Trafikanten+ Innlevering 2 29.04.2005 Intensjon Vårt trafikkoppfølgingssystem skal være et system for brukerne av rutetrafikk, ved at disse
DetaljerMulige Master-oppgaver hos Peter C. Ölveczky
11.1.2006 Masteroppgaver 1 Mulige Master-oppgaver hos Peter C. Ölveczky http://heim.ifi.uio.no/ peterol 11.1.2006 Masteroppgaver 2 Peter C. Ölveczky 1. amanuensis ved PMA-gruppen Email: peterol@ifi.uio.no
Detaljer