Orca
Orca è un linguaggio basato su un insieme di costrutti per la condivisione di dati tra processi.
Per implementare questi costrutti, Orca è stato realizzato come un insieme gerarchicamente strutturato di astrazioni.
- Al livello più basso vi è la primitiva di broadcast affidabile che permette di realizzare delle operazioni su strutture dati replicate;
- Nel livello di astrazione superiore i dati condivisi sono incapsulati in oggetti passivi che sono replicati sui processori del sistema parallelo (replication).
Sopra questi livelli, Orca fornisce un linguaggio ad oggetti in cui ogni oggetto consiste di una specifica (specification) ed una implementazione (implementation).