Facultad Regional Santa Fe
Permanent URI for this communityhttp://48.217.138.120/handle/20.500.12272/113
Browse
5 results
Search Results
Item Herramienta web para el modelado de simulaciones RDEVS(2024) Espertino, Clarisa; Blas, María Julia; Gonnet, SilvioEn 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.Item Una gramática libre de contexto para la especificación de modelos conceptuales(JIT, 2023-09-04) Meichtry Regner, Victoria ElizabethEste trabajo tiene como finalidad la construcción de una herramienta que de soporte a la definición por etapas de un modelo de simulación. El objetivo es especificar una sintaxis que permita la definición de un modelo conceptual a partir de la abstracción de una situación del mundo real. Para esto, se establece una gramática que permite reconocer oraciones válidas y, a partir de ello, se permita la visualización de un conjunto de relaciones entre las entidades del modelo a través de un diagrama de clases. Para el desarrollo de cada etapa se utilizan como soporte, primeramente, ANTLR4 para definir reglas sintácticas con el fin de reconocer sentencias válidas. Además, se utilizó USE para realizar un diagrama de clases con el propósito de definir clases y establecer relaciones entre ellas. Por último, a través del lenguaje de programación Java, se pretende desarrollar las clases con sus relaciones propuestas en el diagrama.Item Especificación de GLCs para dar soporte al modelado y simulación mediante SES y DEVS(52º JAIIO - EST, 2023-07-07) Flores, José Ignacio; Meichtry Regner, Victoria Elizabeth; Mercanti, Santiago Andrés; Pallotti, Francisco FernandoEl presente trabajo propone el diseño e implementación de tres gramáticas libres de contexto (GLC) como herramientas de soporte para modelado y simulación (M&S) basado en eventos discretos. En primer lugar, se describen los aspectos generales y desafíos del M&S de sistemas reales basados en eventos y la ontología System Entity Structure (SES) para la construcción de modelos que describen las relaciones jerárquicas entre las entidades del sistema. A continuación, se provee una descripción de los componentes de un modelo conceptual de alto nivel, que incluyen entidades, atributos, estados, eventos, actividades y funciones, los cuales pueden ser especificados usando el formalismo Discrete Event System Specification (DEVS). Finalmente, se propone una GLC que contribuye a la definición formal de modelos acoplados DEVS. Las tres gramáticas fueron implementadas usando la herramienta ANTLR4. Se presenta también un ejemplo de modelado común a los tres niveles, a fin demostrar el funcionamiento de cada gramática. A futuro, estas GLC serán utilizadas como base para el desarrollo de una herramienta de software que facilite el mapeo de los distintos niveles de modelados necesarios durante el desarrollo de modelos de simulación.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 modelo