Reeves, S. & Streader, D. (2010). Contexts, refinement and determinism. Science of Computer Programming, available online 6 December 2010.
Permanent Research Commons link: http://hdl.handle.net/10289/4884
In this paper we have been influenced by those who take an “engineering view” of the problem of designing systems, i.e. a view that is motivated by what someone designing a real system will be concerned with, and what questions will arise as they work on their design. Specifically, we have borrowed from the testing work of Hennessy, de Nicola and van Glabbeek, e.g. [13, 5, 21, 40, 39]. Here we concentrate on one fundamental part of the engineering view and where consideration of it leads. The aspects we are concerned with are computational entities in contexts, observed by users. This leads to formalising design steps that are often left informal, and that in turn gives insights into non-determinism and ultimately leads to being able to use refinement in situations where existing techniques fail.
This is an author’s accepted version of an article published in the journal: Science of Computer Programming. © 2010 Elsevier.