Quelques patrons de raffinement pour le développement de diagrammes de classes UML

Boulbaba Ben Ammar (1, 2) , Mahamed Tahar Bhiri (2) , Jeanine Souquières (1)

1 DEDALE - Development of specifications
2 MIRACL - Multimedia, InfoRmation systems and Advanced Computing Laboratory

Le concept de raffinement est un élément clé dans les approches formelles pour le développement de logiciels et a donné lieu à de nombreux travaux dans lesquels la preuve de la correction entre les différents états de spécifications joue un rôle important. Nous proposons un cadre formel de définition des patrons de raffinement de diagrammes de classes UML. L'utilisation de la méthode B et de son mécanisme de raffinement permet la vérification de la correction des patrons à l'aide des outils supports. Nous illustrons notre proposition par la définition de quelques exemples de patrons et leur application au développement d'une étude de cas.

Mots clés: Patron; raffinement; développement progressif; diagramme de classes; UML

Domaines: Autre [cs.OH]; Génie logiciel [cs.SE]

Boulbaba Ben Ammar, Mahamed Tahar Bhiri, Jeanine Souquières. Quelques patrons de raffinement pour le développement de diagrammes de classes UML. 6ème atelier sur les Objets, Composants et Modèles dans l'ingénierie des Systèmes d'Information, OCM-SI, couplé avec le 25ème congrès INFORSID, May 2007, Perros-Guirec, France. 12 p. ⟨hal-00182740⟩