动态分散系统的建模与分析
Modelling and Analysing Dynamic Decentralised Systems
摘要：
我们介绍了一种方法来指定和分析分散的动态系统，该方法是基于一个基于事件的多进程系统规范的方法与多方面的分析方法，认为一个参考抽象模型和几个特定的抽象模型，以支持方面的分析相结合。该方法示出了一个移动ad-hoc网络的建模和分析。使用Event-B框架及其相关工具B4 free和ProB进行实验。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
