Text size
  • Small
  • Medium
  • Large
  • Standard
  • Blue text on blue
  • High contrast (Yellow text on black)
  • Blue text on beige

    Object-Oriented Refinement and Proof using Behaviour Functions

    Rigorous Object-Oriented Methods 2000

    York, UK. 17 January 2000


    T. Clark


    This paper proposes a new calculus for expressing the behaviour of object-oriented systems.

    The semantics of the calculus is given in terms of operators from computational category theory.

    The calculus aims to span the gulf between abstract specification and concrete implementation of object-oriented systems using mathematically verifiable properties and transformations.

    The calculus is compositional and can be used to express the behaviour of partial system views. The calculus is used to specify, analyse and refine a simple case study.


    PDF filePDF Version of this Paper (123kb)