Composición de esquemas Z

Combina dos esquemas Z, descripciones con nombre de un sistema. Un esquema es un bloque con nombre que reúne variables y condiciones para describir el estado o una operación de un sistema. Las variables del estado posterior a la primera operación coinciden con las del estado previo que espera la segunda; Z oculta ese estado intermedio compartido en el resultado.

Z se concibió a finales de los años setenta para describir sistemas informáticos mediante las matemáticas y se desarrolló durante los ochenta. Su primer manual de referencia publicado ampliamente apareció en 1989. Z se basa en la teoría de conjuntos, las matemáticas de las colecciones, y en la lógica de predicados, que expresa condiciones verdaderas o falsas.

Usa ⨟ solo en la notación Z

Es un operador del cálculo de esquemas de Z, es decir, las reglas para combinarlos. No representa la composición general de funciones o relaciones.