Modelado formal de sistemas síncronos

Abstract

Este trabajo se enmarca en el ámbito de las álgebras de procesos y en su aplicación a la ingeniería de sistemas distribuidos. Los requisitos de los sistemas distribuidos hacen que el desarrollo de los mismos constituya un problema extremadamente difícil de abordar. En el entorno de la ingeniería de sistemas distribuidos se piensa que las técnicas de descripción formal, entre las que se encuentran las álgebras de procesos, pueden facilitar considerablemente el desarrollo de los S.D. Dentro de las álgebras de procesos existen numerosas variantes que podrían ser utilizadas en el ámbito de los S.D. Sin embargo, lotos destaca sobre todas ellas por disponer de semántica de tipos de datos, ser norma internacional y ser el más difundido en el entorno de S.D. Estando además soportado por un amplio número de herramientas. Por ello se tamara el lotos como punto de referencia fundamental. El objetivo de esta tesis es estudiar y definir un álgebra de procesos que sirva de base para un extensión del lenguaje lotos que se adapte a los requisitos para el desarrollo de sistemas distribuidos.