Animación de especificaciones Oasis mediante Redes de Petri orientadas a objeto

Resum

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.