Composição de esquemas Z

Ele combina dois esquemas Z, ou descrições nomeadas de um sistema. Um esquema é um bloco nomeado de variáveis e condições que descreve um estado ou uma operação do sistema. As variáveis do estado após a primeira operação correspondem às do estado esperado antes da segunda; Z oculta esse estado intermediário compartilhado no resultado.

Z foi concebida no fim da década de 1970 para descrever sistemas computacionais com matemática e se desenvolveu ao longo da década de 1980. O primeiro manual de referência amplamente publicado surgiu em 1989. Z se baseia na teoria dos conjuntos, a matemática das coleções, e na lógica de predicados, que expressa condições verdadeiras ou falsas.

Use ⨟ somente na notação Z

É um operador do cálculo de esquemas de Z, isto é, das regras para combinar esquemas. Não representa a composição geral de funções ou relações.