Modeling and Reasoning about Design Patterns in Slam-Sl

Modeling and Reasoning about Design Patterns in Slam-Sl

Angel Herranz (Universidad Politécnica de Madrid, Spain) and Juan José Moreno-Navarro (IMDEA Software, Spain)
Copyright: © 2007 |Pages: 30
DOI: 10.4018/978-1-59904-219-0.ch010
OnDemand PDF Download:
$30.00
List Price: $37.50

Abstract

In this chapter, a formal model for Design patterns is studied. The formal specification of a Design pattern is given as a class operator that transforms a design given as a set of classes into a new design that takes into account the description and properties of the Design pattern. The operator is specified in the Slam-Sl specification language, in terms of pre and postconditions. Precondition collects properties required to apply the pattern and postcondition relates input classes and result classes encompassing most of the intent and consequences sections of the pattern. Formalization is mandatory for reasoning about Design patterns and for implementing assistant tools.

Complete Chapter List

Search this Book:
Reset