Méthode d'Analyse Formelle par des Objets en vue d'une Industrialisation

Industrialisation de la méthode

L’industrialisation de la méthode se matérialise au travers d’un Système d’information informatisé.

Chaque primitive des concepts génériques est implanté dans un Système informatique. N’importe quel système informatique implantant n’importe quel langage informatique peut implanté ces concepts. Il faut néanmoins se garantir que chaque objet soit persistant (en cas de défaillance du Système).

Les objets et les activités sont distribués dans plusieurs systèmes. Il faut néanmoins se garantir que chaque système peut accéder aux autres systèmes.

Implantation des objets et des primitives

Tous les outils de développement basés sur un langage objet propose une Bibliothèque d’objets génériques très complète. Cette Bibliothèque d’objets couvre amplement les besoins d’implantation des objets génériques nécessaires à la méthode d’analyse formelle (Annexe I). L’écriture des primitives n’est donc pas nécessaire.

Persistance des objets et des activités

Tous les SGBD peuvent faire persister les objets génériques (pointeur, date, horodate, nombre entier, nombre décimal, caractère, texte, binôme (pointeur => pointeur)).

Exemple d’implantation en Base de données relationnelle.

Les Tables de l’analyse peuvent se décomposer en deux catégories :

• Les Tables de représentation : pointeur objet => syntagme,
• Les Tables de relation : pointeur => pointeur.

Ces Tables permettent de donner une traduction de chaque pointeur. Cette représentation peut être sous forme de caractères de l’alphabet occidental, d’icône, de symboles, etc. pour la mise en place d’une Interface entre l’Homme et la Machine (IHM).

• [entier long] pointeur syntagme (U) ;
• [caractère (1-256)] syntagme (U)

Ces Tables permettent de fixer les objets entre eux. (Rappel : Tout est objet)

• [entier long] pointeur objet (I) ;
• [entier long] pointeur objet clé (I) ;
• [entier long] pointeur objet fixé (I) ;

Chaque objet édifié fixe d’autres objets par un objet clé précisant le contexte de cette fixation.

(Remarque : Un binôme est un Objet fixant un Objet clé et un Objet fixé.)

Les fixations (ci-dessous) de l’analyse objet, illustrent l’utilisation de la table. Chaque objet clé de ces fixations sont des syntagmes (textes).

Un texte ou un syntagme fixe sa persistance dans une table des textes.

Un nombre décimal signé fixe sa persistance dans une table de valeur décimal.

Un nombre entier signé fixe sa persistance dans une table de valeur entier signé.

Un caractère fixe sa persistance dans une table des caractères.

Remarques :

• La persistance d’un objet générique ne se trouve qu’en un seul exemplaire dans leur table respective.
• Il est très simple de passer d’une langue à une autre (d’un mode de représentation à l’autre) en substituant ces tables par d’autres caractères, syntagmes et textes.

Un objet est édifié par un concept.
Un objet fixe (0 à n) objet de syntagme de concept de concept.
Un objet fixe (0 à n) activité de méthode de concept.
Un concept est édifié par un méta-concept.
Un concept fixe (0 à n) syntagme de concept de concept ó syntagme contextuel.
Un concept fixe (0 à n) primitive du concept.
Un concept fixe (0 à n) méthode du concept.
Une primitive fixe si nécessaire le syntagme de la primitive.
Une primitive fixe si nécessaire le syntagme du paramètre.
Une primitive fixe si nécessaire le concept du paramètre.
Une primitive fixe si nécessaire le syntagme du résultat.
Une primitive fixe si nécessaire le concept du résultat.
Une méthode fixe si nécessaire le syntagme de la méthode.
Une méthode fixe si nécessaire le syntagme du paramètre.
Une méthode fixe si nécessaire le syntagme du résultat.
Une méthode fixe si nécessaire (0 à n) méthode du concept.
Une méthode fixe si nécessaire (0à n) méthode du paramètre.
Une méthode fixe (0 à n) méthode ayant le paramètre en paramètre.
Une méthode fixe (0 à n) méthode du résultat de méthode (binôme).
Une méthode fixe (0 à n) méthode ayant le résultat d’une méthode en paramètre (binôme).