date/vreme: 13/02/2023, 11:00
venue/mesto: Ogranak SANU
Workshop/radionica: Logičko-algebarsko-diskretni susreti (LADIS 3) FTN@PMF
Speaker / Predavač
dr Ivan Prokić, docent
Fakultet tehničkih nauka, Univerzitet u Novom Sadu
http://imft.ftn.uns.ac.rs/iprokic/Main (home page)
Title / Naslov:
Matematika u distribuiranom računarstvu: čemu služi i kako se koristi
Abstract / Sažetak:
Distribuirani računarski sistemi su promenili živote ljudi iz korena: učenje, posao, zabava - sve je postalo neraskidivo vezano za internet. Benefiti koje imamo od distribuiranih sistema su brojni, međutim dolaze uz određenu cenu. Razvoj softvera motivisan je prvenstveno zaradom kompanija, a briga o pouzdanosti dolazi naknadno. Distribuirani sistemi su po pravilu veoma složeni i njihovo razumevanje iziskuje veliki napor. Postoje brojni primeri u kojima su softveri nailazili na greške u funkcionisanju, a zbog čega je došlo do katastrofalnih posledica.
Matematički formalni modeli mogu poslužiti za specifikaciju i verifikaciju distribuiranih softverskih sistema. Postoji veliki broj ovakvih modela, a u predavanju ćemo pričati o pi računu i tipovima sesija. Pi račun je procesna algebra koja modeluje konkurentnost, komunikaciju i mobilnost. Pi račun se može smatrati osnovnim modelom za konkurentno izračunavanje, kao što se lambda račun može smatrati osnovnim modelom za sekvencijano izračunavanje. Tipovi sesija se mogu koristiti da disciplinuju interakcije među procesima pi računa, ali i kao tipski sistem koji se može koristiti za specifikaciju i verifikaciju distribuiranih protokola. U predavanju će biti reči o dobrim osobinama koje osiguravaju tipovi sesija, o podtipiziranju koje omogućava veću fleksibilnost tipskog sistema, kao i o primeni tipova sesija u verifikaciji u ivičnom računarstvu.
Za kraj predavanja pričaćemo o primeni transformacija grafova u ivičnom računarstvu koristeći osnovne pojmove teorije kategorija.