State- and event-based refinement

Reeves, Steve; Streader, David

Files

content.pdf

117.1Kb

Citation

Export citation

Reeves, S., & Streader, D. (2006). State- and event-based refinement. (Working paper series. University of Waikato, Department of Computer Science. No. 09/2006). Hamilton, New Zealand: University of Waikato.

Permanent Research Commons link: https://hdl.handle.net/10289/54

Abstract

In this paper we give simple example abstract data types, with atomic operations, that are related by data refinement under a definition used widely in the literature, but these abstract data types are not related by singleton failure refinement. This contradicts results found in the literature. Further we show that a common way to change a model of atomic operations to one of value passing operations actually changes the underlying atomic operational semantics.

Date

2006-09-01

Type

Working Paper

Report No.

09/2006

Publisher

Department of Computer Science, University of Waikato

Collections

2006 Working Papers [10]