Modélisation d'un système complexe - Une méthode déclarative

Dans le cadre de leurs travaux, les chercheurs peuvent être amenés à assembler des programmes de simulation préexistants. Le mode opératoire repose sur l'hypothèse que l'assemblage de programmes, chacun représentant un sous-système, permet d'accéder à la simulation du système global. Cette hypothèse n'est pas toujours vérifiée et la question se pose de l'identification des sous-systèmes manquants. La théorie du système général appréhende les systèmes sous la forme d'une collection d'actions enchevêtrées. L'objet de ce document est de présenter une méthode déclarative de description de système complexe reposant sur cette théorie et d'en montrer une application à un système biologique