Skip to main content
Article thumbnail
Location of Repository

LePUS - A Declarative Pattern Specification Language

By Amnon H. Eden, Yoram Hirshfeld and Amiram Yehudai

Abstract

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:10.1.1.199.5610
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://prog.vub.ac.be:8080/DMP... (external link)
  • Suggested articles


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