Diachronie et Synchronie en spécification, une illustration en Z

Les spécifications Z comportent la définition de l'ensemble des états pris par le système spécifié. Cette définition est réalisée à partir de la donnée d'une structure et d'une contrainte sur les valeurs pouvant être affectées aux composantes de cette structure. C'est l'invariant du système. Une structure des états ne convient pas toujours. C'est le cas pour des systèmes pouvant construire une entité complexe avant de la faire vivre. Des élements apparaissent à certaines phases pour les besoins de la construction et disparaissent dans la réalisation finale. Les élements de la construction finale n'apparaissent que progressivement. Cet article propose donc une technique de spécification permettant de résoudre ce problème : décrire l'évolution du système au sein des phases (synchronie) et la transition entre phases (diachronie). Cette technique est illustrée par un exemple.