Component-based tool for verifying applications using object-oriented patterns
- Autores: Luis A. Reynoso, Agustina Buccella, Andrés P. Flores, Gabriela N. Aranda
- Localización: Journal of Computer Science and Technology, ISSN-e 1666-6038, Vol. 2, Nº. 1, 2002 (Ejemplar dedicado a: Seventh Issue), págs. 42-48
- Idioma: inglés
- Enlaces
-
Resumen
Applying design patterns is considered a helpful technique for designing software systems. Patterns description, however, results not sufficiently precise providing a weak understanding and making it difficult to be certain when a pattern is being used correctly. We have formally specified a metamodel where properties of patterns and object-oriented design can be rigorously described. In the present work, our formal basis is used to build a component-based tool for verifying proper applications of object-oriented patterns. The usage of this tool is also focused on the learning process about patterns applications. Through a better understanding of patterns, the designer may certify when and how a pattern is being appropriately applied to solve a specific design problem. Furthermore, the whole design process could be improved by using a precise technique supported by an automatic tool for verification.
-
Referencias bibliográficas
- References [1] Brad Appleton. Patterns and Software: Essential Concepts and Terminology. http://www.enteract.com/~bradapp/docs, Object Magazine...
- [2] Doug Lea. Patterns-Discussion FAQ. http://g.oswego.edu/dl/pd-FAQ/pd-FAQ.html, December 1999.
- [3] Robert Zubeck. Much Ado about Patterns. http://www.acm.org/crossroads/xrds5-1. ACM Crossroads Student Magazine, Fall 1998
- [4] Gamma E., Helm R., Johnson R. and Vlissides J. Design Patterns - Elements of Reusable Object-Oriented Software. Addison-Wesley, 1995.
- [5] The RAISE Language Group. The RAISE Specification Language. BCS Practitioner Series, Prentice Hall, 1992.
- [6] Andrés Flores, Luis Reynoso and Richard Moore. A Formal Model of Object Oriented Design and GoF Design Patterns. In proceedings of the...
- [7] Andrés Flores and Richard Moore. Analisis and Specification of GoF Structural Patterns. In proceedings of 19th IASTED, International Conference...
- [8] Luis Reynoso and Richard Moore. A Precise Specification of GoF Behavioural Patterns. In proceedings of SNPD'01, 2nd International...
- [9] Gabriela Aranda and Richard Moore. GoF Creational Patterns: A Formal Specification. Technical Report 224, UNU/IIST, P.O. Box 3058, Macau,...
- [10] Marco Meijers, Tool Support for ObjectOriented Design Patterns. Master Thesis. Department of Computer Science, Utrecht University, The...
- [11] Andrés Flores, Luis Reynoso and Richard Moore. A Formal Model of Object Oriented Design and GoF Design Patterns. Technical Report 200,...
- [12] Andrés Flores and Richard Moore. GoF Structural Patterns: A Formal Specification. Technical Report 207. UNU/IIST, P.O. Box 3058, Macau,...
- [13] Luis Reynoso and Richard Moore. GoF Behavioural Patterns: A Formal Specification. Technical Report 201, UNU/IIST, P.O. Box 3058, Macau,...
- [14] Gabriela Aranda and Richard Moore. Formally Modelling Compound Design Patterns. Technical Report 225, UNU/IIST, P.O. Box 3058, Macau....
- [15] Software Engineering Group. FUJABA (From UML to Java And Back Again). University of Paderborn, Germany, http://www.unipaderborn.de/cs/fujaba.
- [16] Nickel U.A., Niere J., Wadsack J. P., and Zündorf A., Roundtrip Engineering with FUJABA. In Proceedings of 2nd Workshop on Software Re-engineering...
- [17] Klein T., Nickel U., Niere J., and Zündorf A. From UML to Java and Back Again. Technical Report TR-RI-00-216, University of Paderborn,...
- [18] Martin J. And Odell J.J., Object-Oriented Methods: A Foundation. Prentice-Hall, 1995.
