Composition de schémas en Z

Il combine deux schémas Z, des descriptions nommées d’un système. Un schéma est un bloc nommé de variables et de conditions qui décrit l’état ou une opération d’un système. Les variables de l’état après la première opération correspondent à celles de l’état attendu avant la seconde ; Z masque cet état intermédiaire commun dans le résultat.

Z a été conçu à la fin des années 1970 pour décrire des systèmes informatiques à l’aide des mathématiques, puis s’est développé au cours des années 1980. Son premier manuel de référence largement publié a paru en 1989. Z s’appuie sur la théorie des ensembles, les mathématiques des collections, et sur la logique des prédicats, qui exprime des conditions vraies ou fausses.

Réservez ⨟ à la notation Z

C’est un opérateur du calcul des schémas de Z, c’est-à-dire des règles qui permettent de les combiner. Il ne désigne pas une composition générale de fonctions ou de relations.