Une sémantique pour les patrons de justification

International audience ; The creation of a product, whether it is an object or a service, is accompanied by the production of justifications which may be, depending on the case, elements of conformity in the context of quality, traceability documents, experimental reports, expert reports, etc. In critical contexts, such as medical, railway or aeronautics, it is mandatory to convince a certifying authority that the development of a product has been carried out correctly. This obligation leads to an inflation of justification documents, which makes it difficult to read and to understand this set of justifications. To structure these justifications, it may be useful to use Justification Diagrams. However, these diagrams, while useful, are only an informal graphical notation. In this article, we define a formal semantics of the Justification Diagram and we give the first hints of what could be a software to support the design of such diagrams. ; La création d'un produit, que cela soit un objet matériel ou un service, s'accompagne de la production de justifications qui peuvent être, suivant les cas, des éléments de conformité dans le cadre de la qualité, des documents de traçabilité, des rapports d'expérimentations, des rapports d'experts, etc. Dans des contextes critiques, comme le médical, le ferroviaire ou l'aéronautique, il est obligatoire de convaincre une autorité certificatrice, que le développe-ment d'un produit a été correctement réalisé. Cette obligation entraîne une inflation des documents justificatifs, inflation qui rend la lecture et la compréhension de cet ensemble de justifications difficile. Pour structurer ces justifications, il peut être utile d'utiliser des diagrammes de justification. Cependant, ces diagrammes, bien qu'utiles, ne sont qu'une notation graphique informelle. Dans cet article, nous définissons une sémantique formelle du diagramme de justification et nous donnons les premières pistes de ce que pourrait être un logiciel d'aide à la conception de tels diagrammes.