Contrarius: Generateur d'Aspects servant a valider le respect de contrats OCL.

摘要

Dans le domaine du génie logiciel, le principe de la programmation par contrat (PpC) a été nommé pour la première fois et popularisé par Bertrand Meyer. Il a proposé d'ajouter un contrat précis à un module afin de le documenter correctement. Ce contrat ajoute des précisions qu'une simple signature de méthode ou qu'un commentaire ne peuvent apporter.;La programmation orientée-aspect (POA) est un paradigme relativement nouveau (environ 10 ans) qui a pour prétention d'encapsuler les propriétés d'un système informatique qui ne peuvent pas être encapsulées correctement par la programmation orientée-objet (POO). Grâce à la POA, il est possible, entre autres, d'intercepter des messages envoyés entre objets et d'appliquer un traitement avant ou après cette émission.;Ce mémoire présente le projet Contrarius. Ce projet incorpore le concept de la PpC au langage Java, en faisant usage du langage OCL afin d'exprimer les contrats et du langage AspectJ (un langage orienté-aspect) pour effectuer la vérification du respect des contrats lors de l'exécution d'un programme. Nous expliquons ce qu'est la PpC et le besoin qu'elle comble, ce que sont les langages de spécifications formelles, le langage OCL, le paradigme de la POA, le langage AspectJ, l'architecture de Contrarius et présentons une courte analyse des projets similaires.;L'UML est un langage de modélisation de systèmes orientés-objet. L'UML étant principalement un langage de modélisation graphique, il est difficile (parfois impossible) de préciser certains détails d'un système. Le langage de spécification formelle OCL, qui est intimement lié à l'UML, permet d'ajouter ces précisions.