BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Departamento de Computación - ECPv6.15.18//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-ORIGINAL-URL:https://www.dc.uba.ar
X-WR-CALDESC:Eventos para Departamento de Computación
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:America/Sao_Paulo
BEGIN:STANDARD
TZOFFSETFROM:-0300
TZOFFSETTO:-0300
TZNAME:-03
DTSTART:20230101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20240305T100000
DTEND;TZID=America/Sao_Paulo:20240305T120000
DTSTAMP:20260404T022430
CREATED:20240304T131002Z
LAST-MODIFIED:20240304T150854Z
UID:8977-1709632800-1709640000@www.dc.uba.ar
SUMMARY:Defensa Tesis Doctorado Agustín Martinez Suñé
DESCRIPTION:Título: Análisis automático de propiedades de calidad en sistemas distribuidos basados en servicios\nDirector: Dr. Carlos Gustavo López Pombo\nConsejero de estudios: Dr. Juan Pablo Galeotti\nJurados:\nDr. Sebastián Uchitel (Universidad de Buenos Aires)\nDr. Alexandre Madeira (Universidad de Aveiro)\nDr. Alberto Lluch Lafuente (Universidad Técnica de Dinamarca) \nLink de youtube para la transmisión: https://youtube.com/live/px5yJR8cA_U \nResumen: \nLos 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. \nEstos 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. \nEn 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.\nPor 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. \nEn 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. \nDesde 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. \nEn 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.
URL:https://www.dc.uba.ar/event/defensa-tesis-doctorado-agustin-martinez-sune/
LOCATION:Sala 1604
CATEGORIES:Agenda
END:VEVENT
END:VCALENDAR