Usando ATL en la transformación de modelos multidimensionales temporales

Model-Driven Architecture (MDA) is a widely accepted approach to the complex software systems design. MDA\nproposes the use of models in every software development phase, from specification and analysis to implementation.\nModel transformation is the foundation of MDA, starting from a platform independent model, the aim is to achieve\nmore specific models, in each step. According to this philosophy we present a temporal multidimensional design\nmethodology which allows us to define concepts independently of any implementation issue. In the present work our\naim is using ATL (Atlas Trasformation Language) to define both the metamodel and the transformation rules for\nproviding a framework to derive a relational logical schema from an abstract temporal data model. Additionally we\nare designing an Eclipse plug-in for implementing the transformation.Model-Driven Architecture (MDA) es un enfoque ampliamente aceptado para el desarrollo de sistemas de software complejos. MDA propone el uso de modelos en todas las fases de desarrollo, desde la especificación y análisis hasta la implementación. La transformación de modelos es la base de MDA; comenzando por un modelo independiente de la plataforma el objetivo es lograr, en cada paso, modelos más específicos. Adhiriendo a esta filosofía, presentamos una metodología para el diseño de un datawarehouse temporal que permite definir los conceptos independientemente de la implementación. En el presente trabajo, nuestro propósito consiste en la definición de metamodelos y reglas de transformación usando ATL (Atlas Trasformation Language) que provean un marco para la derivación de un esquema lógico relacional a partir de un modelo de datos conceptual temporal. Además, estamos diseñando un plug-in en Eclipse para implementar dicha transformación.IV Workshop de Ingeniería de Software y Base de Dato

Migración de software C/C++ a plataformas móviles a partir de MDD (Model Driven Development)

Actualmente los dispositivos móviles acompañan a los usuarios en todo momento y lugar, y se prevé que serán el principal medio de acceso a Internet en los próximos años, sin embargo, el desarrollo de aplicaciones de software móviles no está lo su cientemente maduro. La proliferación de diferentes plataformas móviles ha forzado a los desarrolladores a de nir enfoques que permitan simpli car el desarrollo de aplicaciones . Los autores remarcan que dos de los principales desafíos de la ingeniería de software de aplicaciones móviles son por un lado, la creación de interfaces de usuario que abarquen diferentes clases de dispositivos móviles y por otro, brindar aplicaciones reutilizables en múltiples plataformas. Desarrollar una aplicación de software para un dispositivo móvil implica adoptar y entender las características de estos dispositivos y sus restricciones. Si bien éstos cuentan con características avanzadas también se presentan importantes restricciones. Por ejemplo, incorporan interfaces de entrada más intuitivas, usualmente, pantallas táctiles, bases de datos integradas, soporte multimedia y mecanismos de comunicación y geolocalización. También se presentan importantes restricciones en cuanto al tamaño de la pantalla disponible, capacidad de procesamiento, la utilización de memoria primaria y las bibliotecas de desarrollo disponibles .Ingeniero en Sistema

Generación de código de control de acceso orientado a aspectos: un enfoque por metamodelos

Presentamos una transformación basada en metamodelos desde SecureUML, un lenguaje de control de acceso a usuarios según rol, a un lenguaje de aspectos abstracto donde la política de seguridad se entiende como una instancia del metamodelo de SecureUML, y el aspecto generado se entiende como una instancia del metamodelo de aspectos. El metamodelo combinado de SecureUML y de aspectos se usa para garantizar que el aspecto generado es consistente con la política de seguridad dada. La validación de la transformación se efectúa evaluando los invariantes de los metamodelos implicados. Hemos prototipado el enfoque como aplicación Java sobre ITP/OCL, un evaluador basado en reescritura. Retorna código validado de AspectJ desde una política de seguridad en SecureUML. [ABSTRACT] We present a metamodel-based transformation from SecureUML, a rolebased access control language, to an abstract aspect language where a security policy is understood as an instance of SecureUML’s metamodel and the generated aspect is understood as an instance of the aspects’ metamodel. The merged metamodel of SecureUML and aspects is used to guarantee that the generated aspect is consistent with the given security policy. The validation of the transformation is done by evaluating the invariants on all involved metamodels. We have prototyped our approach as a Java application on top of ITP/ OCL, a rewriting-based OCL evaluator. It outputs validated AspectJ code from a SecureUML policy

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

Derivación de código a partir de un lenguaje específico de dominio para sistemas colaborativos

Este trabajo busca la generación de código a partir de un lenguaje específico de dominio para sistemas colaborativos llamado CSSL. Por un lado se trata de entender qué artefactos es posible generar a partir de un modelo CSSL, por otro lado se debe decidir una metodología para la generación de código, lo que incluye el análisis de múltiples herramientas. Eso requiere investigación en dos asuntos diferentes, el modelado específico de dominio y los sistemas colaborativos. El modelado específico de dominio DSM (Domain-Specific Modeling en inglés) es una metodología de la ingeniería de software cuyo propósito es crear modelos para un dominio, utilizando un lenguaje enfocado y especializado para el mismo. Los problemas del desarrollo de software (productividad, calidad, mantenimiento y documentación, etc) son enfrentados por esta metodología, que a través del aumento de nivel de abstracción intenta producir mejoras en los aspectos mencionados anteriormente. Por otro lado, los sistemas colaborativos son sistemas basados en computadoras que ayudan a un grupo de personas comprometidas en una tarea u objetivo en común, y que proveen una interfaz a un ambiente compartido. Existen características de estos sistemas que pueden ser modeladas a través de un lenguaje específico de dominio, llamado CSSL. Finalmente, en este trabajo se generan un conjunto de clases Java a partir de un modelo CSSL, con el intento de mostrar como la generación automática de código puede ayudar al desarrollo de aplicaciones colaborativas.Facultad de Informátic