Notation Z
From Wikipedia, the free encyclopedia
La notation Z est un langage de spécification utilisé pour décrire et modéliser les systèmes informatiques.
Cet article n’est pas rédigé dans un style encyclopédique ().
Les informations figurant dans cet article ou cette section doivent être reliées aux sources mentionnées dans les sections « Bibliographie », « Sources » ou « Liens externes » ().
Historique
La notation Z a été créée par Jean-Raymond Abrial. Elle est apparue pour la première fois dans le manuel Méthodes de programmation[1]. Il n'existait alors que des notes de Jean-Raymond Abrial, internes à EDF. Elles faisaient suite à l'article qu'il avait publié en 1974, intitulé Data Semantics in Data Base Management[2].
En 1983, Delobel et Adiba utilisent la notation Z d'origine dans leur livre « Bases de données et systèmes relationnels ». Sous le nom de « modèle relationnel binaire[3] », il leur sert à introduire le « modèle relationnel n-aire » de Ted Codd. La notation graphique NIAM (Nijssen Information Analysis Method) développée au sein de Control Data à Bruxelles utilise ce modèle relationnel binaire[4].
La première norme internationale (ISO) sur la notation Z a été publiée en .
Description
Une spécification en Z est un prédicat structuré en schémas. La spécification de l'invariant et la spécification des opérations ont la forme d'un prédicat.
La notation Z utilise :
- la théorie naïve des ensembles ;
- la logique des prédicats du premier ordre ;
- le calcul des propositions (et, ou, non, implication, etc.) ;
- les quantificateurs existentiels et universels (il existe, quel que soit) ;
- les relations (partie du produit cartésien de plusieurs ensembles).
