Understanding, Explaining, and Deriving Refinement

Date

2019-04-18

Advisors

Journal Title

Journal ISSN

ISSN

Volume Title

Publisher

Springer Nature

Type

Book chapter

Peer reviewed

No

Abstract

Much of what drove us in over twenty years of research in refinement, starting with Z in particular, was the desire to understand where refinement rules came from. The relational model of refinement provided a solid starting point which allowed the derivation of Z refinement rules. Not only did this explain and verify the existing rules - more importantly, it also allowed alternative derivations for different and generalised notions of refinement.

In this chapter, we briefly describe the context of our early efforts in this area and Susan Stepney's role in this, before moving on to the motivation and exploration of a recently developed primitive model of refinement: concrete state machines with anonymous transitions.

Description

Keywords

refinement, state based systems

Citation

Boiten, E.A. and Derrick, J. (2019) Understanding, Explaining, and Deriving Refinement. In: Adamatzky, Andrew, Kendon, Viv (Eds.): From Astrophysics to Unconventional Computation, Volume 35 in Emergence, Complexity and Computation, pp. 195-206, Springer

Rights

Research Institute

Cyber Technology Institute (CTI)