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:


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:
Table of Contents
Amnon Eden
Toufik Taibi
Chapter 1
Toufik Taibi
A Design pattern describes a set of proven solutions for a set of recurring design problems that occur within a context. As such, reusing patterns... Sample PDF
An Integrated Approach to Design Patterns Formalization
Chapter 2
David Maplesden, John Hosking, John Grundy
In this chapter we describe the Design pattern modeling language, a notation supporting the specification of Design pattern solutions and their... Sample PDF
A Visual Language for Design Pattern Modeling and Instantiation
Chapter 3
Andrés Flores, Alejandra Cechich, Gabriela Aranda
Object-oriented patterns are a promising technique for achieving widespread reuse of software architectures. They capture the static and dynamic... Sample PDF
A Generic Model of Object-Oriented Patterns Specified in RSL
Chapter 4
Joni Helin, Pertti Kellomäki, Tommi Mikkonen
This chapter presents an abstraction mechanism for collective behavior in reactive distributed systems. The mechanism allows the expression of... Sample PDF
Patterns of Collective Behavior in Ocsid
Chapter 5
Jing Dong, Paulo Alencar, Donald Cowan
This chapter introduces our approaches to formal specification of the structural and behavioral aspects of Design patterns. We investigate the... Sample PDF
Formal Specification and Verification of Design Patterns
Chapter 6
Alex Blewitt
Patterns are often described in terms of concrete examples in specific programming languages in catalogues (Gamma, Helm, Johnson, & Vlissides... Sample PDF
Spine: Language for Pattern Verification
Chapter 7
Jason Smith, David Stotts
This chapter introduces the system for pattern query and recognition, a collection of formalisms, definitions, and concepts that provides a means... Sample PDF
Intent-Oriented Design Pattern Formalization Using SPQR
Chapter 8
Kevin Lano
This chapter describes techniques for the verification of refactorings or transformations of UML models which introduce Design patterns. The... Sample PDF
Formalising Design Patterns as Model Transformations
Chapter 9
Dae-Kyoo Kim
This chapter describes a UML-based pattern specification language called the role-based metamodeling language (RBML), which defines the solution... Sample PDF
The Role-Based Metamodeling Language for Specifying Design Patterns
Chapter 10
Angel Herranz, Juan José Moreno-Navarro
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... Sample PDF
Modeling and Reasoning about Design Patterns in Slam-Sl
Chapter 11
Rajeev R. Raje, Sivakumar Chinnasamy, Andew M. Olson, William Hidgon
Standardized pattern representations have become a popular way to capture, classify, and communicate the essential characteristics of software... Sample PDF
The Applications and Enhancement of LePUS for Specifying Design Patterns
Chapter 12
Jens Dietrich, Chris Elgar
This chapter introduces an approach to define Design patterns using semantic Web technologies. For this purpose, a vocabulary based on the Web... Sample PDF
An Ontology Based Representation of Software Design Patterns
Chapter 13
Neelam Soundarajan, Jason O. Hallstrom
There are two important requirements that any approach to formalizing Design patterns must meet. First, the approach must enable the precise... Sample PDF
Precision, Flexibility, and Tool Support: Essential Elements of Pattern Formalization
Chapter 14
Gunter Mussbacher, Daniel Amyot, Michael Weiss
Patterns need to be described and formalized in ways that enable the reader to determine whether the particular solution presented is useful and... Sample PDF
Formalizing Patterns with the User Requirements Notation
Chapter 15
Howard Lovatt, Anthony M. Sloane, Dominic R. Verity
This chapter describes an extended compiler that formalizes patterns, which we call a pattern enforcing compiler (PEC). Developers use standard Java... Sample PDF
A Pattern Enforcing Compiler (PEC) for Java: A Practical Way to Formally Specify Patterns
Chapter 16
Epameinondas Gasparis
We present LePUS, a formal language for modeling object oriented (O-O) Design patterns. We demonstrate the language’s unique efficacy in producing... Sample PDF
LePUS: A Formal Language for Modeling Design Patterns
About the Authors