Une analyse formelle doit soulever toutes les ambiguïtés liées au langage.
La méthode garantit :
- une maitrise parfaite du fonctionnement du métier, facilitant ainsi toute évolution (évaluation des impacts de chaque changement),
- une cohérence et une intégrité du système d’information,
- une automatisation (informatisation) partielle ou totale du métier,
- une documentation exacte du métier.
L’analyse fournit une représentation du métier compréhensible par tous les acteurs du métier et ne nécessitant aucune compétence ou connaissance préalable (excepté de savoir lire).
Le formalisme proposé est volontairement simple afin d’être accessible à un maximum de personnes d’origines diverses et exerçant des métiers différents.
L’approche proposée respecte le Paradigme Objet. Le postulat de base repose sur l’affirmation suivante : « Tout est objet composé d’objets au service d’objets. »
La documentation issue d’une analyse formelle d’un système de production est un paquet de phrases formelles conformes aux schémas génériques suivants :
[objet] méthode [paramètre] => [résultat]
sujet verbe complément(s) => produit
- [objet],[paramètre] et [résultat] sont des concepts.
- La méthode, fixée par l'[objet], est un assemblage judicieux de quelques méthodes fixées par l’objet] ou par des [objets] qu’il fixe.
- Un concept [objet] est cohérent si tous les [résultats] et de tous les [paramètres] de toutes ses méthodes sont fixés.
La démarche consiste
- à recueillir auprès des acteurs du métier les phrases informelles ;
- à fixer les concepts et les méthodes ;
- à affiner les concepts en appariant les synonymes ;
- à vérifier la cohérence des concepts (méthodes, objets, paramètres, résultats) ;
- à valider auprès des acteurs du métier les phrases formelles déduites.
