Welcome to the InfoSci Platform
Automatic Verification of OOD Pattern Applications

Automatic Verification of OOD Pattern Applications

Andreas Flores, Alejandra Cechich, Rodrigo Ruiz
Copyright: © 2007 |Pages: 50
ISBN13: 9781591408963|ISBN10: 1591408962|ISBN13 Softcover: 9781591408970|EISBN13: 9781591408987
DOI: 10.4018/978-1-59140-896-3.ch006
Cite Chapter Cite Chapter

MLA

Flores, Andreas, et al. "Automatic Verification of OOD Pattern Applications." Object-Oriented Design Knowledge: Principles, Heuristics and Best Practices, edited by Javier Garzás and Mario Piattini, IGI Global, 2007, pp. 143-192. https://doi.org/10.4018/978-1-59140-896-3.ch006

APA

Flores, A., Cechich, A., & Ruiz, R. (2007). Automatic Verification of OOD Pattern Applications. In J. Garzás & M. Piattini (Eds.), Object-Oriented Design Knowledge: Principles, Heuristics and Best Practices (pp. 143-192). IGI Global. https://doi.org/10.4018/978-1-59140-896-3.ch006

Chicago

Flores, Andreas, Alejandra Cechich, and Rodrigo Ruiz. "Automatic Verification of OOD Pattern Applications." In Object-Oriented Design Knowledge: Principles, Heuristics and Best Practices, edited by Javier Garzás and Mario Piattini, 143-192. Hershey, PA: IGI Global, 2007. https://doi.org/10.4018/978-1-59140-896-3.ch006

Export Reference

Mendeley
Favorite

Abstract

Object-oriented patterns condense experimental knowledge from developers. Their pragmatic benefits may involve a reduction on the effort impact of the maintenance stage. However, some common problems can be distinguished as well. For instance, some design patterns are simply too difficult for the average OO designer to learn. A pattern-based design process could be enhanced by the provision of an automatic support for modeling and verification with a proper formal foundation. In this chapter we show how formal specifications of GoF patterns have been helpful to develop that tool support, where we have adopted the well-known Java language upon its portability facet. Thus, we are changing the object-oriented design process by the inclusion of pattern-based modeling and verification steps. The latter involving checking design correctness and appropriate pattern application through the use of the supporting tool, called DePMoVe (Design and Pattern Modeling and Verification).

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.