Tesis doctoral de Pedro Sánchez Palma
La validación mediante animación permite el desarrollo sistemático de especificaciones software claras, concisas, precisas y sin ambigí¼edad. estos aspectos han estado presentes en los métodos formales de la ingeniería del software pero ausentes en el prototipado tradicional. La calidad de los modelos conceptuales va a depender del grado de integración de los usuarios en el proceso de captura de requisitos. por otro lado, las herramientas case actuales ofrecen lenguajes y métodos pocos precisos como soporte al análisis, especificación y diseño de sistemas de información. Para solucionar en parte esta problemática, se presenta un entorno de producción de softwarre de calidad ubicado en las primeras fases del ciclo de vida del desarrollo de software, que considera el uso de las redes de petri como formalismo de implementacióny que se orienta a validación considerando la concurrencia inherente a los sistemas reales.Para conseguir esto, básicamente ha sido necesario extender la semántica y sintaxis del lenguaje oasis e implementar un traductor de oasis a redes de petri con vistas a obtener una representación ejecutable y orientada a la validación de especificaciones mediante animación.
Datos académicos de la tesis doctoral «Animación de especificaciones oasis mediante redes de petri orientadas a objeto.«
- Título de la tesis: Animación de especificaciones oasis mediante redes de petri orientadas a objeto.
- Autor: Pedro Sánchez Palma
- Universidad: Politécnica de Valencia
- Fecha de lectura de la tesis: 10/04/2000
Dirección y tribunal
- Director de la tesis
- Isidro Ramos Salavert
- Tribunal
- Presidente del tribunal: manuel Silva suárez
- óscar Pastor lópez (vocal)
- pere Botella lópez (vocal)
- ambrosio Toval álvarez (vocal)