Programowanie globalnych społeczeństw komputerowych
System rozproszony jest zbiorem niezależnych komputerów zachowującym się jak jeden spójny system. W miarę wzrostu złożoności takiego systemu dochodzimy do pojęcia globalnych sieci komputerowych. Zbiór jednostek obliczeniowych działających autonomicznie i oddziałujących ze sobą tworzy środowisko globalnej sieci komputerowej. W projekcie SOCS są one określane mianem jednostek obliczeniowych w celu podkreślenia faktu, że zachowują one swój indywidualizm i niejednorodność w środowisku globalnej sieci komputerowej. Te tzw. jednostki obliczeniowe uzyskują wiedzę ze wspólnej bazy wiedzy, oddziałują zgodnie z określonymi wstępnie protokołami i współpracują, aby osiągnąć wspólne cele. Tak samo, jak w społeczeństwie, poszczególne jednostki obliczeniowe znacząco różnią się między sobą. Możliwy brak centralnej, globalnej kontroli działań zastąpiony obecnością kontroli zdecentralizowanej jeszcze bardziej podkreśla to podobieństwo. W ramach projektu SOCS opracowano oparte na logice modele do rozumowania w zmieniającym się środowisku. Stawiają one prawdopodobne hipotezy, gdy informacje są niekompletne, i komunikują się między sobą w celu podjęcia decyzji. W celu przeprowadzenia doświadczeń w zakresie zarządzania modelami logicznymi i przebadania funkcjonowania ich właściwości opracowano innowacyjną platformę. Prototypowa platforma PROSOCS programistycznych społeczeństw jednostek obliczeniowych obsługuje implementację i instalowanie takich społeczeństw jednostek obliczeniowych. Dzięki wykorzystaniu tej platformy aplikacje stają się bardziej przejrzyste oraz, co za tym idzie, lepiej zrozumiałe dla użytkownika. Ponadto platforma uniemożliwia niechciane oddziaływania między jednostkami obliczeniowymi. Po podjęciu decyzji na temat zasad oddziaływania można je zastosować w platformie. Opracowaną platformę przetestowano pomyślnie w globalnych sieciach obliczeniowych w szeregu różnych zastosowań, takich jak handel elektroniczny i aukcje.
