Design Pattern Formalization Techniques, 1st Edition

  • Published By:
  • ISBN-10: 1599042215
  • ISBN-13: 9781599042213
  • Grade Level Range: College Freshman - College Senior
  • 384 Pages | eBook
  • Original Copyright 2007 | Published/Released September 2007
  • This publication's content originally published in print form: 2007

  • Price:  Sign in for price



Many formal approaches for pattern specification are emerging as a means to cope with the inherent shortcomings of informal description. Design Pattern Formalization Techniques presents multiple mathematical, formal approaches for pattern specification, emphasizing on software development processes for engineering disciplines.

Design Pattern Formalization Techniques focuses on formalizing the solution element of patterns, providing tangible benefits to pattern users, researchers, scholars, academicians, practitioners and students working in the field of design patterns and software reuse. Design Pattern Formalization Techniques explains details on several specification languages, allowing readers to choose the most suitable formal technique to solve their specific inquiries.

Table of Contents

Front Cover.
Title Page.
Copyright Page.
Design Patterns Formalization Techniques: Table of Contents.
1: An Integrated Approach to Design Patterns Formalization.
2: A Visual Language for Design Pattern Modeling and Instantiation.
3: A Generic Model of Object-Oriented Patterns Specified in RSL.
4: Patterns of Collective Behavior in Ocsid.
5: Formal Specification and Verification of Design Patterns.
6: Spine: Language for Pattern Verification.
7: Intent-Oriented Design Pattern Formalization Using SPQR.
8: Formalising Design Patterns as Model Transformations.
9: The Role-Based Metamodeling Language for Specifying Design Patterns.
10: Modeling and Reasoning About Design Patterns in Slam-Sl.
11: The Applications and Enhancement of LePUS for Specifying Design Patterns.
12: An Ontology Based Representation of Software Design Patterns.
13: Precision, Flexibility, and Tool Support: Essential Elements of Pattern Formalization.
14: Formalizing Patterns with the User Requirements Notation.
15: A Pattern Enforcing Compiler (PEC) for Java: A Practical Way to Formally Specify Patterns.
16: LePUS: A Formal Language for Modeling Design Patterns.
About the Authors.