Gabriel Tamura

Followers

Following

Co-authors

Public Views

Director of I2T/DRISO Research Team.
Interests:
+ Self-Adaptive Software Systems
+ (Dynamic) Software Architecture
Address: Universidad Icesi
Departamento de TICs
Facultad de Ingeniería
Calle 18 # 122-135 Pance
Tel: +57-2-5552334 ext 8264
Fax +57-2-5551745
Cali, Colombia

less

Interests

Uploads

Papers by Gabriel Tamura

QPLEX: Realizing the Integration of Quantum Computing into Combinatorial Optimization Software

Sistema universal para portabilidad de dispositivos móviles en ambientes de redes inalámbricas heterogéneas - Primera edición

Universidad Autónoma de Occidente eBooks, 2008

Implementación de la arquitectura del sistema cliente universal para dispositivos móviles

Monitores dinámicos de software – Despliegue de software – Monitoreo de espectro

Framework para generación y despliegue de monitores dinámicos de rendimiento en sistemas software... more

Download

UML-driven automated software deployment

Software companies face the challenge of ensuring customer satisfaction through the continuous de... more Software companies face the challenge of ensuring customer satisfaction through the continuous delivery of functionalities and rapid response to quality issues. However, achieving frequent software delivery is not a trivial task. It requires agile---and continuous---design, development and deployment of existing and new software features. Over time, managing these systems becomes increasingly complex. This complexity stems, in part, from the deployment pipelines and the myriad possible configurations of the software components. Furthermore, software deployment is a time-consuming and error-prone process, which, even when automated, can lead to configuration errors and cost overruns. In this paper, we address deployment challenges that developers face during continuous delivery and DevOps. Our proposal consists of Urano, a mechanism for automating the deployment process, which uses UML, an interoperable and de facto modeling standard, as a means of specifying a software architecture and its associated deployment. Our approach is based on the model-driven architecture principles to generate executable deployment specifications from user-defined UML deployment diagrams. We extend this kind of diagrams by defining and applying a UML profile that captures the semantics and requirements of the installation, configuration, and update of software components. Thus, enabling more expressive deployment specifications and their automatic realization. To evaluate Urano, we conducted three case studies that demonstrate its potential to effectively automate software deployment processes in industry.

Surprise: user-controlled granular privacy and security for personal data in SmarterContext

The Smart Internet relies on the exploitation of information obtained from interactions of users ... more The Smart Internet relies on the exploitation of information obtained from interactions of users with web applications. A critical aspect for its success is the adoption of mechanisms that guarantee the protection of information sensitive to users. This paper presents Surprise, our solution to empower users with privacy and data security control for the access to their information, stored in Personal Context Sphere repositories. These repositories are defined and maintained by SmarterContext, our Smart Internet infrastructure that improves the quality of user experience in their interactions with web applications. Surprise (i) allows users to configure access permissions to their sensitive personal information to third parties, selectively and with different levels of granularity; (ii) supports changes in these configurations at runtime to add or remove third parties or permissions, and (iii) realizes partial encryption to share non-sensitive data with not explicitly authorized third parties, while protecting user identity. We analyze details of our proofof-concept implementation with respect to the SmarterContext's privacy and security requirements.

Download

Towards continuous monitoring in personalized healthcare through digital twins

Conference of the Centre for Advanced Studies on Collaborative Research, Nov 4, 2019

Deployment Specification challenges in the context of large scale systems

Conference of the Centre for Advanced Studies on Collaborative Research, 2017

The Forging of Autonomic and Cooperating Digital Twins

IEEE Internet Computing, Sep 1, 2022

Digital twins (DTs) will enable the long-anticipated convergence between physical and virtual wor... more Digital twins (DTs) will enable the long-anticipated convergence between physical and virtual worlds. This convergence will augment traditional physically-bound operations and services with new virtually-bound capabilities, disrupting multiple application domains in the process. Nevertheless, achieving this point will demand DTs with increased autonomy and enhanced ability to monitor, reason about, and react upon relevant phenomena occurring in the physical world. Ultimately, these capabilities will enable DTs to cooperate and capitalize on their interactions, allowing organizations to generate value from their implementation. This article discusses pivotal research advances toward the realization of autonomic and cooperative DTs. We elaborate on fundamental technical considerations of advanced and robust DTs by describing a reference framework that enables increased autonomy and enhanced cooperation. Then, we identify opportunities for further research to pave the road for challenges and future developments toward achieving autonomic and cooperating DTs in diverse contexts.

An Architectural Framework for Quality-Driven Adaptive Continuous Experimentation

Continuous experimentation enables companies to reduce development risks and operational costs by... more Continuous experimentation enables companies to reduce development risks and operational costs by continuously and directly assessing user response with respect to software updates. The increasing need for data-driven rapid decisions to face unpredictable context situations demands the automation of continuous experimentation practices. Furthermore, variable conditions and constraints associated with the experimentation process, such as changes in the experimentation goals and the cost of conducting experimental trials, demand from experiments to be adaptive. This paper presents our proposal towards what we call quality-driven adaptive continuous experimentation. Our contributions are as follows. First, we present a metamodel for experimental design to enable automatic planning and execution of experiments at run-time. Second, we propose a mesh of run-time models to allow autonomic managers conduct experiments while assisting in the continuous evolution of the subject system. Finally, we propose an architecture for quality-driven adaptive experimentation. Our architecture addresses separation of concerns in the experimentation process by dedicating three feedback loops to (1) control the satisfaction of high-level experimentation goals through experimental design; (2) conduct experimental trials for infrastructure configuration variants; and (3) conduct experimental trials for architectural design variants.

Refas

Model simulation has demonstrated its usefulness in evaluation and decision-making for improving ... more Model simulation has demonstrated its usefulness in evaluation and decision-making for improving preliminary versions of artefacts before production. Particularly, one of the main goals of simulation is to verify model properties based on data collected from its execution. In this paper, we present the simulation capabilities of our REFAS framework for specifying requirements models for dynamic software products lines and self-adaptive systems. The simulation is controlled by a feedback loop and a reasoning engine that operates on the functional and non-functional requirements. The paper contribution is threefold. First, REFAS allows developers to evaluate and improve requirements models through their simulation capabilities. Second, REFAS provides rich feedback in its interactive simulations for the human modeller to make informed decisions to improve her model. Third, REFAS automates the generation of simulation scenarios required to verify the model adequacy and correctness. We evaluate our contribution by comparing the application of REFAS to a case study used in other approaches.

Download

On the Engineering of IoT-Intensive Digital Twin Software Systems

Digital Twins (DT) are software systems representing different aspects of a physical or conceptua... more Digital Twins (DT) are software systems representing different aspects of a physical or conceptual counterpart---the real twin, which is instrumented with several sensors or computing devices that generate, consume and transfer data to its DT with different purposes. In other words, DT systems are, to a large extent, IoT-intensive systems. Indeed, by exploiting and managing IoT data, artificial intelligence, and big data and simulation capabilities, DTs have emerged as a promising approach to manage the virtual manifestation of real-world entities throughout their entire lifecycle. Their proliferation will contribute to realizing the long-craved convergence of virtual and physical spaces to augment things and human capabilities. In this context, despite the proposal of noteworthy contributions, we argue that DTs have not been sufficiently investigated from a software engineering perspective. To address this, in this paper we propose GEMINIS, an architectural reference model that adopts self-adaptation, control, and model-driven engineering techniques to specify the structural and behavioural aspects of DTs and enable the evolution of their internal models. Moreover, we introduce an approach for engineering IoT-intensive Digital Twin Software Systems (DTSS) using GEMINIS' capabilities to deal with uncertain conditions that are inherent to the nature of mirrored physical environments and that might compromise the fidelity of a DT. With GEMINIS and the proposed approach, we aim to advance the engineering of DTSS as well as IoT and cyber-physical systems by providing practitioners with guidelines to model and specify inherent structural and behavioural characteristics of DTs, addressing common design concerns.

Characterizing context-aware recommender systems: A systematic literature review

Knowledge Based Systems, 2018

Context-aware recommender systems leverage the value of recommendations by exploiting context inf... more Context-aware recommender systems leverage the value of recommendations by exploiting context information that affects user preferences and situations, with the goal of recommending items that are really relevant to changing user needs. Despite the importance of context-awareness in the recommender systems realm, researchers and practitioners lack guides that help them understand the state of the art and how to exploit context information to smarten up recommender systems. This paper presents the results of a comprehensive systematic literature review we conducted to survey context-aware recommenders and their mechanisms to exploit context information. The main contribution of this paper is a framework that characterizes context-aware recommendation processes in terms of: i) the recommendation techniques used at every stage of the process, ii) the techniques used to incorporate context, and iii) the stages of the process where context is integrated into the system. This systematic literature review provides a clear understanding about the integration of context into recommender systems, including context types more frequently used in the different application domains and validation mechanisms-explained in terms of the used datasets, properties, metrics, and evaluation protocols. The paper concludes with a set of research opportunities in this field.

Download

Development and Instrumentation of a Framework for the Generation and Management of Self-Adaptive Enterprise Applications

Ingenieria y universidad, Jun 20, 2016

18 de diciembre de 2015. Fecha de aceptación: 8 de marzo de 2016. Este artículo se deriva de un p... more 18 de diciembre de 2015. Fecha de aceptación: 8 de marzo de 2016. Este artículo se deriva de un proyecto de investigación denominado SHIFT: Framework para la generación asistida de software empresarial en tiempo de ejecución, con código de registro 2117-569-33721, desarrollado por el grupo de investigación

Download

Architecting Software Systems for Runtime Self-Adaptation

Elsevier eBooks, 2017

Abstract Architecture design is one of the most critical tasks in the software engineering proces... more Abstract Architecture design is one of the most critical tasks in the software engineering process, particularly for software systems that must operate correctly and guarantee desired quality attributes, while coping with uncertainty and unexpected changes in execution conditions and requirements. Architecting such software systems presents additional challenges to those faced when architecting solutions from a traditional software engineering perspective, where uncertainty is not considered as a main concern in system requirements. Architecting self-adaptive software must consider context changes that the system encounters in its execution and affect the satisfaction of its requirements at runtime. As a result, besides the regular components of the system, the designed architectures must include components that enable self-awareness capabilities, such as monitoring and analyzing its own current state, as well planning and executing self-adaptation actions. These functions are required to adjust the system’s structure or behavior at runtime, to ensure the continuous satisfaction of requirements. This chapter introduces practitioners, researchers, and students to foundational concepts and reference models associated with the architecture of self-adaptive software. It also presents challenges related to the design of software architectures that enable self-adaptation of software systems at execution time.

Integrating Constraints and Concurrent Objects in Musical Applications

HAL (Le Centre pour la Communication Scientifique Directe), 1999

A Comparison of Taxonomies for Model Transformation Languages

Since the introduction of the MDE/MDA/MDD ideas for software systems development several years ag... more Since the introduction of the MDE/MDA/MDD ideas for software systems development several years ago, a number of dierent (meta)modeling and model transformation languages have been proposed. Although the OMG's QVT standard specication has somewhat stabilized the number of new model transformation languages, it is likely that new ones will continue to appear, following dierent paradigms and approaches. However, the evolution towards the consolidation of models as a unifying, foundational and consistent concept for software-intensive system development, requires the realization of a set of ideal characteristics for the specication of model transformation languages. Several works have been proposed for dening characterization and classication schemes, and the set of these ideal characteristics. In this paper we present a comparison of characterization and classication schemes for model transformation languages, and an analysis of the OMG's QVT specication with respect to this set of ideal characteristics. Although the MOF 2 QVT specication presents a good coverage of these characteristics, it still lacks a formal foundation, from which it could obtain several benets.

Download

QPLEX: Realizing the Integration of Quantum Computing into Combinatorial Optimization Software

arXiv (Cornell University), Jul 26, 2023

Quantum computing has the potential to surpass the capabilities of current classical computers wh... more Quantum computing has the potential to surpass the capabilities of current classical computers when solving complex problems. Combinatorial optimization has emerged as one of the key target areas for quantum computers as problems found in this field play a critical role in many different industrial application sectors (e.g., enhancing manufacturing operations or improving decision processes). Currently, there are different types of high-performance optimization software (e.g., ILOG CPLEX and Gurobi) that support engineers and scientists in solving optimization problems using classical computers. In order to utilize quantum resources, users require domain-specific knowledge of quantum algorithms, SDKs and libraries, which can be a limiting factor for any practitioner who wants to integrate this technology into their workflows. Our goal is to add software infrastructure to a classical optimization package so that application developers can interface with quantum platforms readily when setting up their workflows. This paper presents a tool for the seamless utilization of quantum resources through a classical interface. Our approach consists of a Python library extension that provides a backend to facilitate access to multiple quantum providers. Our pipeline enables optimization software developers to experiment with quantum resources selectively and assess performance improvements of hybrid quantum-classical optimization solutions.

Download

Towards a requirements specification multi-view framework for self-adaptive systems

The research on requirements specification for selfadaptive systems has a growing interest in the... more The research on requirements specification for selfadaptive systems has a growing interest in the academy and the industry. As a result, currently there exists different proposals for the specification of requirements for self-adaptive systems. Despite the momentum that this area has received in recent years, in the works reported in the literature we have identified shortcomings. We propose a new framework to represent the requirements of self-adaptive systems. This framework seeks to manage uncertainty and to be sufficiently expressive for selfadaptive systems, including the representation of all the relevant concepts. The concepts, represented in different views to be used in a 5-stage process. Specifically, we present: (i) a discussion of the challenges and problems encountered in the literature; (ii); our proposal to solve these challenges; and (iii) a case study of the problem and its application.

Download

VariaMos

This paper presents the new release of VariaMos, a Java-based tool for defining variability model... more This paper presents the new release of VariaMos, a Java-based tool for defining variability modeling languages, modeling (dynamic) product lines and cyber-physical self-adaptive systems, and supporting automated verification, analysis, configuration and simulation of these models. In particular, we describe the characteristics of this new version regarding its first release: (1) the capability to create languages for modeling systems with variability, even with different views; (2) the capability to use the created language to model (dynamic) product lines; (3) the capability to analyze and configure these models according to the changing context and requirements; and (4) the capability to execute them over several simulation scenarios. Finally, we show how to use VariaMos with an example, and we compare it with other tools found in the literature.

Download

Gabriel Tamura

Uploads

Papers by Gabriel Tamura

Log In