Integración de UML y Lenguajes de Modelado Específicos de Dominio Mediante la Generación Automática de Perfiles UML

Definición de un proceso completo que permita generar las extensiones necesarias, para integrar en UML la precisión semántica requerida por una propuesta MDE específica.Giachetti Herrera, GA. (2008). Integración de UML y Lenguajes de Modelado Específicos de Dominio Mediante la Generación Automática de Perfiles UML. http://hdl.handle.net/10251/12289Archivo delegad

Análisis de herramientas de generación automática de código Android a partir de modelos

Inicialmente solo se desarrollaban aplicaciones con herramientas y lenguajes de bajo nivel, destinadas a un tipo de arquitectura en particular, los cuales requerían de complicadas instrucciones para completar su objetivo. Hace ya varios años se implementaron los lenguajes de alto nivel, permitiéndonos algo más de abstracción en el desarrollo y la consecuente portabilidad de las aplicaciones a través de diferentes sistemas operativos, donde el compilador automáticamente se encargará de la traducción al lenguaje de bajo nivel. En la actualidad, adoptando el concepto de desarrollo dirigido por modelos, se pretende subir la apuesta para ahora abstraernos también del lenguaje de programación, con lo cual se han realizado productos de software, donde a partir del diseño y modelado, se produce la generación automática del código de la aplicación. La tesina se enfoca específicamente en la generación de código para ser ejecutado en el sistema operativo Android. El objetivo de nuestro trabajo consiste en la comparación de las herramientas disponibles, para lo cual se logró identificar las más relevantes (App Inventor, Rational Rhapsody y Acceleo), analizar sus características y presentar ejemplos concretos de aplicación para cada una.Facultad de Informátic

Desarrollo dirigido por modelos de aplicaciones web que integran datos y funcionalidad a partir se servicios web

La capacidad de comunicación e integración que ofrece Internet, está facilitando el establecimiento y automatización de relaciones entre los participantes de los nuevos Modelos de Negocio electrónico. Aunque no existe una clasificación definitiva de éstos, es posible distinguir la integración de datos y funcionalidad como un requisito fundamental para la implementación de los mismos. Algunos de los casos más significativos lo constituyen empresas como Google y Amazon que ofrecen a sus socios sus plataformas tecnológicas a través de interfaces (APIs) basadas en servicios Web. Estas compañías establecen contratos de negocio que brindan la posibilidad de integración de sus plataformas con las aplicaciones Web de los socios. Así, los diversos servicios que ofrecen les están disponibles y establecen con ello una relación que redunda en beneficio mutuo. Tres actores básicos se pueden distinguir para lograr esta integración: los servicios Web, las aplicaciones Web y los procesos Negocio-a-Negocio. Los primeros, al facilitar la producción y consumo de datos y funcionalidad independientemente de la implementación tecnológica de los sistemas; los segundos, al ser el tipo más dominante de aplicación que se ejecuta en Internet; y los terceros, al definir los pasos necesarios para la realización de los diversos procesos del negocio. Desde el punto de vista del modelado conceptual, se encuentran diversas propuestas, la mayoría basadas en modelos UML, para la especificación de estos tres actores. No obstante que en múltiples casos es necesaria su participación mutua, se observa que en muchas de estas propuestas se focalizan en sólo alguno y escasamente se encuentran opciones que los incluyan a los tres. Por ejemplo, desde el punto de vista de la Ingeniería Web, se encuentra un número mínimo de métodos que consideran de manera conjunta en sus propuestas los servicios Web y los procesos Negocio- a-Negocio. La mayoría de los métodos se centran en aplicaciones Web que ofrecen un espacio de navegación sobre grandes colecciones de datos, pero no permiten la integración de datos y funcionalidad de aplicaciones externas, como tampoco la exposición de su funcionalidad para consumo de otras. Por otro lado, desde el punto de los servicios Web, la mayor parte de las aproximaciones considera su especificación sin considerar su inclusión en aplicaciones Web o el papel que juega la interacción humana. La presente tesis ofrece una propuesta para el modelado conceptual de aplicaciones Web que integran datos y funcionalidad a partir de servicios Web, con consideraciones adicionales a los procesos Negocio-a-Negocio. La solución se expone en el contexto del método de Ingeniería Web Object Oriented Web Solutions (OOWS). Este método es la extensión para el modelado conceptual de aplicaciones Web del método clásico OO-Method. En su concepción original, OOWS ha sido diseñado para la consulta y actualización de datos, pero no para la integración de aplicaciones externas. La propuesta de esta tesis incluye un conjunto de adecuaciones y extensiones a sus primitivas conceptuales para la especificación de este tipo de aplicaciones.Quintero Meza, RR. (2008). Desarrollo dirigido por modelos de aplicaciones web que integran datos y funcionalidad a partir se servicios web [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/1988Palanci

Definidor visual bajo Eclipse Europa

El objetivo principal del proyecto es desarrollar una herramienta basada en la norma BPMN para el modelado gráfico de procedimientos de negocio. La implementación de la herramienta se realiza bajo el entorno de desarrollo Eclipse Europa, y la arquitectura dirigida por modelos. Para llevar a cabo el modelado gráfico de los procedimientos de negocio, se dispone de una paleta que contiene todos los elementos a modelar. Desde dicha paleta y mediante la técnica “drag and drop”, se pueden situar dichos elementos en una pizarra, y acceder a la información de los mismos mediante una ventana de propiedades, al hacer clic sobre ellos. La herramienta, ofrece la posibilidad de generar un fichero en formato XML compatible con la norma BPMN, con la información de los elementos modelados.Ingeniería en Informátic

Implementación de un lenguaje de definición de operaciones complejas en Gestión de Modelos para la herramienta MOMENT

La Ingeniería dirigida por Modelos permite incrementar la productividad en el proceso de desarrollo software, obteniendo herramientas más interoperables y sencillas de mantener mediante técnicas que elevan el nivel de abstracción. En esta dirección, ha aparecido la disciplina «Gestión de Modelos», que proporciona un conjunto de operadores genéricos basados en teoría de conjuntos para tratar con modelos. Esta aproximación muestra su potencia en las capacidades de composicionalidad de los operadores que proporciona. La tesis de máster que el alumno presenta, describe cómo se proporciona soporte a la definición de operadores complejos con una herramienta del marco de la Gestión de Modelos (MOMENT) mediante un lenguaje específico de dominio.Gómez Llana, A. (2007). Implementación de un lenguaje de definición de operaciones complejas en Gestión de Modelos para la herramienta MOMENT. http://hdl.handle.net/10251/12522Archivo delegad

Lenguajes formales y derivación automática de código de pruebas a partir de modelos de software con restricciones OCL

Qué testear es un tema siempre vigente. Con tal propósito, y en caso de querer derivar casos de prueba automáticamente desde un modelo de software, no contamos con la precisión necesaria en los mismos para generar los tests acordes a nuestros intereses. Lenguajes formales como OCL permiten enriquecer cualquier modelo mediante información adicional o restricciones sobre sus elementos; entonces, la derivación de código y casos de prueba a partir de un modelo enriquecido con restricciones y especificaciones en este lenguaje permitirá contar con un soporte mucho más robusto de nuestro sistema. Tras el análisis de varias herramientas de generación automática de código a partir de modelos de software, se llegó a la conclusión de que casi ninguna de ellas incluye la traducción de restricciones en el modelo escritas en un lenguaje formal. Es por ello que la tesina consistió en un análisis de varios lenguajes formales de especificación (o modelado), especialmente de los lenguajes UML/OCL y Alloy. A partir de ello se desarrolló una herramienta para Eclipse, que permite, a partir de una especificación de un modelo UML poseyendo restricciones OCL, la generación automática de código Java, incluyendo las clases del modelo junto con sus respectivos Casos de Prueba, regulados por OCL. Paralelamente se genera de forma automática una especificación Alloy que permite el análisis formal estático del modelo.Facultad de Informátic

Lenguajes formales y derivación automática de código de pruebas a partir de modelos de software con restricciones OCL

Qué testear es un tema siempre vigente. Con tal propósito, y en caso de querer derivar casos de prueba automáticamente desde un modelo de software, no contamos con la precisión necesaria en los mismos para generar los tests acordes a nuestros intereses. Lenguajes formales como OCL permiten enriquecer cualquier modelo mediante información adicional o restricciones sobre sus elementos; entonces, la derivación de código y casos de prueba a partir de un modelo enriquecido con restricciones y especificaciones en este lenguaje permitirá contar con un soporte mucho más robusto de nuestro sistema. Tras el análisis de varias herramientas de generación automática de código a partir de modelos de software, se llegó a la conclusión de que casi ninguna de ellas incluye la traducción de restricciones en el modelo escritas en un lenguaje formal. Es por ello que la tesina consistió en un análisis de varios lenguajes formales de especificación (o modelado), especialmente de los lenguajes UML/OCL y Alloy. A partir de ello se desarrolló una herramienta para Eclipse, que permite, a partir de una especificación de un modelo UML poseyendo restricciones OCL, la generación automática de código Java, incluyendo las clases del modelo junto con sus respectivos Casos de Prueba, regulados por OCL. Paralelamente se genera de forma automática una especificación Alloy que permite el análisis formal estático del modelo.Facultad de Informátic

Lenguajes formales y derivación automática de código de pruebas a partir de modelos de software con restricciones OCL

Qué testear es un tema siempre vigente. Con tal propósito, y en caso de querer derivar casos de prueba automáticamente desde un modelo de software, no contamos con la precisión necesaria en los mismos para generar los tests acordes a nuestros intereses. Lenguajes formales como OCL permiten enriquecer cualquier modelo mediante información adicional o restricciones sobre sus elementos; entonces, la derivación de código y casos de prueba a partir de un modelo enriquecido con restricciones y especificaciones en este lenguaje permitirá contar con un soporte mucho más robusto de nuestro sistema. Tras el análisis de varias herramientas de generación automática de código a partir de modelos de software, se llegó a la conclusión de que casi ninguna de ellas incluye la traducción de restricciones en el modelo escritas en un lenguaje formal. Es por ello que la tesina consistió en un análisis de varios lenguajes formales de especificación (o modelado), especialmente de los lenguajes UML/OCL y Alloy. A partir de ello se desarrolló una herramienta para Eclipse, que permite, a partir de una especificación de un modelo UML poseyendo restricciones OCL, la generación automática de código Java, incluyendo las clases del modelo junto con sus respectivos Casos de Prueba, regulados por OCL. Paralelamente se genera de forma automática una especificación Alloy que permite el análisis formal estático del modelo.Facultad de Informátic

Extracción de información de documentos de negocio escritos en lenguaje natural en idioma español y su representación en un modelo conceptual

Desde estilos descritos, este trabajo adopta PoS Tagging como método extractor y modelo UML que represente el saber, planteando que aplicar técnicas de PLN a documentos de negocio escritos en español permite extraer información y generar un modelo conceptual de manera rápida en el proceso manual realizado por un ingeniero. Propone un método para extraer información desde documentos de negocio escritos en idioma español y generar un modelo conceptual a partir de la noción en dichos escritos, adaptando herramientas para realizar el pre-procesamiento de documentos de negocio y extraer elementos del texto, definir reglas de mapeo entre elementos identificados y elementos de un modelo conceptual, desarrollar una herramienta para transformar los elementos extraídos en modelo conceptual y evaluar el método de extracción propuesto aplicándolo a documentos de negocio de una organización para identificar tiempo de procesamiento y nivel de interpretación de la información.Magíster en Ingeniería de SoftwareMaestrí

Formalización de refactorings en el contexto de MDA

El objetivo principal de esta tesis es presentar una técnica de especificación de refactorings alineados con MDA aplicables a sus diferentes tipos de modelos de diseño UML, es decir, a modelos independientes de la computación, modelos dependientes de una plataforma y modelos dependientes de la implementación. En particular, en este trabajo, se muestra la técnica de especificación de refactorings aplicados a modelos de diagramas de clases UML enriquecidos con anotaciones OCL en los distintos niveles de abstracción. Los refactorings se especifican como contratos OCL utilizando la técnica de metamodelado. Los metamodelos son expresados usando Meta Object Facility (MOF). Asimismo, en esta tesis, se analiza la integración de la especificación de los refactorings con técnicas formales. Se detalla la traducción de los contratos OCL de refactorings y los metamodelos MOF al lenguaje de especificación formal NEREUS.Facultad de Informátic