"Eesti Teadusfondi uurimistoetus" projekt ETF6886
ETF6886 (ETF6886) "Hajusrakenduste kompositsiooni loogikapõhised meetodid (1.01.2006−31.12.2009)", Enn Tõugu, Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut.
ETF6886
Hajusrakenduste kompositsiooni loogikapõhised meetodid
Logic-based methods of composition of distributed applications
1.01.2006
31.12.2009
Teadus- ja arendusprojekt
Eesti Teadusfondi uurimistoetus
ValdkondAlamvaldkondCERCS erialaFrascati Manual’i erialaProtsent
4. Loodusteadused ja tehnika4.7. Info- ja kommunikatsioonitehnoloogia 2.2. Elektroenergeetika, elektroonika (elektroenergeetika, elektroonika, sidetehnika, arvutitehnika ja teised seotud teadused)100,0
PerioodSumma
01.01.2006−31.12.2006128 400,00 EEK (8 206,26 EUR)
01.01.2007−31.12.2007128 400,00 EEK (8 206,26 EUR)
01.01.2008−31.12.2008128 400,00 EEK (8 206,26 EUR)
01.01.2009−31.12.2009123 264,00 EEK (7 878,01 EUR)
32 496,79 EUR

Töötatakse välja täpse loogilise semantikaga vahendid hajusrakenduste automaatseks kompositsiooniks. Esiteks, luuakse keel veebiteenuste loogikapõhiseks kirjeldamiseks koos eksperimentaalse keskkonnaga veebiteenuste dünaamiliseks kompositsiooniks -- liitteenuste sünteesiks lihtsamatest komponentidest – elementaarteenustest ja eelnevalt koostatud teenuste kompositsioonidest. Teiseks, luuakse visuaalne liides ja tarkvara tööde juhtimiseks griidis, mis võimaldab poolautomaatselt ja automaatselt koostada rakendusi griidis. Mõlema töö juures rakendatakse algoritmide struktuurse sünteesi laiendusi lineaarloogika vahenditega. Antud töö tulemused võimaldavad perspektiivis unifitseerida hajusrakenduste, st veebiteenuste ja griidipõhiste arvutuste kirjeldamist ja juhtimist.
In the present project we are going to propose instruments with precise logical semantic for automatic composition of distributed applications. First, a logic-based specification language together with an experimental environment for dynamic composition of services from components – simple services and synthesized services will be developed. Second, a visual interface and software – middleware for grid control will be developed that will support semiautomatic and automatic composition of grid applications. Extension of structural synthesis of algorithms with linear logic instruments will be applied in both cases. It is intended that this work will enable one to unify specification and control of web services and grid computing.