Animación de especificaciones Oasis mediante Redes de Petri orientadas a objeto
- Isidro Ramos Salavert Doktorvater/Doktormutter
Universität der Verteidigung: Universitat Politècnica de València
Fecha de defensa: 10 von April von 2000
- Manuel Silva Suárez Präsident/in
- Javier Oliver Villaroya Sekretär/in
- Pere Botella López Vocal
- Oscar Pastor López Vocal
- José Ambrosio Toval Álvarez Vocal
Art: Dissertation
Zusammenfassung
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.