La modélisation informatique est un outil essentiel à l'étude de systèmes naturels complexes. Les modèles sont souvent construits par des spécialistes et la diversité des techniques de conception utilisées, les rendent dif cilement compatibles. Or, pour pouvoir étudier un système dans sa globalité, il est nécessaire d'agréger ces modèles en un multi-modèles. Il existe donc un besoin agrant d'approche logicielle, en matière de conception de multi-modèles, ainsi qu'un besoin connexe de techniques adaptées à l'étude de systèmes naturels. Notre travail apporte une contribution à la dé nition d'une telle approche. Nous nous appuyons sur l'analyse orientée objet pour déterminer les composés nécessaires d'une architecture logicielle, ou cadriciel, pouvant atteindre ce but. D'un point de vue formel nous utilisons le formalisme DEVS (Discrete EVent System speci cation) comme base uni catrice assurant la compatibilité des modèles. L'originalité de l'approche consiste à séparer toute technique de modélisation spéci que des composés de base. Chaque modèle créé partage ainsi un ensemble minimal de propriétés quelle que soit la technique utilisée. Trois techniques spéci ques d'étude de systèmes naturels ont été intégrées. La première, Feedback-DEVS s'intéresse aux modèles auto-apprenants ; la seconde, par automates cellulaires permet d'étudier la dynamique de systèmes spatialisés ; la troisième, Vector-DEVS, est une méthode originale d'étude de phénomènes à propagation d'interface sur cartes vectorielles. Pour chaque technique nous avons détaillé la spéci cation formelle et l'analyse objet. L'approche a été ensuite mise en pratique par l'implémentation du cadriciel, JDEVS et validée par trois expérimentations
| Identifer | oai:union.ndltd.org:CCSD/oai:tel.archives-ouvertes.fr:tel-00593593 |
| Date | 17 December 2003 |
| Creators | Filippi, Jean Baptiste |
| Publisher | Université Pascal Paoli |
| Source Sets | CCSD theses-EN-ligne, France |
| Language | French |
| Detected Language | French |
| Type | PhD thesis |
Page generated in 0.0021 seconds