La page HTML sera  représentée  par trois parties :
 
• Une partie gauche décrivant le déroulement de l'étape dans laquelle on se trouve,
• Une partie haute où vous avez la possibilité d'aller d'une étape à une autre,
• La partie restante où se déroule  le développement de cette étude .

Nous observerons dans la suite les conventions de style suivantes. Le texte français sera parsemé de différentes "boîtes" qui pourront contenir:

• soit l'énoncé de certaines propriétés décrites au moyen d'une ou deux phrases très courtes, ces boîtes sont numérotées avec le prefixe "P",
• soit l'énoncé, lui aussi très court, d'une décision, ces boîtes sont numérotées avec le préfixe "D",
• soit la formalisation mathématique d'un invariant,
• soit enfin la description formelle d'un événement.

Pour améliorer la lisibilité des modèles, nous suivrons un certain nombre de conventions lexicales simples concernant l'écriture des identificateurs.

Nous écrirons les variables ou les constantes correspondant à des éléments physiques (par exemple celles caractérisant les lecteurs de cartes) en n'utilisant que des lettres majuscules.

Les variables qui relèvent plutôt du logiciel seront écrites en n'utilisant que des lettres minuscules.

Enfin les variables qui caractérisent les messages circulant sur le réseau contiendront aussi bien des lettres majuscules que des lettres minuscules et, de plus, elles commenceront toutes par la lettre "m".