Tesis doctoral de José Angel Bañares Bañares
La tesis doctoral aborda el problema de desarrollo de software orientado a objeto para aplicaciones de sistemas de eventos discretos (sed). En la literatura cientifica relacionada, existe cierto consenso en que uno de los aspectos mas importantes del desarrollo de tales sistemas consiste en su especificacion y diseño. Tambien existe cierto consenso en que son necesarias tecnicas formales para especificar y diseñar tales sistemas, siendo a su vez conveniente dar un sentido pragmatico a dichas tecnicas para su incorporacion al ambito industrial. En particular este trabajo se ha centrado en los siguientes temas: en primer lugar se han puesto de manifiesto las carencias y ventajas de distintos modelos para la descripcion de seds. Se ha propuesto un esquema de representacion, denominado kron (knowledge representation oriented nets), que esta basado en la integracion del modelo de objetos y de las redes de petri (redes de petri coloreadas). El modelo permite representar el comportamiento de cada entidad, asi como las interacciones entre las entidades que constituyen el sistema. Ademas, se soporta la reusabilidad mediante la herencia y la definicion de objetos compuestos. en segundo lugar se ha presentado una adaptacion a la interpretacion de redes de petri coloreadas (rdpcs) de las tecnicas utilizadas para implementar el motor de inferencia de los lenguajes basados en reglas. Estas tecnicas permiten que las prestaciones del interprete del modelo no se vean afectadas en exceso por el tamaño del modelo. finalmente, se definen las pautas a seguir en el modelado de sistemas de eventos discretos con kron. El proceso sigue los pasos clasicos de un metodo orientado a objeto. solo los aspectos relacionados con el comportamiento dinamico de las entidades es particular al metodo presentado. Tambien se presentan las herramientas informaticas diseñadas para soportar el proceso de desarrollo.
Datos académicos de la tesis doctoral «Kron: un esquema de representacion orientado a objeto para el desarrollo de software de sistemas de eventos discretos.«
- Título de la tesis: Kron: un esquema de representacion orientado a objeto para el desarrollo de software de sistemas de eventos discretos.
- Autor: José Angel Bañares Bañares
- Universidad: Zaragoza
- Fecha de lectura de la tesis: 01/01/1996
Dirección y tribunal
- Director de la tesis
- Villarroel Salcedo José Luis
- Tribunal
- Presidente del tribunal: Garijo Mazario Francisco J.
- Julio Jesús Rubio García (vocal)
- Ricardo Marin Martin (vocal)
- Joaquin Ezpeleta Mateo (vocal)