Sciences & technologie. B, Sciences de l’ingénieur
Volume 0, Numéro 26, Pages 61-66
2007-12-31

Vers Un Enrichissement Des Comportements Des Design Patterns Par Le Langage De Specification Formelle Lotos



Auteurs : Zitouni A .

Résumé

La faiblesse sémantique des représentations actuelles des patterns entraîne des interprétations ambiguës et limite leur application. La spécification formelle 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. L’objectif de cet article est de définir la description 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, la méthode UML (semi- formelle) et le langage de spécification formelle LOTOS.

Mots clés

design pattern, framework, lotos, spécification formelle, UML.

Les articles similaires

Using Lotos For High Level Specification Of Large Scale System

Alloui Noura . 
pages 98-108.

Vers Un Processus Actionnel Numérique : Applications Web Et Cartes Heuristiques, Pratiques émergentes Pour L’enrichissement Du Vocabulaire En Fle

Abderrezag Selma . 
pages 705-712.

Vers Une Sémantique Formelle De L’expression De Cause Et De Conséquence

Asbayou Omar . 
pages 107-119.

Methodologie De Specification Du Modéle Génerique De Synchronisation Pour La Conduite D'un Systéme Flexible De Production

Zerguini L. .  Martineau P. . 
pages 79-87.

Spécification Des Modèles D’analyse Et D’exploration Des Stratégies De Développement Dans Les Economies En Voie De Développement

Yagoubi Mohammed . 
pages 65-86.

Formats de citation