Gestion de la complexité dans un logiciel destiné à la simulation numérique multiphysique

Managing the complexity in a multiphysics numerical simulation application

• Auteur / Autrice : Quoc Hung Huynh
• Direction : Yves Maréchal, Jean-Louis Coulomb
• Type : Thèse de doctorat
• Discipline(s) : Génie électrique
• Date : Soutenance en 2006
• Etablissement(s) : Grenoble INPG
• Partenaire(s) de recherche : Laboratoire : Laboratoire d'électrotechnique (Grenoble1980-2006)
• Jury : Président / Présidente : Alain Nicolas
• Jury : Examinateurs / Examinatrices : Xavier Brunotte
• Jury : Rapporteurs / Rapporteuses : Alain Nicolas, Patrick Dular

Mots clés

Mots clés contrôlés

Programmation orientée objets (informatique)

Programmation logique

Prolog (langage de programmation)

Simulation par ordinateur

Résumé

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. 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.

The development of numerical simulation software, particularly those involving the resolution of multiphysics problems, implies a significant increase in the complexity of the data structures progressively with the enrichments. The control of this complexity requires a well-organized and extensible structure. We start with the realization a data model containing abstract classes which facilitate the heritage and the expansion of this data structure. The goal is to permit the developers to add a new data model or to modify an existing mode!, without calling into question the existing ones. Such a data model requires a checking engine which ensures that aIl the orders and constructions of objects are valid. We propose to carry out these checks using a rules interpreter and not in an algorithmic way as actually done. This rules interpreter, based on logic programming language, gives the possibility of carrying out not only the checking, of course, but also the proposition and the explanation.