chapitre 6 Le décideur, son organisation et son environnement

6-3.3 Etude de cas: Le langage "SimKit"

SimKit est un langage commercial développé par Intellicorp qui se rajoute à la coquille système expert "KEE". Nous le présentons brièvement afin de dégager les éléments importants d'un environnement de modélisation d'événements orienté objet qui intègre la technologie des systèmes expert. Un tel outil est plus adapté que Ross pour simuler pas seulement les interactions entre acteurs, mais également des processus complexes de traitement d'information. Un tel langage est idéal pour implémenter le genre de modèle que nous esquissons dans la section 6-3.5 "La modélisation IA de systèmes d'acteurs" [p. 255].

Simkit permet de créer facilement des classes d'objets, des relations entre objets, etc. avec un outil graphique. C'est un langage qui permet la simulation d'événements discrets de façon très souple (cf. SimKit 1-1 ff.). Il existe une montre qui représente le temps, un calendrier qui représente les événements futurs et un simulateur qui exécute les événements en fonction du calendrier. Comme dans Ross, un modèle de simulation repose sur un ensemble d'objets possédant un nombre arbitraire d'attributs (contenant des valeurs, propriétés, autres objets, etc). Par contre, la nature des relations entre objets et attributs est plus sophistiquée. On peut définir des interactions "automatiques", par exemple calculer ce qui se modifie ailleurs si on change la valeur d'un attribut. SimKit possède un outillage de collection de données très sophistiqué qui permet de monitorer et d'analyser le comportement de chaque objet dans le temps selon les besoins.

SimKit fournit un certain nombre de classes et de relations dans des librairies qui sont utiles pour la modélisation d'usines ou d'organisations*1. La libraire QLIB (cf. SimKit QLIB, 2-1ff.) permet la simulation des "queues" d'événements, un concept central pour la modélisation de flux de communication à l'intérieur d'une organisation

. Avec les éléments de la QLIB (montrés dans la figure 6-5) on peut implémenter plusieurs type d'événements comme:

la génération d'un item,
l'arrivée d'un item vers une composante,
le départ d'une activité dans une composante,
la terminaison d'une activité ("Task")
et le départ d'un item.

Le déroulement de ces événements est défini par des sortes de règles qui ont la structure suivante:

"unconditional": cette partie est exécutée dans tous les cas lors de l'événement,
"condition": un prédicat qui est évalué si l'action suivante peut avoir lieu
"alors" (angl.:"then"): l'événement proprement dit, par exemple la transformation d'un item,
"ou alors" (angl.: "else"): l'alternative exécutée si la condition est fausse.

Le contenu de ces descriptions d'événements varie beaucoup parmi les différents types d'événements. Avec cet outillage, on peut modéliser des questions de type "what if" très précises et ciblées car on peut modifier facilement les comportements spécifiques des objets individuels du système.

SimKit se caractérise par une bonne intégration dans une coquille d'intelligence artificielle et c'est pour cela qu'il a été présenté ici. Il s'agit d'un langage très élégant, mais implémenté dans un environnement commercial assez "lourd" (KEE). C'est probablement la raison pour laquelle les communautés les plus actives dans le domaine ont toutes développé leur propre langage de simulation*2. Comme Ross, elles ont en règle générale moins de fonctionalités mais sont suffisants pour des besoins très précis de modélisation.

THESE présentée par Daniel Schneider - 19 OCT 94

Generated with WebMaker