INVESTIGADORES
FLORES Andres Pablo
congresos y reuniones científicas
Título:
Analysis and Specification of GoF Structural Patterns
Autor/es:
ANDRES FLORES; R. MOORE
Lugar:
Innsbruck, Austria
Reunión:
Conferencia; 19th IASTED, International Conference on Applied Informatics (AI2001); 2001
Institución organizadora:
ACTA Press
Resumen:
Design patterns are becoming an increasingly popular tool to help with the design of software systems. However, the standard presentation of patterns is informal, which makes it difficult to demonstrate conclusively that a particular problem matches a particular pattern or that a proposed solution is consistent with a particular pattern. In this paper we use a formal model of a general object-oriented design to show how the properties of each of the GoF structural patterns can be specified formally. We discuss the specification of one such pattern, the Decorator pattern, in detail and we also discuss a range of issues that arose while specifying other structural patterns.
