Abstract: The objective of this paper is to present the strengths and weaknesses of a training program in generic competences in undergraduate degrees at the University of Talca (Chile). There are three versions of the program: fundamental formation program 1 (FFP1), FFP2, and PFF3. The present study is a descriptive research study that is based on a review of official documentation from the University of Talca, a survey, and background information collected by the authors. The results show a process of continuous improvement and maturation that is expressed in the clarification of the concept of competence. There is also a significant reduction in the size of the program when compared to that at the start. In addition, there is an attempt to articulating the program’s components of the basic, professional, and disciplinary education of each undergraduate major examined. However, there is still room for significant improvements to consolidate the program.

Resumen: El objetivo de este trabajo es presentar los aspectos positivos y negativos, así como posibles mejoras, de un programa de formación en competencias genéricas en las carreras de pregrado de la Universidad de Talca (Chile). Se han desarrollado tres versiones del programa: PFF1 (programa de formación fundamental 1), PFF2 y PFF3. Esta es una investigación descriptiva con base en: una revisión de la documentación oficial de la Universidad de Talca, la aplicación de una encuesta y antecedentes recogidos por los autores. Los resultados muestran un proceso de mejoramiento continuo y de maduración expresado en una clarificación del concepto de competencia y una significativa reducción del tamaño del programa respecto del inicial. También muestran un intento por articular el programa con los componentes de formación básica, profesional o disciplinaria de cada carrera de pregrado. No obstante, se observa que aún existe espacio para significativas mejoras si se aspira a su consolidación.

Abstract Given its increasing importance, society nowadays requires from professionals not only the specific competencies in each discipline but also the universities are demanded to develop the so-called transversal or generic competencies. The objective of this work is to present the trajectory of a certain program intended to provide generic competencies in undergraduate careers in a state-owned Chilean institution, the University of Talca. This trajectory is over 10 years old since it started in 2006, and is expressed in three versions, where the latter is a possible bottom line example for other undergraduate careers and universities interested in adopting an educative model based on the development of competencies. The methodology utilized is a description research based on a review of the official documentation of the University of Talca, and the background collected by the authors in their condition of professors in a career of engineering. The results achieved so far show a process of continuous improvement and maturation characterized by a clarification of the concept of competency, a significant reduction in the size of PFF, and an effort to combine it with the competencies of basic and professional training (or in a discipline) of each career. Notwithstanding what is mentioned above, conclusion is that there is still room for significant improvements if the aspiration is to consolidate the program.

Resumen Dada su creciente importancia, la sociedad está demandando de los profesionales no solo las competencias específicas asociadas a sus correspondientes disciplinas, sino que además está exigiendo que las universidades también desarrollen las competencias llamadas transversales o genéricas. El objetivo de este trabajo es presentar la trayectoria que ha tenido un particular programa de formación en competencias genéricas dentro de las carreras de pregrado en una universidad estatal chilena, la Universidad de Talca. Esta trayectoria abarca ya más de 10 años desde su inicio en el año 2006, y se expresa en tres versiones, siendo la última un posible ejemplo base para otras carreras de pregrado y universidades interesadas en adoptar un modelo educativo basado en el desarrollo de competencias. La metodología empleada es de investigación descriptiva, en base a una revisión de la documentación oficial de la Universidad de Talca, y antecedentes recogidos por los autores en su condición de profesores de una carrera de ingeniería. Los resultados alcanzados a la fecha revelan un proceso de mejoramiento continuo y de maduración caracterizado por una clarificación del concepto de competencia, una significativa reducción del tamaño del PFF, y de un esfuerzo por articularlo con los componentes de formación básica y profesional o disciplinaria de cada carrera. No obstante lo expuesto, se concluye que aún existe de espacio para significativas mejoras si se aspira a su consolidación.

An information system that allows tracking the progress of projects executed by students n companies and institutions and the preparation of reports, is proposed. The School of Informatics Engineering in Business at the University of Talca, Chile, has a working model with companies with a positive evaluation by students, teachers and employers because it facilitates an early employability of its graduates. The essence of this model has been formalized through a notation for business process modeling (BPMN). In it, all projects are developed in a company by groups of students as part of a course. This formalization has been complemented with the workflow model proposed in this paper. This allows registering and monitoring information associated with the projects being developed, the companies in which they are being executed, the students involved, and the teachers and professionals from the company involved.

Se presenta un sistema de información que posibilita el seguimiento del estado de los proyectos ejecutados por los alumnos en empresas e instituciones y la emisión de informes. La Escuela de Ingeniería en Informática Empresarial de la Universidad de Talca, Chile, tiene un modelo de trabajo con empresas que ha sido valorado positivamente por alumnos, profesores y empleadores, al facilitar una inserción laboral temprana de sus egresados. El modelo fue formalizado mediante un diagrama de notación de modelamiento de procesos de negocios (BPMN). En él, todo proyecto es desarrollado por grupos de alumnos en una empresa y en el marco de un módulo de un curso. Esta formalización se ha visto complementada con el desarrollo del sistema de flujo de trabajo que se propone. Este permite registrar y monitorear información asociada a los proyectos que se desarrollan, las empresas en las que se realizan, los alumnos que los ejecutan, y los profesores y profesionales de la empresa involucrados.

The objective of this paper is to present the symbolic execution of programs and its extension, generalized symbolic execution, to indicate the necessary improvements to symbolic execution so that it becomes a practical approach for program verification. Program analysis allows determining levels of software correctness or compliance with the user requirements. There are two approaches for program verification, analytic and dynamic, and, between them, symbolic execution exits which statically analyzes the program source code, and dynamically simulates the execution of executable instructions of programs by means of symbolic input data. In this paper, concepts of program verification, the original proposal of symbolic execution along with their advantages and disadvantages, and the main features of generalized symbolic execution are described. Finally, the main open research areas related to symbolic execution are summarized.

El objetivo de este artículo es presentar la ejecución simbólica de programas y su extensión, ejecución simbólica generalizada, para señalar las mejoras necesarias a la ejecución simbólica para que llegue a ser un enfoque práctico de verificación de programas. El análisis de programas permite determinar niveles de correctitud de software o cumplimiento de los requerimientos de usuario. Existen dos enfoques para la verificación de programas, analítica y dinámica, y en medio de ellas, existe la ejecución simbólica la que estáticamente analiza el código fuente de programas, y dinámicamente simula la ejecución de las instrucciones ejecutables de programas por medio de datos de entrada simbólicos. En este trabajo se describe los conceptos de verificación de programas, la propuesta original de ejecución simbólica junto a sus ventajas y desventajas, y las principales características de ejecución simbólica generalizada. Finalmente, se resumen las principales áreas de investigación que se abren relacionadas con la ejecución simbólica.

In this paper the modular approach of aspect-oriented programming named join point interfaces or JPI for the Java programming language is discussed. Also, the main differences and advantages of JPI over the classical methodology of aspect-oriented programming for Java (AspectJ) are analyzed with the aim of achieving a modular aspect-oriented programming. In addition, an extension of UML class diagram for the structural and conceptual design of JPI applications is proposed. As a study case, a programming example in AspectJ and JPI, along with a UML class diagram model of the study case, using the modeling proposed in this work, is presented. It is concluded that the proposed class diagram UML JPI allows defining an ingenuous class, an essential element for achieving a complete adaptation and transformation of aspect-oriented programming into JPI solutions.

En este trabajo se muestra el enfoque modular de programación orientada a aspectos de interfaces de puntos de unión o JPI para el lenguaje de programación Java, Se analiza también las principales diferencias y ventajas de JPI respecto a la metodología clásica de programación orientada a aspectos para Java (AspectJ) con el fin de obtener una programación orientada a aspectos de tipo modular. Adicionalmente, se propone una extensión del diagrama de clases UML para el diseño estructural y conceptual de aplicaciones JPI. Como ejemplo de aplicación, se presenta y describe un caso de programación en AspectJ y JPI, junto con un modelo de diagramas de clases UML del programa ejemplo, usando la propuesta de modelación de este trabajo. Se concluye que la propuesta de diagramas de clases UML JPI permite la definición de clases ingenuas, un elemento esencial para lograr una completa adaptación y transformación de soluciones de programación orientada a aspectos en soluciones JPI.

This article presents a modeling proposal that associates classes and aspects along with their corresponding join point interfaces JPI, and defines a role for the classes and aspects. This is, a class exhibits JPI interfaces for which defines cut point units for join points instances, whereas aspects implements JPI interfaces. These JPI interfaces, by means of an aspect-oriented programming style permit modularizing crosscutting concerns. Because classes explicitly exhibit JPI interfaces and aspects are not coupled to classes and methods as those recommended for AspectJ. This article proposes an extension for the UML class diagram name UML JPI class diagram with the objective of adapting modeling tools for supporting software that uses aspect-oriented programming with JPI style.

Este trabajo presenta una propuesta de modelación que asocia clases y aspectos con sus interfaces de punto de unión JPI correspondientes, y se define un rol para las clases y los aspectos. Esto es, una clase exhibe interfaces JPI para las cuales define puntos de corte para instancias de puntos de unión, mientras que los aspectos implementan las interfaces JPI. Las interfaces JPI, con un estilo de programación orientada a aspectos permiten modularizar incumbencias cruzadas. Como las clases explícitamente exhiben las interfaces JPI y los aspectos ya no están acoplados a las clases y métodos como los aconsejados en AspectJ. Este trabajo propone una extensión para el diagrama de clases UML denominada diagrama de clases UML JPI con el objetivo de adaptar herramientas de modelación para soportar desarrollo de software con programación orientada a aspectos con estilo JPI.

Abstract The objective of this paper is to review the unified modeling language UML sequence diagrams, presenting STAIRS as an alternative way of formalizing UML interaction diagrams, especially sequence diagrams. STAIRS is a formal language for modeling interactive UML diagrams, especially sequence diagrams. The inherent problems of ambiguity that UML models have, including the production of models that are not necessarily corrected, are analyzed. It is demonstrated that STAIRS contributes to reducing this ambiguity. It is concluded that although there are new approaches for software development, such as aspect-oriented development, UML is capable of adapting to these developments. The review and analysis presented in this article could be especially useful for clarifying these aspects.

Resumen EL objetivo principal de este artículo es revisar los diagramas de secuencia en el lenguaje unificado de modelado UML, presentando STAIRS como una alternativa para formalizar los diagramas de interacción en UML, en especial los diagramas de secuencia. STAIRS es un lenguaje formal para modelar diagramas interactivos de UML, especialmente diagramas de secuencia. Se analizan los problemas intrínsecos de ambigüedad que tiene UML y que producen modelos no necesariamente correctos. Se muestra que STAIRS representa una solución que hace aportes para disminuir dicha ambigüedad. Se concluye que aunque existen nuevos enfoques para el desarrollo de software, como por ejemplo desarrollo orientado a aspectos, UML se adapta a estos nuevos desarrollos. El análisis y revisión presentados en este artículo puede ser de especial ayuda para clarificar estos temas.

This article reviews the basic principles of UML sequence diagram (Unified Modeling Language) to model dynamic behavior of software and describes the steps needed to achieve an aspect-oriented modeling using this tool. This with the object of reaching greater autonomy and cleaning during the modeling and implementation of the main tasks of a software application. For these purposes, the object-oriented software development methodology (OOSD) is described remarking the importance of UML for the modeling of structures and behavior of object-oriented software applications. Furthermore, the main characteristics of the aspect-oriented software development methodology (AOSD) are mentioned, considering AOSD as an extension of OOSD. This makes it necessary for reviewing and adapting UML for the support of aspect-oriented modeling. In this context, a classic case study of the AOSD method is modeled.

Este trabajo revisa los principales elementos de diagrama de secuencia UML (Unified Modeling Language) para modelar el comportamiento dinámico de software y describe los pasos para alcanzar un modelado orientado a aspectos con esta herramienta. Esto con el objetivo de lograr una mayor autonomía y "limpieza" en el modelado e implementación de las tareas principales de una aplicación software. Para estos efectos, se describe la metodología de desarrollo de software orientado a objetos (DSOO) resaltándose la importancia del UML para el modelado de estructuras y comportamiento de aplicaciones software orientadas a objetos. Además, se mencionan las principales características de la metodología de desarrollo de software orientado a aspectos (DSOA) considerando DSOA como una extensión a DSOO. Esto hace necesario revisar y adaptar el UML para el soporte de modelado orientado a aspectos. En este contexto, se modela un caso de estudio clásico del método de DSOA.