Abstract FR:

Le but de cette thèse est de développer des algorithmes de construction d'un automate de reconnaissance du langage des comportements corrects ou sérialisables d'un système de transactions itérées, parallèles. Une relation de précédence entre transactions, associée à un préfixe de comportement, indépendante des occurrences de transactions, caractérise la correction de ce préfixe. Les états de l’automate sont ensuite caractérisés par des ensembles de mots ou à l’aide de la relation de précédence : une implantation est présentée. La complexité de ces algorithmes dépend de la taille de la relation de conflit du système : une définition de la notion d’utilité d’un conflit est fournie ainsi que des propriétés permettant de caractériser cette utilité. La transformation du système par suppression de conflits inutiles possède la propriété de confluence et, ainsi, le nombre de conflits d’un système de transactions peut être minimalisé.