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ə9/10
tarix04.01.2022
ölçüsü58,19 Kb.
#61484
1   2   3   4   5   6   7   8   9   10
5. Conclusion

Nous avons montré dans cet article que l'utilisation de l'orienté objet et des réseaux de Petri objet présente plusieurs avantages pour modéliser la tâche de l'utilisateur. En effet, le modèle de tâches de TOOD, par sa description statique et dynamique, permet la modularité des spécifications, l'expression des interruptions et de la concurrence. L'adjonction des objets descripteurs à l'entité tâche permet un rapprochement à un langage de programmation ce qui simplifie le passage à l'implémentation.




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