7 results
Search Results
Now showing 1 - 7 of 7
Item A Spin / Promela Application for Model checking UML Sequence Diagrams(2018) Vidal-Silva, Cristian; Villarroel, Rodolfo; Rubio, José Miguel; Johnson, Franklin; Madariaga, Erika; Campos, Camilo; Carter, LuisUML sequence diagrams usually represent the behavior of systems execution. Automated verification of UML sequence diagrams’ correctness is necessary because they can model critical algorithmic behaviors of information systems. UML sequence diagrams applications are often on the requirement and design phases of the software development process, and their correctness guarantees the accurate and transparent implementation of software products. The primary goal of this article is to review and improve the translation of basic and complex UML sequence diagrams into Spin / Promela code taking into account behavioral properties and elements of combined fragments of UML sequence diagrams for synchronous and asynchronous messages. This article also redefines a previous proposal for a transition system for UML sequence diagrams by specifying Linear Temporal Logic (LTL) formulas to verify the model correctness. We present an application example of our modeling proposal on a modified version of a traditional case study by using UML sequence diagrams to translate it into Promela code to verify their properties and correctness.Item Applying FireFly Algorithm to Solve the Problem of Balancing Curricula(2019) Rubio, José Miguel; Vidal-Silva, Cristian; Soto, Ricardo; Madariaga, Erika; Johnson, Franklin; Carter, LuisThe problem of assigning a balanced academic curriculum to academic periods of a curriculum, that is, the balancing curricula, represents a traditional challenge for every educational institution which look for a match among students and professors. This article proposes a solution for the balancing curricula problem using an optimization technique based on the attraction of fireflies (FA) meta-heuristic. We perform a set of test and real instances to measure the performance of our solutionproposal just looking to deliver a system that will simplify the process of designing a curricular network in higher education institutions. The obtained results show that our solution achieves a fairly fast convergence and finds the optimum known in most of the tests carried out.Item Una Propuesta de Algoritmo Spin / Promela para el Análisis y Diagnóstico de Errores en Diagramas de Secuencia UML(2019) Vidal-Silva, Cristian; Villarroel, Rodolfo H.; López-Cortés, Xaviera A.; Rubio, José MiguelEste trabajo describe las principales características de diagramas de secuencia UML, la noción de falla o error y tolerancia a fallas, y algunos tipos de fallas comunes y sus acciones de corrección en un diagrama de secuencias UML. Así, el principal objetivo de este trabajo es proponer un algoritmo para la transformación de diagramas de secuencia UML en código Spin / Promela, una herramienta de verificación formal y de detección de errores en el chequeo de modelos para un sistema de tolerancia a fallas, y así entregar explicaciones de los pasos necesarios para ajustar y corregir los diagramas afectados. El algoritmo para transformar diagramas de secuencia UML en código Spin / Promela es útil para la detección de fallas en secuencias de mensajes. Se aplica la solución propuesta sobre un diagrama simple y general de secuencias UML para analizar su código Promela y garantizar la efectividad del chequeo de modelos sobre diagramas de secuencia UML. Además, se presentan ideas de extensión de la propuesta para el análisis de diagramas de secuencias UML con la inclusión de fragmentos combinados de iteraciones.Item Aspect-Combining Functions for Modular MapReduce Solutions(2018) Vidal-Silva, Cristian; Villarroel, Rodolfo; Rubio, José Miguel; Johnson, Franklin; Madariaga, Érika; Urzúa, Alberto; Carter, Luis; Campos-Valdés, Camilo; López-Cortés, Xaviera A.MapReduce represents a programming framework for modular Big Data computation that uses a function map to identify and target intermediate data in the mapping phase, and a function reduce to summarize the output of the map function and give a final result. Because inputs for the reduce function depend on the map function’s output to decrease the communication traffic of the output of map functions to the input of reduce functions, MapReduce permits defining combining function for local aggregation in the mapping phase. MapReduce Hadoop solutions do not warrant the combining functioning application. Even though there exist proposals for warranting the combining function execution, they break the modular nature of MapReduce solutions. Because Aspect-Oriented Programming (AOP) is a programming paradigm that looks for the modular software production, this article proposes and apply Aspect-Combining function, an AOP combining function, to look for a modular MapReduce solution. The Aspect-Combining application results on MapReduce Hadoop experiments highlight computing performance and modularity improvements and a warranted execution of the combining function using an AOP framework like AspectJ as a mandatory requisite.Item Resolución del problema de balanceo de mallas curriculares mediante algoritmo de luciérnagas(2018) Rubio, José Miguel; Soto, Ricardo; Jorquera, Hernán; Aguilera, Jorge; Vidal-Silva, CristianEn este artículo se propone resolver el problema de balanceo de mallas curriculares (BACP), que consiste en la asignación de una carga académica balanceada a periodos académicos de un plan de estudios, mediante una técnica de optimización basada en la atracción de las luciérnagas (FA). Se resolverán tanto instancias de prueba como instancias reales con el fin de medir el rendimiento del algoritmo y entregar un sistema que permita simplificar el proceso de diseño de una malla curricular en las Instituciones de Educación Superior. Los resultados obtenidos muestran que el algoritmo FA tiene una convergencia bastante rápida y encuentra el óptimo conocido en la mayoría de las pruebas realizadas.Item Propuesta de Modelo de Características con Interfaz de Punto de Unión para el Modelamiento de Líneas de Productos de Software(2018) Vidal-Silva, Cristian; Bustamante, Miguel A.; Rubio, José Miguel; Carter, LuisEn búsqueda de una nueva metodología de desarrollo de software modular, este trabajo propone MC JPI, esto es, Modelos de Características (MC) con Interfaz de Punto de Unión (JPI del inglés Join Point Interface) de Programación Orientada a Aspectos (POA) como base de la metodología Programación Orientada a la Característica (FOP) + JPI. Así, este trabajo describe ventajas y detalles de FOP y POA JPI como paradigmas individuales y de su simbiosis para la producción de software modular. Como aplicación ejemplo, se utiliza MC JPI sobre un ejemplo clásico de FOP para visualizar componentes propios de MC tradicionales, y asociaciones o restricciones cruzadas especiales entre características. Adicionalmente, este trabajo describe las ventajas de MC JPI y las diferencias respecto a algunos trabajos de investigación anteriores para apoyar principios de modelado orientados a aspectos propios de JPI. Se concluye que JPI permite una modularización sobre modelos de características, y así este enfoque de simbiosis JPI + FOP parece prometedor.Item Estudio de la Realidad y Viabilidad de la Formación en BigData en la Academia Chilena(2019) Vidal-Silva, Cristian; Madariaga, Erika; Rubio, José Miguel; Urzúa, LuisEl principal objetivo de este trabajo es responder si la academia chilena está o no preparada para formar especialistas en Big Data. Además de describir componentes teóricos y prácticos de Big Data junto con introducir una herramienta básica del tema, este trabajo define y presenta los resultados de una encuesta para explorar y analizar la realidad de la academia en Chile respecto al grado de viabilidad para capacitar y formar profesionales competentes en Big Data. Con respecto a estos resultados, este trabajo argumenta que las condiciones necesarias para el desarrollo de competencias de Big Data en la academia chilena aún no están del todo presentes, y así, la academia chilena necesita la adopción de tópicos y soluciones de Big Data para la formación futura de profesionales competentes de ese tan actual tema.