Representación de Objetos OASIS en Teorías y su Traducción a un Modelo de Concurrencia

Abstract

Resumen. La validación temprana de requisitos del software durante el desarrollo de un sistema de información es un aspecto de reconocida importancia. La animación automática a partir de la especificación de requisitos del sistema puede llegar a ser una valiosa ayuda en dicha tarea. OASIS es un lenguaje formal para especificación de modelos conceptuales. En este trabajo se presenta una formalización del proceso de obtención de un prototipo dada una especificación OASIS, un modelo básico de ejecución y un Modelo de Concurrencia como son las Redes de Petri clásicas. Si definimos las características formales que debe cumplir un prototipo para que satisfaga una especificación OASIS habremos conseguido una representación ejecutable fiel al modelo original. El planteamiento que se hace del trabajo es un comienzo que permite ser extendido al estudio de otros tipos de redes (Object Petri Nets, Coloured Petri Nets, etc.) u otros modelos de concurrencia.