923 research outputs found
Solving the flowgraphs case with eclectic
This is an electronic version of the paper presented at the 6th Transformation Tools Contest, held in Budapest on 2013This paper presents a solution for the Flow Graphs case of the Transformation Tool Contest 2013,
using the Eclectic model transformation tool. The solution makes use of several languages of Eclectic,
showing how it is possible to combine them to address a non-trivial transformation problem in a
concise and modulary wa
Transformación de modelos con Eclectic
Versión electrónica de la ponencia presentada en la XVII Jornadas de Ingeniería del Software y de Bases de Datos (JISBD’2012), celebrada en 2012 en AlmeríaLas transformaciones de modelos son un elemento clave del
Desarrollo de Software Dirigido por Modelos. En los últimos años se han
propuesto varios lenguajes de transformación de diferente naturaleza,
siendo cada uno de ellos adecuado para un determinado tipo de tarea de
transformación. Sin embargo, una transformación compleja normalmente
implica abordar una serie de sub-problemas que corresponden a diferentes
estilos de transformación , y por tanto no toda la transformación
puede desarrollarse de forma natural en el lenguaje elegido.
En esta demostración se presentará el entorno de transformación de
modelos Eclectic, que trata de abordar el desarrollo de transformaciones
de modelos ofreciendo una familia de lenguajes de transformación. Cada
lenguaje tiene como objetivo abordar un determinado tipo de transformaciones,
y está específicamente diseñado para ello. La demostración se
ilustrar´a con un ejemplo de aplicación que utiliza diferentes lenguajes, se
mostrar´a el entorno de desarrollo y se comentarán características de la
aproximación tales como interoperabilidad entre lenguajes e integración
con programas Java.Este trabajo ha sido financiado por el Ministerio de Educación y Ciencia (TIN2011-24139) y la Comunidad de Madrid (S2009/TIC-1650)
Recursion and Iteration Support in USE Validator with AnATLyzer
Also published online by CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) Model finders enable numerous verification approaches based
on searching the existence of models satisfying certain properties of interest.
One of such approaches is anATLyzer, a static analysis tool for ATL
transformations, which relies on USE Validator to provide fine grained
analysis based on finding witness models that satisfy the OCL path conditions
associated to particular errors. However it is limited by the fact
that USE Validator does not include built-in support for analysing recursive
operations and the iterate collection operator.
This paper reports our approach to allow USE Validator to analyse OCL
path conditions containing recursive operations and iterate, with the aim
of widening the amount of actual transformations that can be processed
by anATLyzer. We present our approach, based on unfolding recursion
into a finite number of steps, and we discuss how to take into account
practical aspects such as inheritance and details about the implementation.This work has been supported by the Spanish MINECO (TIN2011-24139 and TIN2014-52129-R), the R&D programme of the Madrid Region (S2013/ICE-3006), and the EU commission (FP7-ICT-2013-10, #611125)
Reusable model transformation components with bentō
The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-21155-8_5Building high-quality transformations that can be used in real projects is complex and time-consuming. For this reason, the ability to reuse existing transformations in different, unforeseen scenarios is very valuable. However, there is scarce tool support for this task. This paper presents bentō, a tool which supports the development and execution of reusable transformation components. In bentō, a reusable transformation is written as a regular ATL transformation, but it uses concepts as meta-models. Reuse is achieved by binding such concepts to meta-models, which induces the transformation adaptation. Moreover, composite components enable chaining transformations, and it is possible to convert an existing transformation into a reusable component. Bentō is implemented as an Eclipse plug-in, available as free software.This work was supported by the Spanish Ministry of Economy and Competitivity with project Go-Lite (TIN2011-24139), the R&D programme of the Madrid Region with project (SICOMORO S2013/ICE-3006), and the EU commission with project MONDO (FP7-ICT 2013-10, #611125)
Presentación
Presentación del monográfico "Lo fantástico en la nueva edad de oro de la televisión (1999-2015)"
Now salutary, now deletereus. Some Almeria hygienists proposals of the late nineteenth century on the impact of environment on the health of the population
Open meta-modelling frameworks via meta-object protocols
Meta-modelling is central to Model-Driven Engineering. Many meta-modelling notations, approaches and tools have been proposed along the years, which widely vary regarding their supported modelling features. However, current approaches tend to be closed and rigid with respect to the supported concepts and semantics. Moreover, extending the environment with features beyond those natively supported requires highly technical knowledge. This situation hampers flexibility and interoperability of meta-modelling environments.
In order to alleviate this situation, we propose open meta-modelling frameworks, which can be extended and configured via meta-object protocols (MOPs). Such environments offer extension points on events like element instantiation, model loading or property access, and enable selecting particular model elements over which the extensions are to be executed. We show how MOP-based mechanisms permit extending meta-modelling frameworks in a flexible way, and allow describing a wide range of meta-modelling concepts. As a proof of concept, we show and compare an implementation in the MetaDepth tool and an aspect-based implementation atop the Eclipse Modelling Framework (EMF). We have evaluated our approach by extending EMF and MetaDepth with modelling services not foreseen initially when they were created. The evaluation shows that MOP-based mechanisms permit extending meta-modelling frameworks in a flexible way, and are powerful enough to support the specification of a broad variety of meta-modelling featuresWork partially funded by projects RECOM and FLEXOR (Spanish MINECO,TIN2015-73968-JIN (AEI/FEDER/UE) and TIN2014-52129-R) and the R&D programme of the Madrid Region (S2013/ICE-3006
La productividad y competitividad en los servicios españoles : ¿cómo ha afectado la reciente crisis económico-financiera?
Este trabajo, ya revisado, será próximamente publicado por la revista ‘Ekonomiaz’El análisis de la productividad en las actividades de servicios ha sido objeto de un interesante y creciente debate a escala internacional. Por otra parte, la productividad ocupa, desde principios de los noventa, una posición central en el estudio de la competitividad internacional de las economías. Este trabajo analiza, precisamente, las relaciones que existen entre la competitividad internacional, la productividad y los costes laborales en el sector servicios de la economía española. El ejercicio que se toma como punto de partida es 1995 y el análisis abarca hasta la actualidad, lo que permite examinar el impacto que ha tenido la crisis económica en dichas variables, con un enfoque desagregado del sector servicios. Los resultados que se obtienen son relevantes, particularmente porque en algunas de las actividades de servicios se evidencia que los factores no relacionados directamente con los costes y los precios tienen un papel muy significativo. Esto permite distanciarse – al menos parcialmente - de las teorías convencionales sobre comercio internacionalSince the 90s, productivity has become a key factor in the analysis of the international competitiveness. On the other hand, the measurement and analysis of the productivity within the service sector and their heterogeneous activities has been object of an interesting and wide international debate in recent years. This paper analyses the relationship between competitiveness, productivity and labor costs in the Spanish service industries from 1995 onwards. The two main value added of this paper to the existing literature are the disaggregated analysis within services and the focus on the disparities caused by the economic crisis. The main results suggest that non cost related factors have a key role to explain the competitiveness of some service industries, partially refuting some conventional theories on international trad
Acceso a aplicaciones desde dispositivos móviles mediante servicios Web en función del posicionamiento geográfico
La idea principal de este proyecto es ofrecer servicios a los alumnos de la universidad UPC. Los alumnos accederán a estos servicios a través de una aplicación para dispositivos móviles. La UPC está formada por diversos campus, situados en localidades diferentes, y cada uno de ellos dispondrá de sus propios servidores. Para seleccionar el campus al cual el alumno se conectará, se hará uso de la tecnología GPS. El alumno accederá directamente al servidor que se encuentre más próximo a su posición. De esta manera se pretende conseguir que el tiempo de retardo entre el dispositivo y el servidor sea mínimo. El servicio ofrecido es un podcast. Este servicio tiene la finalidad de permitir a los alumnos acceder al material docente ofrecido por la universidad, como por ejemplo, documentación en formato PDF de las asignaturas, colecciones de problemas y ejercicios, etc. Para el desarrollo de este proyecto ha sido necesario el estudio de la tecnología Microsoft .NET. Esta tecnología ofrece un entorno de desarrollo que permite la programación de aplicaciones para dispositivos móviles, así como la implementación de servicios Web. También se ha requerido el estudio de otros ámbitos que intervienen en este proyecto, como son los servidores Web y las bases de datos. Este proyecto hace uso de servidores Web para la publicación tanto de los podcast, como de las páginas y los servicios Web. También ha sido necesario el uso de una base de datos para almacenar información sobre los campus, los servidores y los podcast. Finalmente se ha conseguido implementar una aplicación para dispositivos móviles capaz de recibir e interpretar la señal GPS, así como gestionar, descargar y reproducir archivos de podcast. Además esta aplicación hace uso de servicios Web para tratar con la información de la base de datos
- …