LePUS: A Formal Language for Modeling Design Patterns

LePUS: A Formal Language for Modeling Design Patterns

Epameinondas Gasparis
Copyright: © 2007 |Pages: 16
DOI: 10.4018/978-1-59904-219-0.ch016
(Individual Chapters)
No Current Special Offers


We present LePUS, a formal language for modeling object oriented (O-O) Design patterns. We demonstrate the language’s unique efficacy in producing precise, concise, generic, and appropriately abstract specifications that effectively model the Gang of Four’s Design patterns. Mathematical logic is used as a main frame of reference: LePUS is defined as a subset of first-order predicate calculus and implementations (programs) are modeled as finite structures in model theory. We also demonstrate the conceptual framework in which the verification of implementations against pattern specifications is possible and our ongoing endeavour to develop effective tool support for LePUS.

Complete Chapter List

Search this Book: