Dynamic Composition of Evolving Process Types

Details Dynamic Composition of Evolving Process Types Dynamic Composition of Evolving Process Types

2011-12-25

arxiv.org/abs/1112.5774v1

Computer Science

Software Engineering

Scientific paper

Classical approaches like process algebras or labelled transition systems deal with static composition to model non-trivial concurrent or distributed systems; this is not sufficient for systems with dynamic architecture and with variable number of components. We introduce a method to guide the modelling and the dynamic composition of processes to build large distributed systems with dynamic adhoc architecture. The modelling and the composition are based on an event-based approach that favour the decoupling of the system components. The composition uses the sharing of abstract communication channels. The method is appropriate to deal with evolving processes (with mobility, mutation). The event-B method is used for practical support. A fauna and its evolution are considered as a working system; this system presents some specificities, its behaviour is not foreseeable, it has an adhoc (not statically fixed) architecture.

Affiliated with

Also associated with

No associations

Rating

Dynamic Composition of Evolving Process Types 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 Dynamic Composition of Evolving Process Types, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Dynamic Composition of Evolving Process Types will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-340061