Une méthodologie simple pour spécifier les comportements logiques des composants métier d’un système d’information

Le but principal de cette méthodologie est de spécifier la logique métier de manière à ce qu’elle soit comprise autant par les gens d’affaires qui utilisent les systèmes d’information que par les informaticiens qui les construisent.

Même si le pseudo code n’est pas le seul moyen d’atteindre ce but, il est le moyen de choix qui est décrit ici étant donné sa grande utilisation et son haut niveau de compréhension parmi ses utilisateurs.

Le pseudo code est aussi connu sous le vocable de français structuré puisqu’il est basé sur un sous-ensemble très simple de la langue française.  La logique exprimée en pseudo code est non seulement claire mais aussi complète.  La traduction de bon pseudo code en vrai code (celui que les programmeurs d’ordinateurs produisent) est une tâche qui peut être automatisée en grande partie.

Parce qu’il doit décrire une logique d’affaires, tout pseudo code devrait être formulé en utilisant un vocabulaire emprunté au domaine d’affaires plutôt qu’à la technologie de l’information.

Par exemple, “Obtenez la prochaine ligne d’article qui fait partie de la commande.” est une bonne formulation d’une action à l’intérieur de pseudo code puisqu’elle utilise des termes connus des gens d’affaires.

Toutefois, “Augmentez de un le numéro de ligne d’article courante et lisez l’enregistrement de la ligne d’article de commande correspondant au nouveau numéro de ligne d’article courante.” n’en est pas une car les termes utilisés n’ont de signification que pour les techniciens qui auront à développer et à mettre en oeuvre la logique.

Seulement trois (3) formes générales de programmation sont requises pour spécifier le flux de contrôle à l’intérieur de pseudo code:

La forme sélective se décompose en deux (2) formes plus raffinées:

La forme itérative se décompose en trois (3) formes plus raffinées:

En comptant la forme “séquentielle”, les deux formes “sélectives” et les trois formes “itératives”, six (6) formes de base de programmation sont disponibles pour spécifier le flux de contrôle à l’intérieur de pseudo code.   Chacune de ces formes peut être imbriquée à l’intérieur de n’importe quelle autre forme.

À part des mots clé et des symboles bien choisis, le pseudo code ne suit pas de notation rigoureuse puisqu’il est fait pour être lu et compris par des personnes et non pas par des ordinateurs.

La méthodologie présentée dans ce document ne constitue pas une norme universelle.   Une telle norme universelle pour le pseudo code n’existe tout simplement pas.   Cependant, la méthodologie présentée ici, pour spécifier de la logique sous forme de pseudo code, a prouvé son utilité lors de multiples projets et est facile à apprendre et à utiliser.

Une forme séquentielle est spécifiée en écrivant les actions les unes après les autres, chaque action étant sur une ligne par elle-même, et toutes les actions étant alignées avec le même décalage à partir de la marge de gauche.

Les actions sont exécutées suivant l’ordre (de haut en bas) dans lequel elles sont écrites.

Voici un exemple d’une série séquentielle d’actions:

Le choix d’une série d’actions au lieu d’une autre, selon l’existence ou l’inexistence d’un état, est spécifié comme suit:

Dans la syntaxe ci-dessus, les mots clé “si” et “sinon” marquent le commencement des deux clauses de cette forme.  La clause “sinon” est facultative.  L’état dont l’existence est à vérifier est spécifié à l’intérieur de parenthèses.  Les deux séries d’actions alternatives sont en fait deux séries séquentielles (la première forme de base décrite plus haut) et distinctes déactions, chacune étant encadrée par une paire de parenthèses bouclées assorties.  Voici un exemple d’une forme sélective “si ... sinon”:

Le choix d’une série d’actions parmi plusieurs séries potentielles, selon la valeur de données retournée par une expression, est indiqué comme suit:

Dans la syntaxe ci-dessus, les mots clé “cas” et “défaut” marquent le commencement de séries d’actions alternatives correspondant à différentes valeurs que l’expression à évaluer peut prendre.  Il n’y a pas de limite au nombre de clauses “cas” pouvant être spécifiées et la clause “défaut” est facultative.  L’ordre dans lequel ces clauses sont spécifiées est important car seulement la première clause ayant la bonne valeur obtient le contrôle; toute clause subséquente, qu’elle ait la bonne valeur ou pas, est ignorée.  Le mot clé “selon” marque le commencement d’une série de cas se référant à la même expression.  L’expression à évaluer apparaît entre parenthèses.  Voici un exemple d’une forme sélective “selon”:

L’exécution d’un groupe d’actions apparentées un certain nombre de fois est spécifiée comme suit:

Dans la syntaxe ci-dessus, le mot clé “pour” marque le commencement d’une série d’actions à exécuter itérativement un certain nombre de fois tel qu’indiqué par l’expression d’itération.  Cette forme de programmation est souvent appelée une boucle de “comptage”.  L’expression d’itération apparaissant à l’intérieur des parenthèses détermine le nombre exact de fois que les actions listées à l’intérieur de la boucle vont s’exécuter.  Voici un exemple d’une forme itérative “pour”:

L’exécution d’un groupe d’actions apparentées aussi longtemps qu’un certain état existe est spécifiée comme suit:

Dans la syntaxe ci-dessus, les mots clé “tant que” marquent le commencement d’une série d’actions à exécuter itérativement tant que l’état à vérifier existe.  L’existence du dit état est testée avant qu’aucune action ne s’exécute à l’intérieur d’une itération.  La série d’actions est exécutée jusqu’à ce que l’état à vérifier n’existe plus.  L’état à vérifier est spécifié à l’intérieur de parenthèses.  Voici un exemple d’une forme itérative “tant que”:

L’exécution d’un groupe d’actions apparentées jusqu’à ce que un certain état se produise est spécifiée comme suit:

Dans la syntaxe ci-dessus, le mot clé “faire” marque le commencement d’une série d’actions à exécuter itérativement jusqu’à ce que l’état à vérifier existe.  La série d’actions est exécutée au moins une fois étant donné que l’état n’est vérifié qu’après une itération.  La série d’actions est exécutée jusqu’à ce que l’état à vérifier existe.  L’état à vérifier est spécifié à l’intérieur de parenthèses.  Voici un exemple d’une forme itérative “faire ... jusqu’à”: