Facultad Regional Santa Fe
Permanent URI for this communityhttp://48.217.138.120/handle/20.500.12272/113
Browse
3 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 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