Doktorernas dag - Åbo Akademi
Doktorernas dag - Åbo Akademi
Doktorernas dag - Åbo Akademi
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
26<br />
DISPUTATIONER<br />
DATAVETENSKAP<br />
FM Torbjörn Lundkvist disputerar i datavetenskap<br />
fre<strong>dag</strong>en den 17 juni på avhandlingen Applications of Graph<br />
Transformation in Tools for Domain-Specifi c Modeling<br />
Languages.<br />
Disputationen äger<br />
rum kl. 12 i aud. Betha,<br />
ICT-huset. Opponent<br />
är assoc. prof.<br />
dániel varró, Budapest<br />
University of<br />
Technology, och som<br />
kustos fungerar prof.<br />
ivan porres.<br />
Så här sammanfattar Torbjörn<br />
Lundkvist själv sin avhandling:<br />
"Domänspecifi ka språk har föreslagits<br />
som en metod för att kostnadseff<br />
ektivt utveckla familjer av<br />
mjukvarusystem inom ett begränsat<br />
applikationsområde. Ofta begränsar<br />
sig detta område till en produktfamilj<br />
som utvecklas inom ett enskilt<br />
mjukvaruföretag. Domänspecifi ka<br />
språk i kombination med tidigare samlad<br />
erfarenhet och kunskap om applikationsområdet<br />
kan i sin tur användas<br />
för att generera nya applikationer. Av<br />
denna anledning anses domänspecifi -<br />
ka språk vara en av huvudmetoderna<br />
för att återanvända mjukvara.<br />
En nackdel med domänspecifi -<br />
ka språk är att verktygen för att utveckla<br />
mjukvara är knutna till applikationsområdet,<br />
och således inte kan<br />
återanvändas för andra språk och<br />
applikationsområden. Utveckling och<br />
underhåll av ett nytt domänspecifi kt<br />
språk kan således kräva tilläggsresurser<br />
som kan vara större än framtida inbesparningar<br />
som användningen av<br />
detta kan inbringa.<br />
För att förenkla utvecklingsarbetet<br />
för nya domänspecifi ka språk och följaktligen<br />
minska kostnaderna för detta,<br />
har ramverk för ändamålet framtagits.<br />
Verktygsstöd för ett nytt språk skapas<br />
då genom att ramverket skräd-<br />
meddelanden från åbo akademi nr 10 2011<br />
darsys för det nya språket.<br />
Metoderna varierar varierar i<br />
olika ramverk. En metod är att<br />
använda ett programmeringsgränssnitt<br />
baserat på imperativa<br />
programmeringsspråk. En<br />
annan metod är att använda<br />
språk med hög abstraktionsnivå<br />
som är oberoende av ramverkets<br />
implementation.<br />
I denna avhandling presenteras resultat<br />
inom den andra metoden. Graftransformationer<br />
används som utgångspunkt<br />
för att skräddarsy ett<br />
ramverk för mjukvarumodellering med<br />
domänspecifi ka språk. Avhandlingen<br />
presenterar en jämförelse över olika<br />
standarder för att beskriva och utbyta<br />
modeller och modelleringspråk, samt<br />
en arkitektur för ett öppet ramverk för<br />
domänspecifi k modellering som effektivt<br />
koordinerar graftransformation<br />
och grafi ska editorer. Även specifi ka<br />
algoritmer och verktygskomponenter<br />
presenteras och diskuteras. I dessa<br />
ingår en metod för förfrågning av grafer<br />
med rekursion samt en metod för<br />
att synkronisera diagram efter att abstrakta<br />
modeller ändrats.<br />
Arbetet valideras med ett prototypverkyg<br />
samt fallstudier. I dessa studier<br />
visas hur vårt experimentella ramverk<br />
för domänspecifi k modellering<br />
använts för utvecklingen av konkreta<br />
verktygsmiljöer för domänspecifi -<br />
ka språk."<br />
ANALYTISK KEMI<br />
FM Anna Österholm disputerar<br />
i analytisk kemi fre<strong>dag</strong>en den 17<br />
juni på avhandlingen Electronic<br />
and structural properties of<br />
polyazulene materials: an in<br />
situ spectroelectrochemical<br />
investigation.<br />
Disputationen äger rum kl. 12 i aud.<br />
Salin, Axelia. Opponent är prof. toribio<br />
f. otero, Universidad Politécnica de<br />
Cartagena, och som kustos fungerar<br />
prof. ari ivaska.<br />
Så här sammanfattar Anna Österholm<br />
själv sin avhandling:<br />
"Att i ett material kunna kombinera<br />
ledningsförmåga med elasticitet, låg vikt<br />
samt billig och enkel materialframställning<br />
är väldigt intressant för en mängd<br />
högteknologiska tillämpningar. Upptäckten<br />
att en del konjugerade polymerer<br />
(plaster) kan uppvisa ledningsförmåga<br />
i samma klass som silver och koppar<br />
var sålunda banbrytande. Elektriskt ledande<br />
polymerer möjliggör tillämpningar<br />
som elektroniskt papper, elektriskt<br />
ledande textiler, böjbara TV-skärmar,<br />
konstgjorda muskler och tapeter/fönster<br />
som byter färg. Utöver elektrisk ledningsförmåga<br />
uppvisar dessa polymerer<br />
också jonisk ledningsförmåga, något<br />
som utnyttjas bland annat i de två sistnämnda<br />
tillämpningarna.<br />
I sin ursprungliga form är konjugerade<br />
polymerer på sin höjd dåliga halvledare.<br />
Men genom att ta bort eller föra in<br />
elektroner (dopning) kan polymerens<br />
ledningsförmåga höjas avsevärt. Då<br />
man dopar polymeren ändrar man inte<br />
bara på ledningsförmågan utan ock-