ePrints

Formalizing Design Patterns: A Case Study of the Iterator Pattern

Lookup NU author(s): Saad Alfoudari, Dr Jason Steggles

Downloads

• Published version [.pdf]

Abstract

We investigate using algebraic methods and the support tool Maude to formally specify and reason about the well known iterator design pattern. We begin by specifying instances of the iterator pattern which can be described equationally using Maude. We then develop an abstract specification which we argue captures the essence of the iterator pattern. We conclude by specifying a possible refinement for iterator instances, a so called filter refinement, and by formally proving that this refinement is correct with respect to our abstract specification.

Publication metadata

Author(s): Alfoudari S, Steggles LJ

Publication type: Report

Publication status: Published

Series Title: School of Computing Science Technical Report Series

Year: 2002

Pages: 38

Source Publication Date: 13-05-2002

Report Number: 767

Institution: School of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne

URL: http://www.cs.ncl.ac.uk/research/pubs/trs/papers/767.pdf

Share