Programowanie dla środowiska globalnej sieci obliczeniowej
Pojawiające się środowiska globalnych sieci obliczeniowych wykazują coraz większe potrzeby w zakresie interakcji pomiędzy użytkownikami oraz nieograniczonej liczby komponentów i obiektów w sieci. Poza tym mobilność, przewidywalność, bezpieczeństwo i odporność na błędy stały się ważnymi cechami w globalnych sieciach. Obecnie stosowane pośrednie warstwy oprogramowania i technologie języków programowania mogą wkrótce okazać się niewystarczające, aby spełniać te potrzeby. Aby umożliwić sprostanie tym wymaganiom, w ramach projektu MIKADO opracowano nowe jądro modelu programowania opartego na domenie, który może służyć do opisywania i programowania bardzo rozproszonych i mobilnych systemów. Korzystając z podstaw teoretycznych tego modelu, naukowcy zdefiniowali specyfikacje i techniki analizy, których celem jest podniesienie bezpieczeństwa i wiarygodności systemów. Model programowania wraz z technikami zastosowano do wdrożenia konkretnych technologii programowania. Jednym z opracowanych języków programowania jest programowanie rozproszone wpisanych obiektów współbieżnych (ang. Typed Concurrent Objects lub TyCO). Ten obiektowy i współbieżny język programowania opiera się na rachunku asynchronicznym, a konkretnie na algebrze Pi-Calculus, i obejmuje obiekty pierwszej klasy, komunikaty asynchroniczne i definicje procesów. Oferuje także podstawy do modelowania klas obiektów. Więcej informacji pod adresem: http://mikado.di.fc.ul.pt/index.html
