VERS UN ENRICHISSEMENT DES COMPORTEMENTS DES DESIGN PATTERNS PAR LE LANGAGE DE SPECIFICATION FORMELLE LOTOS
Mots-clés :
design pattern, framework, lotos, spécification formelle, UMLRé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
Références
[ABR96] Abrial (J.R.). – The B Book - Assigning Programs to
Meanings. – Cambridge University Press, 1996. ISBN 0-521-
-5.
[ACL96] Alencar (P.S.), Cowan (D), Lucena (J.P.). « A Formal
Approach to Architectural Design Patterns », Proceedings of
the 3rd International Symposium of Formal Methods Europe,
pp. 576-594, 1996.
[AC98] E. Agerbo(E.), Cornils (A.). « How to preserve the
benefits of Design patterns », OOPSLA’98, page 134-143.
[AIS77] Alexander (C.), Ishikawa (S.), Silverstein (M.), Jacobson
(M.), FiskdahlKing (I.) et Angel (S.). – A Pattern Language. –
Oxford University Press, 1977. ISBN 0-195-01919-9.
[BER92] Berson (A.). – Client Server Architecture. – McGraw
Hill, 1992.
[BRJ98] Booch (G.), Rumbaugh (J.) et Jacobson (I.).– The
Unified Modeling Language User Guide.– Addison-Wesley,
ISBN 0-201-57168-4.
[BOS96] Bosch (J.). – Language Support for Design Patterns. In :
Proceedings TOOLSEurope’96. – Paris (F), February 1996.
[CON00] J. Conallen, concevoir des applications WEB avec UML,
Eyrolles edition, 2000
[DW98] D’Souza (D.) et Wills (A.C.). – Object Components and
Frameworks with UML : the Catalysis method. – Addison-
Wesley, Object Technology Series,1998. ISBN 0-201-31012-
[EGY97] Eden (A.), Gil (J.) et Yehudai (A.). – Precise
Specification and Automatic Application of Design Patterns.
JOOP, may 1997.
[EHR85] Ehrig (S) -Algebraic concept for software development
in Act-one, act-two and Lotos Berlin, march1985
[GHJV95] Gamma (E.), Helm (R.), Johnson (R.) et Vlissides (J.).
– Design Pattern -Elements of Reusable Object-Oriented
Software. – Addison Wesley, 1995. ISBN 0-201-63361-2.
[PRE94] Pree, (W.) « Meta Patterns - A means for capturing the
essential of reusable object oriented design », ECOOP’94,
p150 – 162. Springer-Verlag, 1994.
[ISO88] Lotos, a formal description technique of the OSI
connection-oriented network service ISO IS 8807, November
[MEY92] Meyer (B.) – Applying design by contracts. IEEE
Computer, oct. 1992.
[MIL80] Milner (R) -Operation and algebraic semantic of
concurent processes, LFCS, report series, february 1988
[MMLS99] Marcano (R.), Meyer (E.), Lévy (N.) et Souquières
(J). – Utilisation de patterns dans la construction de
spécifications en UML et B. Dans : actes AFADL’2000. –
Grenoble, janvier 2000.
[SUN99] G. Sunyé (G.), « Génération de code à l’aide de patrons
de conception »,LMO’99 Hermes science.
[WK99] Warmer (J.) et Kleppe (A.). – The Object Constraint
Language, precise modeling with UML. – Addison-Wesley,
Object Technology Series, 1999.
[ZIT04] Zitouni (A), Un framework pour l'utilisation des design
patterns par intégration du langage de spécification Lotos,
éme séminaire national en Informatique Biskra mai 2004
[ZIT05] Zitouni (A), Un framework pour l'utilisation des design
patterns dans le developpement des systemes d'information
bases web (Siweb) , Congrès International en Informatique
Appliquée CIIA05, Bordj Bou Arréridj , Algérie ISBN: 9947-
-1042-2
Téléchargements
Comment citer
Numéro
Rubrique
Licence
Les auteurs publiant dans cette revue acceptent les termes suivants :- Les auteurs détiennent le droit d'auteurs et accordent à la revue
le droit de première publication, avec l’ouvrage disponible simultanément [SPÉCIFIER LA PÉRIODE DE TEMPS] après publication, sous la licence Licence d’attribution Creative Commons qui permet à d'autres de partager l'ouvrage en en reconnaissant la paternité et la publication initiale dans cette revue. - Les auteurs peuvent conclure des ententes contractuelles additionnelles et séparées pour la diffusion non exclusive de la version imprimée de l'ouvrage par la revue (par ex., le dépôt institutionnel ou la publication dans un livre), accompagné d'une mention reconnaissant sa publication initiale dans cette revue.
- Les auteurs ont le droit et sont encouragés à publier leur ouvrage en ligne (par ex., dans un dépôt institutionnel ou sur le site Web d'une institution) avant et pendant le processus de soumission, car cela peut mener à des échanges fructueux ainsi qu'à un nombre plus important, plus rapidement, de références à l’ouvrage publié (Consulter The Effect of Open Access).
