Bigraphical Refinement

Details Bigraphical Refinement Bigraphical Refinement

2011-06-21

arxiv.org/abs/1106.4091v1

EPTCS 55, 2011, pp. 20-36

Computer Science

Software Engineering

In Proceedings Refine 2011, arXiv:1106.3488

Scientific paper

10.4204/EPTCS.55.2

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.

Affiliated with

Also associated with

No associations

Rating

Bigraphical Refinement does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Bigraphical Refinement, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Bigraphical Refinement will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-177840