Artículos en Revistas

Permanent URI for this collectionhttp://48.217.138.120/handle/20.500.12272/538

Browse

Author: search.filters.author.Gonnet, SilvioStart date: 2022

Search Results

Now showing 1 - 6 of 6
  • Thumbnail Image
    Item
    Evaluación de los atributos del sistema de registro electrónico de tuberculosis en Argentina según metodología del CDC en 2019-2023
    (Revista Argentina de Salud Pública, 2024-11-29) Mordini, Natalia Soledad; Stoffel, Carina Sonia; Fernández, Hugo; Yessi, Leyla Yamile; Gonnet, Silvio; Mangold, Anabela; Rasse, Ignacio; Díaz, Yamila; Armando, Gustavo
    INTRODUCCION: El registro de la información es un componente fundamental en la atención de pacientes con tuberculosis (TB) y el control de la enfermedad. El objetivo fue evaluar atributos del sistema nacional de notificación de TB en Argentina según la metodología propuesta por los Centros para el Control y la Prevención de Enfermedades (CDC) de EE. UU. MÉTODOS: Se construyeron indicadores para evaluar la calidad, oportunidad y valor predictivo positivo (VPP), trabajando con la información registrada para todos los casos de TB notificados durante 2019-2022 en el Sistema Nacional de Vigilancia de la Salud (SNVS). Se realizaron encuestas para evaluar la percepción de usuarios del sistema respecto a su simplicidad, flexibilidad, aceptabilidad, utilidad y estabilidad en establecimientos de salud en las ciudades de Salta y Santa Fe y localidades del Área Metropolitana de Buenos Aires (AMBA), y se relevó información disponible en los establecimientos durante 2023 para evaluar la sensibilidad. RESULTADOS: La calidad de la información registrada no cumplió con los requisitos para alcanzar los estándares propuestos. El VPP para los casos de TB fue del 89,7 %. La calidad del sistema fue evaluada como buena; la simplicidad, flexibilidad, estabilidad y aceptabilidad, como promedio. La sensibilidad fue del 97,7 %. DISCUSIÓN: El sistema electrónico nacional de registro de TB es una herramienta valiosa en la vigilancia, pero presenta aspectos a mejorar en su diseño y en el uso por parte de los usuarios.
  • Thumbnail Image
    Item
    Enhancing routed DEVS models with event tracking
    (Journal of the Brazilian Computer Society, 2025-06-17) Blas, María Julia; Toniolo, Mateo; Gonnet, Silvio
    The Routed Discrete Event System Specification (RDEVS) is a modular and hierarchical Modeling and Simulation (M&S) formalism based on the Discrete Event System Specification (DEVS) formalism that provides a set of design models for dealing with routing problems over DEVS. At the formal level, RDEVS models (as DEVS models themselves) are defined mathematically. However, software implementations of both formalisms are based on an object-oriented paradigm. Furthermore, at the implementation design level, the RDEVS formalism is represented by a conceptual model that uses DEVS simulators as execution engines. Even when RDEVS models can be executed with DEVS simulators, the resulting data (obtained as execution outputs) remains DEVS-based, restricting the study of event flows between models influenced by routing policies. This paper shows how the RDEVS formalism design was enhanced to include event tracking in the models without altering their expected behavior during simulation. Such an improvement is based on adding new features to existing RDEVS components. These features are defined as trackers, which are responsible for getting structured data from events exchanged during RDEVS executions. The proposed solution employs the Decorator pattern as a software engineering option to achieve the required goal. It was deployed as a Java package attached to the RDEVS library, devoted to collecting structured event flow data using JavaScript Object Notation (JSON). The results highlight the modeling benefits of adding event tracking to the original capabilities of the RDEVS formalism. For the M&S community, the novel contribution is an advance in understanding how best modeling practices of software engineering can be used to enhance their software tools in general and the RDEVS formalism in particular.
  • Thumbnail Image
    Item
    The role of ontologies in Smart Contracts : a systematic literature review
    (Journal of Industrial Information Integration, 2024-07) Alvarado Domínguez, Johnny; Gonnet, Silvio; Vegetti, Marcela
    The aim of this systematic literature review is to provide a comprehensive understanding of how ontologies address current Smart Contract challenges, identify application scenarios, and present tools and technologies associated with their use. This systematic literature review (SLR), following Kitchenham's methodology, analyses peerreviewed articles from 2015 to August 2022 from databases such as Scopus, IEEE, Science Direct, Springer Link and ACM. Of the 501 publications identified, 21 are selected for in-depth review based on inclusion, exclusion and quality assessment criteria. The results of this SLR show that ontologies provide solutions to the challenges faced by Smart Contracts mainly at the creation stage. They allow the terms of the contract and the roles of the parties to be defined. Ontologies also enable the development of Smart Contract templates. This facilitates their use by people without technical programming expertise. Despite these potential solutions to the challenges that Smart Contracts face throughout their lifecycle, they lack verification. This increases the vulnerabilities to which Smart Contracts are exposed. Developing validation and verification tools could facilitate using ontologies to create Smart Contracts for different real-world cases.
  • Thumbnail Image
    Item
    Enriching UML statecharts through a metamodel : a model-driven approach for the graphical definition of DEVS atomic models
    (IEEE Latin America Transactions, 2023-01-11) Dalmasso, Fidel; Blas, María Julia; Gonnet, Silvio
    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.
  • Thumbnail Image
    Item
    Ontología para la representación de entidades con comportamientos basados en eventos
    (SADIO Electronic Journal of Informatics and Operations Research (EJS), 2022) Blas, María Julia; Gonnet, Silvio; Becker, Pablo; Olsina, Luis
    El modelado de comportamientos dinámicos usando eventos como disparadores del cambio de estado de entidades es un área de interés en Modelado y Simulación (M&S). En este trabajo se presentan los términos, propiedades, relaciones y axiomas de ParticularEventCO (PEventCO) como un modelo semántico basado en la noción de eventos causados por el comportamiento de entidades. Esta ontología se encuentra situada en el nivel “Core” de la arquitectura FCDOntoArch, donde la ontología ThingFO define el nivel fundacional. El principal objetivo es lograr una representación del comportamiento de entidades dinámicas siguiendo un enfoque basado en eventos como complemento de las ontologías ya existentes en FCD-OntoArch. Luego, se detalla la forma en la cual los principales elementos del nivel fundacional han sido redefinidos en PEventCO. Además, se incluye la especificación formal del modelo haciendo uso de ConceptBase, junto con la instanciación de una prueba de concepto tomada del área de M&S.
  • 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.