Définir le modèle de tâche d'un ascenseur qui s'utilise de cette façon :
Se rendre devant l'ascenseur
Appuyer sur le bouton d'appel
Attendre que l'ascenseur arrive à votre étage
Attendre que la porte de l'ascenseur s'ouvre
Entrer dans l'ascenseur
Attendre que la porte de l'ascenseur se referme
Choisir l'étage de destination
Attendre que l'ascenseur se déplace
Attendre que la porte de l'ascenseur s'ouvre
Sortir de l'ascenseur
Certaines de ces actions sont facultatives :
vous pouvez déjà être devant l'ascenseur
l'ascenseur peut déjà être à votre étage
la porte peut être déjà ouverte
votre destination peut être l'étage courant et donc l'ascenseur ne va pas se déplacer
Certaines actions ou certains groupes d'actions peuvent également être répétées :
vous pouvez enchaîner les demandes de changement d'étages sans sortir de l'ascenseur
La plupart de ces actions ont des préconditions et/ou des postconditions...
Il doit être possible de réaliser des enchaînements d'actions du type :
1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - 10 (utilisation dite "nominale" de l'ascenseur)
5 - 10 (utilisation minimaliste de l'ascenseur)
... - 5 - 6 - 7 - 8 - 9 - 6 - 7 - 8 - 9 - ... - 10 (plusieurs changements d'étages)