General Refinement, Part Two: Flexible Refinement

Reeves, Steve; Streader, David

doi:10.1016/j.entcs.2008.06.014

Cited by 9 publications

(8 citation statements)

References 22 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Having introduced our notion of vertical BRS refinement and shown the conditions under which it is safe and live with respect to the chosen abstraction functor, we now discuss potential approaches to horizontal refinement and related work. As it happens, both topics take us to the general refinement of Reeves and Streader [23,24].…”

Section: Discussion and Related Workmentioning

confidence: 99%

“…What about general vertical refinement, then? The definition of vertical refinement within the general refinement framework [24] relies upon a notion of layers, representing a level of abstraction in terms of (E L , Ξ L , O L ), where E L is a set of entities, Ξ L is a set of contexts and O L is an observation function. Vertical refinement is then defined in terms of a Galois-connection that interprets high-level entities as low-level ones and vice versa.…”

Section: Discussion and Related Workmentioning

confidence: 99%

“…Additionally, we present a sufficient condition for an abstraction functor to give rise to a safe refinement. Finally, in Section 5 we discuss a candidate horizontal refinement mechanism for bigraphical agents, derived from the general refinement of Reeves and Streader [23,24], and discuss the connection of this work to general refinement.…”

Section: Structure Of the Papermentioning

confidence: 99%

“…The primary contribution of this paper is to introduce such a mechanism as a small step towards bringing the well-established benefits of refinement to models constructed within the bigraph formalism. Additionally, we give a sufficient condition for an abstraction functor (Section 4) to give rise to a safe refinement, and show that this notion of refinement corresponds with (and indeed, in part is an instance of) the general refinement of Reeves and Streader [23,24].…”

Section: Introductionmentioning

confidence: 96%

See 3 more Smart Citations

Bigraphical Refinement

Perrone

Debois

Hildebrandt

2011

Electron. Proc. Theor. Comput. Sci.

View full text Add to dashboard Cite

We propose a mechanism for the vertical refinement of bigraphical reactive systems, based upon a mechanism for limiting observations and utilising the underlying categorical structure of bigraphs. We present a motivating example to demonstrate that the proposed notion of refinement is sensible with respect to the theory of bigraphical reactive systems; and we propose a sufficient condition for guaranteeing the existence of a safety-preserving vertical refinement. We postulate the existence of a complimentary notion of horizontal refinement for bigraphical agents, and finally we discuss the connection of this work to the general refinement of Reeves and Streader

show abstract

Section: Discussion and Related Workmentioning

confidence: 99%

Section: Discussion and Related Workmentioning

confidence: 99%

Section: Structure Of the Papermentioning

confidence: 99%

Section: Introductionmentioning

confidence: 96%

See 2 more Smart Citations

Bigraphical Refinement

Perrone

Debois

Hildebrandt

2011

Electron. Proc. Theor. Comput. Sci.

View full text Add to dashboard Cite

show abstract

“…Our approach will be to use a general parametrised framework, taken from [7,8], where this intimate relation between semantics and refinement is a central idea and explore what effect it can have on a state-based formal method.…”

Section: Introductionmentioning

confidence: 99%

A Robust Semantics Hides Fewer Errors

Reeves

Streader

2009

FM 2009: Formal Methods

Self Cite

View full text Add to dashboard Cite

In this paper we explore how formal models are interpreted and to what degree meaning is captured in the formal semantics and to what degree it remains in the informal interpretation of the semantics. By applying a robust approach to the definition of refinement and semantics, favoured by the event-based community, to state-based theory we are able to move some aspects from the informal interpretation into the formal semantics.

show abstract