Un langage qui permette d'intégrer explicitement le temps, par des expressions du type : "Si l'utilisateur a cliqué plus de 3 fois sur le bouton BtnAction en moins de 1 seconde, alors..."
Un langage qui permette de définir des interdictions ou des obligations : "Un utilisateur ne peut voter plus de 2 fois pour un autre utilisateur en moins de 10 jours"
Bref une sémantique basé sur de la logique modale, déontique et temporelle.
Un langage orienté agent pour mieux gérer la concurrence (un agent = un thread). Les agents fonctionnent selon le modèle BDI (Belief Desire Intention). L'agent étant assez complexe, on a pas des milliards de threads qui coutent en changement de contexte.
Un langage dont la syntaxe est un sous ensemble contrôlé d'une langue naturelle, comme Attempto Controlled English, mais amélioré
Un langage dans lequel chaque verbe et non est catégorisé sémantiquement.
Un langage dans lequel la création de fonction est une création de vocabulaire qui se raffine selon le contexte (selon la catégorisation sémantique du contexte).
# Un langage ontologique et métaphorique
Posté par Ontologia (site web personnel) . En réponse au journal Votre langage idéal ?. Évalué à 5.
Un langage qui permette de définir des interdictions ou des obligations : "Un utilisateur ne peut voter plus de 2 fois pour un autre utilisateur en moins de 10 jours"
Bref une sémantique basé sur de la logique modale, déontique et temporelle.
Un langage orienté agent pour mieux gérer la concurrence (un agent = un thread). Les agents fonctionnent selon le modèle BDI (Belief Desire Intention). L'agent étant assez complexe, on a pas des milliards de threads qui coutent en changement de contexte.
Un langage dont la syntaxe est un sous ensemble contrôlé d'une langue naturelle, comme Attempto Controlled English, mais amélioré
Un langage dans lequel chaque verbe et non est catégorisé sémantiquement.
Un langage dans lequel la création de fonction est une création de vocabulaire qui se raffine selon le contexte (selon la catégorisation sémantique du contexte).
Un langage où la métaphore physique et spatiale, plus proche du fonctionnement de notre cerveau, permet de décrire un programme
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker