K-MADe, un outil de modélisation des tâches pour lʼenseignement et la recherche Patrick Girard, Sybille Caffiau Dominique Scapin LISI / ENSMA – Université de Poitiers INRIA 1, rue Clément Ader Domaine de Voluceau 86981, FUTUROSCOPE, France 78150, Rocquencourt, France girard@ensma.fr, caffiaus@ensma.fr Dominique.scapin@inria.fr RESUME peut être associée à des expressions formelles qui condi-K-MAD, Kernel of Model for Activity Description, est tionnent son exécution (pré, post conditions, condition aujourd’hui un des modèles de tâches les plus puissants. d’itération). Ces conditions sont exprimables à l’aide Son outil graphique associé, K-MADe, est le seul qui d’objets formellement définis. Tout comme dans le mo-permette d’utiliser des expressions logiques dans son dèle MAD*, les objets de K-MAD peuvent être abstraits module de simulation. L’objet de ce cours est d’en ap- ou concrets. Les objets abstraits sont composés des ca-préhender le fonctionnement, à la fois dans un cadre ractéristiques des objets manipulés par les utilisateurs d’enseignement et de recherche. alors que les objets concrets sont des instances de ces ob-jets abstraits. Chaque objet possède un nom (texte) et des MOTS CLES : Modèles de tâches, K-MAD. attributs. Les attributs abstraits (attributs des objets abs-traits) sont les caractéristiques et sont définis par un nom INTRODUCTION (texte) et un type de valeur (entier, texte, booléen). Les Le modèle de tâches K-MAD (Kernel of ...