Formal modeling and simulation for SARS-CoV-2 containment scenarios in Catalonia
Visualitza/Obre
Cita com:
hdl:2117/375071
Tipus de documentArticle
Data publicació2022-05-01
Condicions d'accésAccés obert
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
Abstract
We define interrelated models to simulate the spread of SARS-CoV-2 in Catalonia, which can be used to effectively build simulation applications and analyze the effects of nonpharmaceutical interventions. Due to the constant evolution of this pandemic, and the need to take a multidisciplinary approach, we use a formal specification to represent the model and to validate the model assumptions. We discuss the definition of the model using formal languages, and the Specification and Description Language to improve communication between stakeholders. We show formalization details, discuss implications in the validation process, and present how results obtained from the model of the pandemic in Catalonia can be used for decision-making.
Descripció
© 2022 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes,creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.
CitacióFonseca, P. [et al.]. Formal modeling and simulation for SARS-CoV-2 containment scenarios in Catalonia. "Computing in science and engineering", 1 Maig 2022, vol. 24, núm. 3, p. 86-90.
ISSN1521-9615
Versió de l'editorhttps://ieeexplore.ieee.org/document/9882992
Col·leccions
- Doctorat en Estadística i Investigació Operativa - Articles de revista [70]
- Càtedra Unesco de Sostenibilitat - Articles de revista [14]
- Departament d'Estadística i Investigació Operativa - Articles de revista [719]
- IMP - Information Modeling and Processing - Articles de revista [126]
- COVID-19 - Col·lecció especial COVID-19 [633]
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
PREPRINT.pdf | Preprint | 747,0Kb | Visualitza/Obre |