Generic Tools via General Refinement

Reeves, Steve; Streader, David

doi:10.1016/j.entcs.2008.03.093

Cited by 1 publication

(3 citation statements)

References 9 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In [28] we worked in the state-based world and we viewed an abstract data type (ADT) as being a set of named partial relations (NPR) and explored our general notion of refinement in that setting, with contexts being programs. A program is a linear, unbranching sequence of operations.…”

Section: Considering Processesmentioning

confidence: 99%

“…We view the various systems given in the previous sections as special models since, using the various characterisations of contexts and entities given, and using them in Definition 4, gives us various specialisations of the general notion of refinement. We now, further, regard these special theories as layers in the larger scheme of things (as introduced in [28], where we also introduces the notions of frames and vertical refinement).…”

Section: General Refinementmentioning

confidence: 99%

“…As an example we defined vertical refinement from a "handshake layer" to a "broadcast layer", and elsewhere (e.g. [27,28]) we have shown how the design step of adding error handling or new events can be described formally. This formalisation between handshake and broadcast layers brings out different assumptions made about determinism and this issue has had to be addressed too.…”

Section: Accepted M Manuscriptmentioning

confidence: 99%

See 2 more Smart Citations

Contexts, refinement and determinism

Reeves¹,

Streader²

2011

Science of Computer Programming

Self Cite

View full text Add to dashboard Cite

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.

show abstract

Section: Considering Processesmentioning

confidence: 99%

Section: General Refinementmentioning

confidence: 99%

Section: Accepted M Manuscriptmentioning

confidence: 99%

See 1 more Smart Citation