Fondamenti teorici

CROSS-OS si colloca all’intersezione tra:

• teoria dei sistemi complessi
• constraint solving
• filosofia dell’informazione
• teoria dei sistemi operativi

Esecuzione vs Risoluzione

Nel paradigma classico, l’esecuzione è una trasformazione temporale: un’istruzione produce uno stato successivo.

In CROSS-OS, invece, il sistema è descritto come un insieme di vincoli simultanei. Il comportamento emerge quando questi vincoli sono risolti in modo coerente. Non c’è flusso, c’è assetto.

Tempo non lineare

Poiché non esiste una sequenza di comandi, il tempo operativo di CROSS-OS non è necessariamente lineare. Le dipendenze non determinano un ordine, ma una struttura di compatibilità globale.

Controllo vs Coerenza

Il controllo presuppone un agente che impone azioni. La coerenza presuppone una struttura che si stabilizza. CROSS-OS appartiene al secondo paradigma.

Ontologia computazionale

In CROSS-OS, i processi non sono entità dinamiche, ma configurazioni risolvibili. Il sistema non “fa” qualcosa: è qualcosa quando è coerente.