Abstract FR:

Pour apporter une contribution a l'etude des systemes complets d'informations, recouvrant des domaines de connaissances complementaires, nous avons choisi hbds et exel pour leurs proprietes. Nous introduisons d'abord des extensions aux modeles choisis, ensuite nous modelisons quelques aspects de la sphere bancaire et proposons un nouvel instrument de communication et de travail entre ses differents specialistes. Le chapitre 1 traite des rapports tad/actions avec les foncteurs multi-flots et leurs graphes, et dote les tad de nouvelles proprietes utilisees dans la modelisation des algorithmes et les transformations de programmes. Le chapitre 2 concerne la modelisation a priori et introduit les tad classes realisees et generees (traduction de notion de fonctions). Le chapitre 3 concerne la modelisation a posteriori. Les concepts de nebuleuses de classes et de galaxies de liens traduisent la notion de partie d'ensembles servent a definir les classes temporelles associees aux phenomenes variants et les typologies sur une classe. Une etude globale du phenomene bancaire comprend celle des domaines juridique et economique et de leur interface. Le chapitre 4 traite du domaine juridique, domaine fortement structure. Differentes notions de theorie du droit, de droits civil et commercial sont modelises et relies. Le chapitre 5 presente une interface entre les mondes juridique et economique, une structuration des notions comptables et un cadre pour la modelisation quantitative economique. Le chapitre 6 modelise le monde bancaire, sa structure, les operations de credit, de bourse, de monetique avec leurs outils de simulation