Signalgrensesnitt for Trafikanten Pluss

Transkript

1 Signalgrensesnitt for Trafikanten Pluss Version Apr-05 INF220 Prosjekt i modellering

2 Trafikanten Plus: Skisse til arkitektur cs TrafficContext Oracle på Ifi users:mobile sm: SM_stat JDBC static:lbase SMSin (2) :GSMSystem () :TrafficPlusControl SMSout sm2: SM_dyn XML http: dynamic:tbase PATS-laben Trafikanten 2-Apr-05 INF220 Prosjekt i modellering 2

3 PATS-laben: vi bruker kun SMS som snitt Beskrivelsesmessig er det hensiktsmessig å forstå kommunikasjonen i 2 plan Logisk kommunikasjon SMS kommunikasjon SMS kommunikasjonen implementerer den logiske kommunikasjonen dette gjøres ved at SMS-ens tekst gis en spesiell syntaks på output (fra programmet) for å identifisere den som sender på input må teksten parseres for å tolke innholdet SMS kommunikasjonen gjøres vha Én meldingstype: SMSmessage To spesiallagde porttyper (JavaFrame mediatorer) for inn/ut 2-Apr-05 INF220 Prosjekt i modellering 3

4 Logisk kommunikasjonsprotokoll sd NextVehicle users[øystein]: Mobile nextvehicle(line3sognsvann, øtlfnr) :GSMsystem :TrafficPlusControl øid er en identifikasjon generert av GSMsystemet nextvehicle(line3sognsvann, øid) Line3Sognsvann er info brukeren Øystein gir getpos(øid) givepos(øid, øpos) logiske signalnavn velger dere ref FindNextVehicle(øpos, Line3Sognsvann, øid) sendsms( Line3Sognsvann is 3 minutes away, øid) sms( Line3Sognsvann is 3 minutes away ) 2-Apr-05 INF220 Prosjekt i modellering 4

5 PATS-sine tjenester Motta SMS fra mobiltelefon; videresendes til program SMS melding sendes til 2034 på et format som inneholder info om hvilken kø denne meldingen skal inn på Programmet vil ta inn melding fra køen over inn-porten Sende SMS til mobiletelefon, originert fra program SMS meldingen sendes fra programmet med et tilsvarende format Spørre om posisjon til en mobiltelefon mobiltelefonen er gitt ved en generert ID som har framkommet når personen sendte en tidligere SMS PATS sender info om posisjon til en mobiltelefon igjen som en SMS i et dertil egnet format 2-Apr-05 INF220 Prosjekt i modellering 5

6 Statisk database: Oracle på Ifi Implementasjonen av dette går Ragnar og Gerhard igjennom Databasen skal tenkes som en tilstandsmaskin denne tilstandsmaskinen skal hente data fra databasen vha JDBC Logisk grensesnitt mot statisk database, dvs. mot tilstandsmaskinen som bestyrer databasen Velg selv signalnavnene, men her er noen forslag: getposition(string holdeplass, Boolean retning) fra programmet pos(string holdeplass, Boolean retning, Real xcoord, Real ycoord) til programmet fra databasen getbusstop(real xcoord, Real ycoord) busstop(real xcoord, Real ycoord, String stoppnavn) 2-Apr-05 INF220 Prosjekt i modellering 6

7 Utdrag av tabellen 37.txt HPLNR ST NAVN XK YK Helsfyr (i Etterstadsletta) Maskinistskolen Etterstadgata Vålerenga Galgeberg (i Strømsveien) Apr-05 INF220 Prosjekt i modellering 7

8 2-Apr-05 INF220 Prosjekt i modellering 8

9 Dynamiske data: direkte fra Trafikanten Vi sender en forespørsel på http: mot Trafikanten/SIS den inneholder navnet på en holdeplass Logisk signal: framkomstmidler(string holdeplass) og vi får tilbake en XML-fil som inneholder en masse informasjon om de framkomstmidler som er i nærheten av nevnte holdeplass denne XML-fila må parseres og tolkes av programmet Logisk signal: dynamiskinfo(string holdeplass, String info) 2-Apr-05 INF220 Prosjekt i modellering 9

10 Deler av en slik info over XML 2-Apr-05 INF220 Prosjekt i modellering 0

11 Fra uryddig verden til strukturert database Ragnar Normann og Gerhard Skagestein 3. april Apr-05 INF220 Prosjekt i modellering

12 Vi ser bare rapportene... Rapport Rapport3 Rapport2 Informasjonssystem Hvordan finne fram til en korrekt relasjonsdatabasestruktur ut fra rapportene? 2-Apr-05 INF220 Prosjekt i modellering 2

13 Noen rapporter Prosjekt: Alfa Ansatt Avdeling Prosjekttimer 20 Salg Salg Prod 50 Prosjekt: Beta Budsjett og lønn Avdeling Budsjett Sum lønn Salg Prod Øko Avdeling: Salg Ansatt Skattekommune Priv.tlf Ås Salg Avdeling: Prod <kommuneliste> <kommune> <kommunenr>024</kommunenr> <kommunenavn>ås</kommunenavn> </kommune.. </kommuneliste> 2-Apr-05 INF220 Prosjekt i modellering 3

14 Ulike veier til optimal normalform Virkeligheten (interesseområdet) analyse intuisjon gruppering normalisering elementære utsagn optimal normalform universalrelasjonen 2-Apr-05 INF220 Prosjekt i modellering 4

15 Veien om universalrelasjonen Rapport Rapport2 Normalisering Konseptualisering? Rapport3 2-Apr-05 INF220 Prosjekt i modellering 5

16 En unormalisert tabell repeterende gruppe ansatt skatte kommune priv.tlf lønn prosjekt avdeling avd. kommune avd.tlf avd. budsj prosjekt prosj. timer prosj. timer Oslo Salg 030 Oslo Alfa 200 Beta Ås Salg 030 Oslo Alfa Frogn 0227 Fet Prod Øko 025 Frogn 025 Frogn Alfa Beta Apr-05 INF220 Prosjekt i modellering 6

17 Første normalform ansatt prosj. timer skatte kommune priv.tlf lønn prosjekt avdeling avd. kommune avd.tlf avd. budsj 20 Alfa Oslo Salg 030 Oslo Beta Oslo Salg 030 Oslo Alfa Alfa Beta Ås 025 Frogn 0227 Fet Salg Prod Øko 030 Oslo 025 Frogn 025 Frogn Apr-05 INF220 Prosjekt i modellering 7

18 Finne funksjonelle avhengigheter ansatt prosj. timer skatte kommune priv.tlf lønn prosjekt avdeling avd. kommune avd.tlf avd. budsj 20 Alfa Oslo Salg 030 Oslo Beta Alfa Oslo 024 Ås Salg Salg 030 Oslo 030 Oslo Alfa Frogn Prod 025 Frogn Beta Fet Øko 025 Frogn Apr-05 INF220 Prosjekt i modellering 8

19 Boyce-Codd normalform (BCNF): Alle determinanter (venstresider i funksjonelle avhengigheter) skal være gjenstand for entydighetsskranke 2-Apr-05 INF220 Prosjekt i modellering 9

20 Normalisering til BCNF ansatt Salg Prod Øko skatte kommune 030 Oslo 024 Ås 025 Frogn 0227 Fet avd. kommune 030 Oslo 025 Frogn 025 Frogn priv.tlf avd.tlf lønn avd. budsj Salg Salg Prod Øko Noen sammenheng mellom ansatt(nr) og avdeling? Dele opp kommuneverdien? Noen skjulte attributter? ansatt avdeling avdeling prosjekt Alfa Beta Alfa Alfa Beta prosj. timer Apr-05 INF220 Prosjekt i modellering 20

21 Normalisering i tre trinn Til. normalform: Skill ut repeterende grupper A B C D E C D E C D E F G A B F G A C D E Til 2. normalform: Skill ut attributter som er funksjonelt avhengige av en del av identifikatoren sammen med en kopi av denne Til 3. normalform: Skill ut attributter som er funksjonelt avhengige av andre (ikke-nøkkel) attributter sammen med en kopi av disse A C D E A C D C E A B F G A B F B G 2-Apr-05 INF220 Prosjekt i modellering 2

22 Gå via en datamodell! Rapport Rapport2 Gruppering Konseptualisering Rapport3 2-Apr-05 INF220 Prosjekt i modellering 22

23 Ogdens trekant Vi ser representasjonene, ikke alltid begrepene Thoughts of Reference Begreper Symbol Lingvistiske elementer representasjoner Referent Fenomener i interesseområdet 2-Apr-05 INF220 Prosjekt i modellering 23

24 Sammenheng representasjon - begrep Enkel representasjon (ikke informasjonsbærende) Sammensatt representasjon (ikke informasjonsbærende) Informasjonsbærende representasjon Husk: Vi ønsker uforanderlige representasjoner! Let etter begreper i tabelloverskrifter, ledetekster og XML-markeringer Eksempler 2-Apr-05 INF220 Prosjekt i modellering 24

25 Hva ser vi Ansatte Avdelinger Skattekommuner Privattelefoner, avdelingstelefoner Avdelingsbudsjetter Lønninger Prosjekttimer Begreper? Representasjoner? Roller? 2-Apr-05 INF220 Prosjekt i modellering 25

26 Hvilke assosiasjoner? eller jakten på de elementære utsagn mange-til-mange-assosiasjoner med assosiasjonsklasse en-til-mange-assosiasjoner funksjonelle avhengigheter Sjekk ved å tolke assosiasjonene som tabeller og fylle inn forekomster! Gir tabellene mening? Stemmer de med rapportene? 2-Apr-05 INF220 Prosjekt i modellering 26

27 Usynlige begreper Husk at forekomstene i en relasjon er en mengde Foreligger det noe sorteringsbehov? I så fall trenger vi noe å sortere! 2-Apr-05 INF220 Prosjekt i modellering 27

28 Avdelingsnavn avdelingsnavn {id} 0.. «identifying» Kommune kommunenr2s {id} avd kommune skattekommune Fylke fylkenr {id} Avdeling avdelingsnr {id} Ansatt ansattnr {id} avd budsjett avd tlf Penger #beløp {id} Telefon tlf.nr {id} lønn priv tlf Prosjekt prosjektnavn{id} Modellen Prosjektdeltakelse prosj timer Varighet #timer {id} 2-Apr-05 INF220 Prosjekt i modellering 28

29 Skranker? Er det noen relevante skranker som bør legges inn i modellen? 2-Apr-05 INF220 Prosjekt i modellering 29

30 Og så grupperer vi! 2-Apr-05 INF220 Prosjekt i modellering 30

31 Avdelingsnavn avdelingsnavn {id} 0.. Avdeling avdelingsnr {id} avdelingsnavn {fk} fylkenr {fk} avdkommune{fk} avdbudsjett{fk} Ansatt ansattnr {id} avdeling{fk} fylkenr {fk} skattekommune{fk} lønn {fk} Gruppert modell Kommune «identi- fying» fylkenr {id}{fk} kommunenr2s {id} avd kommune avd budsjett avd tlf Penger #beløp {id} Telefon tlf.nr {id} avdtlf{fk} privtlf{fk} 2-Apr-05 INF220 Prosjekt i modellering 3 lønn priv tlf skattekommune Prosjektdeltakelse ansattnr{id}{fk} prosjektnavn {id}{fk} prosjtimer {fk} prosj timer Fylke fylkenr {id} Prosjekt prosjektnavn{id} Varighet #timer {id}

32 Avdelingsnavn avdelingsnavn {id} 0.. Avdeling avdelingsnr {id} avdelingsnavn {fk} fylkenr {fk} avdkommune {fk} avdbudsjett {fk} Ansatt ansattnr {id} avdeling{fk} fylkenr {fk} skattekommune{fk} lønn {fk} Forenkling Kommune «identi- fying» fylkenr {id}{fk} kommunenr2s {id} avd kommune avd budsjett avd tlf Penger #beløp {id} Telefon tlf.nr {id} avdtlf{fk} privtlf{fk} 2-Apr-05 INF220 Prosjekt i modellering 32 lønn priv tlf skattekommune Prosjektdeltakelse ansattnr{id}{fk} prosjektnavn {id}{fk} prosjtimer {fk} prosj timer Fylke fylkenr {id} Noen overraskelser? Prosjekt prosjektnavn{id} Varighet #timer {id}

33 Hvordan sette opp en databasestruktur med SQL CREATE osv 2-Apr-05 INF220 Prosjekt i modellering 33

34 Hvordan populere en database med SQL INSERT osv 2-Apr-05 INF220 Prosjekt i modellering 34

35 Hvordan få tak i en relasjonsdatabase fra Java JBDC-grensesnittet 2-Apr-05 INF220 Prosjekt i modellering 35

36 SQL i et Java-program Oppkobling mot databasen import java.sql.; import oracle.sql.; import javax.swing.; import oracle.jdbc.driver.; //må lastes ned, classes2.zip class OracleInf050 { public static void main(string args[ ]) throws SQLException { // Last ned Oracle JDBC driveren DriverManager.registerDriver(new oracle.jdbc.driver.oracledriver( )); // Be bruker om brukernavn og passord String brukernavn = JOptionPane.showInputDialog("Brukernavn: "); String passord = JOptionPane.showInputDialog("Passord: "); // Oppkobling mot databasen Connection conn = DriverManager.getConnection ("jdbc:oracle:thin:@delphinium.ifi.uio.no:52:ifiora",brukernavn, passord); 2-Apr-05 INF220 Prosjekt i modellering 36

37 SQL i et Java-program Spørring og utskrift // Lag et SQL-setningsobjekt Statement stmt = conn.createstatement(); // Utfør en spørring ResultSet rset = stmt.executequery("select from Husholdningsavfall"); // Iterer gjennom resultatet og skriv ut noen av attributtene while ( rset.next( ) ) { System.out.print (rset.getstring()); // attributt nr System.out.print (" " + rset.getstring("kommunenavn")); System.out.println (" " + rset.getstring("avfallsmengde")); } System.exit(0); // fordi JOptionPain brukes uten foreldrevindu } } //OracleInf050 2-Apr-05 INF220 Prosjekt i modellering 37

38 Avdelingsnavn avdelingsnavn {id} 0.. Modellen avd kommune skattekommune Fylke fylkenr {id} Avdeling avdelingsnr {id} Ansatt ansattnr {id} avd budsjett avd tlf «identifying» «identifying» Penger #beløp {id} Telefon tlf.nr {id} 2-Apr-05 INF220 Prosjekt i modellering 38 lønn priv tlf Prosjektdeltakelse «identifying» Kommune kommunenr2s {id} prosj timer Prosjekt prosjektnavn{id} Varighet #timer {id}

39 Objektorientert realisering I Avdeling avdelingsnr avdelingsnavn avdbudsjett <set>:telefon Kommune fylkenr kommunenr2s Ansatt ansattnr <set>:telefon <set>: (prosjektnavn, varighet) skatter_til Denne implementasjonen setter den ansatte i sentrum. I tillegg har vi valgt å beholde Avdeling og Kommune som egne klasser, 2-Apr-05 INF220 Prosjekt i modellering 39

40 Avdeling avdelingsnr avdelingsnavn avdbudsjett <set>:telefon fylkenr kommunenr2s Objektorientert realisering II Denne realiseringen er velegnet hvis fokus er på prosjektene og hvem som arbeider på dem. Merk at kommunene ikke lenger er egne objekter, dvs. at DBMSet ikke kan kontrollere om kommunenumrene er lovlige Ansatt Ansattnr <set>:telefon skatt_fylkenr skatt_kommunenr2s Prosjektdeltakelse varighet Prosjekt prosjektnavn 2-Apr-05 INF220 Prosjekt i modellering 40

41 SLUTT 2-Apr-05 INF220 Prosjekt i modellering 4