We describe an Abstract Model for Diffusion Processes to simulate diffusion processes in multiplex dynamic networks using formal modeling and simulation (M&S) methodologies (in this case, the DEVS formalism). This approach helps the users to implement diffusion processes over a network by using the network specification and the diffusion rules. The result of combining the network specifications and the diffusion rules is an Abstract Model for Diffusion Processes, which is formally defined in DEVS, and can be converted into a computerized model. Using the proposed Abstract Model for Diffusion Processes, we can study a diffusion process in multiplex networks with a formal simulation algorithm, improving the model’s definition. We present a case study using the CDBoost simulation engine.

Additional Metadata
Keywords DEVS, Diffusion Processes, Formal Modeling, Multiplex Networks, Simulation
Persistent URL dx.doi.org/10.1145/3200921.3200922
Conference 2018 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, SIGSIM-PADS 2018
Citation
Ruiz-Martin, C. (Cristina), Wainer, G.A, & Lopez-Paredes, A. (Adolfo). (2018). Formal abstract modeling of dynamic multiplex networks. In SIGSIM-PADS 2018 - Proceedings of the 2018 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation (pp. 61–72). doi:10.1145/3200921.3200922