TRIZ est une méthode de résolution de problèmes inventifs, initialement développée en ex Union Soviétique et qui commence à se diffuser largement. C'est une méthode non formalisée qui utilise des connaissances capitalisées à partir de milliers de brevets, qui synthétisent en quelque sorte, les problèmes abstraits résolus par ces brevets et qui leur associe des solutions abstraites. La méthode telle quelle, apparaît fermée, en ce sens qu'on ne voit absolument pas comment rajouter des nouvelles connaissances. Il importe d'arriver à une meilleure description de la méthode elle-même et des connaissances mises en oeuvre. Notre équipe pluridisciplinaire au LGeCo est concernée par le développement et la numérisation des méthodes de résolution de problèmes pour la conception inventive, selon plusieurs axes, comme par exemple, la définition de glossaires de concepts pouvant être utilisés dans différents contextes de résolution de problèmes d'une entreprise et la standardisation dans la manière de décrire un processus de résolution de problèmes avec TRIZ pour capitaliser les connaissances. La mise en oeuvre de la méthode, comme on va le voir, comporte une phase importante qui sert à préciser la formulation du problème et à recenser dans l'environnement du système toutes les ressources possibles. Telles qu'elles sont fournies actuellement, les connaissances ne sont guère contextuelles et doivent être examinées pratiquement de façon exhaustive à chaque pas. Un outil logiciel d'aide à la gestion de la création du modèle devrait permettre d'intégrer les connaissances sur les ressources existantes et absentes pour sélectionner uniquement les connaissances applicables dans ce contexte, cela amènerait une grande simplification dans la recherche des solutions. Avec le but de développer un tel logiciel, cet article décrit nos premiers pas dans ce sens-là, en présentant une modélisation CommonKADS du raisonnement de formulation du problème avec TRIZ.