Object-Oriented Refinement and Proof using Behaviour Functions


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.

Divisions: College of Engineering & Physical Sciences
Additional Information: © 2000 The Author
Last Modified: 27 Dec 2023 10:07
Date Deposited: 03 Apr 2019 10:16
Full Text Link:
Related URLs: https://dl.acm. ... .cfm?id=2228198 (Publisher URL)
PURE Output Type: Conference contribution
Published Date: 2000-01-17
Authors: Clark, Tony (ORCID Profile 0000-0003-3167-0739)



Version: Accepted Version

| Preview

Export / Share Citation


Additional statistics for this record