Skip to main content
Article thumbnail
Location of Repository

LePUS - A Declarative Pattern Specification Language

By Amnon H. Eden, Yoram Hirshfeld and Amiram Yehudai


At present, the only means used for specifying design patterns are contemporary object notations [Rumbaugh et. al 91; Booch 94], lengthy verbal descriptions, and sample programs. The inherent ambiguity and incompleteness of these means preclude devising tool support and fuel disputes over “their true intention”. We identified a compact set of abstractions with simple graphical representation, which translates to precise, higher-order logic language. The visual language we present was construed to straightforwardly reflect regularities in design patterns and in O-O software in general. Several illuminating examples are analyzed to demonstrate the use of this language

Topics: Design patterns, category theory, formal methods, software architecture
Year: 1998
OAI identifier: oai:CiteSeerX.psu:
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.