Spécification et spécialisation de patterns en UML et B - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2000

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

Nicole Lévy
Francisca Losavio
  • Function : Author
  • PersonId : 835363

Abstract

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
No file

Dates and versions

inria-00099206 , version 1 (26-09-2006)

Identifiers

  • HAL Id : inria-00099206 , version 1

Cite

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⟩
163 View
0 Download

Share

Gmail Facebook X LinkedIn More