Registro:
| Documento: | Tesis Doctoral |
| Título: | Análisis automático de propiedades de calidad en sistemas distribuidos basados en servicios |
| Título alternativo: | Automatic analysis of quality properties in service-based distributed systems |
| Autor: | Martínez Suñé, Agustín Eloy |
| Editor: | Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales |
| Lugar de trabajo: | Universidad de Buenos Aires - CONICET. Instituto de Investigación en Ciencias de la Computación (ICC)
|
| Publicación en la Web: | 2025-08-07 |
| Fecha de defensa: | 2024-03-05 |
| Fecha en portada: | 2023 |
| Grado Obtenido: | Doctorado |
| Título Obtenido: | Doctor de la Universidad de Buenos Aires en el área de Ciencias de la Computación |
| Departamento Docente: | Departamento de Computación |
| Director: | López Pombo, Carlos Gustavo |
| Consejero: | Galeotti, Juan Pablo |
| Jurado: | Uchitel, Sebastián; Madeira, Alexandre; Lluch Lafuente, Alberto |
| Idioma: | Español |
| Palabras clave: | SISTEMAS DISTRIBUIDOS; COMPUTACION ORIENTADA A SERVICIOS (SOC); CALIDAD DE SERVICIO (QoS); ACUERDOS DE NIVEL DE SERVICIO (SLA); ECONOMIA DE LAS API; METODOS FORMALES; INGENIERIA DE SOFTWAREDISTRIBUTED SYSTEM; SERVICE-ORIENTED COMPUTING (SOC); QUALITY OF SERVICE (QoS); SERVICE LEVEL AGREEMENTS (SLA); API ECONOMY; FORMAL METHODS; SOFTWARE ENGINEERING |
| Formato: | PDF |
| Handle: |
https://hdl.handle.net/20.500.12110/tesis_n7491_MartinezSune |
| PDF: | https://bibliotecadigital.exactas.uba.ar/download/tesis/tesis_n7491_MartinezSune.pdf |
| Registro: | https://bibliotecadigital.exactas.uba.ar/collection/tesis/document/tesis_n7491_MartinezSune |
| Ubicación: | COM 007491 |
| Derechos de Acceso: | Esta obra puede ser leída, grabada y utilizada con fines de estudio, investigación y docencia. Es necesario el reconocimiento de autoría mediante la cita correspondiente. Martínez Suñé, Agustín Eloy. (2024). Análisis automático de propiedades de calidad en sistemas distribuidos basados en servicios. (Tesis Doctoral. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales). Recuperado de https://hdl.handle.net/20.500.12110/tesis_n7491_MartinezSune |
Resumen:
Los sistemas distribuidos basados en servicios responden a paradigmas de cómputo que ponen a los servicios como los elementos fundamentales de la arquitectura y del proceso de desarrollo de las aplicaciones de software. Bajo estos paradigmas, entre los que se encuentra la Computación Orientada a Servicios (SOC), los sistemas de software ya no son piezas monolíticas de código que se ejecutan dentro de los límites de una organización. En cambio, están constituidos a partir de la ejecución coordinada y distribuida de múltiples servicios que proveen funcionalidades específicas. Estos sistemas se sustentan sobre lo que se conoce como cómputo global, que comprende los recursos computacionales e infraestructuras de comunicación disponibles a nivel mundial, y dan lugar a la llamada economía de las API. Esta idea sostiene que es posible construir artefactos de software a partir de componer, en tiempo de ejecución, servicios provistos por terceros y registrados previamente en repositorios. En este contexto, la calidad de servicio (QoS) es un aspecto fundamental a tener en cuenta en el proceso de desarrollo y despliegue de aplicaciones de software, ya que está directamente influenciada por la calidad de los servicios que componen el sistema. Por lo tanto, los aspectos de calidad se convierten en elementos centrales en la selección de dichos servicios y, como resultado, en la negociación de acuerdos de nivel de servicio (SLA). El término calidad de servicio se utiliza de manera amplia en este contexto para referirse a lo que comúnmente se conoce como requisitos de calidad, en contraposición a los requisitos funcionales. Esto significa que se refiere a aquellos requisitos que expresan propiedades de calidad del software sin condicionar la funcionalidad que proporciona. En esta tesis, nuestro objetivo es contribuir al campo del análisis automático de propiedades de calidad en sistemas distribuidos basados en servicios. Nuestras contribuciones se basan en el enfoque de los métodos formales aplicados a la ingeniería de software, es decir, métodos de análisis de artefactos de software cuyas técnicas pueden explicarse en términos lógico-matemáticos. Desde este enfoque, nos concentraremos en el análisis de propiedades que predican sobre atributos cuantitativos, esto es, aquellos atributos de calidad que admiten algún tipo de medición. Este conjunto incluye atributos de naturaleza diversa, como el tiempo de respuesta, el consumo de memoria, el costo monetario y la reputación, entre otros. En suma, las contribuciones de esta tesis se centran en dos aspectos fundamentales. Por un lado, en el desarrollo de lenguajes formales capaces de expresar contratos de calidad de servicio, tanto de provisión como de requisito, desde una mirada general que no hace suposiciones sobre la naturaleza de los atributos de calidad, excepto por la condición de que sean cuantitativos. Por otro lado, en el diseño de técnicas de análisis para estos lenguajes, que permiten la verificación automática de la compatibilidad entre un contrato de provisión y uno de requisito.
Abstract:
Service-based distributed systems are designed based on computing paradigms that prioritize the concept of services as the core elements of software application architecture and development processes. These paradigms, such as Service-Oriented Computing (SOC), have transformed software systems from monolithic entities confined within organizational boundaries to dynamic collections of coordinated and distributed services, each providing specific functionalities. These systems are built upon what is known as global computing, encompassing computational resources and communication infrastructures available worldwide, thereby giving rise to the so-called API economy. This idea states that it is possible to construct software artifacts by dynamically composing services provided by third parties, if they have been previously registered in repositories. In this context, the consideration of quality of service (QoS) becomes crucial in the software development and deployment processes, as it is directly influenced by the quality of the services comprising the system. Consequently, quality aspects become central elements in the selection of these services and, consequently, in the negotiation of service level agreements (SLAs). Here, the term quality of service is used in a broad sense to refer to what is commonly known as quality requirements, in contrast to functional requirements. This means that it encompasses requirements expressing quality properties of the software without conditioning its functionality. The goal of this thesis is to contribute to the field of automatic analysis of quality properties in service-based distributed systems. Our contributions are based on the approach of formal methods for software engineering, which involve analysis methods for software artifacts whose techniques can be explained in terms of logic and mathematics. With this approach, our focus will be on analyzing properties that predicate over quantitative attributes, that is, quality attributes that can be measured. This set encompasses attributes of various natures, such as response time, memory consumption, monetary cost, reputation, and others. In summary, this thesis’s contributions focus on two fundamental aspects. On one hand, the development of formal languages capable of expressing quality of service contracts, both for provision and requirement, from a general perspective that does not make assumptions about the nature of the quality attributes, except that they are quantitative. On the other hand, the design of analysis techniques for these languages, enabling the automatic verification of compatibility between a provision contract and a requirements contract.
Citación:
---------- APA ----------
Martínez Suñé, Agustín Eloy. (2024). Análisis automático de propiedades de calidad en sistemas distribuidos basados en servicios. (Tesis Doctoral. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.). Recuperado de https://hdl.handle.net/20.500.12110/tesis_n7491_MartinezSune
---------- CHICAGO ----------
Martínez Suñé, Agustín Eloy. "Análisis automático de propiedades de calidad en sistemas distribuidos basados en servicios". Tesis Doctoral, Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales, 2024.https://hdl.handle.net/20.500.12110/tesis_n7491_MartinezSune
Estadísticas:
Descargas totales desde :
Descargas mensuales
https://bibliotecadigital.exactas.uba.ar/download/tesis/tesis_n7491_MartinezSune.pdf
