Centro de Altos Estudios en Tecnología Informática
Permanent URI for this community
Browse
Browsing Centro de Altos Estudios en Tecnología Informática by Author "Pons, Claudia Fabiana"
Results Per Page
Sort Options
-
ItemArquitectura para sustentar la integración de conocimiento externo heterogéneo en un motor de reglas(Studies Publicações, 2022-6) Maciel, Marcos Antonio ; Pons, Claudia FabianaEn un contexto de negocios globalizado donde la completitud de la información se obtiene al componer varias partes, resolver problemas se convierte en una tarea que involucra tiempo, análisis y experiencia. Una organización ve limitado su ámbito de acción porque necesita información de terceros para evaluar en forma íntegra y completa una colección de datos. Para superar estos problemas se propone implementar un motor de reglas capaz de interactuar mediante reglas con servicios usando Json como mensajería de intercambio de datos. El modelo propuesto mejora la capacidad de conocimiento al compartir información entre sistemas heterogéneos usando los estándares de la comunidad para resolver problemas complejos.
-
ItemArtificial Intelligence techniques based on the integration of symbolic logic and deep neural networks : a systematic review of the literature(Iberoamerican Society of Artificial Intelligence (IBERAMIA), 2022-6) Negro, Pablo Ariel ; Pons, Claudia FabianaArtificial Intelligence is tackled from two predominant but very different approaches: symbolic Artificial Intelligence, which is inspired by mathematical logic and is based on the manipulation of abstract linguistic representations, and non-symbolic Artificial Intelligence, which focuses on the construction of predictive mathematical models from large sample data sets. Significantly, the shortcomings of each of these approaches align with the strengths of the other, suggesting that an integration between them would be beneficial. A successful synthesis of symbolic and non-symbolic artificial intelligence would give us the advantages of both worlds. This work aims to identify and classify solutions and architectures that use applied Artificial Intelligence techniques, based on the integration of symbolic and non-symbolic logic (particularly machine learning with artificial neural networks), to provide a comprehensive, exhaustive and organized vision of the solutions available in the literature, making them the subject of a carefully designed and implemented SLR (Systematic Literature Review). The resulting technologies are discussed and evaluated from both perspectives: symbolic and non-symbolic Artificial Intelligence. The PICOC method (Population, Intervention, Comparison, Outputs, Context) plus Limits, which determine the scope of the search, has been used to define the research questions and analyze the results. From a total of 65 candidate studies found, 24 articles (37%) relevant to this study were selected. Each study also focuses on different application domains such as intelligent agents, image classification, theorem provers, cyber-security, image interpretation, mathematics, medicine, robotics and general application. Through the analysis of the selected works, it was possible to classify, organize and explain the different ways in which the deficiencies of non-symbolic Artificial Intelligence are addressed by proposals based on symbolic logic. The study also determined in which stages of the development process said proposals are applied. In addition, the study made it possible to determine which are the logic tools that are preferably applied, for each area and each domain. Although no clear architectural pattern has been found, efforts to find a general-purpose model that combines both worlds are driving trends and research efforts.
-
ItemBlockGuitars : una herramienta para las transacciones de instrumentos musicales mediante blockchain(Sociedad Argentina de Informática, SADIO, 2020-10) Pons, Claudia Fabiana ; Castelli Lluch, Damián ; Tallarico, AníbalBlockchain y smart contracts son novedosas tecnologías que permiten registrar de forma eficaz y segura transacciones de elementos virtuales, como criptomonedas. Pero también se pueden aplicar a otros ámbitos. En este artículo se describe la construcción de un sistema de registro de instrumentos musicales aplicando estas nuevas tecnologías. El aporte, en primer lugar, es poner a disposición de los músicos una herramienta segura y distribuida que les ofrecerá una alternativa para enfrentar los frecuentes hurtos de estos elementos. Por otra parte, la descripción de la metodología seguida para el desarrollo del sistema, así como las decisiones de diseño adoptadas, la base tecnológica seleccionada y el análisis legal realizado, son recursos de utilidad para los desarrolladores que inicien la construcción de un sistema similar en otro dominio.
-
ItemCertifying CMMI-DEV in the Context of Model-Driven Software Engineering(ASQ, 2018-9) Pons, Claudia Fabiana ; Esterkin, VivianaModel-driven software engineering (MDE) is being positioned as an alternative to conventional methods of software production. Given that MDE is an emerging paradigm, standards for measuring its quality have not yet been established. This article analyzes MDE good practices and how they relate to CMMI-DEV 1.3 Level 2. MDE best practices were assessed to determine whether they support each CMMI Level 2 specific practice in seven of the 22 process areas: configuration management, supplier agreement management, requirement management, process and product quality assurance, measurement and analysis, project monitoring and control, and project planning. An expert panel of five software engineering professionals offered consulting services to provide an initial evaluation of the results. For each process area, the percentage of practices supported by MDE was determined and recommendations to enhance MDE support were identified. Although further research is needed, this suggests that an organization that uses MDE can certify at CMMI-DEV 1.3 Level 2.
-
ItemDetección y clasificación de zero-day malware a través de data mining y machine learning(Sociedad Argentina de Informática, SADIO, 2021) Pons, Claudia Fabiana ; Recordón, Augusto ; Ruiz Díaz, SilviaMuchos estudios sugieren que, durante los últimos años, ha habido un incremento exponencial de los ataques informáticos, causando a las organizaciones pérdidas financieras en el orden de los millones. Mientras muchas compañías dedican tiempo y recursos al desarrollo de antivirus; la complejidad, la velocidad de propagación y la capacidad polimórfica que poseen los virus modernos representan enormes desafíos para estas empresas. Motivados por encontrar nuevas alternativas, la comunidad de científicos de datos ha descubierto que la utilización de técnicas de machine learning y deep learning para la detección y clasificación de malware puede ofrecer una opción más que competitiva. Para esta investigación se comenzará realizando las extracción de información de un conjunto de datos compuesto por once mil archivos ASM y bytes correspondientes a nueve familias distintas de malwares. Luego, mediante la implementación de algoritmos de machine learning se intentará clasificar estos malwares en sus correspondientes familias. De forma complementaria, se realizará una clasificación binaria para detección malware/no malware, con un conjunto reducido de programas benignos, finalizando así con la elaboración de comparaciones y conclusiones.
-
ItemExtracción de información de facturas(ar) agrupada en jerarquías de negocios(Sociedad Argentina de Informática, SADIO, 2022-12-16) Maciel, Marcos Antonio ; Pons, Claudia FabianaLas compañías intercambian una gran cantidad y variedad de facturas (ar) en formato digital e incluso en formato de papel. La extracción automática de información se vuelve compleja por la diversidad en las extensiones y diseños de estos documentos. El objetivo de extraer información es alimentar procesos de negocios con datos clasificados y que cumplan con parámetros de calidad. Para abordar la complejidad se propone un pipeline que integra un modelo de inteligencia artificial y un modelo de programación tradicional capaz de extraer información en jerarquía de negocios y en un segundo paso procesarla en un motor de reglas para cumplir con parámetros de calidad personalizados. En este artículo se presenta la extracción de información de facturas argentinas mediante la clasificación de entidades con el modelo de inteligencia artificial preentrenado LayoutLM, conversión del resultado en una jerarquía de negocios para reutilizarlo en un motor de reglas con capacidad de optimizar la calidad de la información y robustecer los procesos de negocios, así demostramos que el uso integrado de programación con inteligencia artificial y programación tradicional es una solución superadora al uso en forma independiente.
-
ItemFacilitando el análisis formal de código Java especificado con UML+OCL(Edutecne, 2018-11) Pons, Claudia Fabiana ; Actis, Carolina ; Baum, GabrielEl lenguaje UML es ampliamente aceptado como el lenguaje estándar de modelado en la industria. El lenguaje OCL es una parte integral de UML, y fue introducido para definir restricciones adicionales que no se pueden expresar en este. Las expresiones OCL son concisas y precisas, y no presentan las ambigüedades del lenguaje natural. Sin embargo, al ser una notación de diseño, OCL no es ejecutable; está definido sobre el modelo, por lo que sus restricciones no se reflejan en el código fuente. Por otro lado, JML es un lenguaje de especificación formal que puede ser utilizado para especificar clases Java. A diferencia de OCL, las expresiones JML están escritas de forma que pueden ser compiladas y analizadas en tiempo de ejecución. En este trabajo se propone transformar de forma automática las restricciones OCL a especificaciones escritas en el lenguaje JML. De esta forma las restricciones especificadas en el modelo son verificadas de manera ágil y simple en tiempo de ejecución, y también se habilita el análisis estático de éstas mediante el uso de probadores de teoremas implementados para JML.
-
ItemImplementación técnica de una arquitectura orientada a integrar conocimiento externo heterogéneo en motor de reglas(Universidad Nacional de Salta, 2021) Maciel, Marcos Antonio ; Pons, Claudia FabianaEn un contexto de negocios globalizado donde la completitud de la información es la suma de varias partes, resolver problemas se convierte en una tarea que involucra tiempo, análisis y experiencia. Una organización ve limitado su ámbito de acción porque necesita información de terceros para evaluar en forma íntegra y completa una colección de datos. Para superar estos problemas se propone implementar un motor de reglas capaz de interactuar mediante reglas con servicios usando Json como mensajería de intercambio de datos. El modelo propuesto mejora la capacidad de conocimiento al compartir información entre sistemas heterogéneos usando los estándares de la comunidad para resolver problemas complejos.
-
ItemImproving model-driven software testing by using formal languages(Brazilian Journals Publicações de Periódicos e Editora Ltda., 2019-3-1) Pons, Claudia Fabiana ; Rosenfeld, Ilan ; Baum, GabrielModel-Driven Testing or MDT is a new and promising approach for software testing automation that can significantly reduce the efforts in the testing cycle of a software development. It consists in a black box test that uses structural and behavioral models to automate the tests generation process. In this paper, we describe a tool that allows developers to translate a software model written in UML with OCL formal constraints to its corresponding Java code, automating the generation of strong test-cases codes and specifying them not only in Java language but also in two formal languages, which are OCL and Alloy. This tool provides more reliable support by amalgamating different techniques, which strengthens the testing process.
-
ItemImproving model-driven software testing by using formal languages(Universidad Tecnológica Nacional. Facultad Regional Concepción del Uruguay, 2018-10) Pons, Claudia Fabiana ; Rosenfeld, Ilan ; Baum, GabrielModel-Driven Testing or MDT is a new and promising approach for software testing automation that can significantly reduce the efforts in the testing cycle of a software development. It consists in a black box test that uses structural and behavioral models to automate the tests generation process. In this paper, we describe a tool that allows developers to translate a software model written in UML with OCL formal constraints to its corresponding Java code, automating the generation of strong test-cases codes and specifying them not only in Java language but also in two formal languages, which are OCL and Alloy. This tool provides more reliable support by amalgamating different techniques, which strengthens the testing process.
-
ItemIngeniería de software dirigida por modelos aplicada a sistemas robóticos usando los estándares de la OMG(Universidad Nacional de San Juan. Facultad de Ciencias Exactas, Físicas y Naturales, 2019) Pons, Claudia Fabiana ; Giandini, Roxana Silvia ; Neil, Carlos Gerardo ; De Vincenzi Zemborain, Marcelo Edgardo ; Pérez, GabrielaEl Desarrollo de software Dirigido por Modelos (MDD, Model Driven software Development) aparece como una alternativa viable para aplicar técnicas de ingeniería de software en el desarrollo de sistemas robóticos. Su uso logra un nivel de abstracción superior, permitiendo utilizar los estándares propuestos para robótica, y así obtener ventajas como generalidad, reutilización, claridad, expresividad. Estas son todas cualidades inherentes a un proceso de creación de software eficiente y eficaz. ?? objetivo general de esta investigación es contribuir al mejoramiento de los procesos de desarrollo de software de los sistemas robóticos, a través del análisis del paradigma de desarrollo MDD aplicando los estándares definidos por la OMG.
-
ItemLa nueva inteligencia artificial : conceptos básicos y aplicaciones(Asociación Química Argentina, 2022-8) Pons, Claudia Fabiana ; Pérez, Gabriela ; Baum, GabrielEn este artículo se explican los conceptos teóricos y las nociones intuitivas que conforman a la nueva Inteligencia Artificial, en especial al Aprendizaje de Máquina basado en Redes Neuronales Artificiales. Se recorren sus orígenes y fundamentos. Se describen sus principales aplicaciones y herramientas técnicas. Finalmente se comparten reflexiones acerca de las tendencias tecnológicas en el área y se presentan experiencias de aplicaciones desarrolladas en grupos de investigación de la Universidad Nacional de La Plata.
-
ItemLambda Hive : formal semantics of an edge computing model based on JavaScript(IGI Global, 2022) Teragni, Matías Iván ; Pons, Claudia FabianaEdge computing is a paradigm that appliesvirtualization technology that makes it easier to deploy and run a wider range of applications on the edge servers and take advantage of largely unused computational resources. This article describes the design andformalization of Hive, a distributed shared memory model that can be transparently integrated with JavaScript using a standard out of the box runtime.To define such model a formal definition of the JavaScript language was used and extended to includemodern capabilities and custom semantics. This extended model wasused to prove that the distributedshared memory can operate on top of existing and unmodified web browsers.The proposed model guarantees the eventual synchronization of data across all the system and providesthe possibility to have a stricter consistency using standard httpoperations. The technicalfeasibility of this proposal was empirically validated by aprototype that yields reasonably lowpropagation time and allows the distribution of preexisting JavaScript code without any majormodifications.Additionally, the comprehensive formalization of the Hive execution model allows developers to guarantee certain properties of the synchronization mechanism, such as efficientand no blocking.
-
ItemMétodo_SCGE validando las tres primeras etapas en un organismo gubernamental(Universidad Tecnológica Nacional. Facultad Regional San Francisco, 2021-3) Pons, Claudia Fabiana ; Rodríguez, Rocío Andrea ; Castro, MarceloEn el presente trabajo se realiza la validación de las tres primeras etapas correspondientes a la metodología para sistematizar y estandarizar los procesos de Gobierno Electrónico en la gestión pública, a través de servicios computacionales (metodo_SCGE). Esta metodología considera software, hardware y comunicaciones, el análisis de estos componentes permite generar un modelo integral basado en Servicios Computacionales para Gobierno Electrónico (SCGE). El artículo contiene una presentación de algunas metodologías existentes que se pueden aplicar a servicios computacionales, una breve descripción de metodo_SCGE, incluyendo componentes, características, etapas y actividades. Al final se presenta la validación de las tres primeras etapas, sobre un servicio específico perteneciente a un organismo gubernamental.
-
ItemModel-Driven Development of Groupware Systems(IGI Global, 2022) Pons, Claudia Fabiana ; Bibbo, Luis Mariano ; Giandini, RoxanaBuilding Collaborative systems with awareness (or groupware) is a very complex task. This article presents the use of the domain specific language CSSL v2.0 - Collaborative Software System Language -built as an extension of UML, using the metamodeling mechanism. CSSL provides simplicity, expressiveness and precision to model the main concepts of collaborative systems, especially collaborative processes, protocols and awareness. The CSSL concrete syntax is defined via a set of editors through which collaborative systems models are created. According to the MDD methodology, models are independent of the implementation platform and are formally prepared to be transformed. The target of the transformation is a web application that provides a set of basic functions that developers can refine to complete the development of the collaborative system. Finally, evaluation, validation and verification of the language is performed, determining that the CSSL tools allow developers to solve central aspects of collaborative systems implementation in a simple and reasonable way.
-
ItemModelado de derivación de código para el desarrollo de sistemas colaborativos con awareness(SADIO, 2020-5-18) Pons, Claudia Fabiana ; Bibbo, Luis Mariano ; Giandini, RoxanaLa construcción de sistemas colaborativos con awareness es una tarea muy compleja. En este artículo se presenta la forma de utilización del lenguaje específico de dominio CSSL v2.0 – Collaborative Software System Language - construido como extensión de UML, usando el mecanismo de metamodelado. Se analiza la simplicidad, expresividad y precisión del lenguaje para modelar los conceptos principales de los sistemas colaborativos, especialmente los procesos colaborativos, protocolos y awareness. A partir de casos de modelado se muestra una sintaxis concreta -editores gráficos- que permiten construir modelos de sistemas colaborativos. Estos son independientes de la plataforma de implementación y están formalmente preparados para derivarlos utilizando transformaciones MDD. Luego se presenta una semántica del lenguaje a través de transformaciones de modelo a texto donde se obtiene versiones Web con tecnologías JavaScript, MongoDB y Websockets. Esto aporta a los desarrolladores de Sistemas Colaborativos un conjunto de herramientas que les permiten por un lado modelar los sistemas y por otro obtener aplicaciones ejecutables con aspectos centrales resueltos como la implementación de procesos colaborativos, awareness y el control de las operaciones que los roles realizan en el sistema.
-
ItemOrquestación de reglas para integrar conocimiento heterogéneo(Universidad Tecnológica Nacional, 2021-11) Maciel, Marcos Antonio ; Pons, Claudia FabianaPara un ser humano tomar decisiones en base al conocimiento experto de un dominio es una tarea que involucra tiempo, análisis y experiencia. Sumado a estos factores la globalización agrega complejidad debido al incremento en los volúmenes de información y al esfuerzo que exige ordenarla en tiempo y forma. Para asistir en la toma de decisiones se propone un motor de reglas para integrar conocimiento heterogéneo, haciendo uso del desarrollo de modelos de negocios dinámicos desde mensajes Json y la orquestación de reglas nativas y reglas que procesan la respuesta de servicios, todo como parte del mismo dominio.
-
ItemProgramming as learning resource in middle school(Faculdade Três de Maio (SETREM), 2018-11-18) Pons, Claudia Fabiana ; Salvador, Ricardo Pablo ; Rodríguez, GuillermoIn this work we study the influence, in the kinematics learning of secondary students, of the construction of a simulation using the SqueakEtoys graphical programming environment, as learning resource in a Rosario (Argentine) city preuniversity middle school. The pupils are almost 16 years old and do not have knowledge about programming. Using an habitual curricular exercise the experience took about 3 classes. The results indicate an increase in students' grades and interest in programming as a didactic resource, which encourages designing similar activities and exploring this resource in other disciplines.
-
ItemPropuesta de metodología para el proceso de gobierno electrónico utilizando servicios computacionales(Universidad Autónoma de Yucatán. Facultad de Matemáticas, 2018) Pons, Claudia Fabiana ; Rodríguez, Rocío Andrea ; Castro, MarceloEl objetivo del presente trabajo es presentar una propuesta sobre la metodología para sistematizar y estandarizar los procesos que posibilitan efectivizar Gobierno Electrónico en la gestión pública, a través de servicios computacionales (SCGE). Para lo cual se deberán considerar distintos aspectos tales como software, hardware y comunicaciones, el análisis de estos componentes permitirá generar un modelo integral basado en SCGE. El artículo contiene una breve introducción al concepto de servicios computacionales en el ámbito de gobierno electrónico y una descripción de sus componentes. Posteriormente se presenta un ejemplo sobre un servicio específico y finalmente se describe la metodología método SCGE.
-
ItemQuality evaluation of government open data sets in Argentina using the HEVDA Validation Tool(Universidad Técnica de Babahoyo (Ecuador), 2021-4-4) Martínez, María Roxana ; Pons, Claudia Fabiana ; Rodríguez, Rocío Andrea ; Vera, Pablo MartínThis work consists of measuring the quality of the datasets available on the web portal of the official public and national site of the country of Argentina. This research proposes to carry out a quality study applying the Open Data Quality Validation Tool (HEVDA), this tool implements quality metrics that measure the selected dataset, which results in an analysis of the flaws detected in it; for example, it allows detecting if there are errors, incomplete records, types of redundancy, etc. To explain the framing of this work, a survey of the aspects that are involved in this context is shown: open government, open public data, as well as government transparency. On the other hand, it shows the importance of maintaining the quality of the shared data, since it will be reused in different data sources and software, so this research focuses on the necessary aspects that favor the reading and understanding of the data sets published on government portals, which allows generating public opinion and showing traceability of the management of government resources.