| kirjeldus: |
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. |