Formal abstract modeling of dynamic multiplex networks

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