Navegación

Búsqueda

Búsqueda avanzada

Resultados de búsqueda para Model-Driven Engineering

Measuring Quality of Service in a Robotized Comprehensive Geriatric Assessment Scenario

Comprehensive Geriatric Assessment (CGA) is an integrated clinical process to evaluate frail elderly people in order to provide them with customized therapy plans. The whole process includes the completion of standardized questionnaires or specific movements, which are performed by the patient and do not necessarily require the presence of a medical expert. With the aim to automate CGA tests in as much as possible, we have designed and developed CLARC: a mobile robot aimed at helping physicians to capture and manage data during the CGA procedures, mainly by autonomously conducting a set of predefined tests. The design of CLARC has required dealing with both functional (robot’s skills and tasks) and non-functional aspects (e.g. performance, safety, or user satisfaction, among others). This paper describes a novel model-based approach aimed at helping designers (1) to specify the contextual information available to the robot; the Non-Functional Properties (NFP considered relevant for a given application; and how (and to what extent) changes in the context may affect these properties; and, from these models (2) to generate the runtime infrastructure allowing the robot to monitor its execution context and estimate high-level QoS metrics to know how well it is performing in terms of the selected NFPs.

Autores: Adrián Romero-Garcés / Jesús Martínez / Juan F. Inglés Romero / Cristina Vicente-Chicote / Rebeca Marfil / Antonio J. Bandera / 
Palabras Clave: Assistive robotics - Model-Driven Engineering - Non-functional Properties - QoS metrics

Comparing manual and automated feature location in conceptual models: A Controlled experiment

Context: Maintenance activities cannot be completed without locating the set of software artifacts that realize a particular feature of a software system. Manual Feature Location (FL) is widely used in industry, but it becomes challenging (time-consuming and error prone) in large software repositories. To reduce manual efforts, automated FL techniques have been proposed. Research efforts in FL tend to make comparisons between automated FL techniques, ignoring manual FL techniques. Moreover, existing research puts the focus on code, neglecting other artifacts such as models.Objective: This paper aims to compare manual FL against automated FL in models to answer important questions about performance, productivity, and satisfaction of both treatments.Method: We run an experiment for comparing manual and automated FL on a set of 18 subjects (5 experts and 13 non-experts) in the domain of our industrial partner, BSH, manufacturer of induction hobs for more than 15 years. We measure performance (recall, precision, and F-measure), productivity (ratio between F-measure and spent time), and satisfaction (perceived ease of use, perceived usefulness, and intention to use) of both treatments, and perform statistical tests to assess whether the obtained differences are significant.Results: Regarding performance, manual FL significantly outperforms automated FL in precision and F-measure (up to 27.79+ACU and 19.05+ACU, respectively), whereas automated FL significantly outperforms manual FL in recall (up to 32.18+ACU). Regarding productivity, manual FL obtains 3.43+ACU-/min, which improves automated FL significantly. Finally, there are no significant differences in satisfaction for both treatments.Conclusions: The findings of our work can be leveraged to advance research to improve the results of manual and automated FL techniques. For instance, automated FL in industry faces issues such as low discrimination capacity. In addition, the obtained satisfaction results have implications for the usage and possible combination of manual, automated, and guided FL techniques.

Autores: Francisca Pérez / Jorge Echeverría / Raúl Lapeña / Carlos Cetina / 
Palabras Clave: Conceptual models - Controlled Experiment - Feature location - Model-Driven Engineering

SmaC: soportando el modelado de contratos inteligentes

A pesar del interés que despierta la tecnología blockchain y los contratos inteligentes, su complejidad supone un problema que ralentiza su adopción. Con la intención de contribuir a minimizar este problema, en la última edición de estas jornadas presentábamos una propuesta metodológica y tecnológica para el uso de modelos en el ámbito de los contratos inteligentes. El objetivo de este trabajo es presentar los primeros resultados de esa propuesta.

Autores: Cristian Gómez Macías / Juan Manuel Vara / Francisco Javier Perez Blanco / Esperanza Marcos / 
Palabras Clave: Blockchain - Model-Driven Engineering - Smart Contract

Wodel-Test: A Model-Based Framework for Language-Independent Mutation Testing

Mutation testing (MT) targets the assessment of test cases by measuring their efficiency to detect faults. This technique involves modifying the program under test to emulate programming faults, and assessing whether the existing test cases detect such mutations. MT has been extensively studied since the 70’s, and many tools have been proposed for widely used languages like C, Java, Fortran, Ada and SQL+ADs and for notations like Petri-nets. However, building MT tools is costly and error-prone, which may prevent their development for new programming and domain-specific (modelling) languages.In this paper, we propose a framework called Wodel-Test to reduce the effort to create MT tools. For this purpose, it follows a model-driven approach by which MT tools are synthesized from a high-level description. This description makes use of the domain-specific language Wodel to define and execute model mutations. Wodel is language-independent, as it allows the creation of mutation operators for any language defined by a meta-model. Starting from the definition of the mutation operators, Wodel-Test generates a MT environment which parses the program under test into a model, applies the mutation operators, and evaluates the test-suite against the generated mutants, offering a rich collection of MT metrics. We report on an evaluation of the approach based on the creation of MT tools for Java and the Atlas transformation language.

Autores: Pablo Gómez-Abajo / Esther Guerra / Juan de Lara / Mercedes Merayo / 
Palabras Clave: Domain Specific Languages - Java - model mutation - Model Transformation - Model-Driven Engineering - Mutation testing

Facilitando la gestión de modelos para el diseño de servicios

Este trabajo describe los últimos avances en el desarrollo de INNoVaServ, un entorno de modelado para el diseño de servicios que soporta las notaciones Business Model Canvas, e3value, Service Blueprint, PCN y BPMN. La mejora aquí presentada consiste en el desarrollo de un panel de control o dashboard que, haciendo uso de técnicas MDE, facilita la gestión de los modelos utilizados en el contexto de un determinado proyecto de diseño de servicios.

Autores: Francisco Javier Perez Blanco / Juan Manuel Vara / Cristian Gómez Macías / María Valeria De Castro / Esperanza Marcos / 
Palabras Clave: Business Modeling - Business Process Modeling - Model-Driven Engineering - Service Design

Acercando modelos de negocio y de proceso para el diseño de servicios

Actualmente existe gran cantidad de técnicas o notaciones para el modelado de negocio y el modelado de procesos que permiten representar una organización con mayor o menor nivel de detalle a la vez que ayudan a entender, conceptualizar y representar los servicios que aportan valor a la compañía. Esas técnicas tienen diferencias y similitudes, pero en muchos casos son complementarias. Sin embargo, no existe una solución que permita trabajar de manera integrada con varias de estas notaciones, acortando la distancia entre las áreas de negocio y tecnología. Este artículo presenta las últimas funcionalidades incorporadas en un entorno de modelado para el diseño de servicios que soporta 5 notaciones diferentes (Canvas, e3value, Service Blueprint, Process Chain Network y BPMN) y que permite generar vistas parciales de modelos basados en una determinada notación a partir de modelos elaborados con otra de las notaciones soportadas, además del modelo de relaciones correspondiente.

Autores: Francisco Javier Perez Blanco / Juan Manuel Vara / Cristian Gómez Macías / María Valeria De Castro / David Granada / Esperanza Marcos / 
Palabras Clave: Business Modeling - Business Process Modeling - Model-Driven Engineering

MEdit4CEP-Gam: A model-driven approach for user-friendly gamification design, monitoring and code generation in CEP-based systems

AUTHORSAlejandro Calderón, Juan Boubeta-Puig & Mercedes RuizJOURNALInformation and Software Technology (vol. 95, pp. 238-264, 2018). IF: 2.627 (2017). Q1 (16/104) in “Computer Science, Software Engineering” category.DOIhttps://doi.org/10.1016/j.infsof.2017.11.009ABSTRACTContext: Gamification has been proven to increase engagement and motivation in multiple and different non-game contexts such as healthcare, education, workplace, and marketing, among others. However, many of these applications fail to achieve the desired benefits of gamification, mainly because of a poor design.Objective: This paper explores the conceptualization, implementation and monitoring phases of meaningful gamification strategies and proposes a solution for strategy experts that hides the implementation details and helps them focus only on what is crucial for the success of the strategy. The solution makes use of Model-Driven Engineering (MDE) and Complex Event Processing (CEP) technology.Method: An easy-to-use graphical editor is used to provide the high-level models that represent the design of the gamification strategy and its deployment and monitoring. These models contain the event pattern definitions to be automatically transformed into code. This code is then deployed both in a CEP engine to detect the conditions expressed in such patterns and in an enterprise service bus to execute the corresponding pattern actions.Results: The paper reports on the use of both a graphical modeling editor for gamification domain definition and a graphical modeling editor for gamification strategy design, monitoring and code generation in event-based systems. It also shows how the proposal can be used to design and automate the implementation and monitoring of a gamification strategy in an educational domain supported by a well-known Learning Management System (LMS) such as Moodle.Conclusion: It can be concluded that this unprecedented model-driven approach leveraging gamification and CEP technology provides strategy experts with the ability to graphically define gamification strategies, which can be directly transformed into code executable by event-based systems. Therefore, this is a novel solution for bringing CEP closer to any strategy expert, positively influencing the gamification strategy design, implementation and real-time monitoring processes.

Autores: Alejandro Calderón / Juan Boubeta-Puig / Mercedes Ruiz / 
Palabras Clave: Complex Event Processing - Gamification - Graphical modelling editor - Model-Driven Engineering - Monitoring - Strategy design

Early Integration Testing for Entity Reconciliation in the Context of Heterogeneous Data Sources

– Revista en la que fue publicado el trabajo: IEEE TRANSACTIONS ON RELIABILITY, VOL. 67, NO. 2
– Fecha de publicación: Junio 2018
– Páginas: 538-556
– DOI: 10.1109/TR.2018.2809866
– Índice JCR: 2,729
– Cuartil: Q1

Autores: Raquel Blanco / José González Enríquez / Francisco J. Domínguez-Mayo / María José Escalona / Javier Tuya / 
Palabras Clave: Early testing - Entity reconciliation - Heterogeneous data sources - Model-Driven Engineering - Software Testing - Specification-based testing

A Model-driven Migration Approach among Cloud Providers

Cloud computing has become the primary model of pay-per-use to ob- tain cloud services in a short time. Companies are using the cloud services to get access to computing resources located in a virtualized environment. However, the traditional method of using a single cloud provider has numerous limitation in terms of privacy, security, performance, and geography reach. Furthermore, companies are focusing their efforts on avoiding dependent on a single vendor for products and services. As a result, companies start to use multiple clouds and look for methods to move or migrate their infrastructure from a cloud provider to another one. In previous work, we have presented ARGON, which is an infra- structure modeling tool for cloud provisioning. In this paper, we propose an ex- tension of ARGON to provide a model-driven migration approach among cloud providers.

Autores: Julio Sandobalín / Emilio Insfran / Silvia Abrahao / 
Palabras Clave: Cloud Computing - Infrastructure as a Service - Infrastructure as Code - Infrastructure Migra- tion - Model-Driven Engineering

Towards a model-driven engineering solution for language independent mutation testing

Mutation testing is a technique to assess test suite adequacy to distinguish between correct and incorrect programs. Mutation testing applies one or more small changes to a program to obtain variants called mutants. The adequacy of a test suite is measured by determining how many of the mutants it distinguishes from the original program. There are many works about mutation testing, but the existing approaches focus on a specific programming language, and usually, it is not easy to customize the set of mutation operators. In this paper, we present Wodel-Test, an extension of the Wodel tool that implements a language-independent mutation testing framework based on model-driven engineering principles.

Autores: Pablo Gómez-Abajo / Esther Guerra / Juan de Lara / Mercedes G. Merayo / 
Palabras Clave: Domain Specific Languages - model mutation - Model-Driven Engineering - Mutation testing - reverse engineering

No encuentra los resultados que busca? Prueba nuestra Búsqueda avanzada