Une sémantique pour les patrons de justification

La creation d'un produit, que cela soit un objet materiel ou un service, s'accompagne de la production de justifications qui peuvent etre, suivant les cas, des elements de conformite dans le cadre de la qualite, des documents de tracabilite, des rapports d'experimentations, des rapports d'experts, etc. Dans des contextes critiques, comme le medical, le ferroviaire ou l'aeronautique, il est obligatoire de convaincre une autorite certificatrice, que le developpe-ment d'un produit a ete correctement realise. Cette obligation entraine une inflation des documents justificatifs, inflation qui rend la lecture et la comprehension de cet ensemble de justifications difficile. Pour structurer ces justifications, il peut etre utile d'utiliser des diagrammes de justification. Cependant, ces diagrammes, bien qu'utiles, ne sont qu'une notation graphique informelle. Dans cet article, nous definissons une semantique formelle du diagramme de justification et nous donnons les premieres pistes de ce que pourrait etre un logiciel d'aide a la conception de tels diagrammes.