Le développement d'un logiciel de simulation numérique, en particulier lorsqu'il est destiné à la résolution de problèmes multiphysiques, implique une augmentation significative de la complexité des structures de données au fur et à mesure des enrichissements. La maîtrise de cette complexité exige une structure bien organisée et extensible. Ces enrichissements successifs introduisent des fonctionnalités intéressantes pour l'utilisateur final mais ceci, bien souvent, au prix d'une difficulté d'utilisation croissante.<br />Cette thèse aborde la problématique de la gestion de la structuration et de la complexité dans une application de simulation numérique multiphysique, par la combinaison de la programmation orientée objet et de règles métiers à l'aide de Prolog, un langage de programmation logique.<br />Nous commençons par établir un modèle de données contenant des classes abstraites qui facilitent l'héritage et l'expansion de cette structure de données. L'objectif est de permettre aux développeurs d'ajouter un nouveau modèle de données ou de modifier un modèle existant, sans remettre en cause l'existant. Un tel modèle de données nécessite des vérifications qui assurent que toutes les commandes et les constructions d'objets soient valides. Nous proposons de réaliser ces vérifications à l'aide d'un moteur de règles et non pas de manière algorithmique comme cela est fait habituellement. Ce moteur de règles, basé sur le langage de programmation logique, donne la possibilité d'exécuter la vérification, bien sûr, mais aussi la proposition et l'explication.<br />Cette approche permet d'une part de réduire la tâche du développeur et d'autre part de faciliter les opérations de l'utilisateur final.
| Identifer | oai:union.ndltd.org:CCSD/oai:tel.archives-ouvertes.fr:tel-00163799 |
| Date | 25 September 2006 |
| Creators | Huynh, Quoc Hung |
| Source Sets | CCSD theses-EN-ligne, France |
| Language | French |
| Detected Language | French |
| Type | PhD thesis |
Page generated in 0.0017 seconds