Shopping Cart | Login | Register | Language: English

Design Pattern Formalization Techniques

Release Date: April, 2007. Copyright © 2007. 400 pages.
Select a Format:
In Stock. Have it as soon as Jul. 15 with express shipping*.
DOI: 10.4018/978-1-59904-219-0, ISBN13: 9781599042190, ISBN10: 1599042193, EISBN13: 9781599042213
Cite Book


Taibi, Toufik. "Design Pattern Formalization Techniques." IGI Global, 2007. 1-400. Web. 10 Jul. 2014. doi:10.4018/978-1-59904-219-0


Taibi, T. (2007). Design Pattern Formalization Techniques (pp. 1-400). Hershey, PA: IGI Global. doi:10.4018/978-1-59904-219-0


Taibi, Toufik. "Design Pattern Formalization Techniques." 1-400 (2007), accessed July 10, 2014. doi:10.4018/978-1-59904-219-0

Export Reference

Design Pattern Formalization Techniques
Access on Platform
More Information
Browse by Subject


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 and List of Contributors

Search this Book: Reset
Table of Contents
Amnon Eden
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

Author(s)/Editor(s) Biography

Toufik Taibi received the PhD in computer science from Multimedia University, Malaysia in 2003. He is currently an Assistant Professor at the College of Information Technology at United Arab Emirates University, UAE. Dr. Taibi has more than 10 years of teaching and research experience. His research interests include formal specification of design patterns, distributed object computing, and component-based software engineering. He has been in the program committee of numerous conferences and has chaired several sessions in conferences. He is a member of the IEEE.