Búsqueda avanzada

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.

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.DOI 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.

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

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.

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.

Automated inference of likely metamorphic relations for model transformations (YA PUBLICADO)

Model transformations play a cornerstone role in Model-Driven Engineering (MDE) as they provide the essential mechanisms for manipulating and transforming models. Checking whether the output of a model transformation is correct is a manual and errorprone task, referred to as the oracle problem. Metamorphic testing alleviates the oracle problem by exploiting the relations among different inputs and outputs of the program under test, so-called metamorphic relations (MRs). One of the main challenges in metamorphic testing is the automated inference of likely MRs. This paper proposes an approach to automatically infer likely MRs for ATL model transformations, where the tester does not need to have any knowledge of the transformation. The inferred MRs aim at detecting faults in model transformations in three application scenarios, namely regression testing, incremental transformations and migrations among transformation languages. In the experiments performed, the inferred likely MRs have proved to be quite accurate, with a precision of 96.4% from a total of 4101 true positives out of 4254 MRs inferred. Furthermore, they have been useful for identifying mutants in regression testing scenarios, with a mutation score of 93.3%. Finally, our approach can be used in conjunction with current approaches for the automatic generation of test cases. Artículo publicado en The Journal of Systems and Software, Vol 136, pp 188-208 (Available Online May 2017; Final Published Version February 2018) – Q1.

Diseño de un marco de trabajo dirigido por modelos y soportado por herramientas para mejorar la gestión de guías clínicas y procesos asistenciales

El Proyecto IDE4ICDS se mueve en el contexto médico para dar solu-ción a la gestión del ciclo de vida de guías clínicas. Actualmente, las guías clíni-cas están definidas de forma textual, lo que las hace difíciles de seguir en el día a día. Esto provoca, entre otros factores, variabilidad en la práctica clínica. En este proyecto se presenta una metodología guiada por modelos que permite auto-matizar la gestión de guías clínicas, así como una plataforma software que le de soporte, permitiendo definir, ejecutar y monitorizar guías clínicas. Dicha plata-forma ha sido validada con profesionales sanitarios del Hospital Virgen del Rocío (Sevilla), obteniendo resultados prometedores. Actualmente se encuentra en fase de pilotaje en Atención Primaria con pacientes que sufren Diabetes Mellitus Tipo 2.

The MegaM@Rt2 ECSEL Project: MegaModelling at Runtime — Scalable Model-based Framework for Continuous Development and Runtime Validation of Complex Systems

A major challenge for the European electronic components and systems (ECS) industry is to increase productivity and reduce costs while ensuring safety and quality. Model-Driven Engineering (MDE) principles have already shown valuable capabilities for the development of ECSs but still need to scale to support real-world scenarios implied by the full deployment and use of complex electronic systems, such as Cyber-Physical Systems, and real-time systems. Moreover, maintaining efficient traceability, integration and communication between fundamental stages of the development lifecycle (i.e., design time and runtime) is another challenge to the scalability of MDE tools and techniques. This paper presents «MegaModelling at runtime — Scalable model-based framework for continuous development and runtime validation of complex systems» (MegaM@Rt2), an ECSEL–JU project whose main goal is to address the above mentioned challenges. Driven by both large and small industrial enterprises, with the support of research partners and technology providers, MegaM@Rt2 aims to deliver a framework of tools and methods for: (i) system engineering/design and continuous development,(ii) related runtime analysis, and (iii) global model and traceability management.

Hacia la integración de lenguajes de modelado para el diseño de servicios

A día de hoy existen diversas técnicas o notaciones para el modelado de negocio y/o procesos de negocio que permiten, con mayor o menor nivel de detalle, comprender, conceptualizar y representar la forma en que una organización es capaz de generar valor. Estas técnicas presentan similitudes y diferencias, pero en la mayoría de los casos la información que proporcionan es complementaria. Sin embargo, en la actualidad no existe un entorno tecnológico que permita trabajar eficazmente con varias de estas notaciones. Para afrontar este problema, en trabajos anteriores abordamos el desarrollo de un entorno de modelado que integrase un conjunto de DSLs visuales para dar soporte a la gestión integrada de diferentes notaciones para el modelado de negocio, como Canvas, e3value, Service Blueprint, PCN o BPMN. Una vez que disponemos de una primera versión funcional de este entorno, el siguiente paso que pretendemos abordar es el que se expone en este trabajo: el análisis de las correspondencias entre esas notaciones, y la consecuente automatización de las tareas o actividades que pueden derivarse de la identificación de esas relaciones.

Improving feature location in long-living model-based product families designed with sustainability goals (YA PUBLICADO)

The benefits of Software Product Lines (SPL) are very appealing: software development becomes better, faster, and cheaper. Unfortunately, these benefits come at the expense of a migration from a family of products to a SPL. Feature Location could be useful in achieving the transition to SPLs. This work presents our FeLLaCaM approach for Feature Location. Our approach calculates similarity to a description of the feature to locate, occurrences where the candidate features remain unchanged, and changes performed to the candidate features throughout the retrospective of the product family. We evaluated our approach in two long-living industrial domains: a model-based family of firmwares for induction hobs that was developed over more than 15 years, and a model-based family of PLC software to control trains that was developed over more than 25 years. In our evaluation, we compare our FeLLaCaM approach with two other approaches for Feature Location: (1) FLL (Feature Location through Latent Semantic Analysis) and (2) FLC (Feature Location through Comparisons). We measure the performance of FeLLaCaM, FLL, and FLC in terms of recall, precision, Matthews Correlation Coefficient, and Area Under the Receiver Operating Characteristics curve. The results show that FeLLaCaM outperforms FLL and FLC.