Spécification et spécialisation de patterns en UML et B

Résumé : Les patterns jouent un rôle de plus en plus important dans le développement de spécifications et de logiciels orientés-objets. Ils proposent des solutions génériques à des problèmes spécifiques. La faiblesse sémantique des représentations actuelles des patterns entraîne des interprétations ambiguës et limite leur application. La spécialisation s'avère être un mécanisme très utile permettant l'adaptation de solutions à un problème d'architecture ou de conception d'un système. La réutilisation et l'instanciation sont liées à la notion de spécialisation. l'objectif de cet article est de définir la spécialisation de patterns par intégration des approches formelle et semi-formelle. Nous décrivons une méthode de spécification de patterns, intégrant deux paradigmes complémentaires, les méthodes UML et B. Ceci nous amène à définir la relation de spécialisation entre patterns. Nous définissons la spécialisation de modèles UML et lui donnons une sémantique à l'aide du raffinement B. La démarche est illustrée par la définition de patterns d'architectures logicielles distribuées. Nous spécifions le pattern architectural client-serveur et le spécialisons par le pattern broker. || Patterns play an important role in the development of specifications and object-oriented software. They propose generic solutions to specific problems in every development stage. Semantics weakness on present representations of patterns leads to ambiguous
Type de document :
Communication dans un congrès
Langages et Modèles à Objets - LMO'2000, 2000, Montreal, Canada, Editions Hermes, 16 p, 2000
Liste complète des métadonnées

https://hal.inria.fr/inria-00099206
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 08:51:45
Dernière modification le : jeudi 11 janvier 2018 - 06:21:31

Identifiants

  • HAL Id : inria-00099206, version 1

Collections

Citation

Rafael Marcano Kamenoff, Nicole Lévy, Francisca Losavio. Spécification et spécialisation de patterns en UML et B. Langages et Modèles à Objets - LMO'2000, 2000, Montreal, Canada, Editions Hermes, 16 p, 2000. 〈inria-00099206〉

Partager

Métriques

Consultations de la notice

112