Titre original :
Languages and the Consistency
Contenu du livre :
Le travail décrit dans ce livre fait partie du projet "ENGLISH BEANS", qui est un programme d'apprentissage de l'anglais en ligne. Son objectif est d'aider les élèves des écoles primaires et secondaires à améliorer l'efficacité de l'apprentissage de l'anglais en utilisant les technologies de pointe telles que le traitement du langage naturel, le corpus et le graphe de connaissances. "English Beans" a une architecture hiérarchique à plusieurs niveaux et une structure complexe, et il implique également une variété de modules et d'outils tiers. La cohérence entre les différents modules et outils est donc un problème clé pour l'intégrité du projet "ENGLISH BEANS". Le langage EXPRESS (ISO 10303-11) a été introduit dans le projet pour décrire les connaissances, les informations et les données relatives d'une manière semi-formelle. Les travaux de vérification, d'analyse et de simulation s'appliquent alors à ce niveau semi-formel pour garantir la cohérence et l'intégralité du système global.
Un modèle EXPRESS correct doit être non seulement syntaxiquement correct, mais aussi sémantiquement complet et cohérent. Dans ce contexte, la définition de la cohérence est qu'il ne doit pas y avoir de contraintes contradictoires dans le modèle, de sorte que le modèle et tous ses sous-composants puissent coexister correctement dans une instanciation.
Les approches actuelles de la vérification des modèles EXPRESS se concentrent sur la vérification syntaxique et sémantique du langage et sur la vérification des données d'instance par rapport aux contraintes du modèle. L'approche décrite dans cet ouvrage est différente en ce sens qu'elle prend en compte les questions de cohérence sémantique par l'analyse de la définition du modèle EXPRESS.
La cohérence est en partie au centre de plusieurs paradigmes tels que UML, OWL et la programmation par contraintes (CP). La résolution des problèmes de cohérence dans ces paradigmes nécessite une sémantique formelle et des technologies de raisonnement capables de couvrir entièrement cette sémantique formelle. Le travail décrit ici utilise ces approches formelles, et plus particulièrement la programmation par contraintes, pour fournir un environnement de vérification de la cohérence des modèles EXPRESS.
Autres informations sur le livre :
| ISBN : | 9781913558000 |
| Auteur : | |
| Éditeur : | |
| Reliure : | Broché |
Achat:
Actuellement disponible, en stock.
