L'approche orientée objet et les réseaux de Petri pour la spécification formelle des tâches



Yüklə 58,19 Kb.
səhifə5/10
tarix04.01.2022
ölçüsü58,19 Kb.
#61484
1   2   3   4   5   6   7   8   9   10
Données d'Entrée

Informations nécessaires lors de l'exécution de la tâche.

L'Interface de Sortie spécifie l'état final de la tâche. Elle est composée de deux types de données : Les comptes-rendus et les Données de Sortie.

Tableau : Données de l'interface de sortie.




Description

Comptes-rendus

Résultats produits par l'exécution de la tâche. Leur contenu indique les modifications d'ordre :

physique et dans ce cas, il désigne la modification de l'environnement (appel applicatif, changement d'état….).

mental, désignant la modification ou la nouvelle représentation de la situation par l'opérateur.

Les comptes-rendus déterminent ainsi si les objectifs sont atteints ou non et, dans tel cas, la tâche sera reprise après une éventuelle évolution de la situation.




Yüklə 58,19 Kb.

Dostları ilə paylaş:
1   2   3   4   5   6   7   8   9   10




Verilənlər bazası müəlliflik hüququ ilə müdafiə olunur ©muhaz.org 2024
rəhbərliyinə müraciət

gir | qeydiyyatdan keç
    Ana səhifə


yükləyin