FRSF - INVESTIGACIÓN Y PRODUCCIÓN CIENTÍFICA
Permanent URI for this communityhttp://48.217.138.120/handle/20.500.12272/534
Encontrará los objetos que son resultados de las investigaciones
Browse
5 results
Search Results
Item Mapping RDEVSNL-based Definitions of Constrained Network Models to Routed DEVS Simulation Models(2024-03-27) Espertino, Clarisa; Blas, María Julia; Gonnet, SilvioThe Routed DEVS (RDEVS) formalism has been introduced recently to provide a reasonable formalization for the simulation of routing processes over Discrete Event System Specification (DEVS) models. Due to its novelty, new software tools are required to improve the Modeling and Simulation (MS) tasks related to the RDEVS formalism. This paper presents the mapping between constrained network models obtained from textual specifications of routing processes and RDEVS simulation models implemented in Java. RDEVSNL contextfree grammar (previously defined) is used to support the textual specification of a routing process as a constrained network model. Such grammar is based on a metamodel that defines the syntactical elements. This metamodel is used in this paper as a middleware that allows mapping constrained network model concepts with RDEVS simulation models. From such a constrained network model template, RDEVS Java implementations are obtained. The proposal is part of a workinprogress intended to develop MS software tools for the RDEVS formalism using wellknown abstractions to get the computational models through conceptual mapping. Using these tools, modelers can specify simulation models without needing to codify any routing implementation. The main benefits are i) reduction of implementation times and ii) satisfactory simulation model correctness regarding the RDEVS formalism.Item Herramienta de modelado y generación de código Java para simulaciones RDEVS(2023-06-30) Espertino, ClarisaEn este trabajo se presenta una herramienta de software de modelado textual implementada como un complemento para Eclipse que facilita la definición de procesos de enrutamiento utilizando especificaciones textuales. Estos procesos definen un modelo de simulación que admite la generación de código Java para situaciones de enrutamiento, a fin de que puedan ser ejecutadas en simuladores Discrete Event System Specification (DEVS) como modelos Routed DEVS (RDEVS). Así, haciendo uso de una especificación textual, un modelador no experto en RDEVS podrá obtener modelos de simulación de eventos discretos ejecutables. El núcleo de esta herramienta es una gramática libre de contexto que define la estructura del texto. Además, incluye un editor que permite crear especificaciones textuales basadas en dicha gramática, ofreciendo ayudas de escritura para asistir al usuario durante la edición. Partiendo de una herramienta para crear archivos de especificación adecuados, la herramienta tiene una opción de validación que permite procesar y validar el contenido escrito, para garantizar la consistencia de los modelos a generar. Finalmente, la herramienta genera el código Java para la simulación de los modelos.Item Especificación de modelos de simulación RDEVS : diseño e implementación de una gramática libre de contexto(CoNaIISI, 2021) Espertino, Clarisa; Blas, Maria Julia; Gonnet, SilvioSe presenta una gramática libre de contexto para la definición de procesos de enrutamiento como un caso particular de un modelo de red restringido. La gramática se basa en un metamodelo que define la semántica sobre los elementos sintácticos. Como soporte, se implementó un editor de texto como un plugin para Eclipse, con sugerencias de escritura, una herramienta para la creación de archivos y opciones de validación. Esta herramienta es el paso inicial de un complemento de software para Eclipse que permitirá obtener un modelo de simulación de eventos discretos sin tener conocimientos de programación, utilizando especificaciones escritas en lenguaje natural, que serán procesadas y validadas para garantizar la consistencia de dicho modeloItem Developing RDEVS simulation models from textual specifications(CBSoft 2022 - IV Workshop on Software-Intensive Systems Modeling and Simulation (MSSiS), 2022) Espertino, Clarisa; Blas, Maria Julia; Gonnet, SilvioThe Routed DEVS (RDEVS) formalism provides a formalization for routing process simulation. This paper presents the mapping between constrained network models obtained from textual specifications of routing processes and RDEVS simulation models implemented in Java. The proposal is part of a work-in-progress intended to develop M&S software tools for the RDEVS formalism using well-known abstractions to get the computational models attached to such abstraction models through conceptual mapping. Then, modelers can have simulation models without needing to codify any routing implementation. Benefits are i) reduction of implementation times and ii) simulation model correctness regarding the RDEVS formalism.Item Modeling routing processes through network theory : a grammar to define RDEVS simulation models(III Workshop on Software-Intensive Systems Modeling and Simulation (MSSiS), 2021) Blas, Maria Julia; Espertino, Clarisa; Gonnet, SilvioThe Routed DEVS (RDEVS) formalism provides a reasonable formalization for the simulation of routing processes. In this paper, we introduce a context-free grammar for the definition of routing processes as a particular case of a constrained network model. Such grammar is based on a metamodel that defines the semantics over the syntactical elements. This metamodel allows a direct mapping between its concepts and RDEVS simulation models. A Java implementation is provided for the grammar as a plug-in for Eclipse IDE. The main benefit of this software tool is the feasibility of getting a simulation model without having programming skills