Lenguajes y Sistemas Informáticos

URI permanente para esta comunidadhttps://hdl.handle.net/11441/11391

Examinar

Mostrando 1 - 20 de 23

A domain-specific language for the specification of UCON policies
(Elsevier, 2022) Reina Quintero, Antonia María; Martínez Pérez, Salvador; Varela Vaca, Ángel Jesús; Gómez López, María Teresa; Cabot, Jordi; Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos; European Union (UE); Ministerio de Ciencia e Innovación (MICIN). España; Agencia Estatal de Investigación. España; Junta de Andalucía; Universidad de Sevilla. TIC258: Data-centric Computing Research Hub
Security policies constrain the behavior of all users of an information system. In any non-trivial system, these security policies go beyond simple access control rules and must cover more complex and dynamic scenarios while providing, at the same time, a fine-grained level decision-making ability. The Usage Control model (UCON) was created for this purpose but so far integration of UCON in mainstream software engineering processes has been very limited, hampering its usefulness and popularity among the software and information systems communities. In this sense, this paper proposes a Domain-Specific Language to facilitate the modeling of UCON policies and their integration in (model-based) development processes. Together with the language, an exploratory approach for policy evaluation and enforcement of the modeled policies via model transformations has been introduced. These contributions have been defined on top of the Eclipse Modeling Framework, the de-facto standard MDE (Model-Driven Engineering) framework making them freely available and ready-to use for any software designer interested in using UCON for the definition of security policies in their new development projects.
A first prototype of a new repository for feature model exchange and knowledge sharing
(Association for Computing Machinery (ACM), 2021) Romero, David; Galindo Duarte, José Ángel; Horcas Aguilera, José Miguel; Benavides Cuevas, David Felipe; Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos; Ministerio de Ciencia, Innovación y Universidades (MICINN). España; Agencia Estatal de Investigación. España; Universidad de Sevilla. TIC258: Data-centric Computing Research Hub
Feature models are the “de facto” standard for variability modelling and are used in both academia and industry. The MODEVAR initia tive tries to establish a common textual feature modelling language that can be used by different communities and can allow informa tion sharing. Feature model related researches use different models for different purposes such as analysis, sampling, testing, debug ging, teaching, etc. Those models are shared in private repositories and there is a risk that all that knowledge is spread across different platforms which hinder collaboration and knowledge reuse. In this paper, we propose a first working version of a new feature model repository that allows to centralise the knowledge generated in the community together with advanced capabilities such as DOI generation, an API, analysis reports, among others. Our solution is a front end interface that uses the popular open science repos itory Zenodo as an end point to materialise the storage of all the information. Zenodo is enhanced with characteristics that facilitate the management of the models. The idea of our repository is to provide existing but also new features that are not present in other repositories (e.g., SPLOT). We propose to populate our repository with all the existing models of many sources including SPLOT.
A general approach to Software Product Line testing
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2019) Ruiz, Elvira G.; Ayerdi, Jon; Galindo Duarte, José Ángel; Arrieta, Aitor; Sagardui, Goiuria; Benavides Cuevas, David Felipe; Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos; Ministerio de Economía y Competitividad (MINECO). España; Agencia Estatal de Investigación. España
Variability is a central concept in Software Product Lines (SPLs). It has been extensively studied how the SPL paradigm can improve both the efficiency of a company and the quality of products. Nevertheless, this brings several challenges when testing an SPL, which are mainly caused by the potentially huge amount of products that can be derived from an SPL. Different studies proposing methods for testing SPLs exist. Furthermore, there are secondary studies reviewing and mapping the literature of the existing proposals. However, there is a lack of systematic guidelines for practitioners and researchers with the different steps required to perform a testing strategy of an SPL. In this paper, we present a first preliminary version for a tutorial that summarizes the existing proposals of the SPL testing area. To the best of our knowledge, there is no similar attempt in existing literature. Our goal is to discuss this tutorial with the community and enrich it to provide a more solid version of it in the future.
Accessibility Variability Model: The UTPL MOOC Case Study
(Association for Computing Machinery (ACM), 2019) Rodríguez, Germania; Pérez, Jennifer; Benavides Cuevas, David Felipe; Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos; Ministerio de Economia, Industria y Competitividad (MINECO). España; Ministerio de Ciencia, Innovación y Universidades (MICINN). España; Agencia Estatal de Investigación. España
Several approaches to define Variability Models (VM) of non-functional requirements or quality attributes have been proposed. However, these approaches have focused on specific quality attributes rather than more general non-functional aspects established by standards such as ISO/IEC 25010 for software evaluation and quality. Thus, developing specific software products by selecting features and at the same time measuring the level of compliance with a standard/ guideline is a challenge. In this work, we present the definition of an accessibility VM based on the web content accessibility guides (WCAG) 2.1 W3C recommendation, to obtain a quantitative measure to improve or construct specific SPL products that require to be accessibility-aware. This paper is specially focused on illustrating the experience of measuring the accessibility in a software product line (SPL) in order to check if it is viable measuring products and recommending improvements in terms of features before addressing the construction of accessibility-aware products. The adoption of the VM accessibility has been putted into practice through a pilot case study, the MOOC (Massive Open Online Course) initiative of the Universidad Técnica Particular de Loja. The conduction of this pilot case study has allowed us to illustrate how it is possible to model and measure the accessibility in SPL using accessibility VM, as well as to recommend accessibility configuration improvements for the construction of new or updated MOOC platforms.
Advances in a DSL to Specify Smart Contracts for Application Integration Processes
(Sociedade Brasileira de Computação, 2022) Dornelles, Eldair F.; Parahyba, Fernando; Frantz, Rafael Z.; Roos Frantz, Fabricia; Reina Quintero, Antonia María; Molina Jiménez, Carlos; Bocanegra, José; Sawicki, Sandro; Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos; Agencia Estatal de Investigación. España; Junta de Andalucía; Universidad de Sevilla. TIC-258: Data-centric Computing Research Hub
Several languages have been developed for writing smart contracts for specific domains, such as health, finance, and business processes. However, none of them includes the constructors needed for writing smart contracts used in application integration processes which have their own particularities. Such smart contracts are responsible for monitoring the communication between the process and the applications to guarantee that the rights of the parties involved in the integration process are observed. To cover the gap, this paper discusses a domain-specific language for writing smart contracts in the application inte gration domain. It provides constructors to write smart contracts with a level of abstraction close to the natural language used in conventional contracts
An Elasticity-aware Governance Platform for Cloud Service Delivery
(IEEE Computer Society, 2016) Müller Cejás, Carlos; Truong, Hong-Linh; Fernández Montes, Pablo; Copil, Georgiana; Ruiz Cortés, Antonio; Dustdar, Schahram; Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos; Junta de Andalucía; Ministerio de Economía y Competitividad (MINECO). España; Agencia Estatal de Investigación. España; Universidad de Sevilla. TIC205: Ingeniería del Software Aplicada
In cloud service provisioning scenarios with a changing demand from consumers, it is appealing for cloud providers to leverage only a limited amount of the virtualized resources required to provide the service. However, it is not easy to determine how much resources are required to satisfy consumers expectations in terms of Quality of Service (QoS). Some existing frameworks provide mechanisms to adapt the required cloud resources in the service delivery, also called an elastic service, but only for consumers with the same QoS expectations. The problem arises when the service provider must deal with several consumers, each demanding a different QoS for the service. In such an scenario, cloud resources provisioning must deal with trade-offs between different QoS, while fulfilling these QoS, within the same service deployment. In this paper we propose an elasticity-aware governance platform for cloud service delivery that reacts to the dynamic service load introduced by consumers demand. Such a reaction consists of provisioning the required amount of cloud resources to satisfy the different QoS that is offered to the consumers by means of several service level agreements. The proposed platform aims to keep under control the QoS experienced by multiple service consumers while maintaining a controlled cost.
Automated Completion of Partial Configurations as a Diagnosis Task Using FastDiag to Improve Performance
(Springer, 2020) Vidal Silva, Cristian; Galindo Duarte, José Ángel; Giráldez Cru, Jesús; Benavides Cuevas, David Felipe; Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos; Ministerio de Ciencia, Innovación y Universidades (MICINN). España; Agencia Estatal de Investigación. España
The completion of partial configurations might represent an expensive computational task. Existing solutions, such as those which use modern constraint satisfaction solvers, perform a complete search, making them unsuitable on large-scale configurations. In this work, we propose an approach to define the completion of a partial configuration like a diagnosis task to solve it by applying the FastDiag algorithm, an efficient solution for preferred minimal diagnosis (updates) in the analyzed partial configuration. We evaluate our proposed method in the completion of partial configurations of random medium and large-size features models and the completion of partial configurations of a feature model of an adapted version of the Ubuntu Xenial OS. Our experimental analysis shows remarkable improvements in our solution regarding the use of classical CSP-based approaches for the same tasks.
Configuration assisted through conversational agents (chatbots and voicebots)
(Università degli Studi di Padova, 2020) Alfonso, Nicolás; Galindo Duarte, José Ángel; Benavides Cuevas, David Felipe; Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos; Ministerio de Economía y Competitividad (MINECO). España; Agencia Estatal de Investigación. España
Dataset FallacyES
(2025-01-20) Cruz Mata, Fermín; Troyano Jiménez, José Antonio; Enríquez de Salamanca Ros, Fernando; Ortega Rodríguez, Francisco Javier; Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos; Ministerio de Ciencia e Innovación (MICIN). España; Agencia Estatal de Investigación. España; Universidad de Sevilla. TIC134: Sistemas Informáticos
Este recurso recopila falacias en español de dos fuentes diferenciadas. Por un lado, se han revisado y traducido las falacias prototípicas del conjunto de datos Logic en su versión corregida (https://github.com/tmakesense/logicalfallacy/tree/main/dataset-fixed), y se han añadido ejemplos similares no falaces, para habilitar la experimentación en detección además de en clasificación de falacias. Por otra parte, se han localizado y anotado ejemplos de falacias espontáneas a partir de los comentarios a noticias publicadas en la web de agregación de noticias meneame.net (http://old.meneame.net). También en este caso se han incluido ejemplos de textos no falaces extraídos de los mismos comentarios. La inclusión de este tipo de falacias surge de la observación del carácter en ocasiones poco realista de las falacias que llamamos prototípicas. Todo el proceso de anotación fue llevado a cabo por cuatro anotadores, dividiendo las tareas en grupos iguales y realizando reuniones posteriores para revisar los resultados obtenidos.
Empirical Evidence of the Usage of Programming Languages in the Educational Process
(IEEE Computer Society, 2021) Vinueza Morales, Mariuxi; Borrego Núñez, Diana; Galindo Duarte, José Ángel; Benavides Cuevas, David Felipe; Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos; Ministerio de Economía y Competitividad (MINECO). España; Agencia Estatal de Investigación. España; Ministerio de Ciencia, Innovación y Universidades (MICINN). España
Contribution: A systematic literature review on the empirical evidence regarding the usage of programming languages for learning purposes is presented. The review analyzes different methods and tools at different educational levels and with different objectives. Background: Learning programming has gained relevance in the last decade. This is due to the massive presence of programmable elements ranging from computers to toys. Because of this, the interest of researchers on this topic has increased. Questions, such as what to use, in what educational stages to use it, the effectiveness of the method, and the focal objectives for learning programming are questions that do not have obvious answers. Research Questions: 1) What empirical evidence exists on the use of educational programming languages (EPLs)? 2) In what context is the research performed? 3) How is effectiveness reported in the literature after applying EPLs? 4) What pedagogical goals are achieved by using EPLs? Methodology: Following a formal protocol, automated searches were performed for primary studies from 2007 to 2018. A total of 62 studies were identified, of which 29 were selected and analyzed since they include some type of empirical evidence. Findings: After performing the evaluation, the results support the need for better approaches with empirical evidence when reporting research on the usage of EPLs. Some research opportunities are identified which concerns the used programming languages, the areas or stages of their application, or the need to have more empirical evidence in general and more studies in non-WEIRD (Western, educated, industrialized, rich, and democratic) contexts.
Empirical software product line engineering: A systematic literature review
(Elsevier, 2020) Chacón Luna, Ana Eva; Gutiérrez, Antonio Manuel; Galindo Duarte, José Ángel; Benavides Cuevas, David Felipe; Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos; Ministerio de Economía y Competitividad (MINECO). España; Agencia Estatal de Investigación. España
Context: The adoption of Software Product Line Engineering (SPLE) is usually only based on its theoretical benefits instead of empirical evidences. In fact, there is no work that synthesizes the empirical studies on SPLE. This makes it difficult for researchers to base their contributions on previous works validated with an empirical strategy. Objective: The objective of this work is to discover and summarize the studies that have used empirical evidences in SPLE limited to those ones with the intervention of humans. This will allow evaluating the quality and to know the scope of these studies over time. Doing so, research opportunities can arise Methods: A systematic literature review was conducted. The scope of the work focuses on those studies in which there is human intervention and were published between 2000 and 2018. We considered peer-reviewed papers from journals and top software engineering conferences. Results: Out of a total of 1880 studies in the initial set, a total of 62 primary studies were selected after applying a series of inclusion and exclusion criteria. We found that, approximately 56% of the studies used the empirical case study strategy while the rest used experimental strategies. Around 86% of the case studies were performed in an industrial environment showing the penetration of SPLE in industry. Conclusion: The interest of empirical studies has been growing since 2008. Around 95.16% of the studies address aspects related to domain engineering while application engineering received less attention. Most of the experiments and case study evaluated showed an acceptable level of quality. The first study found dates from 2005 and since then, the interest in the empirical SPLE has increased.
Functional Testing of Conflict Detection and Diagnosis Tools in Feature Model Configuration: A Test Suite Design
(Università degli Studi di Padova, 2020) Vidal Silva, Cristian; Galindo Duarte, José Ángel; Benavides Cuevas, David Felipe; Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos; Ministerio de Economía y Competitividad (MINECO). España; Agencia Estatal de Investigación. España
gPROFIT: A Tool to Assist the Automatic Extraction of Business Knowledge From Legacy Information Systems
(IEEE Computer Society, 2021) García García, Julián Alberto; Arévalo Maldonado, Carlos; Meidan, Ayman; Morillo Baro, Esteban; Escalona Cuaresma, María José; Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos; Agencia Estatal de Investigación. España
Business digitization is a crucial strategy for business growth in the 21st century. Its bene ts include improving business process automation, customer satisfaction, productivity, decision-making, turnover, and adaptation to market changes. However, digitization is not a trivial task. As a major paradigm and mindset shift, it involves a lot of effort within an organization and therefore requires commitment from employees and managers. This is especially critical in companies whose business processes are mostly reliant on legacy information systems (LIS), which are usually specialized and based on technological architectures that could be considered obsolete. The replacement of these systems by more recent, process-oriented technologies, the building up of employees' know-how and the continued use of outdated documentation are dif cult, expensive tasks that hinder the initiation of continuous improvement processes in companies. This paper proposes techniques for nding and extracting process models from legacy databases. Speci cally, it (i) lays the theoretical foundations of a model-driven framework for systematically extracting business process models (conform to standard BPMN notation) from LIS considering process time perspective, and (ii) proposes a technological tool called gPROFIT, which uses machine learning techniques to support that theoretical framework, facilitate its use in real environments and extract the business knowledge embedded in such legacy systems. The paper also presents proofs-of-concept showing howour proposal has been validated in several legacy systems.
Monte Carlo Simulations for Variability Analyses in Highly Configurable Systems
(CEUR Workshop Proceedings (CEUR-WS.org), 2021) Horcas Aguilera, José Miguel; Márquez Trujillo, Antonio Germán; Galindo Duarte, José Ángel; Benavides Cuevas, David Felipe; Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos; Ministerio de Ciencia, Innovación y Universidades (MICINN). España; Agencia Estatal de Investigación. España
Highly configurable systems expose numerous variation points to be configured by the stakeholders. Deciding which variant to select for a given variation point is hard to know a priori because each variant affects the configuration properties (e.g., performance, efficiency, fault tolerance) differently, and evaluating all configurations is practically infeasible. This paper introduces an approach based on Monte Carlo simulations to analyze the influence of each feature selection when configuring a variability model.We split the whole configuration space into step-wise decisions driven by the variation points that a user normally needs to face/decide during the configuration process. Monte Carlo simulations approximate the influence of each feature variant evaluating as few configurations as possible. Our solution complements existing sampling techniques to analyze colossal configuration spaces improving the understanding of the influence of each feature selection. It can be part of a decisionmaking tool to assist the user by means of recommendation systems and interactive configuration processes.
On the Need to Use Smart Contracts in Enterprise Application Integration
(Sociedade Brasileira de Computação, 2022) Parahyba, Fernando; Dornelles, Eldair F.; Roos Frantz, Fabricia; Frantz, Rafael Z.; Molina Jiménez, Carlos; Reina Quintero, Antonia María; Bocanegra, José; Sawicki, Sandro; Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos; Agencia Estatal de Investigación. España; Junta de Andalucía; Universidad de Sevilla. TIC-258: Data-centric Computing Research Hub
Integration processes involve Business Constraints and Service Level Agreements that, with current technology, are not monitored or enforced auto matically at run–time. This approach leaves the participants with no means of supervising the development of their interactions or of collecting indisputable evidence to ease the resolution of disputes that can potentially emerge. In this paper, to address the issue, we suggest the inclusion of smart contracts in in tegration processes to supervise and mediate, at run–time, the agreements to which the participants commit. We discuss the requirements that smart contracts for integration processes need to meet and the challenges involved in writing, executing, deploying, and verifying them.
Open Source Adoption Factors-A Systematic Literature Review
(IEEE Computer Society, 2020) Rea Sánchez, Víctor; Neira Ayuso, Pablo; Galindo Duarte, José Ángel; Benavides Cuevas, David Felipe; Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos; Ministerio de Economía y Competitividad (MINECO). España; Agencia Estatal de Investigación. España
Nowadays, Free/Libre/OpenSource Software (FLOSS) is becoming a strategic option for many organizations in the public and the private sector. The lack of well defined guidelines for IT managers may jeopardize the FLOSS adoption process. FLOSS adoption procedures are developed ad-hoc in every organization, hence, leading to potential wheel reinvention situations. Identifying factors that influence and determine adoption is crucial. In this article, we survey existing literature through systematic review methodologies to make visible the technical, organizational and economic factors that must be evaluated in the adoption process. We also provide hints for researchers on publications and the type of research that already covered this topic in the past. We studied almost 500 papers from which we selected a final set of 54 primary studies directly related to FLOSS adoption. We found twenty-two different adoption factors categorized as technical (nine), organizational (nine) and economic (four). This article aims to provide the basic building blocks to step into the creation of a guide for the FLOSS adoption. All the data we used in this study is available at this online repository: https://github.com/jagalindo/rea.victor.19-foss and doi: https://doi.org/10.5281/zenodo.2632543
Pruebas de Mutación de APIs Web: Un Enfoque de Caja Negra
(Sistedes, 2022) Sánchez Jerez, Ana Belén; Martín López, Alberto; Segura Rueda, Sergio; Ruiz Cortés, Antonio; Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos; European Commission (EC). Fondo Europeo de Desarrollo Regional (FEDER); Junta de Andalucía; Gobierno de España; Ministerio de Educación y Formación Profesional de España; Agencia Estatal de Investigación. España
Las Interfaces de Programación de Aplicaciones (APIs) web tienen un papel clave en la integración de aplicaciones, por lo que validar su correcto funcionamiento es crucial. La mayoría de técnicas de generación de casos de prueba en este ámbito son de caja negra y suelen evaluarse con APIs sin código fuente disponible. Por ello, no es posible emplear pruebas de mutación tradicional, y no podemos cuantificar la efectividad de las pruebas si la API no expone ningún error. Este artículo propone un enfoque de caja negra para evaluar la capacidad de detección de errores de las pruebas para APIs web: en lugar de crear variantes defectuosas del código del programa (pruebas de mutación tradicionales), se crean mutantes de las salidas del programa (respuestas HTTP). JSONMutator es la herramienta implementada para llevar a cabo estas mutaciones. Los oráculos de pruebas se aplican sobre dichos mutantes y, a medida que las pruebas fallan, la cobertura de mutación aumenta. Experimentos preliminares sugieren que la herramienta es efectiva para crear mutantes a partir de la salida de APIs web y que existe correlación entre la cobertura de mutación de caja negra y caja blanca.
Recommendation and Classification Systems: A Systematic Mapping Study
(Hindawi, 2019) González Enríquez, José; Morales Trujillo, Leticia; Calle Alonso, Fernando; Domínguez Mayo, Francisco José; Lucas Rodríguez, J.M.; Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos; Ministerio de Economía y Competitividad (MINECO). España; Centro para el Desarrollo Tecnológico Industrial (CDTI); Agencia Estatal de Investigación. España; Junta de Extremadura; Universidad de Sevilla. TIC021: Ingeniería Web y Testing Temprano
Today, recommendation algorithms are widely used by companies in multiple sectors with the aim of increasing their profits or offering a more specialized service to their customers. Moreover, there are countless applications in which classification algorithms are used, seeking to find patterns that are difficult for people to detect or whose detection cost is very high. Sometimes, it is necessary to use a mixture of both algorithms to give an optimal solution to a problem. .is is the case of the ADAGIO, a R&D project that combines machine learning (ML) strategies from heterogeneous data sources to generate valuable knowledge based on the available open data. In order to support the ADAGIO project requirements, the main objective of this paper is to provide a clear vision of the existing classification and recommendation ML systems to help researchers and practitioners to choose the best option. To achieve this goal, this work presents a systematic review applied in two contexts: scientific and industrial. More than a thousand papers have been analyzed resulting in 80 primary studies. Conclusions show that the combination of these two algorithms (classification and recommendation) is not very used in practice. In fact, the validation presented for both cases is very scarce in the industrial environment. From the point of view of software development life cycle, this review also shows that the work being done in the ML (for classification and recommendation) research and industrial environment is far from earlier stages such as business requirements and analysis. .is makes it very difficult to find efficient and effective solutions that support real business needs from an early stage. It is therefore that the article suggests the development of new ML research lines to facilitate its application in the different domains.
Specifying Compensations with WS-Agreement
(IEEE Computer Society, 2017) Müller Cejás, Carlos; Fernández Montes, Pablo; Martín Díaz, Octavio; Gutiérrez Fernández, Antonio Manuel; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio; Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos; Agencia Estatal de Investigación. España; Ministerio de Economía y Competitividad (MINECO). España; Junta de Andalucía; Universidad de Sevilla. TIC205: Ingeniería del Software Aplicada
During the last years the use of service level agreements (SLA) is rising uncontrollably to describe the rights and obligations of parties involved in service provisioning (typically the service consumer and the service provider); amongst other information, SLA could define guarantees associated with the idea of service level objectives (SLOs) that normally represent key performance indicators of either the consumer or the provider. In case the guarantee is under or over fulfilled SLAs could also define some compensations (i.e. penalties or rewards). In such a context, there have been important steps towards the automation of the analysis of SLAs. One of these steps is a characterization model of SLAs with compensations proposed by the authors in a previous work; and another step is the standardisation effort in the SLAs notation made by WS-Agreement. However, real-world SLAs includes complex concepts that must be considered, namely: (i) SLA terms that specify compensations without an explicit SLO; and (ii) a limit for the compensations. In this paper we extend our prior characterization model considering these complex concepts. Specifically, (i) we provide up to five real-world scenarios whose SLAs incorporate aforementioned new concepts; (ii) we extend our model for compensable guarantees considering terms without an explicit SLO; and (iii) we provide a novel WS-Agreement-based syntax to model SLAs with compensations considering these concepts. These contributions aim to establish a foundation to elaborate tools that could provide an automated support to model and analyse SLAs with compensations.
Uniform and scalable sampling of highly configurable systems
(Springer, 2022) Heradio, Ruben; Fernández Amorós, David; Galindo Duarte, José Ángel; Benavides Cuevas, David Felipe; Batory, Don; Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos; Universidad Nacional de Educación a Distancia (UNED); Ministerio de Ciencia, Innovación y Universidades (MICINN). España; Comunidad Autónoma de Madrid; Agencia Estatal de Investigación. España; Universidad de Sevilla. TIC258: Data-centric Computing Research Hub
Many analyses on confgurable software systems are intractable when confronted with colossal and highly-constrained confguration spaces. These analyses could instead use statistical inference, where a tractable sample accurately predicts results for the entire space. To do so, the laws of statistical inference requires each member of the population to be equally likely to be included in the sample, i.e., the sampling process needs to be “uniform”. SAT-samplers have been developed to generate uniform random samples at a reasonable computational cost. However, there is a lack of experimental validation over colossal spaces to show whether the samplers indeed produce uniform samples or not. This paper (i) proposes a new sampler named BDDSampler, (ii) presents a new statistical test to verify sampler uniformity, and (iii) reports the evaluation of BDDSampler and fve other state-of-the-art samplers: KUS, QuickSampler, Smarch, Spur, and Unigen2. Our experimental results show only BDDSampler satisfes both scalability and uniformity.

Examinar

Examinando Lenguajes y Sistemas Informáticos por Agencia financiadora "Agencia Estatal de Investigación. España"