Les Macro-étapes

Le concept de macro-étape permet des descriptions par raffinement successifs. Ainsi plusieurs niveaux de représentation peuvent être mis en oeuvre. Le premier niveau exprimant globalement la fonction à remplir sans se soucier de tous les détails superflus qui seront décrit dans les niveaux suivants, correspondant à une analyse plus fine. Finalement le dernier niveau pourra être celui correspondant à l'implémentation de la partie commande dont on spécifie le comportement.

Une macro-étape est l'unique représentation d'un ensemble unique d'étapes et de transitions nommé macro-expansion. L'expansion de la macro-étape commence par une seule étape d'entrée et se termine par une seule étape de sortie.

On représente une macro-étape à l'aide de double barre dans le symbole d'étape. On repère une macro-étape à l'aide d'un identificateur commencant par la lette M.

Exemple de macro étape :