Formal Specification and Verification of Design Patterns
Jing Dong, Paulo Carvalho de Alencar, Donald D. Cowan · IGI Global eBooks · 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.