Effectivement c'est imprécis:Ce serait intéressant que tu expliques un peu plus de quoi il s'agit, en particulier en expliquant les termes que tu emploies. (J'ai visité les deux pages de Wikipedia que tu cites; elles restent elles-mêmes assez floues sur les concepts qu'elles sont sensées définir.)
- J'ai toujours eu des difficultés a définir précisement quelque chose
- Je n'ai malheureusment pas la connaissance de votre grammaire (mathematique, theorique etc)
- Le méchanisme de validation de preuve n'est pas quelque chose que je cherchais a créer, c'est un effet d'une partie du sytème de ce que j'ai crée (qui est totalement deterministe)
Du coup en me concentrant sur la preuve (oublions la grammaire un instant), imaginons que nous souhaitions prouver le bon fonctionnement d'une application de gestion par exemple, la TVA.
La TVA est définie:
- C'est un nombre
- Qui ne peut être inferieur a zero
- Qui ne peut être superieur a 100, rarement superieur a 70
- Qui doit etre calcule a des moment précis en fonction de formules précies
En ayant défini le reste de ce que gere l'application de gestion (le prix, la quantité etc) on se retrouve avec des ensembles d'états a des moments precis.
A un état, correspond un certain nombre de variables, leurs contraintes et leurs formules associées. On peut tenter de prouver l'état, trouver les situations possibles ou il y a risque d'erreur (une division par zero) et y remédier en definissant des règles additionnelles pour l'etat lui même.
Dans mon cas, je ne considere la génération que comme un mal nécessaire (masquer des definitions sophistiquées comme les règles d'attribution d'un crédit par une banque par exemple) ou tout simplement pour des raisons de performances. Le systeme est conçu pour interpréter les règles pendant l'execution, en temps réel.Je suppose que tu entends par méta-données des données qui vont servir à générer des programmes. Est-ce bien cela ?
Nous avons donc un domaine (l'application de gestion) avec son vocabulaire (Tva, prix quantite...) et sa grammaire (l'ensemble des regles, actions, réactions). L'originalité du systeme est qu'il peut gerer l'interaction entre des domaines.
Cependant votre methode reste la meilleure,
- mon "moteur" devant être prouvé (prouver qu'une demarche de recherche preuve marche )
- votre solution ne pouvant etre pervertie (dans la mienne on peut se mettre les arrondis de TVA dans la poche).
Partager