Formal Specification and Verification of Design Patterns

Formal Specification and Verification of Design Patterns

Jing Dong (University of Texas at Dallas, USA), Paulo Alencar (University of Waterloo, Canada) and Donald Cowan (University of Waterloo, Canada)
Copyright: © 2007 |Pages: 15
DOI: 10.4018/978-1-59904-219-0.ch005
OnDemand PDF Download:
$37.50

Abstract

This chapter introduces our approaches to formal specification of the structural and behavioral aspects of Design patterns. We investigate the logic-based formalisms in our specification methods and demonstrate the applications of these methods in examples. Our formal specifications methods not only help for rigorous, precise, and unambiguous descriptions of Design patterns, but also allow us to verify the consistencies of Design pattern applications and compositions.

Complete Chapter List

Search this Book:
Reset
Table of Contents
Foreword
Amnon Eden
Acknowledgment
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
$37.50
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
$37.50
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
$37.50
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
$37.50
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
$37.50
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
$37.50
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
$37.50
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
$37.50
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
$37.50
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
$37.50
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
$37.50
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
$37.50
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
$37.50
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
$37.50
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
$37.50
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
$37.50
About the Authors