Une approche formelle de la modélisation intégrée

Depuis de nombreuses années les concepteurs de systèmes complexes ont à leur disposition des techniques de modélisation stables et éprouvées. Aujourd'hui la plupart de ces techniques de modélisation sont utilisées au sein de «méthodes intégrées» fournissant à l'analyste une démarche lui permettant d'appréhender des systèmes de complexité croissante. Nous proposons dans cet article une approche qui permet de rendre formelle les méthodes intégrées en les modélisant elles-même. Un exemple viendra illustrer notre propos.