Facultad Regional Santa Fe
Permanent URI for this communityhttp://48.217.138.120/handle/20.500.12272/113
Browse
31 results
Search Results
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, GustavoINTRODUCCION: 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.Item Representación semántica de un cuerpo documental en base a una estructura de etiquetado(12º CoNaIISI, 2024) Schwab, Christian Germán; Blas, María Julia; Gonnet, SilvioUn cuerpo documental puede ser caracterizado por un conjunto de términos y de relaciones entre tales términos. En este trabajo se presenta un conjunto de estructuras de etiquetado para especificar dichos términos y relaciones. A partir de las reglas de etiquetado propuestas se describe un algoritmo para la extracción de los términos y relaciones definidos, y la definición de una ontología para su representación. La propuesta es ilustrada en un fragmento de la ley 24065, régimen de la energía eléctrica. El contar con herramientas de anotado y extracción de una representación semántica es vital para el posterior análisis y reutilización de ontologías existentes en dominios particulares, dado que la representación obtenida sirve como referencia para la evaluación de ontología existentes como posible representación del cuerpo documental.Item Enhancing routed DEVS models with event tracking(Journal of the Brazilian Computer Society, 2025-06-17) Blas, María Julia; Toniolo, Mateo; Gonnet, SilvioThe 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.Item Metamodel-based formalization of DEVS atomic models(Simulation, 2021-09-14) Blas, María Julia; Gonnet, SilvioThe Discrete-Event System Specification (DEVS) formalism is a modeling formalism based on systems theory that provides a general methodology for hierarchical construction of reusable models in a modular way. When concrete DEVS models are developed using programming languages, it is difficult to ensure they conform to their formal model. Hence, building an implementation of formal models in a way that ensures DEVS formalism correctness is not easy. In this paper, we improve the interplay of abstraction (i.e., formal specification) and concreteness (i.e., programming code implementation) in advancing the theory and practice of DEVS using a specific-designed metamodel. The main contribution is a novel conceptualization of classic DEVS with ports founded on existing approaches but, that also includes new improved elements related to the definition of atomic models. That is, our metamodel includes all the concepts and relationships needed to define the formal specification of DEVS atomic models. This allows us to define instances of our conceptualization that comply with the DEVS formal specification. To instantiate our metamodel, we propose a computer-aided environment that has been developed using the Eclipse Modeling Project. As an example, we show how our metamodel can be used to define the classic “switch” model. As a conclusion, we discuss how the final metamodel can be used to support interoperability with DEVS simulation tools.Item Tracking events as an add-on functionality of the routed DEVS formalism(V Workshop em Modelagem e Simulação de Sistemas Intensivos em Software, 2023-09-25) Blas, María Julia; Toniolo, Mateo; Gonnet, SilvioThe Routed DEVS (RDEVS) models improve traditional discreteevent models by enhancing the development of routing processes over predefined behaviors. This paper provides a novel solution for tracking events flowing in such routing processes as a new functionality of the RDEVS formalism. Such functionality is given by redesigning the original formalism following the “Decorator” pattern. An implementation of the redesign is developed as part of the RDEVS Java Library. As a result, we provide a solution that allows getting structured data from RDEVS models at execution time without changing their expected behavior or the simulator engine.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, MarcelaThe 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.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, SilvioThe 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.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, LuisEl 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.Item A modeling framework for complex systems(Winter Simulation Conference, 2024) Blas, María Julia; Gonnet, SilvioThis paper presents a modeling framework for defining abstractions of real-world complex systems promoting the development of discrete-event simulation models based on DEVS. An ontology, a metamodel, and a reasoner are combined in one single structure to allow an upgrade of an abstraction model to an implementation model. Our motivation is to reduce the effort related to the modeling part when specifying DEVS models for complex systems described from an abstraction of reality built over a research question. Applications include an easier introduction to M&S for students of any scientific field that can define an abstraction model with an easier introduction to DEVS models (from formalization to implementation).Item Modeling and simulation through the metamodeling perspective : the case of the discrete event system specification(Springer Cham, 2023-01-24) Blas, María Julia; Gonnet, SilvioThe Discrete Event System Specification (DEVS) is a modeling formalism that supports a general methodology for describing discrete event systems with the capability to represent both continuous and discrete systems due to its system theoretic basis. This chapter addresses the use of metamodeling and the role of related technologies in the Modeling and Simulation (M&S) field, mainly devoted to implementing DEVS models. The main aim is to answer the following questions: What is the significance of model-based engineering in the M&S field? Can a computational representation of DEVS defined following the principles of metamodeling improve the modeling task? How can DEVS models obtained through metamodeling integrate with simulators? This chapter discusses using metamodels as the foundation to define formal DEVS models from a computational point of view. A metamodel-based computational representation of DEVS formalism is described. From such a computational representation, how current technologies can be used to support DEVS metamodel in existing M&S software tools is discussed. The chapter shows how concrete DEVS models are used in existing M&S software tools to get executable simulation models through metamodel instantiation. Illustrative examples show how the DEVS metamodel improves the simulation model specification. The chapter concludes with a discussion of the current state of the metamodeling approach used in the M&S field and the remaining problems that need to be addressed in the future.