Pablo Trinidad

Universidad de Sevilla | US · Languages and Systems

Feature models have been used since the 90's to describe software product lines as a way of reusing common parts in a family of software systems. In 2010, a systematic literature review was published summarizing the advances and settling the basis of the area of Automated Analysis of Feature Models (AAFM). From then on, different studies have appli...

Feature models have been used since the 90's to describe software product lines as a way of reusing common parts in a family of software systems. In 2010, a systematic literature review was published summarizing the advances and settling the basis of the area of Automated Analysis of Feature Models (AAFM). From then on, different studies have appli...

Since the emergence of XaaS and Cloud Computing paradigms, the number and complexity of available services have been increasing enormously. These services usually offer a plethora of configuration options, which can even include additional services provided as a bundled offer. In this scenario, usual tasks, such as description, discovery and select...

Multi-tenancy is a key pillar of cloud services. It allows different users to share computing and virtual resources transparently, meanwhile guaranteeing substantial cost savings. Due to the tradeoff between scalability and customization, one of the major drawbacks of multi-tenancy is limited configurability. Since users may often have conflicting...

In a literature review on the last 20 years of automated analysis of feature models, the formalization of analysis operations was identified as the most relevant challenge in the field. This formalization could provide very valuable assets for tool developers such as a precise definition of the analysis operations and, what is more, a reference imp...

With an increasing number of cloud computing offerings in the market, migrating an existing computational infrastructure to the cloud requires comparison of different offers in order to find the most suitable configuration. Cloud providers offer many configuration options, such as location, purchasing mode, redundancy, extra storage, etc. Often, th...

Feature models represent all the products that can be built under a variability-intensive system such as a software product line, but they are not fully configurable. There exist no explicit effort in defin-ing configuration models that enable making decisions on attributes and cardinalities in feature models that use these artefacts. In this paper...

Multi-tenancy is a key pillar of cloud services. It allows different tenants to share computing resources transparently and, at the same time, guarantees substantial cost savings for the providers. However, from a user perspective, one of the major drawbacks of multi-tenancy is lack of configurability. Depending on the isolation degree, the same se...

Over the last two decades, Software Product Lines have been used successfully in industry for building families of systems of related products, maximizing reuse, and exploiting their variable and configurable options. In a changing world, modern software demands more and more adaptive features, many of them performed dynamically, and the requiremen...

Multi-user configuration is a neglected problem in variability-intensive systems area. The appearance of conflicts among user configurations is a main concern. Current approaches focus on avoiding such conflicts, applying the mutual exclusion principle. However, this perspective has a negative impact on users satisfaction, who cannot make any decis...

In CAiSE 2005, we interpreted the extraction of relevant information from extended feature models as an automated reasoning problem based on constraint programming. Such extraction is driven by a catalogue of basic and compound operations. Much has been done since, renaming the problem as the automated analysis of feature models, a widely accepted...

Identifying which part of a local system should be migrated to a public Cloud environment is often a difficult and error prone process. With the significant (and increasing) number of commercial Cloud providers, choosing a provider whose capability best meets requirements is also often difficult. Most Cloud service providers offer large amounts of...

Embedded and self-adaptive systems demand continuous adaptation and reconfiguration activities based on changing quality conditions and context information. As a consequence, systems have to be (re)deployed several times and software components need to be mapped onto new or existing hardware pieces. Today, the way to determine an optimal deployment...

La enseñanza de buenas prácticas en el diseño e implementación de sistemas software es una tarea que exige al profesorado una docencia personalizada y un seguimiento continuo del aprendizaje. En este artículo presentamos nuestra experiencia en la implantación de una plataforma de evaluación de calidad del software para que estudiantes y profesores...

Software product line (SPL) techniques handle the construction of customized systems. One of the most common representations of the decisions a customer can make in SPLs is feature models (FMs). An FM represents the relationships among common and variable features in an SPL. Features are a representation of the characteristics in a system that are...

manualmente no es viable con modelos de tamaño medio/grande, e incluso tampoco para modelos pequeños, pues la ma-yoría de errores son extremadamente difíciles de detectar y más aún de explicar. En esta demo presentamos FaMa Abductive, una extensión de la herramienta FaMa, encargada de la diagnosis automática en modelos de características. Esta herr...

In software projects, and particularly in Software Product Line (SPL) projects, product composition and deployment are tasks that are not supported by open source tools. These tasks are repetitive and error-prone. Automation helps on reducing the errors while the productivity increases. In this paper we present a real-world experience through ISA P...

Developing good academic tools has become an art that forces researchers to achieve tasks they are not supposed to do. These include coding, web and logo designing, testing, etc. It compro-mises the quality of a product that differs from what the industry expects from it. In this paper we propose professionalising the tool development to build indu...

Software product-lines (SPLs) are software platforms that can be readily reconfigured for different project requirements. A key part of an SPL is a model that captures the rules for reconfiguring the software. SPLs commonly use feature models to capture SPL configuration rules. Each SPL configuration is represented as a selection of features from t...

In the automated analysis feature models (AAFM), many operations have been defined to extract relevant informa- tion to be used on decision making. Most of the proposals rely on logics to give solution to different operations. This extraction of knowledge using logics is known as deductive reasoning. One of the most useful operations are explana- t...

Feature models are widely used to model software product-line (SPL) variability. SPL variants are configured by selecting feature sets that satisfy feature model constraints. Configuration of large feature models can involve multiple stages and participants, which makes it hard to avoid conflicts and errors. New techniques are therefore needed to d...

FAMA Framework (FAMA FW) is a tool for the automated analysis of variability models (VM). Its main objective is providing an extensible framework where current research on VM automated analysis might be developed and easily integrated into a final product. FAMA FW is built following the SPL paradigm supporting different variability metamodels, reas...

Autonomic homes adapt themselves to give the user the best possible experience of the services they provide. They dynamically adapt its behavior at run-time in response to changing conditions in end-user needs and the surrounding environment devices. From the development point of view, producing and maintaining a large amount of autonomic homes nee...

The increasing demand on developing Software Product Lines (SPL) has given a lot of interest to software engineering researchers in improving and also replacing, current methods and techniques applied to clasical sofware sys-tems development. In this paper, we introduce our first ideas within our proposal on improving the decision making while SPL...

Software Product Lines (SPL) and agile methods share the common goal of rapidly developing high-quality software. Although they follow different approaches to achieve it, some synergies can be found between them by (i) applying agile techniques to SPL activities so SPL development becomes more agile; and (ii) tailoring agile methodologies to suppor...

Dynamic Software Product Line (DSPL) engineering has proved itself as an efficient way to deal with run-time prod- uct adaptation. DSPLs have been successfully applied in domains such as smart homes, mobile devices or multime- dia systems. However, existing DSPLs focus their efforts on highly adaptive products or on autonomic products. In this pape...

Visualizing and manipulating large feature diagrams is still an open issue for the SPL community. Few effort has been made on improving the techniques to get the most out of drawing space and current feature modeling tools either use file-system-like trees or 2D graphs that must be scrolled to locate features. The aim of this paper is presenting a...

Feature Models (FMs) are a key artifact for variability and common- ality management in Software Product Lines (SPLs). In this context, the merging of FMs is being recognized as an important operation to support the adoption and evolution of SPLs. However, providing automated support for merging FMs still remains an open challenge. In this paper, w...

The automated analysis of feature models is recognized as one of the key challenges for automated software de- velopment in the context of Software Product Lines (SPL). However, after years of research only a few ad-hoc propos- als have been presented in such area and the tool support demanded by the SPL community is still insufficient. In pre- vio...

The field of Software Product Lines (SPL) emphasizes building a family of software products from which concrete products can be derived rapidly. This helps to reduce time-to-market, costs, etc., and can result in improved software quality and safety. Current Agent-Oriented Software Engineering (AOSE) methodologies are concerned with developing a si...

Feature models are commonly used to describe software product lines in terms of features. Features are linked by relations, which may introduce errors in the model. This paper gives a description of isolated features and states the detection of them, as the first step in their treatment. Two implementations are given to automatically support isolat...

Feature modelling is a common mechanism for variability management in the context of software product lines. After years of progress, the number of proposals to automatically analyse feature models is still modest and the data about the performance of the different solvers and logic representations used in such area are practically non–existent. Th...

Feature Models are used in different stages of software development and are recognized to be an important asset in model transformation techniques and software product line development. The automated analysis of feature mod- els is being recognized as one of the key challenges for automated software de- velopment in the context of Software Product...

Feature models have been cited as one of the main con- tributions to model software product families. However, there is still a gap in product family engineering which is the automated reasoning on feature models. In this paper we describe how to reason on feature models using con- straint programming. Although, there are a few attempts to reason o...

Software Product Line (SPL) Engineering has proved to be an effective method for software production. However, in the SPL community it is well recognized that variability in SPLs is increasing by the thousands. Hence, an automatic support is needed to deal with variability in SPL. Most of the current proposals for automatic reasoning on SPL are not...

The combination of Software Product Lines (SPL) and Service-Oriented Architectures (SOA) development prac-tices is expected to become a new development paradigm maximizing reuse and business integration. However, mul-tiples issues must be still addressed in order to clarify the connections between both fields. One of the key questions to answer is...

Feature models are widely used to represent product lines and they are key parts of the development process in agile methodologies such as generative and feature-oriented programming. One of the most common problems in these cases is checking a feature model to be error-free. Some works cope with detecting errors in feature models, but automated ex...

Feature Models (FM) are used to represent commonality and variabil-ity in Software Product Lines. Since the first proposal by Kang, the notation of FM has evolved in different ways: introducing cardinalities, using UML or XML notations, etcetera. In addition, the use of FMs is not only restricted to domain analysis because it is widely accepted tha...

Open-Source (OS) software development differs widely from close-source development practices because of a num-ber of reasons: project organization, distributed develop-ers, code-centric, etc. These characteristics force the de-velopment tools used in the context of OS development to fulfill a set of requirements such as being extensible, multi-plat...

FAMA Framework (FAMA FW) is a tool for the automated analysis of variability models (VM). Its main objective is providing an extensible framework where current research on VM automated analysis might be developed and easily integrated into a final product. FAMA FW is built following the SPL paradigm supporting different variability metamodels, reas...