Programmazione di società di calcolo globali
Un sistema distribuito è un insieme di computer indipendenti che si comportano come un sistema singolo coerente. Con l'aumentare della complessità di un sistema di questo tipo, si arriva alla nozione di calcolo globale. Un aggregato di entità computazionali che agiscono autonomamente e che interagiscono produce un ambiente di calcolo globale. Il progetto SOCS si riferisce a queste entità computazionali come "computees" per sottolineare il fatto che conservano il loro individualismo e la loro eterogeneità all'interno dell'ambiente di calcolo globale. Questi computees acquisiscono conoscenze da una base di conoscenze comune, interagiscono seguendo dei protocolli prespecificati e collaborano per raggiungere obiettivi comuni. Proprio come una società, le entità computazionali sono allo stesso tempo molto diverse tra di loro. La possibile assenza di un controllo globale centrale sostituito dalla presenza di un controllo decentralizzato delle attività sottolinea ancor più la somiglianza. Il progetto SOCS ha sviluppato dei modelli basati sulla logica per il ragionamento in un ambiente mutevole. Questi fanno delle ipotesi plausibili quando le informazioni sono incomplete e comunicano per il processo decisionale. Per sperimentare i modelli logici basilari e per analizzare la funzionalità delle loro proprietà, è stata sviluppata una piattaforma innovativa. Le società di programmazione dei computees: la piattaforma prototipo PROSOCS supporta l'implementazione e l'uso di tali società di computees. Con l'aiuto della piattaforma, le applicazioni diventano più chiare e quindi più semplici da usare. Inoltre, la piattaforma proibisce l'interazione indesiderata tra entità di calcolo. Le regole dell'interazione, una volta decise, si possono incorporare nella piattaforma. La piattaforma di sviluppo è stata analizzata con successo in diverse applicazioni di calcolo globale come il commercio elettronico e le aste.
