Animación automática de especificaciones utilizando programación lógica concurrente

El modelo conceptual expresa los requisitos funcionales de un sistema de informacion, Errores u omisiones en el modelo conceptual tienen por lo general graves consecuencias en el resto del proceso de desarrollo de software. Por esto, la validacion temprana de requisitos es una actividad de reconocida importancia. En este sentido, los enfoques mas extendidos incluyen tecnicas semiformales y, en particular, prototipacion. Sin embargo, el resultado obtenido esta lejos de ser satisfactorio. La combinacion de tecnicas formales con prototipacion abre nuevas perspectivas, en especial la prototipacion basada en especificaciones formales ejecutables y denominada animacion de especificaciones. El desafio en este caso esta en la capacidad para obtener codigo ejecutable a partir de una especificacion, mas aun si se pretende conseguir la generacion automatica de dicho codigo. Precisamente, una de las ventajas de un enfoque formal es el ofrecer un marco mas apropiado para establecer un proceso de traduccion desde una especificacion automatica de especificaciones OASIS utilizando como entorno de implementacion Programacion Logica Concurrente. El trabajo se orienta a la construccion de un ambiente para validacion temprana de especificaciones OASIS mediante animacion automatica.