ACM SIGSIM Conference on Principles of Advanced Discrete Simulation (PADS): Rome, Italy. May 23-25, 2018
The annual PADS conference has a long history dating back to 1985. The conference was formerly known under the name Principles of Advanced and Distributed Simulation, and before that simply Parallel and Distributed Simulation.
SIGSIM PADS provides a unique forum for reporting and discussing research results and important topics of interest to the M&S community. SIGSIM PADS is the flagship conference of ACM’s Special Interest Group on Simulation and Modeling (SIGSIM) and is fully sponsored by that organization.
INSISOC is participating in this conference, presenting the following paper:
«Formal Abstract Modeling of Dynamic Multiplex Networks»
Session 5: Modeling and Prediction Approaches
Authors
Cristina Ruiz Martín (1), Gabriel Wainer (2), Adolfo Lopez-Paredes (1)
(1) INSISOC, Valladolid, Spain;
(2) Carleton University, Ottawa, ON, Canada.
Contact: cruiz@eii.uva.es
Abstract
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.