Retour index

Modèle informationnel

Retour

– —

Le modèle informationnel d'une fonction est un modèle qui décrit juste les entrées et les sorties de cette fonction sans préjuger de son action et de son mode de fonctionnement. Il permet de préciser le type de donnée que manipule une fonction et de connaître ou de décider la manière dont elle va être allouer.

 Les trois sortes d'entrée sortie : variables stockées, événement, message peuvent être implanté à l'aide de quatre classe de données :

classe scalaire : il s'agit d'une case mémoire qui sert pour manipuler une variable. Elle est utilisée pour les variables simples et possède deux caractéristiques : une adresse qui désigne l'endroit où elle est stocké et une valeur qui désigne le contenu de l'adresse

classe vecteur : il s'agit d'une zone mémoire qui sert pour manipuler des tableaux. Elle possède trois caractéristiques : une adresse de base qui sert pour repérer le début de la zone mémoire, un index qui sert à pointer la partie du tableau cherchée et une taille qui définie l'espace mémoire réservé pour ce tableau

classe pile : il s'agit d'une classe proche d'un tableau sauf que la donnée n'est pas repérée par rapport à un index mais par rapport à la donnée mémorisée juste avant comme dans une pile normale

classe booléenne : elle permet d'implanter des événements. il s'agit uniquement de bit qui ont une valeur vraie ou fausse selon que l'événement est présent ou non.

 Le formalisme appliqué au modèle informationnel consiste en un simple tableau qui regroupe toutes les informations sur les variables utilisées dans une application.

– —

Retour index

Suite