Sammensetning av Z-skjemaer

Det kombinerer to Z-skjemaer, altså navngitte systembeskrivelser. Et skjema er en navngitt blokk med variabler og betingelser som beskriver en systemtilstand eller operasjon. Variablene for tilstanden etter den første operasjonen svarer til dem for tilstanden den andre forventer før start; Z skjuler denne felles mellomtilstanden i resultatet.

Z ble utviklet mot slutten av 1970-årene for å beskrive datasystemer med matematikk, og utviklet seg videre gjennom 1980-årene. Den første bredt utgitte referansehåndboken kom i 1989. Z bygger på mengdelære, matematikken om samlinger, og predikatlogikk, som uttrykker betingelser som kan være sanne eller usanne.

Bruk ⨟ bare i Z-notasjon

Det er en operator i Zs skjemakalkyle, altså reglene for å kombinere skjemaer. Den betyr ikke generell sammensetning av funksjoner eller relasjoner.