Notation Z
La notation Z est un langage de spécification utilisé pour décrire et modéliser les systèmes informatiques.
Historique
La notation Z a été créée par Jean-Raymond Abrial. Z est apparu 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].
Abrial a porté Z au Programming Group d'Oxford en . Il a abandonné Z pour proposer la Méthode B dans les années 1980. La première norme internationale (ISO) sur 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).
Notes et références
- ↑ Bertrand Meyer et Claude Baudoin, Méthodes de programmation, Eyerolls, EDF, coll. « Direction des études et recherches d'Electricité de France (EDF) », 688 p. (ISBN 978-2-212-01581-2)
- ↑ (en) Jean-Raymond Abrial, « Data semantics », Data Base Management, J.W. Klimble, K.L. Koffeman (eds.), , p. 1-59
- ↑ Claude Delobel et Michel Adiba, Bases de données et systèmes relationnels, Bordas, coll. « Dunod informatique », (ISBN 978-2-04-011628-6), p. 117
- ↑ Henri Habias, Le modèle relationnel binaire : méthode I.A. (NIAM), Eyrolles,
Annexes
Bibliographie
En français, trois livres sur Z.
- David Lightfoot, Spécification formelle avec Z, Teknea (ISBN 2-87717-038-1), traduit par Henri Habrias et Pierre-Marie Delpech (un petit livre d'introduction).
- J. M. Spivey, La Notation Z, Masson, Prentice-Hall (ISBN 2-225-84367-8), traduit par M. Lemoine (plus complet).
- Pascal André et Alain Vailly, Exercices corrigés de conception logicielle : modélisation des systèmes d'information par la pratique (ISBN 272981289X).
Articles connexes
- Portail de la programmation informatique