Non-Atomic Refinement

  • John Derrick
  • Eerke Boiten
Part of the Formal Approaches to Computing and Information Technology book series (FACIT)

Abstract

In the last chapter we started to relax the assumption of conformity, that is the idea that the abstract and concrete data types should have corresponding sets of operations, by introducing internal operations into our specifications. In this chapter we go one step further and consider the idea of non-atomic refinements where conformity is abandoned completely and the abstract and concrete specifications have different sets of observable operations. The particular case we will be interested in is when an abstract operation is refined by not one, but by a sequence of concrete operations thus allowing a change of granularity when we develop a specification.

Keywords

Derrick 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag London 2001

Authors and Affiliations

  • John Derrick
    • 1
  • Eerke Boiten
    • 1
  1. 1.Computing LaboratoryUniversity of Kent at CanterburyCanterbury, KentUK

Personalised recommendations