Disputerte på IKT

Både Institutt for informatikk ved Universitetet i Oslo og Institutt for IKT ved Universitetet i Agder har aktive miljøer innen modelldrevet utvikling av databehandling.

Se også om disputasen på Universitetet i Oslos nettsider:

Her er kandidatens egen framstilling av avhandlingens innhold:

Consistency Modeling in a Multi-Model Architecture

Ofte inneholder datakilder på nettet overlappende, men motstridene opplysninger. I noen tilfeller er inkonsistensen enkel, for eksempel at et og samme bygg er angitt å ha ulikt antall beboere. I andre tilfeller er inkonsistensen mye mer indirekte og dermed vanskeligere å avsløre, for eksempel kan en kilde angi at en person på et gitt tidspunkt oppholdt seg på et gitt sted, mens et bilde tatt på samme tid sier noe annet.

Avhandlingen beskriver et logisk og visuelt språk som gjør det mulig å uttrykke komplekse logiske sammenhenger mellom data lagret i forskjellige data kilder. En algoritme (program) er angitt slik at en automatisk vil kunne utlede data som avslører inkonsistens og eventuelt andre komplekse logiske sammenhenger mellom data.

Fagområdet er informatikk og mer spesifikt modelldrevet utvikling. Den foreslåtte løsningen angir en multimodel arkitektur der datasettene og skjemaene for datasettene er eksplisitt angitt som modeller. De anvendte språkene kan også beskrives eksplisitt i den samme arkitekturen – da som metamodeller.

Løsningen baserer seg på syntaksen til allerede eksisterende språk (UML inkludert OCL; OCL er et førsteordens predikat logikkspråk over grafstrukturer), tolkningen (semantikken) av utsagn i språket er derimot ny.

Språket gjør det mulig, på et høyt abstraksjonsnivå, å modellere relasjoner mellom data. Denne modelleringen gir en konsistensmodell som igjen kan anvendes på datasett slik at konsistensdata automatisk kan genereres (for eksempel data som sier at en og samme bygning er angitt å ha forkjellig antall beboere).

Det foreslåtte språket kan betraktes som et beskrankningsspråk (eng. constraint language); ved bruk av slike språk angir en et sett med beskrankninger (begrensninger) hvorpå en automatisk generer data som oppfyller beskrankningene i relasjon til angitte datasett.

Disputasfakta:

Kandidaten: Jan Pettersen Nytun er tilsatt ved UiA som universitetslektor – nå blir han førsteamanuensis – ved Institutt for informasjons- og kommunikasjonsteknologi (IKT), Fakultet for teknologi og realfag ved Universitetet i Agder.

Prøveforelesning og disputas fant sted i:

Lille auditorium, Informatikkbygningen, Gaustadalléen 23

Disputasen ledes av undervisningsleder Dag Langmyhr ved Institutt for informatikk, Universitetet i Oslo.

Tid for prøveforelesning:

Mandag 11. okt. 2010 kl 10:15

Oppgitt emne for prøveforelesning:

”Formal Methods in Software Engineering -- Current Trends and Challenges.”

Tid for disputas:

Mandag 11. okt. 2010 kl 13:15

Tittel på avhandling:

”Consistency Modeling in a Multi-Model Architecture"

Opponenter:

Førsteopponent er førsteamanuensis Thomas Kühne, School of Engeneering and Computer Science, Victoria University of Wellington, New Zealand

Annenopponent er førsteamanuensis Elvinia Riccobene, Dipartimento di Tecnologie dell’Informazione, Università di Milano, Italia

Det tredje medlemmet i komiteen er førsteamanuensis Ragnhild Kobro Runde, Institutt for informatikk, Universitetet i Oslo, som også har ledet bedømmelseskomiteens arbeid.

Veiledere i doktorgradsarbeidet har vært:

Professor Birger Møller-Pedersen, UiO, ifi, førsteamanuensis Arne Maus, UiO, ifi, professor Andreas Prinz, UiA, ikt http://www.uia.no/kk/profil/andreasp og professor Vladimir A. Oleshchuk, UiA, ikt

Kommentarer