Vers quoi tend-on ?

Les exemples précédents d'utilisation de l'outil ont révélé deux choses :

• La première est que l'outil, en l'état, n'assure que faiblement des contrôles de cohérence dans l'emploi des « textes » définis  ceci est certainement une limitation sévère, à laquelle il faudrait chercher à remédier.
  
  
• La seconde est qu'on retrouve, comme dans un éditeur syntaxique classique, une dualité à l'utilisation de l'outil :
  • au niveau du concepteur, on construit de nouvelles formes d'expression – les opérateurs et les phyla ;
  • au niveau de l'utilisateur, on bénéficie des efforts fournis par le concepteur.
  Cela signifie que le concepteur devrait être aidé dans la définition de nouveaux termes du langage, par des outils d'assistance qui prennent en compte les aspects syntaxiques et, pour partie, sémantiques de ces termes.

Enfin, une utilisation « en vraie grandeur » de l'outil, où l'on pourrait confronter l'approche proposée à une réalité informatique de taille conséquente, serait sûrement souhaitable.

Les perspectives de poursuite des travaux

Un possible poursuite des travaux pourrait être alors de définir, après l'éditeur à références concentrées, deux autres éditeurs qui incluent davantage de sémantique dans leur définition :

l'éditeur à références déductives,
l'éditeur à références constructives.

Si la première étape, qui a cherché à définir l'éditeur à références concentrées, semblait impérative pour les deux suivantes, celles-ci en revanche paraissent assez indépendantes l'une de l'autre, voire même complémentaires.

Le schéma présente, sur les différentes étapes du cycle de vie, celles pour lesquelles chacun des trois éditeurs annoncés offrirait un cadre de développement facilitant leur conduite.

(1) L'éditeur à références concentrées

Dans un premier temps, on s'intéresse essentiellement à l'étape de Codage, et aux étapes qui la suivent : on propose un outil qui facilite la rédaction du programme, tant sur le plan de l'écriture que sur le plan de la relecture du programme.

(2) L'éditeur à références déductives

On souhaite ensuite attacher une sémantique aux regroupements : l'outil aide alors l'utilisateur dans ses choix de Conception du programme en assurant des contrôles de validité ou en suggérant des transformations.

(3) L'éditeur à références constructives

On veut enfin permettre à l'utilisateur de voir son programme selon l'image que lui-même s'en fait : on l'aide alors dans la phase de Spécification, puisqu'il peut ne pas s'éloigner à la rédaction du programme de l'expression du problème dans les termes de sa spécification.