Composizione di schemi Z

Combina due schemi Z, cioè descrizioni nominate di un sistema. Uno schema è un blocco con nome di variabili e condizioni che descrive uno stato o un’operazione del sistema. Le variabili dello stato dopo la prima operazione corrispondono a quelle dello stato atteso prima della seconda; Z nasconde nel risultato questo stato intermedio condiviso.

Z fu concepita alla fine degli anni Settanta per descrivere sistemi informatici con la matematica e si sviluppò negli anni Ottanta. Il primo manuale di riferimento pubblicato ampiamente apparve nel 1989. Z si basa sulla teoria degli insiemi, la matematica delle collezioni, e sulla logica dei predicati, che esprime condizioni vere o false.

Usa ⨟ solo nella notazione Z

È un operatore del calcolo degli schemi di Z, cioè delle regole per combinarli. Non indica la composizione generale di funzioni o relazioni.