Motivated by the need for formal methods as well as supporting tools to model and simulate social systems, we propose cellular discrete-event system specification as a formalism for modeling social systems. We also propose the use of a toolkit that implements the formalism of cellular discrete-event system specifications to implement and visualize models of social systems. We present examples of social system models that are different in sizes, nature, and rules controlling the interactions within those systems. We show that cellular discrete-event system specification with its unique features can successfully deal with the shortcoming of other modeling techniques. In addition, we show that together with its supporting toolkit, cellular discrete-event system specification is suitable for modeling, simulating, implementing, and visualizing social systems.

Additional Metadata
Keywords cellular automata (CA), Cellular discrete-event specification (Cell-DEVS), DEVS, modeling and simulation (M&S), social systems
Persistent URL dx.doi.org/10.1109/TCSS.2020.2982885
Journal IEEE Transactions on Computational Social Systems
Citation
Khalil, H. (Hoda), & Wainer, G.A. (2020). Cell-DEVS for Social Phenomena Modeling. IEEE Transactions on Computational Social Systems, 7(3), 725–740. doi:10.1109/TCSS.2020.2982885