LePUS: A Formal Language for Modeling Design Patterns

Abstract

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.