Zaawansowane programowanie na potrzeby systemów rozproszonych i mobilnych
W świetle wyzwań stawianych przez powstające globalne sieci obliczeniowe, projekt MIKADO postawił sobie za cel pokonanie obecnych ograniczeń powszechnie stosowanych technologii programowania i pośrednich warstw oprogramowania. Ograniczenia te dotyczą interakcji i widoczności komponentów i obiektów w systemach, oraz trudności z prawidłową i spójną obsługą mobilności, przewidywalności, bezpieczeństwa i odporności na błędy. Innym ważnym aspektem jest elastyczność systemu w zakresie możliwe najdokładniejszej kontroli i weryfikacji, zatwierdzania i testowania. Mając na względzie powyższe potrzeby, w ramach projektu określono i opracowano prototypy innowacyjnych modeli opisywania i programowana bardzo rozproszonych i mobilnych systemów. Ostatecznym celem było wykorzystanie nowych narzędzi i technik do podwyższenia wiarygodności i bezpieczeństwa systemów, aby rozwiązać problemy z niezależnością i bezpieczeństwem. Przygotowano zestaw rygorystycznych modeli i technik analitycznych, jak również infrastrukturę programową i maszyny wirtualne. ULM, nowy model programowania, umożliwia użytkownikowi przejście od programowania funkcjonalnego opartego na funkcjach matematycznych do programowania reaktywnego, rozproszenia i mobilności. Osadzony we wieloparadygmatycznym języku programowania, który obsługuje programowanie funkcjonalne, zawiera także kompilator i maszynę wirtualną wykorzystywane na potrzeby wdrożenia. Więcej informacji pod adresem: http://mikado.di.fc.ul.pt/
