### Abstract

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.

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.

Original language | English |
---|---|

Title of host publication | Rigorous Object-Oriented Methods 2000 |

Place of Publication | Swindon |

Publication status | Published - 17 Jan 2000 |

### Publication series

Name | Proceedings of the 2000 international conference on Rigorous Object-Oriented Methods |
---|---|

Publisher | BCS Learning & Development Ltd |

### Bibliographical note

© 2000 The Author## Fingerprint Dive into the research topics of 'Object-Oriented Refinement and Proof using Behaviour Functions'. Together they form a unique fingerprint.

## Cite this

Clark, T. (2000). Object-Oriented Refinement and Proof using Behaviour Functions. In

*Rigorous Object-Oriented Methods 2000*(Proceedings of the 2000 international conference on Rigorous Object-Oriented Methods)..