01.08.2013 Views

Doktorernas dag - Åbo Akademi

Doktorernas dag - Åbo Akademi

Doktorernas dag - Åbo Akademi

SHOW MORE
SHOW LESS

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-

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!