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
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.