Skip to Main content Skip to Navigation
Conference papers

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
Document type :
Conference papers
Complete list of metadatas

https://hal.inria.fr/inria-00099206
Contributor : Publications Loria <>
Submitted on : Tuesday, September 26, 2006 - 8:51:45 AM
Last modification on : Monday, February 3, 2020 - 5:08:02 PM

Identifiers

  • 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, 16 p. ⟨inria-00099206⟩

Share

Metrics

Record views

176