L'approche orientée objet et les réseaux de Petri pour la spécification formelle des tâches
3. Modèles des données du MSTLes ressources, et les informations des interfaces d'entrée et de sortie sont modélisées par des objets, appelés "objets descripteurs" qui ont une structure et un comportement. D'un point de vue informatique, ces objets descripteurs représentent les composants d'une Classe Tâche, mais ils n'ont un sens que s'ils spécifient des objets du monde. Ceci signifie qu'il y a une relation de correspondance entre les objets du domaine et les objets descripteurs d'une classe tâche. D'un point de vue opérateur, ces objets représentent aussi les données par lesquelles il comprend son environnement de travail et élabore une image mentale pour effectuer sa tâche. Par conséquent, ces objets pour les tâches interactives constituent les "Objets Opérateur". Ces derniers auront une existence dans l'image finale du système interactif. Les classes d'objets descripteurs sont organisées selon une relation d'héritage (généralisation spécialisation) afin de traduire la similitude de structure qui existe entre elles, figure 3. Ces classes sont définies par :
. Yüklə 58,19 Kb. Dostları ilə paylaş: |