Приказ основних података о дисертацији

Relativna ekspresivnost procesnih računa koji poseduju mogućnost adaptacije i dinamičkog ažuriranja tokom izvršavanja

Relative Expressiveness of Process Calculi with Dynamic Update and Runtime Adaptation

dc.contributor.advisorPantović, Jovanka
dc.contributor.advisorPerez Para Jorge, Andres
dc.contributor.otherIvetić, Jelena
dc.contributor.otherGajić, Dušan
dc.contributor.otherProkić, Ivan
dc.contributor.otherMendes Torres Vieira Hugo, Filipe
dc.contributor.otherPantović, Jovanka
dc.contributor.otherPerez Para Jorge, Andres
dc.creatorDedeić, Jovana
dc.date.accessioned2022-02-08T13:17:54Z
dc.date.available2022-02-08T13:17:54Z
dc.date.issued2022-01-13
dc.identifier.urihttps://www.cris.uns.ac.rs/DownloadFileServlet/Disertacija163489536869122.pdf?controlNumber=(BISIS)118361&fileName=163489536869122.pdf&id=18714&source=NaRDuS&language=srsr
dc.identifier.urihttps://www.cris.uns.ac.rs/record.jsf?recordId=118361&source=NaRDuS&language=srsr
dc.identifier.urihttps://www.cris.uns.ac.rs/DownloadFileServlet/IzvestajKomisije163489538873446.pdf?controlNumber=(BISIS)118361&fileName=163489538873446.pdf&id=18715&source=NaRDuS&language=srsr
dc.identifier.urihttps://nardus.mpn.gov.rs/handle/123456789/18922
dc.description.abstractU tezi su razmatrani problemi programskih konstrukata koji podržavaju upravljanje greškama u centru mehanizama koji otkrivaju greške i vraćaju sistem u konzistentno stanje. Teza formalno povezuje programske apstrakcije za rukovanje kompenzacijama i dinamičkog ažuriranja tokom izvršavanja. Analizira se relativna ekspresivnost pomenutih računa. Razvijeno je dvanaest kodiranja, šest procesnih računa za rukovanje kompenzacijama u dva računa za adaptivne procese.sr
dc.description.abstractThe thesis considers problems of programming constructs that support failure handling at the heart of mechanisms that detect failures and bring the system back to a consistent state. We formally connect programming abstractions for compensation handling and runtime adaptation and analyzes the relative expressiveness of these calculi. More concrete, we develop twelve encodings of six process calculi with compensation handling into two calculi of adaptable processes.en
dc.languagesr (latin script)
dc.publisherУниверзитет у Новом Саду, Факултет техничких наукаsr
dc.rightsopenAccessen
dc.rights.urihttps://creativecommons.org/licenses/by-nc/4.0/
dc.sourceУниверзитет у Новом Садуsr
dc.subjectKonkurentni sistemisr
dc.subjectConcurrent systemsen
dc.subjectdistribuirani sistemisr
dc.subjectsemantika programskih jezikasr
dc.subjectprocesni računisr
dc.subjectrukovanje kompenzacijomsr
dc.subjectdinamičko ažuriranjesr
dc.subjectekspresivnostsr
dc.subjectdistributed systemsen
dc.subjectsemantics of programming languagesen
dc.subjectprocess calculien
dc.subjectcompensation handlingen
dc.subjectdynamic updateen
dc.subjectexpressivenessen
dc.titleRelativna ekspresivnost procesnih računa koji poseduju mogućnost adaptacije i dinamičkog ažuriranja tokom izvršavanjasr
dc.title.alternativeRelative Expressiveness of Process Calculi with Dynamic Update and Runtime Adaptationen
dc.typedoctoralThesissr
dc.rights.licenseBY-NC
dcterms.abstractПерез Пара Јорге, Aндрес; Пантовић, Јованка; Перез Пара Јорге, Aндрес; Иветић, Јелена; Гајић, Душан; Мендес Торрес Виеира Хуго, Филипе; Пантовић, Јованка; Прокић, Иван; Дедеић, Јована; Релативна експресивност процесних рачуна који поседују могућност адаптације и динамичког ажурирања током извршавања; Релативна експресивност процесних рачуна који поседују могућност адаптације и динамичког ажурирања током извршавања;
dc.identifier.fulltexthttp://nardus.mpn.gov.rs/bitstream/id/142088/Izvestaj_komisije_12070.pdf
dc.identifier.fulltexthttp://nardus.mpn.gov.rs/bitstream/id/142087/Disertacija_12070.pdf
dc.identifier.rcubhttps://hdl.handle.net/21.15107/rcub_nardus_18922


Документи за докторску дисертацију

Thumbnail
Име:
Disertacija_12070.pdf
Величина:
2.534Mb
Формат:
PDF
Отварање
Thumbnail
Име:
Izvestaj_komisije_12070.pdf
Величина:
257.5Kb
Формат:
PDF
Отварање

Ова дисертација се појављује у следећим колекцијама

Приказ основних података о дисертацији