Modeling and Reasoning about Design Patterns in Slam-Sl

Modeling and Reasoning about Design Patterns in Slam-Sl

Angel Herranz, Juan José Moreno-Navarro
Copyright: © 2007 |Pages: 30
DOI: 10.4018/978-1-59904-219-0.ch010
(Individual Chapters)
No Current Special Offers


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: