Trabajo de grado - Eric A. Destefanis

Trabajo final: Semánticas de Procesos para Sistemas Interactivos
Autor: Eric Destefanis
Directores: Matias David Lee, Pedro D'Argenio.

Resumen:

Un sistema interactivo es un sistema dónde coexisten dos tipos de eventos: los que se ejecutan en el entorno del sistema y producen alguna reacción en el sistema; los que ejecuta el sistema y producen una reacción en el entorno.

Equivalencia por trazas, simulación, bisimulación, son algunas semánticas de procesos que han sido ampliamente estudiadas en la literatura. A pesar de esto, las mismas no encajan en el contexto de sistemas interactivos.

En este trabajo estudiamos semánticas de procesos para sistemas interactivos. El modelo utilizado para representar los mismos son autómatas de interfaz. Las semánticas se formalizan utilizando el concepto de noción de observabilidad. Una vez formalizado esto, estudiamos parcialmente cual semántica diferencia más que otra. Por último, se presentan definiciones relacionales para las semánticas que permiten este tipo de caracterización.