Benefits of formal methods for the use of logs in a contractual context
Apport des méthodes formelles pour l'exploitation de logs informatiques dans un contexte contractuel
Résumé
This paper describes the approach followed by the ANR LISE project to specify formally the liabilities of the parties in a software contract. Two options are presented: the first one relies on the definition of an a priori allocation of liabilities based on the errors observed in the logs while the second one is based on a causality analysis. Both options are illustrated with an hotel reservation system.
Dans cet article, nous présentons la démarche adoptée dans le projet ANR LISE pour spécifier de manière formelle les responsabilités des parties dans un contrat portant sur des logiciels. Nous décrivons deux options, l’une reposant sur une attribution a priori des responsabilités en fonction des dysfonctionnements constatés, l’autre basée sur une analyse de causalité, et nous les illustrons sur un exemple de système de réservation d’hôtels.