Component-based tool for verifying applications using object-oriented patterns

Authors

  • Luis A. Reynoso Departamento de Informática, Universidad Nacional del Comahue, Buenos Aires 1400, 8300, Neuquén, Argentina
  • Agustina Buccella Departamento de Informática, Universidad Nacional del Comahue, Buenos Aires 1400, 8300, Neuquén, Argentina
  • Andrés P. Flores Departamento de Informática, Universidad Nacional del Comahue, Buenos Aires 1400, 8300, Neuquén, Argentina
  • Gabriela N. Aranda Departamento de Informática, Universidad Nacional del Comahue, Buenos Aires 1400, 8300, Neuquén, Argentina

Keywords:

Design Patterns, Formal Methods, Software Engineering, Object-Oriented Design, CASE Tools

Abstract

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.

Downloads

Download data is not yet available.

References

[1] Brad Appleton. Patterns and Software: Essential Concepts and Terminology. http://www.enteract.com/~bradapp/docs, Object Magazine Online (vol.3, nro.5), May 1997.
[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 FME 2001, Formal Methods Europe, Berlin, Germany, LNCS 2021, Springer Verlag 2001, 12-16 March 2001, pp. 223-241.
[7] Andrés Flores and Richard Moore. Analisis and Specification of GoF Structural Patterns. In proceedings of 19th IASTED, International Conference on Applied Informatics (AI 2001), Innsbruck, Austria, 19-22 February 2001, pp. 625-630.
[8] Luis Reynoso and Richard Moore. A Precise Specification of GoF Behavioural Patterns. In proceedings of SNPD'01, 2nd International Conference on Software Engineering, Artificial Intelligence, Networking & Parallel/Distributed Computing, Nagoya, Japan, 20-22 August 2001, pp. 262-270.
[9] Gabriela Aranda and Richard Moore. GoF Creational Patterns: A Formal Specification. Technical Report 224, UNU/IIST, P.O. Box 3058, Macau, 2000♦.
[10] Marco Meijers, Tool Support for ObjectOriented Design Patterns. Master Thesis. Department of Computer Science, Utrecht University, The Netherlands, August 1996, http://www.serc.nl/people/florijn/work/patterns.html.
[11] Andrés Flores, Luis Reynoso and Richard Moore. A Formal Model of Object Oriented Design and GoF Design Patterns. Technical Report 200, UNU/IIST, P.O. Box 3058, Macau, July 2000.
[12] Andrés Flores and Richard Moore. GoF Structural Patterns: A Formal Specification. Technical Report 207. UNU/IIST, P.O. Box 3058, Macau, August 2000.
[13] Luis Reynoso and Richard Moore. GoF Behavioural Patterns: A Formal Specification. Technical Report 201, UNU/IIST, P.O. Box 3058, Macau, May 2000.
[14] Gabriela Aranda and Richard Moore. Formally Modelling Compound Design Patterns. Technical Report 225, UNU/IIST, P.O. Box 3058, Macau. Available at http://www.iist.unu.edu December 2000.
[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 (WSR), Bad Honnef, Germany, August 2000.
[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, Germany, September 2000.
[18] Martin J. And Odell J.J., Object-Oriented Methods: A Foundation. Prentice-Hall, 1995.

Downloads

Published

2002-10-01

How to Cite

Reynoso, L. A., Buccella, A., Flores, A. P., & Aranda, G. N. (2002). Component-based tool for verifying applications using object-oriented patterns. Journal of Computer Science and Technology, 2(01), p. 42–48. Retrieved from https://journal.info.unlp.edu.ar/JCST/article/view/961

Issue

Section

Original Articles

Most read articles by the same author(s)