Modelling and Analysing Dynamic Decentralised Systems

Details Modelling and Analysing Dynamic Decentralised Systems Modelling and Analysing Dynamic Decentralised Systems

2009-09-26

arxiv.org/abs/0909.4896v1

Computer Science

Software Engineering

6 pages - two columns (IEEE) - Conference PRDC'2009

Scientific paper

We introduce a method to specify and analyse decentralised dynamic systems; the method is based on the combination of an event-based multi-process system specification approach with a multi-facet analysis approach that considers a reference abstract model and several specific ones derived from the abstract model in order to support facet-wise analysis. The method is illustrated with the modelling and the analysis of a mobile ad-hoc network. The Event-B framework and its related tools B4free and ProB are used to conduct the experiments.

Affiliated with

Also associated with

No associations

Rating

Modelling and Analysing Dynamic Decentralised Systems 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 Modelling and Analysing Dynamic Decentralised Systems, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Modelling and Analysing Dynamic Decentralised Systems will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-316352