Metamodel-based formalization of DEVS atomic models

Autores
Blas, María Julia; Gonnet, Silvio
Año de publicación
2021
Idioma
inglés
Tipo de recurso
artículo
Estado
versión aceptada
Descripción
The Discrete-Event System Specification (DEVS) formalism is a modeling formalism based on systems theory that provides a general methodology for hierarchical construction of reusable models in a modular way. When concrete DEVS models are developed using programming languages, it is difficult to ensure they conform to their formal model. Hence, building an implementation of formal models in a way that ensures DEVS formalism correctness is not easy. In this paper, we improve the interplay of abstraction (i.e., formal specification) and concreteness (i.e., programming code implementation) in advancing the theory and practice of DEVS using a specific-designed metamodel. The main contribution is a novel conceptualization of classic DEVS with ports founded on existing approaches but, that also includes new improved elements related to the definition of atomic models. That is, our metamodel includes all the concepts and relationships needed to define the formal specification of DEVS atomic models. This allows us to define instances of our conceptualization that comply with the DEVS formal specification. To instantiate our metamodel, we propose a computer-aided environment that has been developed using the Eclipse Modeling Project. As an example, we show how our metamodel can be used to define the classic “switch” model. As a conclusion, we discuss how the final metamodel can be used to support interoperability with DEVS simulation tools.
Fil: Blas, Maria Julia. CONICET-UTN. Instituto de desarrollo y diseño (INGAR), Argentina.
Fil: Gonnet, Silvio. CONICET-UTN. Instituto de desarrollo y diseño (INGAR), Argentina.
Peer Reviewed
Fuente
Simulation 99(5):433-454 (2021)
Materia
Classic DEVS with ports
Discrete-event simulation
Formalization and implementation
Metamodeling
Nivel de accesibilidad
acceso abierto
Condiciones de uso
Attribution-NonCommercial-NoDerivatives 4.0 International
Repositorio
Repositorio Institucional Abierto (UTN)
Institución
Universidad Tecnológica Nacional
OAI Identificador
oai:ria.utn.edu.ar:20.500.12272/13042
Acceder
id RIAUTN_814423a104cf78a407e7a1c72be6bb04
oai_identifier_str oai:ria.utn.edu.ar:20.500.12272/13042
network_acronym_str RIAUTN
repository_id_str a
network_name_str Repositorio Institucional Abierto (UTN)
spelling Metamodel-based formalization of DEVS atomic modelsBlas, María JuliaGonnet, SilvioClassic DEVS with portsDiscrete-event simulationFormalization and implementationMetamodelingThe Discrete-Event System Specification (DEVS) formalism is a modeling formalism based on systems theory that provides a general methodology for hierarchical construction of reusable models in a modular way. When concrete DEVS models are developed using programming languages, it is difficult to ensure they conform to their formal model. Hence, building an implementation of formal models in a way that ensures DEVS formalism correctness is not easy. In this paper, we improve the interplay of abstraction (i.e., formal specification) and concreteness (i.e., programming code implementation) in advancing the theory and practice of DEVS using a specific-designed metamodel. The main contribution is a novel conceptualization of classic DEVS with ports founded on existing approaches but, that also includes new improved elements related to the definition of atomic models. That is, our metamodel includes all the concepts and relationships needed to define the formal specification of DEVS atomic models. This allows us to define instances of our conceptualization that comply with the DEVS formal specification. To instantiate our metamodel, we propose a computer-aided environment that has been developed using the Eclipse Modeling Project. As an example, we show how our metamodel can be used to define the classic “switch” model. As a conclusion, we discuss how the final metamodel can be used to support interoperability with DEVS simulation tools.Fil: Blas, Maria Julia. CONICET-UTN. Instituto de desarrollo y diseño (INGAR), Argentina.Fil: Gonnet, Silvio. CONICET-UTN. Instituto de desarrollo y diseño (INGAR), Argentina.Peer ReviewedSimulation2025-05-27T19:13:55Z2021-09-14info:eu-repo/semantics/articleinfo:eu-repo/semantics/acceptedVersionhttp://purl.org/coar/resource_type/c_6501info:ar-repo/semantics/articulopdfapplication/pdfBlas M.J. & Gonnet S. (2021). Metamodel-based formalization of DEVS atomic models. SIMULATION 99(5). pp. 433-454. doi:10.1177/00375497211045628https://hdl.handle.net/20.500.12272/1304210.1177/00375497211045628Simulation 99(5):433-454 (2021)reponame:Repositorio Institucional Abierto (UTN)instname:Universidad Tecnológica NacionalengSITCBFE0008464TCONTOLOGÍAS, MODELOS Y HERRAMIENTAS DE SOPORTE PARASIPPFE0008626MODELADO CONCEPTUAL Y DEFINICIÓN DE LENGUAJES DE ESPECIFICACIÓN PARA EL MODELADO Y SIMULACIÓN BASADO EN MODELOS DE EVENTOS DISCRETOSinfo:eu-repo/semantics/openAccessAttribution-NonCommercial-NoDerivatives 4.0 Internationalhttp://creativecommons.org/licenses/by-nc-nd/4.0/Los autoresCreativeCommons2026-09-24T12:46:05Zoai:ria.utn.edu.ar:20.500.12272/13042instacron:UTNInstitucionalhttp://ria.utn.edu.ar/Universidad públicaNo correspondehttp://ria.utn.edu.ar/oaigestionria@rec.utn.edu.ar; fsuarez@rec.utn.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:a2026-09-24 12:46:06.562Repositorio Institucional Abierto (UTN) - Universidad Tecnológica Nacionalfalse
dc.title.none.fl_str_mv Metamodel-based formalization of DEVS atomic models
title Metamodel-based formalization of DEVS atomic models
spellingShingle Metamodel-based formalization of DEVS atomic models
Blas, María Julia
Classic DEVS with ports
Discrete-event simulation
Formalization and implementation
Metamodeling
title_short Metamodel-based formalization of DEVS atomic models
title_full Metamodel-based formalization of DEVS atomic models
title_fullStr Metamodel-based formalization of DEVS atomic models
title_full_unstemmed Metamodel-based formalization of DEVS atomic models
title_sort Metamodel-based formalization of DEVS atomic models
dc.creator.none.fl_str_mv Blas, María Julia
Gonnet, Silvio
author Blas, María Julia
author_facet Blas, María Julia
Gonnet, Silvio
author_role author
author2 Gonnet, Silvio
author2_role author
dc.subject.none.fl_str_mv Classic DEVS with ports
Discrete-event simulation
Formalization and implementation
Metamodeling
topic Classic DEVS with ports
Discrete-event simulation
Formalization and implementation
Metamodeling
dc.description.none.fl_txt_mv The Discrete-Event System Specification (DEVS) formalism is a modeling formalism based on systems theory that provides a general methodology for hierarchical construction of reusable models in a modular way. When concrete DEVS models are developed using programming languages, it is difficult to ensure they conform to their formal model. Hence, building an implementation of formal models in a way that ensures DEVS formalism correctness is not easy. In this paper, we improve the interplay of abstraction (i.e., formal specification) and concreteness (i.e., programming code implementation) in advancing the theory and practice of DEVS using a specific-designed metamodel. The main contribution is a novel conceptualization of classic DEVS with ports founded on existing approaches but, that also includes new improved elements related to the definition of atomic models. That is, our metamodel includes all the concepts and relationships needed to define the formal specification of DEVS atomic models. This allows us to define instances of our conceptualization that comply with the DEVS formal specification. To instantiate our metamodel, we propose a computer-aided environment that has been developed using the Eclipse Modeling Project. As an example, we show how our metamodel can be used to define the classic “switch” model. As a conclusion, we discuss how the final metamodel can be used to support interoperability with DEVS simulation tools.
Fil: Blas, Maria Julia. CONICET-UTN. Instituto de desarrollo y diseño (INGAR), Argentina.
Fil: Gonnet, Silvio. CONICET-UTN. Instituto de desarrollo y diseño (INGAR), Argentina.
Peer Reviewed
description The Discrete-Event System Specification (DEVS) formalism is a modeling formalism based on systems theory that provides a general methodology for hierarchical construction of reusable models in a modular way. When concrete DEVS models are developed using programming languages, it is difficult to ensure they conform to their formal model. Hence, building an implementation of formal models in a way that ensures DEVS formalism correctness is not easy. In this paper, we improve the interplay of abstraction (i.e., formal specification) and concreteness (i.e., programming code implementation) in advancing the theory and practice of DEVS using a specific-designed metamodel. The main contribution is a novel conceptualization of classic DEVS with ports founded on existing approaches but, that also includes new improved elements related to the definition of atomic models. That is, our metamodel includes all the concepts and relationships needed to define the formal specification of DEVS atomic models. This allows us to define instances of our conceptualization that comply with the DEVS formal specification. To instantiate our metamodel, we propose a computer-aided environment that has been developed using the Eclipse Modeling Project. As an example, we show how our metamodel can be used to define the classic “switch” model. As a conclusion, we discuss how the final metamodel can be used to support interoperability with DEVS simulation tools.
publishDate 2021
dc.date.none.fl_str_mv 2021-09-14
2025-05-27T19:13:55Z
dc.type.none.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/acceptedVersion
http://purl.org/coar/resource_type/c_6501
info:ar-repo/semantics/articulo
format article
status_str acceptedVersion
dc.identifier.none.fl_str_mv Blas M.J. & Gonnet S. (2021). Metamodel-based formalization of DEVS atomic models. SIMULATION 99(5). pp. 433-454. doi:10.1177/00375497211045628
https://hdl.handle.net/20.500.12272/13042
10.1177/00375497211045628
identifier_str_mv Blas M.J. & Gonnet S. (2021). Metamodel-based formalization of DEVS atomic models. SIMULATION 99(5). pp. 433-454. doi:10.1177/00375497211045628
10.1177/00375497211045628
url https://hdl.handle.net/20.500.12272/13042
dc.language.none.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv SITCBFE0008464TC
ONTOLOGÍAS, MODELOS Y HERRAMIENTAS DE SOPORTE PARA
SIPPFE0008626
MODELADO CONCEPTUAL Y DEFINICIÓN DE LENGUAJES DE ESPECIFICACIÓN PARA EL MODELADO Y SIMULACIÓN BASADO EN MODELOS DE EVENTOS DISCRETOS
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
Attribution-NonCommercial-NoDerivatives 4.0 International
http://creativecommons.org/licenses/by-nc-nd/4.0/
Los autores
CreativeCommons
eu_rights_str_mv openAccess
rights_invalid_str_mv Attribution-NonCommercial-NoDerivatives 4.0 International
http://creativecommons.org/licenses/by-nc-nd/4.0/
Los autores
CreativeCommons
dc.format.none.fl_str_mv pdf
application/pdf
dc.publisher.none.fl_str_mv Simulation
publisher.none.fl_str_mv Simulation
dc.source.none.fl_str_mv Simulation 99(5):433-454 (2021)
reponame:Repositorio Institucional Abierto (UTN)
instname:Universidad Tecnológica Nacional
reponame_str Repositorio Institucional Abierto (UTN)
collection Repositorio Institucional Abierto (UTN)
instname_str Universidad Tecnológica Nacional
repository.name.fl_str_mv Repositorio Institucional Abierto (UTN) - Universidad Tecnológica Nacional
repository.mail.fl_str_mv gestionria@rec.utn.edu.ar; fsuarez@rec.utn.edu.ar
_version_ 1877230915570106368
score 13.265058

Publicaciones similares