Contribution à TOOD, une méthode à base de modèles pour la spécification et la conception des systèmes interactifs

par Dimitri Tabary

Thèse de doctorat en Automatique des systèmes industriels et humains

Sous la direction de Christophe Kolski et de Mourad Abed.

Soutenue en 2001

à Valenciennes .

mots clés

• Modèle de la tâche
• Conception de systèmes interactifs
• Systèmes homme-machine
• Petri, Réseaux de

Résumé

Les travaux développés dans ce mémoire se situent dans le courant des approches à base de modèles : l'objectif est de définir une méthode et un environnement pour la spécification et la conception des systèmes interactifs. L'approche à base de modèles a été choisie, suite à une étude générale des cycles de développement et outils de base en conception des IHM. Les approches existantes sont comparées par rapport à un cadre de référence. Cette comparaison fait notamment ressortir la nécessité de définir un modèle générique et des formalismes de base. La méthode TOOD proposée dans ce mémoire s'appuie sur un modèle générique et se base pour sa description sur l'orienté objet et les réseaux de Petri objet. La démarche méthodologique intègre différents modèles et leurs relations. Chaque modèle est dérivé du modèle générique. L'utilisation de TOOD sur des cas complexes industriels nécessite le développement d'un environnement. Finalement un ensemble de perspectives de recherches est proposé

Titre traduit

Contribution to TOOD, a model based method for interactive systems specification and design

Résumé

The research developed in this thesis is concerns model based approaches: the objective is to define a method and an environment for interactive systems specification and design. Following a general study on development cycles and basic tools in interactive systems design, the model based approach is selected. These approaches are compared in relation to a reference framework. This comparison emphasizes in particular the need to define a generic model and basic formalisms. To this end, the TOOD method proposed in this thesis is based on a generic model and is based for its description on an object oriented approach and object Petri nets. The methodological steps of TOOD define the different models and their relations. Each model is derived from the generic model. The use of TOOD on industrial complex cases requires the development of an environment In conclusion suggestions are presented for future research and development