Formal Abstract Modeling of Dynamic Multiplex Networks

Abstract

We describe an Abstract Model for Diffusion Processes to simu-late 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 net-work specification and the diffusion rules. The result of combin-ing the network specifications and the diffusion rules is an Ab-stract 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.