Składanie schematów Z

Łączy dwa schematy Z, czyli nazwane opisy systemu. Schemat to nazwany blok zmiennych i warunków opisujących stan systemu lub jego operację. Zmienne stanu po pierwszej operacji odpowiadają zmiennym stanu, którego oczekuje druga; Z ukrywa ten wspólny stan pośredni w wyniku.

Notację Z opracowano pod koniec lat 70. do matematycznego opisywania systemów komputerowych, a rozwijała się ona w latach 80. Pierwszy szeroko opublikowany podręcznik referencyjny ukazał się w 1989 roku. Z opiera się na teorii mnogości, matematyce zbiorów, oraz logice predykatów, która wyraża warunki mogące być prawdziwe albo fałszywe.

Używaj ⨟ tylko w notacji Z

To operator rachunku schematów Z, czyli reguł ich łączenia. Nie oznacza ogólnego składania funkcji ani relacji.