INSTRUCCIONES ARITMETICAS Y DE MAQUINA

Autor: BUENO AROCA ANTONIO.
Año: 2005.
Universidad: CASTILLA-LA MANCHA.
Centro de lectura: ESCUELA POLITECNICA SUPERIOR DE ALBACETE.
Centro de realización: ESCUELA POLITECNICA SUPERIOR DE ALBACETE.

Resumen: TPALp es un lenguaje algebraico para la descripción de sistemas concurrentes con capacidad para expresa comportamientos temporales y probabilísticas, junto con interacciones urgentes. En esta tesis se presentan las principales características de este lenguaje, su semántica operacional y una traducción de términos TPALp en una clase particular de Redes de Petri probabilísticas y temporizadas. El lenguaje incluye un operador de elección probabilística, un operador de prefijo temporizado y un operador de prefijo urgente, además de otros operadores que podemos encontrar en las álgebras de procesos clásicas. Una característica importante del lenguaje es el tratamiento de la urgencia, puesto que en cada momento se ejecutaran tantas acciones urgentes como sea posible, con el objeto de cumplir al máximo con los requerimientos urgentes de una especificación. También en esta tesis se han tratado aspectos de composicionalidad de redes, restringiendo el ámbito de aplicación a redes obtenidas a partir de la traducción de términos y se ha incluido un método de implementación de redes.

Autor: BUENO AROCA ANTONIO.
Año: 2005.
Universidad: CASTILLA-LA MANCHA.
Centro de lectura: ESCUELA POLITÉCNICA SUPERIOR DE ALBACETE.
Centro de realización: ESCUELA POLITECNICA SUPERIOR DE ALBACETE.

Resumen: TPALp es un lenguaje algebraico para la descripción de sistemas concurrentes con capacidad para expresar comportamientos temporales y probabilísticas, junto con interacciones urgentes. En esta tesis se presentan las principales características de este lenguaje, su semántica operacional y una traducción de términos TPALp en una clase particular de Redes de Petri probabilísticas y temporizadas. El lenguaje incluye un operador de elección probabilística, un operador de prefijo temporizado y un operador de prefijo urgente, además de otros operadores que podemos encontrar en las Álgebras de procesos clásicos. Una característica importante del lenguaje es el tratamiento de la urgencia, puesto que en cada momento se ejecutaran tantas acciones urgentes como sea posible, con el objeto de cumplir al máximo con los requerimientos urgentes de una especificación. También esta tesis se han tratado aspectos de composicionalidad de redes, restringiendo el ámbito de aplicación a redes obtenidas a partir de la traducción de términos y se ha incluido un método de implementación de redes.