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:20220101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20231101T110000
DTEND;TZID=America/Sao_Paulo:20231101T120000
DTSTAMP:20260406T140628
CREATED:20231030T124020Z
LAST-MODIFIED:20231030T124020Z
UID:8736-1698836400-1698840000@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Diego Norberto Senarruzza Anabia
DESCRIPTION:Título: Bisimulación de Data-aware Communicating Finite State Machines con propiedades en las acciones\nDirectores: Carlos Gustavo Lopez Pombo\, Hernán Melgratti\nJurados: Sergio Abriola\, Emilio Tuosto \nResumen:\nLos nuevos paradigmas de computación\, como service-oriented computing (SOC) o\nCloud/Fog\, como así también el Internet de las cosas (IoT por su sigla en\ninglés)\, han impulsado enormemente lo que hoy se denomina economía de APIs. La\nidea que subyace en la economía de APIs es la posibilidad de construir nuevos\nservicios utilizando APIs provistas por terceras partes y\, a su vez\, hacer\ndisponibles estos nuevos servicios\, publicando sus propias APIs. La creciente\ninterconexión entre aplicaciones y dispositivos hacen al surgimiento de nuevos\ny esenciales requerimientos por parte de las aplicaciones actuales\, tales como\nself-adaptiveness y reconfiguración dinámica transparente. En la industria\nactual\, las APIs representan el último escalón de interoperabilidad\, y ponen\nen relieve la necesidad de descripciones precisas como forma preponderante de\ndocumentación. Sin embargo\, en la mayoría de los casos\, los aspectos más\nimportantes del comportamiento de las API son documentados informalmente\,\ndificultando la validación del software que se obtiene como resultado de\ncomponer servicios a través de sus APIs\, así como el establecimiento de\npropiedades y el mantenimiento de aplicaciones. En consecuencia\, describir\nformalmente el comportamiento de las APIs de forma que este provea garantías a\nsus clientes constituye un desafío técnico clave en este contexto. El presente\nproyecto de tesis asume una perspectiva en la que el ideal detrás de la\nejecución de aplicaciones basadas en APIs se lleva a cabo sobre una\ninfraestructura de comunicación y cómputo ubicua y preexistente y en la que un\nmiddleware es capaz de solicitar a un service-broker la búsqueda de un\nservicio al que\, sujeto a una negociación de nivel servicios (SLA por su sigla\nen inglés\, Service Level Agreements)\, pueda vincularse en forma completamente\nautomática y transparente\, para que colectivamente sea posible alcanzar cierto\nobjetivo de negocios. Es necesario contar con descriptores de protocolos\nprecisos a nivel de servicio\, así como alguna definición de compliance que\npermita establecer equivalencia entre dichos protocolos. Como candidatos\nidóneos a estos\, surgen las Asserted Communicating Finite State Machines\n(a-CFSM)\, capaces de describir el intercambio de mensajes entre participante\n(o servicios) y de establecer condiciones sobre las variables intercambiadas\nen dichos mensajes (pre-condiciones sobre mensajes enviados y post-condiciones\nsobre mensajes recibidos). Ligado a la necesidad de una definición de\ncompliance\, surge como problema el hecho de que las partes involucradas en la\ncomunicación no necesariamente se conocen entre sí\, por lo que descriptores\nque resulten equivalentes pueden encontrarse escritos utilizando terminología\ndistinta. En este trabajo nos concentraremos en: 1) abordar una noción de\nbisimulación a modo de compliance para las a-CFSM\, asumiendo que los autómatas\ncomparten terminología\, 2) extender la definición de bisimulación construyendo\nun matching de nombres (un diccionario entre las terminologías de ambos\nautómatas) y 3) poner en práctica los resultados obtenidos en (1) y (2) a\ntravés de la construcción de una herramienta de software. Para facilitar (1)\,\ndefiniremos una abstracción de las a-CFSM a las que llamaremos Assertable\nFinite State Machines (a-FSM)\, con la que procederemos a definir tres nociones\nde bisimulación de manera incremental (cada una a partir de las limitaciones\nde la anterior)\, para posteriormente extender hacia las a-CFSM.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-diego-norberto-senarruzza-anabia/
LOCATION:Sala 1604
CATEGORIES:Agenda
END:VEVENT
END:VCALENDAR