Welcome to the InfoSci Platform
Reference Hub1
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
ISBN13: 9781599042190|ISBN10: 1599042193|ISBN13 Softcover: 9781616927721|EISBN13: 9781599042213
DOI: 10.4018/978-1-59904-219-0.ch010
Cite Chapter Cite Chapter

MLA

Herranz, Angel, and Juan José Moreno-Navarro. "Modeling and Reasoning about Design Patterns in Slam-Sl." Design Pattern Formalization Techniques, edited by Toufik Taibi, IGI Global, 2007, pp. 206-235. https://doi.org/10.4018/978-1-59904-219-0.ch010

APA

Herranz, A. & Moreno-Navarro, J. J. (2007). Modeling and Reasoning about Design Patterns in Slam-Sl. In T. Taibi (Ed.), Design Pattern Formalization Techniques (pp. 206-235). IGI Global. https://doi.org/10.4018/978-1-59904-219-0.ch010

Chicago

Herranz, Angel, and Juan José Moreno-Navarro. "Modeling and Reasoning about Design Patterns in Slam-Sl." In Design Pattern Formalization Techniques, edited by Toufik Taibi, 206-235. Hershey, PA: IGI Global, 2007. https://doi.org/10.4018/978-1-59904-219-0.ch010

Export Reference

Mendeley
Favorite

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.

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.