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