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
Doktorand
Dedeić, JovanaMentor
Pantović, JovankaPerez Para Jorge, Andres
Članovi komisije
Ivetić, JelenaGajić, Dušan
Prokić, Ivan
Mendes Torres Vieira Hugo, Filipe
Pantović, Jovanka
Perez Para Jorge, Andres
Metapodaci
Prikaz svih podataka o disertacijiSažetak
U 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.
The 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.