Modelling and Analysing Dynamic Decentralised Systems
Software Engineering
2009-09-30 v1 Networking and Internet Architecture
Abstract
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.
Cite
@article{arxiv.0909.4896,
title = {Modelling and Analysing Dynamic Decentralised Systems},
author = {Christian Attiogbe},
journal= {arXiv preprint arXiv:0909.4896},
year = {2009}
}
Comments
6 pages - two columns (IEEE) - Conference PRDC'2009