Enriching UML statecharts through a metamodel : a model-driven approach for the graphical definition of DEVS atomic models

Autores
Dalmasso, Fidel; Blas, María Julia; Gonnet, Silvio
Año de publicación
2023
Idioma
español castellano
Tipo de recurso
artículo
Estado
versión publicada
Descripción
The Discrete Event System Specification (DEVS) formalism provides a set of mathematical elements for modeling time-varying systems. However, when DEVS models are implemented in an executable representation (i.e., using a generalpurpose programming language), some deviation from the formalism is unavoidable. One way to bridge the gap between modeling and simulation theory and practice is to define new artifacts that support both views during the specification. When the specification is supported with a graphical representation, the formalization task is less complex and can be performed by nonexpert modelers. For DEVS atomic models, most common graphical representation is through UML statecharts. In this paper, we present a theoretical and practical metamodel for the definition of atomic models structured following the Classic DEVS with Ports formalization. Such a metamodel is the core of a model-driven approach used to develop a modeling software tool that employs enriched UML statecharts for the graphical representation of the DEVS behavior. In here, the traditional UML statechart representation is enriched with a set of new components with the aim to provide a broad definition of DEVS atomic models. The final software tool is deployed as a plugin for Eclipse Platform.
Fil: Dalmasso, Fidel. Universidad Tecnológica Nacional. Facultad Regional Santa Fe; Argentina.
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.
Materia
Discrete event system specification
Modeling and simulation
Theory and practice
State diagram
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/13028
Acceder
id RIAUTN_140c9e3ff034758b272c311ba6acbe73
oai_identifier_str oai:ria.utn.edu.ar:20.500.12272/13028
network_acronym_str RIAUTN
repository_id_str a
network_name_str Repositorio Institucional Abierto (UTN)
spelling Enriching UML statecharts through a metamodel : a model-driven approach for the graphical definition of DEVS atomic modelsDalmasso, FidelBlas, María JuliaGonnet, SilvioDiscrete event system specificationModeling and simulationTheory and practiceState diagramThe Discrete Event System Specification (DEVS) formalism provides a set of mathematical elements for modeling time-varying systems. However, when DEVS models are implemented in an executable representation (i.e., using a generalpurpose programming language), some deviation from the formalism is unavoidable. One way to bridge the gap between modeling and simulation theory and practice is to define new artifacts that support both views during the specification. When the specification is supported with a graphical representation, the formalization task is less complex and can be performed by nonexpert modelers. For DEVS atomic models, most common graphical representation is through UML statecharts. In this paper, we present a theoretical and practical metamodel for the definition of atomic models structured following the Classic DEVS with Ports formalization. Such a metamodel is the core of a model-driven approach used to develop a modeling software tool that employs enriched UML statecharts for the graphical representation of the DEVS behavior. In here, the traditional UML statechart representation is enriched with a set of new components with the aim to provide a broad definition of DEVS atomic models. The final software tool is deployed as a plugin for Eclipse Platform.Fil: Dalmasso, Fidel. Universidad Tecnológica Nacional. Facultad Regional Santa Fe; Argentina.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.IEEE Latin America Transactions2025-05-22T22:38:32Z2023-01-11info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501info:ar-repo/semantics/articulopdfapplication/pdfDalmasso, F.; Blas, M. J. & Gonnet, S. (2023). Enriching UML statecharts through a metamodel : a model driven approach for the graphical definition of DEVS atomic models. IEEE Latin America Transactions, 21(1), pp. 27-34. doi: 10.1109/TLA.2023.10015142https://hdl.handle.net/20.500.12272/1302810.1109/TLA.2023.10015142spaSITCBFE0008464TCONTOLOGÍAS, MODELOS Y HERRAMIENTAS DE SOPORTE PARA LA SIMULACIÓN MULTIFORMALISMO BASADA EN MODELOS DE EVENTOS DISCRETOSinfo:eu-repo/semantics/openAccessAttribution-NonCommercial-NoDerivatives 4.0 Internationalhttp://creativecommons.org/licenses/by-nc-nd/4.0/Los autoresCreativeCommonsreponame:Repositorio Institucional Abierto (UTN)instname:Universidad Tecnológica Nacional2026-10-01T11:58:53Zoai:ria.utn.edu.ar:20.500.12272/13028instacron: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-10-01 11:58:53.899Repositorio Institucional Abierto (UTN) - Universidad Tecnológica Nacionalfalse
dc.title.none.fl_str_mv Enriching UML statecharts through a metamodel : a model-driven approach for the graphical definition of DEVS atomic models
title Enriching UML statecharts through a metamodel : a model-driven approach for the graphical definition of DEVS atomic models
spellingShingle Enriching UML statecharts through a metamodel : a model-driven approach for the graphical definition of DEVS atomic models
Dalmasso, Fidel
Discrete event system specification
Modeling and simulation
Theory and practice
State diagram
title_short Enriching UML statecharts through a metamodel : a model-driven approach for the graphical definition of DEVS atomic models
title_full Enriching UML statecharts through a metamodel : a model-driven approach for the graphical definition of DEVS atomic models
title_fullStr Enriching UML statecharts through a metamodel : a model-driven approach for the graphical definition of DEVS atomic models
title_full_unstemmed Enriching UML statecharts through a metamodel : a model-driven approach for the graphical definition of DEVS atomic models
title_sort Enriching UML statecharts through a metamodel : a model-driven approach for the graphical definition of DEVS atomic models
dc.creator.none.fl_str_mv Dalmasso, Fidel
Blas, María Julia
Gonnet, Silvio
author Dalmasso, Fidel
author_facet Dalmasso, Fidel
Blas, María Julia
Gonnet, Silvio
author_role author
author2 Blas, María Julia
Gonnet, Silvio
author2_role author
author
dc.subject.none.fl_str_mv Discrete event system specification
Modeling and simulation
Theory and practice
State diagram
topic Discrete event system specification
Modeling and simulation
Theory and practice
State diagram
dc.description.none.fl_txt_mv The Discrete Event System Specification (DEVS) formalism provides a set of mathematical elements for modeling time-varying systems. However, when DEVS models are implemented in an executable representation (i.e., using a generalpurpose programming language), some deviation from the formalism is unavoidable. One way to bridge the gap between modeling and simulation theory and practice is to define new artifacts that support both views during the specification. When the specification is supported with a graphical representation, the formalization task is less complex and can be performed by nonexpert modelers. For DEVS atomic models, most common graphical representation is through UML statecharts. In this paper, we present a theoretical and practical metamodel for the definition of atomic models structured following the Classic DEVS with Ports formalization. Such a metamodel is the core of a model-driven approach used to develop a modeling software tool that employs enriched UML statecharts for the graphical representation of the DEVS behavior. In here, the traditional UML statechart representation is enriched with a set of new components with the aim to provide a broad definition of DEVS atomic models. The final software tool is deployed as a plugin for Eclipse Platform.
Fil: Dalmasso, Fidel. Universidad Tecnológica Nacional. Facultad Regional Santa Fe; Argentina.
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.
description The Discrete Event System Specification (DEVS) formalism provides a set of mathematical elements for modeling time-varying systems. However, when DEVS models are implemented in an executable representation (i.e., using a generalpurpose programming language), some deviation from the formalism is unavoidable. One way to bridge the gap between modeling and simulation theory and practice is to define new artifacts that support both views during the specification. When the specification is supported with a graphical representation, the formalization task is less complex and can be performed by nonexpert modelers. For DEVS atomic models, most common graphical representation is through UML statecharts. In this paper, we present a theoretical and practical metamodel for the definition of atomic models structured following the Classic DEVS with Ports formalization. Such a metamodel is the core of a model-driven approach used to develop a modeling software tool that employs enriched UML statecharts for the graphical representation of the DEVS behavior. In here, the traditional UML statechart representation is enriched with a set of new components with the aim to provide a broad definition of DEVS atomic models. The final software tool is deployed as a plugin for Eclipse Platform.
publishDate 2023
dc.date.none.fl_str_mv 2023-01-11
2025-05-22T22:38:32Z
dc.type.none.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
http://purl.org/coar/resource_type/c_6501
info:ar-repo/semantics/articulo
format article
status_str publishedVersion
dc.identifier.none.fl_str_mv Dalmasso, F.; Blas, M. J. & Gonnet, S. (2023). Enriching UML statecharts through a metamodel : a model driven approach for the graphical definition of DEVS atomic models. IEEE Latin America Transactions, 21(1), pp. 27-34. doi: 10.1109/TLA.2023.10015142
https://hdl.handle.net/20.500.12272/13028
10.1109/TLA.2023.10015142
identifier_str_mv Dalmasso, F.; Blas, M. J. & Gonnet, S. (2023). Enriching UML statecharts through a metamodel : a model driven approach for the graphical definition of DEVS atomic models. IEEE Latin America Transactions, 21(1), pp. 27-34. doi: 10.1109/TLA.2023.10015142
10.1109/TLA.2023.10015142
url https://hdl.handle.net/20.500.12272/13028
dc.language.none.fl_str_mv spa
language spa
dc.relation.none.fl_str_mv SITCBFE0008464TC
ONTOLOGÍAS, MODELOS Y HERRAMIENTAS DE SOPORTE PARA LA SIMULACIÓN MULTIFORMALISMO BASADA 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 IEEE Latin America Transactions
publisher.none.fl_str_mv IEEE Latin America Transactions
dc.source.none.fl_str_mv 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_ 1877862401918894080
score 13.365483

Publicaciones similares