Les entités algorithmiques envisagées sont vues sans utilisation
d'aucun formalisme précis pour les spécifier.
Cependant, le projet ROBOTVIS cherche à
développer des objets appelés :
IMPS, qui vont permettre de formaliser la spécification
des algorithmes de vision. Ces IMPS pourraient être ensuite inclus
dans le formalisme des TRS.
Sous leur forme inerte, un IMP est un objet du type :
C'est une liste d'attributs avec valeurs, qui correspond au formalisme
des frames [8].
Cette syntaxe permet de définir facilement des listes, des tableaux,
des ensembles, ou encore des valeurs numériques.
Mais surtout, cet objet peut être interfacé avec MAPLE à travers des primitives définies dans http://www.inria.fr/robotvis/personnel/vthierry/mascotte/main.html et par conséquent bénéficier des facilités d'évaluation de MAPLE.
Dans notre application, les IMPS peuvent être vus comme les composants des modules de détection et de suivi de mouvement, mais ils ne seront utilisés que dans un second temps.
Un grand effort est donc à faire pour élaborer la formalisation qui va permettre d'utiliser ces IMPS au niveau fonctionnel.