Facultad Regional Santa Fe

Permanent URI for this communityhttp://48.217.138.120/handle/20.500.12272/113

Browse

Search Results

Now showing 1 - 6 of 6
  • Thumbnail Image
    Item
    Herramienta web para el modelado de simulaciones RDEVS
    (2024) Espertino, Clarisa; Blas, María Julia; Gonnet, Silvio
    En la actualidad, muchos modelos de simulación son definidos a través de lenguajes de programación de propósito general lejanos al formalismo matemático sobre el que están creados. Esto no escapa al formalismo Routed DEVS (RDEVS), ya que se deben utilizar librerías Java durante el proceso de Modelado y Simulación (M&S) para obtener modelos ejecutables. En consecuencia, se requiere la generación de clases Java para definir sus modelos RDEVS, lo cual restringe su uso a aquellos con las habilidades técnicas necesarias para desarrollar estas especificaciones. El presente proyecto propone el desarrollo de una herramienta prototipo para el modelado textual de modelos RDEVS. Esta herramienta permitirá a los modeladores especificar y obtener modelos de simulación sin necesidad de utilizar lenguajes de programación ni contar con conocimientos avanzados en esta área. Al utilizar esta herramienta, los modeladores reducirán los tiempos de implementación, garantizando la correctitud de los modelos respecto al formalismo RDEVS. La implementación de este proyecto beneficiará a la comunidad de M&S, en particular a modeladores expertos y no expertos en RDEVS. Además, será utilizada por los integrantes del grupo de investigación en el cual se enmarca este proyecto final de carrera. Puntualmente, beneficiará a los docentes y becarios que forman parte de los proyectos PID 8626 - “Modelado Conceptual y Definición de Lenguajes de Especificación para el Modelado y Simulación Basado en Modelos de Eventos Discretos” y PID SITCBFE0008464TC - “Ontologías, Modelos y Herramientas de Soporte para la Simulación Multi-formalismo basada en Modelos de Eventos Discretos”. El proyecto se enmarca en el Programa de Becas “Estímulo a las Vocaciones Científicas” del Consejo Interuniversitario Nacional (EVC – CIN) y en las actividades de los proyectos de investigación previamente referenciados. La Resolución P 480/2023 presenta los resultados y el otorgamiento de la beca mencionada a la responsable del proyecto.
  • Thumbnail Image
    Item
    Mapping RDEVSNL-­based Definitions of Constrained Network Models to Routed DEVS Simulation Models
    (2024-03-27) Espertino, Clarisa; Blas, María Julia; Gonnet, Silvio
    The 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 context­free 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 work­in­progress intended to develop MS software tools for the RDEVS formalism using well­known 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.
  • Thumbnail Image
    Item
    Herramienta de modelado y generación de código Java para simulaciones RDEVS
    (2023-06-30) Espertino, Clarisa
    En 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.
  • Thumbnail Image
    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, Silvio
    Se 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 modelo
  • Thumbnail Image
    Item
    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, Silvio
    The 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.
  • Thumbnail Image
    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, Silvio
    The 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