Caso de estudio: servicio de migración automática. Cobol (sic)-Java JEE

El objetivo principal de este trabajo es proponer una solución conceptual al problema de los sistemas heredados en un marco arquitectónico. Se pretende estructurar un modelo de referencia para nuevos proyectos de modernización de sistemas heredados, lejos de soluciones poco eficientes. En este trabajo se ha comprobado de forma práctica y detallada la solución aplicada a un caso real, mediante un caso de estudio de modernización de un sistema heredado en un entorno empresaria

Proposal of a referential Enterprise Architecture management framework for companies

(Received: 2014/11/26 - Accepted: 2014/12/17)Enterprise Architecture (EA) is conceived nowadays as an essential management activity to visualize and evaluate the future direction of a company. The objective of this paper is to make a literature review on EA to evaluate its role as management tool. It is also explained how EA can fulfill two fundamental purposes, first as a tool for assessing the current situation (self-assessment) of an organization; second as a tool to model and simulate future scenarios that allow better decision making for the restructuration and development of improvement plans. Furthermore an analysis is made of the integration possibilities of EA with other business management methodologies, as balanced score card (BSC) and the model of the European Foundation for Quality Management (EFQM). As the result a management framework is presented, which includes the required elements to achieve excellence and quality standards in organizations

Una propuesta basada en el paradigma dirigido por modelos para la extracción de procesos del software desde sistemas heredados utilizando la perspectiva temporal

Falta palabras claveBusiness Process Management (BPM) es un factor estratégico en el sector de las tecnologías de la información (TI), así como en otros sectores productivos. Las TI utilizan sistemas heredados (legacy systems) para gestionar su negocio, donde sus bases de datos (legacy databases) almacenan estados históricos de la ejecución de todo tipo de procesos, razón por la cual pueden considerarse como una fuente para extraer perspectivas o dimensiones de estos procesos: i) el tiempo, ii) los recursos, iii) la información y iv) los casos. Algunos estándares para representar procesos del software como UML AD, BPMN, SPEM e Iso/Iec 24744 están sustentados por robustos Meta-modelos. El paradigma Model Driven Engineering (MDE) es cada vez más aceptado al ofrecer modelos y Meta-modelos de diversos niveles de abstracción así como mecanismos para realizar transformaciones entre ellos. MDE puede emplearse para tanto para extraer modelos mediante ingeniería inversa como para generar modelos desde una especificación de alto nivel. Esta tesis define una propuesta general basada en MDE para hacer ingeniería inversa de legacy databases extrayendo la perspectiva temporal de procesos de TI. Se ha analizado la definición de dimensiones BPM sobre distintas categorías de legacy systems de uso frecuente en TI, concluyendo que casi toda TI organiza su actividad bajo proyectos que tiene que planificar y controlar. Un estudio sistemático de la literatura realizado sobre la especificación de la dimensión temporal de los procesos nos ha llevado a aportar una taxonomía de reglas que cubre la tipología que aparecen en las TI y también en otros sectores. Esta taxonomía nos ha permitido evaluar carencias de lenguajes de procesos de uso frecuentemente en TI y proponer Meta-modelos UML y OCL que permiten formalizar dichas reglas para resolver estas debilidades, además de facilitar la extracción de procesos desde legacy databases. MS Project (como legacy system) y BPMN (como estándar de modelación e intercambio de procesos serializados) son usados frecuentemente en el sector TI, razón por la que consideramos estos sistemas como piloto de la solución. La arquitectura general se especializa con este caso piloto, definiendo: i) un Meta-modelo de tareas para MS Project, ii) la extensión del Meta-modelo de BPMN con la dimensión temporal y iii) transformaciones MDE que extraen automáticamente procesos BPMN desde proyectos definidos en MS Project. La solución se ha contrastado en el proyecto de transferencia tecnológica AQUA-WS entre el grupo PAIDI TIC021 IWT2 y EMASESA, verificando la utilidad de los resultados obtenidos, que podrían extrapolarse a otros casos y sectores productivos. Por otro lado, como trabajo futuro, se podría: i) incorporar otras perspectivas BPM como: recursos y casos; ii) generar log de eventos para utilizarse en el campo de la minería de procesos

Un marco para la definición y transformación de modelos en los sistemas multiagentes

El Desarrollo del Software Dirigido por Modelos (DSDM) es un paradigma de desarrollo en el que los modelos son el producto principal, y a partir de ellos se generan los sistemas de forma automática, total o parcialmente. Del tratamiento de los modelos, surge la necesidad de denirlos y transformarlos, que se aborda respectivamente con la denición de metamodelos y transformaciones. Uno de los principales beneciarios del DSDM es la Ingeniería del Software Orientada a Agentes (ISOA). En ésta, se construyen Sistemas Multi-agente (SMAs), que son sistemas distribuidos compuestos por agentes autónomos que interactúan dando lugar a comportamientos complejos. Si bien algunas caracter ísticas del DSDM se han incorporado plenamente en la ISOA como prácticas habituales, todavía dos factores dicultan su implantación completa. En primer lugar, la denición de metamodelos depende de la experiencia del diseñador y no existen guías que faciliten esta labor. Por otro lado, las herramientas y lenguajes existentes no permiten denir transformaciones de modelos con un esfuerzo razonable. Por ello, esta tesis propone una guía para denir metamodelos y un procedimiento para generar Transformaciones. La guía incluye un armazón para estructurar los metamodelos, recomendaciones para las decisiones principales, y una secuencia de pasos para denir los metamodelos. El armazón se estructura en tres capas que contienen respectivamente la información del lenguaje de modelado, los aspectos de presentación de los modelos y la información especíca de las herramientas. En la capa del lenguaje de modelado, se proponen ciertas representaciones de los elementos y se dan las pautas para asociar cada elemento con la representación más apropiada. Para esto se debe elegir entre una representación heterogénea, que minimiza el número de elementos de meta-modelado necesarios para representar los elementos del modelo, o una representación homogénea, con más elementos de meta-modelado pero más fácil de procesar automáticamente. También se debe elegir entre una representación redundante o no redundante de las referencias entre los elementos, dependiendo del nivel de navegabilidad que se desee, ya que dichas referencias son dirigidas. En los aspectos de presentación, se propone usar vistas que hagan referencia a diccionarios globales, facilitando el procesamiento de los modelos y evitando inconsistencias. En la tercera capa, se considera la información especíca de las herramientas, que no se había considerado en aproximaciones anteriores. Como marco de experimentación, con esta guía se ha denido el metamodelo de la herramienta INGENIAS Development Kit (IDK) con el lenguaje ECore, permitiendo incorporar las facilidades tecnológicas de la comunidad Eclipse en dicha herramienta. Además, se ha denido un metamodelo para la generación de un editor de procesos de ISOA, basado en el Software Process Engineering Metamodel (SPEM) del Object Management Group (OMG). En esta tesis, se considera la aproximación conocida como Generación de Transformaciones Basadas en Ejemplo (GTBE), donde se generan transformaciones a partir de parejas de modelos prototipo origen y destino. De esta forma, se evita que el diseñador tenga que conocer los lenguajes de transformación y tratar con detalles de bajo nivel de la especi�cación de los modelos, tales como las primitivas de meta-modelado involucradas en cada elemento del modelo. Las transformaciones generadas transforman los modelos que encajan en los modelos prototipo origen en los nuevos modelos que encajen en los modelos prototipo destino. Es habitual que exista un mecanismo de asociación de atributos para referenciar los modelos prototipo origen desde los modelos prototipo destino, indicando así la forma de transferir la información en las transformaciones generadas. En esta línea, esta tesis presenta un nuevo algoritmo y herramienta para la GTBE, que mejora a los trabajos existentes en varios aspectos. En primer lugar, se permite realizar el mecanismo de asociación de atributos desde varios elementos de cada modelo prototipo origen, mientras que las aproximaciones existentes sólo permiten esta asociación desde un elemento de cada modelo prototipo. Este avance permite combinar información de los atributos de diferentes elementos. Además, el algoritmo permite trabajar con grafos no conexos en los modelos prototipo origen y destino, característica no presente en los trabajos anteriores. Como experimentación, se han generado transformaciones con utilidad práctica en ciertos desarrollos de SMAs. En los ejemplos propuestos, se observa como ciertas transformaciones no podrían haber sido generadas por otras herramientas de GTBE. [ABSTRACT] The Model Driven Development (MDD) is a paradigm of development in which models are the main product and systems are totally or partially generated from these models. When processing models, it is necessary to de�ne and transform them, which is accomplished with the de�nition of metamodels and transformations respectively. One of the �elds that is most bene�tted from MDD is the Agent Oriented Software Engineering (AOSE). AOSE is concerned with the development of Multi-agent Systems (MASs), which are distributed systems made of autonomous agents that interact with each other producing emergent behaviors. Although some aspects of MDD are considered in AOSE, there are still two facts that prevent AOSE from fully incorporating MDD. First, the deinition of metamodels depends on the expertise of designers, and there are not guidelines that facilitate this task. Second, existent tools and languages do not allow practitioners to de�ne model transformations with a moderate effort. Thus, this thesis proposes a guideline for defining metamodels and a mechanism for generating transformations. The guideline includes a framework for structuring metamodels, recommendations for taking the main decisions, and a sequence of activities for defining metamodels. The framework is structured in three layers that respectively contain the information of a modeling language, the aspects for presenting its models, and the tool-specific information. In the modeling language layer, several representations of elements are proposed, and the guideline indicates the manner in which each element can be associated with the most appropriate representations. In this guideline, practitioners decide between a heterogenous representation, which minimizes the number of meta-modeling elements required to represent the modeling elements, and a homogenous representation, which uses more meta-modeling elements but is easier to be automatically processed. The guideline also includes the choice between a redundant and a non-redundant representation, regarding the degree of navigability that is desired. It is worth noticing that references between elements are directed, so the e�ective processing of certain operations over relationships requires redundant inverse references. Regarding the aspects for presenting models, the guideline proposes to use views that make references to global dictionaries, facilitating the processing of models and avoiding inconsistencies. The third layer considers the tool-speci�c information, which is not considered in the existent approaches. For experimentation, the metamodel of the INGENIAS Development Kit (IDK) has been de�ned following the guideline using the ECore language, allowing the incorporation of the technological facilities of the Eclipse community in the IDK. Furthermore, a metamodel is de�ned for the generation of an editor of processes in AOSE based on the Software Process Engineering Metamodel (SPEM) of the Object Management Group (OMG). The second issue considered in this thesis is the di�culties for a cost-efective de�nition of model transformations. For this problem, this research considers the approach known as Model Transformation By-Example (MTBE), which generates transformations from pairs of source and target model prototypes, avoiding that designers have to learn transformation languages and deal with low-level details of the metamodels of the involved modeling languages. The generated transformations transform models that match source prototype models into the new models that �t the target prototype models. These approaches usually include a mechanism for the mapping of attributes that refer to source prototype models from elements in the target prototype models, indicating the way of transferring information in the generated transformations. In this line of research, this thesis presents a new algorithm and tool for MTBE, which overcome some limitations of the existent approaches. First, the presented approach provides a mechanism for mapping attributes from several elements of each source prototype model, while existent approaches only provide this mapping from one element of each source prototype model. This improvement allows one to combine information from the attributes of diferent elements. Moreover, the presented algorithm can process non-connected graphs in the source and target model prototypes, which is not possible in other approaches. For experimentation, the tool has generated transformations with practical utility in certain MAS developments. In the proposed examples, one can observe that certain transformations cannot be generated by other MTBE tools

Un lenguaje de dominio específico para mutación de modelos

Tesis doctoral inédita leída en la Universidad Autónoma de Madrid, Escuela Politécnica Superior, Departamento de Ingeniería Informática. Fecha de lectura: 14-07-2020Las técnicas de mutación de software se utilizan en campos diversos como las pruebas de mutación, la pruebas de programas, la prueba de fórmulas lógicas, los algoritmos genéticos y la generación automática de ejercicios. Las soluciones existentes suelen utilizar un enfoque a medida, construyendo desde cero una solución específica para el problema que pretenden abordar. Este enfoque conlleva un esfuerzo elevado de implementación para cada caso, es propenso a errores, supone un alto coste de mantenimiento, y tiene como resultado la creación de numerosas soluciones cada una de las cuáles sólo resuelve un problema en concreto. Con el objetivo de proporcionar un enfoque genérico que ayude a superar estos inconvenientes, esta tesis presenta un lenguaje de dominio específico para mutación de modelos llamado Wodel, y su entorno de desarrollo. Wodel es independiente del dominio y puede utilizarse con cualquier lenguaje definido por medio de un meta-modelo. Incluye primitivas de mutación para creación, modificación, borrado, retipado y clonado de objetos, y para creación, modificación y borrado de referencias. Wodel proporciona facilidades de soporte al proceso de mutación, como la validación de los mutantes, un registro de las mutaciones aplicadas y la detección de mutantes equivalentes. También da soporte a la ingeniería de operadores de mutación mediante la generación de métricas de mutación y la síntesis automática de modelos semilla que aseguran la cobertura de todas las instrucciones de un programa Wodel, facilitando de este modo su prueba y validación. Además, Wodel es extensible y permite aprovechar sus funcionalidades para la mutación de modelos en aplicaciones de post-procesado. Para ilustrar dicha extensibilidad, esta tesis presenta dos de estas extensiones a Wodel: una para la generación automática de ejercicios de auto-evaluación para estudiantes, a la que se ha llamado Wodel-Edu; y otra para facilitar la creación de herramientas de pruebas de mutación para lenguajes de programación o de modelado, a la que se ha llamado Wodel-TestSoftware mutation techniques are used in different fields such as mutation testing, software testing, logic formulas testing, genetic algorithms and the automated generation of exercises. The existing solutions are usually ad-hoc, creating from scratch a specific solution for the faced problem. This approach involves a high implementation effort, it is error-prone, entails a high maintenance cost, and results in a variety of solutions each of which only solves a particular problem. With the purpose of providing a generic approach that alleviates these inconveniences, this thesis introduces a domain-specific language for model mutation called Wodel, and its development environment. Wodel is domain independent and can be used with any arbitrary language defined by a meta-model. It includes mutation primitives to create, modify, delete, retype and clone objects, and to create, modify and delete references. Wodel provides facilities to simplify the mutation process, such as model validation, a registry of the applied mutations and the detection of equivalent mutants. It also supports the engineering of mutation operators by the generation of metrics of the mutation programs and the automated synthesis of seed models which ensure full coverage of the statements in a Wodel program, hence easing its testing and validation. Additionally, Wodel is extensible and permits taking advantage of all its model mutation functionalities in post-processing applications. To illustrate this extensibility capability, this thesis reports on two of these extensions to Wodel: the first one targeted to the automated generation of self-assessment exercises for students, called Wodel-Edu; and the second one targeted to ease the creation of mutation testing tools for programming or modelling languages, called Wodel-Tes

XXI Workshop de Investigadores en Ciencias de la Computación - WICC 2019: libro de actas

Trabajos presentados en el XXI Workshop de Investigadores en Ciencias de la Computación (WICC), celebrado en la provincia de San Juan los días 25 y 26 de abril 2019, organizado por la Red de Universidades con Carreras en Informática (RedUNCI) y la Facultad de Ciencias Exactas, Físicas y Naturales de la Universidad Nacional de San Juan.Red de Universidades con Carreras en Informátic

XXI Workshop de Investigadores en Ciencias de la Computación - WICC 2019: libro de actas

Trabajos presentados en el XXI Workshop de Investigadores en Ciencias de la Computación (WICC), celebrado en la provincia de San Juan los días 25 y 26 de abril 2019, organizado por la Red de Universidades con Carreras en Informática (RedUNCI) y la Facultad de Ciencias Exactas, Físicas y Naturales de la Universidad Nacional de San Juan.Red de Universidades con Carreras en Informátic

The Politics of Political Science: Re-Inscribing Latin American Experiences

Latin America has traditionally been both a politically lively space with strong left-wing forces and a privileged site for radical thinking. Indeed, during the 1950s and 1960s, Marxism was very influential in the social sciences. In the 1980s and 1990s, this situation changed dramatically and liberalism became dominant. The prevailing narrative within the academic discipline of Political Science (PS) today describes this shift as a process of modernization and improvement since social scientists would have moved from activism to serious science, rightly embracing the notion of academic neutrality. This thesis focuses on the trajectory of PS in Uruguay and Chile, and attempts an alternative interpretation of this process, telling the story of these changes in a different way. The core argument is that changes in PS as an academic discipline in the region are a product of power relations and contextual transformations at different levels. The rise of the United States, the collapse of the Soviet Union and its effects, the traumatizing dictatorships of the 1970s, the experience of the democratic transitions, the hegemony of the neoliberal discourse as well as internal disciplinary dynamics of conflict and institution-building had a huge impact on PS reality (its discourse and people). PS is a human activity that affects and is affected by others: the political nature of the discipline is also constituted by its inevitable involvement in broader power dynamics. Indeed, this thesis unpacks PS role in the (neo) liberal formation of the 1980s and 1990s in Latin America. By exploring the Politics of Political Science (PPS) in this way, we will deepen our knowledge of the politics of our times. The research employs multiple methods, including the systematic analysis of 1194 articles published in the leading PS journals of the countries under study, 58 semi-structured interviews, an auto-ethnographic narrative, as well as other complementary strategies.Latin America has traditionally been both a politically lively space with strong left-wing forces and a privileged site for radical thinking. Indeed, during the 1950s and 1960s, Marxism was very influential in the social sciences. In the 1980s and 1990s, this situation changed dramatically and liberalism became dominant. The prevailing narrative within the academic discipline of Political Science (PS) today describes this shift as a process of modernization and improvement since social scientists would have moved from activism to serious science, rightly embracing the notion of academic neutrality. This thesis focuses on the trajectory of PS in Uruguay and Chile, and attempts an alternative interpretation of this process, telling the story of these changes in a different way. The core argument is that changes in PS as an academic discipline in the region are a product of power relations and contextual transformations at different levels. The rise of the United States, the collapse of the Soviet Union and its effects, the traumatizing dictatorships of the 1970s, the experience of the democratic transitions, the hegemony of the neoliberal discourse as well as internal disciplinary dynamics of conflict and institution-building had a huge impact on PS reality (its discourse and people). PS is a human activity that affects and is affected by others: the political nature of the discipline is also constituted by its inevitable involvement in broader power dynamics. Indeed, this thesis unpacks PS role in the (neo) liberal formation of the 1980s and 1990s in Latin America. By exploring the Politics of Political Science (PPS) in this way, we will deepen our knowledge of the politics of our times. The research employs multiple methods, including the systematic analysis of 1194 articles published in the leading PS journals of the countries under study, 58 semi-structured interviews, an auto-ethnographic narrative, as well as other complementary strategies

Creando la "ciudad simbiótica": una propuesta para el diseño participativo interdisciplinar y la construcción colaborativa de sistemas de software cívico

La idea de que Internet podría utilizarse para mejorar el funcionamiento democrático de nuestros sistemas políticos es tan antigua como la propia Internet. La realización de este anhelo se ha visto limitada, sin embargo, tanto por problemas técnicos como por la falta de voluntad política y permanece hoy en día en un estado apenas embrionario. La investigación académica, por su parte, ha tendido a alinearse con la agenda de los actores gubernamentales y ha promovido y estudiado experiencias de participación administrativa con un potencial transformador y esclarecedor muy limitado. Esta tesis doctoral lleva a cabo, en primer lugar, un análisis crítico de los principales avances conceptuales, metodológicos y técnicos promovidos desde los campos de la participación ciudadana y la democracia digital. Combinando "trans-disciplinariamente" enfoques provenientes de la Ingeniería de Sistemas, la Sociología Política y la investigación etnográfica se llevaron a cabo una serie de trabajos de campo y de experimentos aplicados que han fundamentado el desarrollo de modelos conceptuales con capacidad para englobar las formas más emancipadas de participación digital. Sobre esa base teórica y conceptual, la tesis plantea un marco de referencia para orientar los procesos de diseño y construcción colaborativos de plataformas de Software Cívico que se atiendan las necesidades de los actores sociales afectados. Siguiendo esta metodología se realizarán en un futuro una serie investigaciones aplicadas de alto impacto y con un gran potencial para vincular sinérgicamente la investigación académica con su aplicación al entorno social