Limitación de recursos en paralelismo real

Resumen

La tesis doctoral objeto de este informe se enmarca dentro de la utilización de métodos formales en el estudio de los sistemas concurrentes. De forma más concreta, aborda la especificación y evaluación de prestaciones de sistemas concurrentes en los cuales se considera que los recursos disponibles por parte de los procesos que cooperan y/o compiten están limitados, tal y como ocurre en la vida real. Como formalismo para la especificación de dichos sistemas se ha utilizado una extensión temporizada de álgebra de procesos (BTC) que permite tener en cuenta la limitación de recursos comentada anteriormente. Este enfoque supone un avance en el estudio de los sistemas concurrentes ya que se aborda el estudio del paralelismo real, pero además introduce un nuevo ingrediente no considerado anteriormente como es la posibilidad de que un proceso quede en espera (bloqueado) ante la imposibilidad de obtener un recurso necesario. Por tanto, un proceso se verá afectado en su ejecución no sólo por las sincronizaciones inherentes al sistema en estudio (cooperación) sino también por la competencia por los recursos. En primer lugar se define la sintaxis y la semántica operacional del álgebra presentada y, posteriormente, se presentan diversas aplicaciones dentro de campos tan actuales como son los protocolos de comercio electrónico o los sistemas de fabricación flexibles.