Modelo de computación concurrente para un sistema operativo orientado a objetos basado en una máquina abstracta

Resum

Esta tesis investiga la construcción de un sistema integral orientado a objetos que ofrezca soporte directo y común para el paradigma de la jorientación a objetos, solucionando así los problemas de al adopción desigual del pradigma de la orientación a objetos en los sistema convencionales, Se define una arquitectura basada en una máquina abstracta, capa más basica de todas y un sistema opertivo, que extiende la funcionalidad de la primera. Ambas conforman el núcleo duro del sistema inegral orientado a objetos y se diseñan y desarrollan manteniendo siempre la uniformidad en torno al paradigma de la orientación a objetos, la homogeneidad en la definición de objeto y la simplicidad. Conjuntamente deben definir el modelo de computación de los objetos. Se prefiere un modelo de objetos activo que dota al objeto de capacidad de ejecucióny control de la misma. Al integrar la capacidad de ejecución en los propios objetos, la definición del sistema se basa únicamnte en la abstracción de objetos que interaccionan mediante el envío de mensajes. Esto mantiene la uniformidad y se logra una representación muy sencilla del mundo real. La integración de máquina abstracta y sistema operativo se basa en la definición de una arquitectura reflectiva para la máquina abstracta que permita la defición de la máquina como objetos normales. El sistema operativo extiende uniformemente la funcionalidad de la máquina abstracta gracias a la definición de un conjunto de objetos que sustituirán a los objetos internos de la máquina de forma uniforme. El resultado es un sistema flexible que permite a las aplicaciones la personaliazación del entorno cambiando los objetos del sistema operativo, más intuitivo y coherente que los sistemas tradicionales.