Informe Científico de Investigador
URI permanente para esta colección
Examinar
Examinando Informe Científico de Investigador por Autor "Favre, Liliana María"
Mostrando 1 - 4 de 4
Resultados por página
Opciones de ordenación
- Informe de investigador
Acceso Abierto Informe científico de investigador: Favre, Liliana María (2010-2011)(2011) Favre, Liliana MaríaLa investigación en este período se centró, de acuerdo al plan de actividades propuesto, en la definición de procesos rigurosos de evolución de software en desarrollos dirigidos por modelos. Esta investigación se basa en la integración del enfoque MDD (Model Driven Development), técnicas clásicas del área de compiladores y técnicas de verificación basadas en especificaciones algebraicas. Bajo la denominación MDD se define a un amplio rango de desarrollos basados en el uso de modelos como entidades de primera clase. Una realización específica de MDD propuesta por OMG (Object Management Group) es la arquitectura MDA (Model Driven Architecture). MDA propone separar la especificación de la funcionalidad del sistema de su implementación sobre una plataforma en una tecnología específica y controlar la evolución del software desde modelos abstractos a implementaciones tendiendo a aumentar el grado de automatización. Los procesos de desarrollo en MDA distinguen los siguientes modelos: modelo independiente de la computación (Computation Independent Model o CIM), modelo independiente de la plataforma (Platform Independent Model o PIM), modelo específico a la plataforma (Platform Specific Model o PSM) y modelos específicos a la implementación o código. Una de las características esenciales de MDA es que todos los artefactos involucrados en un proceso de desarrollo son representados a partir del lenguaje de metamodelado MOF (Meta Object Facility). MOF es un meta-metamodelo que define una forma común de capturar todas las construcciones de los estándares de modelado e intercambio que son usadas en MDA y es la esencia de MDA al permitir que diferentes tipos de artefactos provenientes de diferentes vendedores sean usados juntos en un mismo proyecto. Otro concepto fundamental en MDA es el de transformaciones entre modelos. El estándar propuesto por OMG para especificar transformaciones es el metamodelo QVT (Query, View, Transformation). Los resultados más relevantes en este período de investigación están vinculados a la definición de procesos de ingeniería inversa para la recuperación, a partir de código orientado a objetos, de modelos PIM y PSM expresados en UML. Específicamente, se definió la recuperación de modelos de clase, modelos de estado, modelos de secuencia, modelos de actividades y modelos de casos de uso. La validación de resultados se realizó bajo el proyecto de código abierto Eclipse dado que algunos de sus subproyectos proporcionan herramientas y entornos de ejecución alineados con estándares de MDA. A fin de controlar la evolución del software en procesos basados en MDA, se definieron técnicas de metamodelado formal, particularmente dentro del marco de la evolución de metamodelos MOF se definió un DSL (Domain Specific Language) para metamodelado formal. Los resultados fueron publicados en un libro, revistas, capítulos de libros y conferencias internacionales. Los resultados logrados podrían incorporar funcionalidad a herramientas CASE MDA existentes, representando una innovación a nivel internacional y nacional. - Informe de investigador
Acceso Abierto Informe científico de investigador: Favre, Liliana María (2012-2013)(2013) Favre, Liliana MaríaGran parte de los sistemas de información vitales en organizaciones de nuestro medio fueron implementados hace varios años con tecnologías que hoy pueden considerarse obsoletas, y no alineadas con los actuales objetivos estratégicos de las organizaciones. Estos sistemas, conocidos como legacy (legados), involucran software, hardware, procesos de negocio y estrategias organizacionales. En general no están documentados o, si lo están, sus especificaciones no reflejan los cambios de requerimientos que se dieron a través de los años englobando sólo el código la historia de su evolución. Además, la entrada en escena de nuevas tecnologías, por ejemplo móviles, motiva la creciente demanda de modernización de sistemas desarrollados más recientemente, por ejemplo, con tecnologías orientadas a objetos. Nuevos enfoques de desarrollo de software dirigidos por modelos enmarcados en lo que se referencia como MDD (Model Driven Development) podrían dar respuesta a esta demanda, sin embargo, no están lo suficientemente difundidos en nuestro medio que en general opta por nuevos desarrollos que no son rentables y conllevan un alto riesgo. El objetivo de esta investigación es definir rigurosas técnicas de modernización de software basadas en la realización de MDD propuesta por OMG (Object Management Group) denominada MDA (Model Driven Architecture) y ADM (Architecture Driven Modernization). Se propone una integración de MDA y ADM con técnicas clásicas de ingeniería inversa y métodos formales que permita controlar la evolución de sistemas legacy hacia nuevas o actuales tecnologías. La idea es potenciar la productividad mediante la definición de las bases para el desarrollo de herramientas que aumenten el grado de automatización en procesos de modernización de software. - Informe de investigador
Acceso Abierto Informe científico de investigador: Favre, Liliana María (2014-2015)(2015) Favre, Liliana MaríaDesempeño tareas de investigación en la Universidad Nacional del Centro de la Provincia de Buenos Aires. Mi cargo actual es Profesora Asociada Exclusiva por concurso y mi categoría en el Programa de Incentivos es 1. Durante los años 2014 y 2015 desempeñé tareas de investigación en el proyecto “Tecnologías de software” acreditado en el Programa de Incentivos a docentes-investigadores e identificado con el código 03/C249. Actualmente dicho proyecto fue acreditado para el período 2016-2017 bajo el código 03/C266. Mis tareas de investigación las desarrollo en la línea “Modernización de Software”. El objetivo de la misma es analizar procesos de modernización de software basados en la integración de desarrollos dirigidos por modelos (MDD- Model Driven Development), técnicas de ingeniería inversa tradicionales de análisis estático y dinámico, y técnicas de verificación basadas en el formalismo algebraico. Se analizan diferentes escenarios de modernización para adaptar software a nuevas tecnologías. Las actividades desarrolladas como Investigadora Adjunta en CICPBA se enmarcaron en el proyecto “Tecnologías de software” de acuerdo al plan propuesto en el informe previo. - Informe de investigador
Acceso Abierto Informe científico de investigador: Favre, Liliana María (2016-2017)(2017) Favre, Liliana MaríaDesempeño tareas de investigación en la Universidad Nacional del Centro de la Provincia de Buenos Aires. Mi cargo actual es Profesora Asociada Exclusiva por concurso y mi categoría en el Programa de Incentivos es 1. Durante los años 2016 y 2017 desempeñé tareas de investigación en el proyecto “Tecnologías de software” acreditado en el Programa de Incentivos a docentes-investigadores e identificado con el código 03/C266. Mis tareas de investigación las desarrollo en la línea “Modernización de Software”. El objetivo de la misma es analizar procesos de modernización de software en el contexto de ingeniería dirigida por modelos (MDE- Model Driven Engineering), técnicas de ingeniería inversa tradicionales de análisis estático y dinámico, y técnicas de metamodelado formal basadas en el formalismo algebraico. Se analizan diferentes escenarios de modernización para adaptar software a nuevas tecnologías. Las actividades desarrolladas como Investigadora Adjunta en CICPBA se enmarcaron en el proyecto “Tecnologías de software” de acuerdo al plan propuesto en el informe previo. Se propone en la sección 22 dar continuidad a la investigación en “Modernización de Software”.