Z-schemakomposition

Det förenar två Z-scheman, alltså namngivna systembeskrivningar. Ett schema är ett namngivet block med variabler och villkor som beskriver ett systemtillstånd eller en operation. Variablerna för tillståndet efter den första operationen motsvarar dem för tillståndet som den andra förväntar sig före start; Z döljer det gemensamma mellanliggande tillståndet i resultatet.

Z utformades i slutet av 1970-talet för att beskriva datorsystem med matematik och utvecklades vidare under 1980-talet. Den första referenshandboken som publicerades brett kom 1989. Z bygger på mängdlära, matematiken om samlingar, och predikatlogik, som uttrycker villkor som kan vara sanna eller falska.

Använd ⨟ bara i Z-notation

Det är en operator i Z:s schemakalkyl, alltså reglerna för att kombinera scheman. Den betecknar inte allmän sammansättning av funktioner eller relationer.