Automatic Verification of OOD Pattern Applications

Automatic Verification of OOD Pattern Applications

Andreas Flores (University of Comahue, Argentina), Alejandra Cechich (University of Comahue, Argentina) and Rodrigo Ruiz (University of Comahue, Argentina)
DOI: 10.4018/978-1-59140-896-3.ch006
OnDemand PDF Download:
$37.50

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).

Complete Chapter List

Search this Book:
Reset
Table of Contents
Preface
Javier Garzás, Mario Piattini
Acknowledgments
Chapter 1
Javier Garzas, Mario Piattini
In order to establish itself as a branch of engineering, a profession must understand its accumulated knowledge. In this regard, software... Sample PDF
The Object-Oriented Design Knowledge
$37.50
Chapter 2
Javier Garzas, Mario Piattini
It has been a long time since the object-oriented (OO) paradigm appeared. From that moment, designers have accumulated much knowledge in design and... Sample PDF
The Object-Oriented Design Knowledge Ontology
$37.50
Chapter 3
Isabel Diaz, Oscar Pastor, Lidia Moreno, Alfredo Matteo
The dynamic behavior of a system is elicited, specified, and analyzed by means of interaction modelling. This activity is important for... Sample PDF
Using Linguistic Patterns to Model Interactions
$37.50
Chapter 4
Manoli Albert, Marta Ruiz, Javier Munoz, Vincente Pelechano
This chapter proposes a framework based on design patterns to implement UML association, aggregation, and composition relationships. To build the... Sample PDF
A Framework Based on Design Patterns: Implementing UML Association, Aggregation and Composition Relationships in the Context of Model-Driven Code Generation
$37.50
Chapter 5
Yann-Gaël Gueheneuc, Jean-Yves Guyomarc’h, Khashayar Khosravi, Hourari Sahraoui
Software quality models link internal attributes of programs with external quality characteristics. They help in understanding relationships among... Sample PDF
Design Patterns as Laws of Quality
$37.50
Chapter 6
Andreas Flores, Alejandra Cechich, Rodrigo Ruiz
Object-oriented patterns condense experimental knowledge from developers. Their pragmatic benefits may involve a reduction on the effort impact of... Sample PDF
Automatic Verification of OOD Pattern Applications
$37.50
Chapter 7
Yania Crespo, Carlos Lopez, Maria Esperanza Manso Martinez
This chapter presents a study on the relation of refactoring, bad smells, and metrics. The notions of refactoring and bad smells are revised as well... Sample PDF
From Bad Smells to Refactoring: Metrics Smoothing the Way
$37.50
Chapter 8
Steve Counsell, Youssef Hassoun, Deepak Advani
Refactoring, as a software engineering discipline, has emerged over recent years to become an important aspect of maintaining software. Refactoring... Sample PDF
Heuristics and Metrics for OO Refactoring: A Consolidation and Appraisal of Current Issues
$37.50
Chapter 9
Juan José Olmedilla
The use of object-oriented (OO) architecture knowledge such as patterns, heuristics, principles, refactorings and bad smells improve the quality of... Sample PDF
A Survey of Object-Oriented Design Quality Improvement
$37.50
Chapter 10
Javier Garzas, Mario Piattini
This chapter presents a catalog of different rules for help to design object-oriented micro-architectures. These rules form an important part of the... Sample PDF
A Catalog of Design Rules for OO Micro-Architecture
$37.50
About the Authors