Object-Oriented Refinement and Proof using Behaviour Functions

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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.
Original languageEnglish
Title of host publicationRigorous Object-Oriented Methods 2000
Place of PublicationSwindon
Publication statusPublished - 17 Jan 2000

Publication series

NameProceedings of the 2000 international conference on Rigorous Object-Oriented Methods
PublisherBCS Learning & Development Ltd

Fingerprint

Semantics
Concretes
Specifications

Bibliographical note

© 2000 The Author

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). Swindon.
Clark, Tony. / Object-Oriented Refinement and Proof using Behaviour Functions. Rigorous Object-Oriented Methods 2000. Swindon, 2000. (Proceedings of the 2000 international conference on Rigorous Object-Oriented Methods).
@inproceedings{aa41685493674032a5a585854b9906b5,
title = "Object-Oriented Refinement and Proof using Behaviour Functions",
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.",
author = "Tony Clark",
note = "{\circledC} 2000 The Author",
year = "2000",
month = "1",
day = "17",
language = "English",
series = "Proceedings of the 2000 international conference on Rigorous Object-Oriented Methods",
publisher = "BCS Learning & Development Ltd",
booktitle = "Rigorous Object-Oriented Methods 2000",

}

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, Swindon.

Object-Oriented Refinement and Proof using Behaviour Functions. / Clark, Tony.

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

TY - GEN

T1 - Object-Oriented Refinement and Proof using Behaviour Functions

AU - Clark, Tony

N1 - © 2000 The Author

PY - 2000/1/17

Y1 - 2000/1/17

N2 - 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.

AB - 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.

UR - https://dl.acm.org/citation.cfm?id=2228198

UR - https://ewic.bcs.org/content/ConWebDoc/4208

M3 - Conference contribution

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

BT - Rigorous Object-Oriented Methods 2000

CY - Swindon

ER -

Clark T. Object-Oriented Refinement and Proof using Behaviour Functions. In Rigorous Object-Oriented Methods 2000. Swindon. 2000. (Proceedings of the 2000 international conference on Rigorous Object-Oriented Methods).