Navegación

Búsqueda

Búsqueda avanzada

El autor Jordi Cabot ha publicado 9 artículo(s):

1 - Creación Colaborativa de Lenguajes Específicos de Dominio

El desarrollo de sofware es un proceso donde participan muchos actores, principalmente los desarrolladores y los clientes del producto. En la actualidad, procesos de desarrollo como los basados en metodologías ágiles proponen la participación de forma directa de los usuarios o clientes. La idea clave es definir procesos guiados por la comunidad donde todos los participantes (técnicos y no técnicos) colaboran para que el producto satisfaga los requisitos. Esta aproximación es especialmente interesante en el ámbito del desarrollo de lenguajes específicos de dominio (DSL). Sin embargo, aunque estos lenguajes están destinados a una comunidad de usuarios expertos de un dominio concreto, actualmente dichos usuarios tienen poca (o nula) participación en el desarrollo. Nuestra propuesta consiste en incorporar el aspecto colaborativo en los procesos de desarrollo de DSLs, permitiendo a la comunidad de usuarios del lenguaje participar activamente en su creación y evolución. Para ello proponemos adaptar Collaboro, un lenguaje para representar las actividades de colaboración que surgen durante el desarrollo de DSLs, para ser utilizado a lo largo de todo el proceso.

Autores: Javier Luis Cánovas Izquierdo / Jordi Cabot / 
Palabras Clave:

2 - Smart Bound Selection for the Verification of UML/OCL Class Diagrams (YA PUBLICADO)

Correctness of UML class diagrams annotated with OCL constraints can be checked using bounded verification techniques, e.g., SAT or constraint programming (CP) solvers. Bounded verification detects faults efficiently but, on the other hand, the absence of faults does not guarantee a correct behavior outside the bounded domain. Hence, choosing suitable bounds is a non-trivial process as there is a trade-off between the verification time (faster for smaller domains) and the confidence in the result (better for larger domains). Unfortunately, bounded verification tools provide little support in the bound selection process.In this paper, we present a technique that can be used to (i) automatically infer verification bounds whenever possible, (ii) tighten a set of bounds proposed by the user and (iii) guide the user in the bound selection process. This approach may increase the usability of UML/OCL bounded verification tools and improve the efficiency of the verification process.This paper has been published in IEEE Transactions on Software Engineering[http://dx.doi.org/10.1109/TSE.2017.2777830]

Autores: Robert Clarisó / Carlos A. González / Jordi Cabot / 
Palabras Clave: Class Diagram - Constraint Propagation - Formal Verification - OCL - SAT - UML

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

Autores: Abel Gómez / Orlando Ávila-García / Jordi Cabot / José Ramón Juárez / Aitor Urbieta / Eugenio Villar / 
Palabras Clave: megamodelling - Model-Driven Engineering - Runtime - system design

4 - Una propuesta para componer APIs orientadas a datos

En los últimos años un gran número de compañías y entidades públicas han liberado sus datos vía APIs REST. Esto ha provocado un incremento en el número de APIs REST, motivando la creación de mashups para combinar y reutilizar datos provenientes de diferentes fuentes. Sin embargo, la creación de este tipo de aplicaciones es tediosa y propensa a errores ya que hay que invertir un gran esfuerzo en analizar y explicitar el modelo de datos de cada API, definir una estrategia de composición y, finalmente, implementar la aplicación de tipo mashup. En este artículo presentamos una propuesta para la composición de APIs REST orientadas a datos. Dado un conjunto de APIs REST iniciales, nuestra propuesta es capaz de descubrir su modelo de datos, crear un modelo de datos global y publicarlo como una API REST.

Autores: Hamza Ed-Douibi / Javier Luis Canovas Izquierdo / Jordi Cabot / 
Palabras Clave: MDE - OData - OpenAPI - REST API

5 - Are CS conferences (too) closed communities?

Título: Are CS conferences (too) closed communities?Autores: Jordi Cabot, Javier Luis Cánovas Izquierdo, Valerio CosentinoRevista: Communications of the ACMNúmero: 61(10)Fecha de publicación: Octubre 2018Páginas: 32-34DOI: 10.1145/3209580Indicios de calidad:- Factor de impacto: 3.063. Posicion: 9/104 (Q1)

Autores: Jordi Cabot / Javier Luis Canovas Izquierdo / Valerio Cosentino / 
Palabras Clave: Community analysis - Conference analysis - Viewpoint

6 - The role of foundations in open source projects (RELEVANTE YA PUBLICADO)

Título: The role of foundations in open source projectsAutores: Javier Luis Cánovas Izquierdo, Jordi CabotConferencia: International Conference on Software Engineering: Software Engineering in Society, ICSE (SEIS)Fecha de publicación: Junio 2018Páginas: 3-12DOI: 10.1145/3183428.3183438Indicios de calidad:- Premio al mejor paper del track- 35% de aceptación

Autores: Javier Luis Canovas Izquierdo / Jordi Cabot / 
Palabras Clave: Open Source Software - Open-Source Software Analysis - Software Foundations

7 - Una Aproximación Basada en Modelos para la Definición de Arquitecturas Asíncronas

En la nueva era del Internet de las cosas (IoT), nuestros objetos cotidianos se han convertido en los llamados sistemas ciberfísicos (CPS). El uso y despliegue de los CPS ha calado especialmente en la industria, dando lugar a la llamada Industria 4.0 o IoT Industrial (IIoT). Típicamente, las arquitecturas IIoT son distribuidas y asíncronas, estando la comunicación guiada por eventos como por ejemplo la publicación (y correspondiente suscripción) a mensajes. No obstante, las mejoras en escalabilidad y tolerancia al cambio de estas arquitecturas tienen sus desventajas, y es fácil que el conocimiento sobre los mensajes y su categorización (topics) se diluya entre los elementos de la arquitectura, dando lugar a problemas de interoperabilidad entre los agentes implicados. En este artículo, presentamos nuestra propuesta para automatizar el diseño e implementación de estas arquitecturas mediante técnicas basadas en modelos. Para ello nos apoyamos en AsyncAPI, una propuesta para la especificación de API dirigidas por mensajes.

Autores: Abel Gómez / Iker Fernandez de Larrea / Markel Iglesias-Urkia / Beatriz Lopez-Davalillo / Aitor Urbieta / Jordi Cabot / 
Palabras Clave: Arquitecturas asíncronas - AsyncAPI - Publicación-Suscripción - Sistemas ciberfísicos

8 - Towards a Language Server Protocol Infrastructure for Graphical Modeling

Este trabajo se presenta a JISBD como artículo relevante.Título: Towards a Language Server Protocol Infrastructure for Graphical ModelingAutores: Rodriguez-Echeverria, Roberto; Izquierdo, Javier Luis Cánovas; Wimmer, Manuel; Cabot, JordiConferencia: 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems – MODELS ’18 Año: 2018 Páginas: 370-380 DOI: 10.1145/3239372.3239383Indicios de calidad: clase 2 del ranking SCIE de congresos relevantes.

Autores: Roberto Rodriguez-Echeverria / Javier Luis Canovas Izquierdo / Manuel Wimmer / Jordi Cabot / 
Palabras Clave: Domain Specific Languages - Language Server Protocol - Modeling Editor

9 - Transformaciones de Datos con Machine Learning

Una de las tareas más comunes que los ingenieros tienen que llevar a cabo y que consumen más tiempo es la transformación de datos. Proponemos usar los avances en Inteligencia Artificial (IA), y en particular, en el área de Machine Learning (ML), para abordar este problema. Para ello, definimos una arquitectura que es capaz de inferir las transformaciones de datos a partir de un conjunto de pares de datos entrada-salida. Una vez que nuestro sistema haya aprendido cómo los datos de entrada se relacionan con los de salida, podrá realizar la traducción de nuevos datos de entrada automáticamente.

Autores: Loli Burgueño / Jordi Cabot / Sébastien Gérard / 
Palabras Clave: Machine Learning - MDE - Transformación de datos