Dentro de la Lógica Computacaional, de los Métodos Formales y la Inteligencia Artificial en general, existen numerosas técnicas con enorme potencial para la modelización de procesos industriales y comerciales. Sin embargo, debido a la insuficiente antención prestada a los aspectos pragmñáticos de dichas técnicas, todavía existe una gran distancia entre la conceptualización de un problema y la obtención de su primer modelo o prototipo ejecutable.
Nuestro proyecto quiere contribuir a paliar dicho problema. Nuestro objetivo general es desarrollar una metodología e implementar un sistema de especificación formal donde se incorporen algunas de dichas técnicas haciéndolas accesibles a usuarios no informáticos mediante la adaptación de aquellas a las prácticas de éstos y no viceversa.
El objetivo es permitir la construcción y evaluación rápida de prototipos preliminares de los modelos industriales y comerciales, disminuyendo la presión y dificultad actual por obtener la primera versión del modelo. El sistema propuesto se basa, por una parte, en la idea de especificación por colaboración. Cada participante en la especificación contribuye a ella a un nivel adecuado a su propia experiencia con las notaciones y herramientas que le son familiares, existiendo entre los distintos nivele notaciones y herramientas de descripción puntos de contacto e interfaces claras. Por otra parte, siendo la lógica computacional el punto de anclaje de todas esta técnicas nuestro mecanismo deductivo debe permitir un diseño modular capaz de razonar en contextos temporales específicos, con información incompleta y que posibilite la actualización en tiempo real de las bases de conocimiento; aspectos irrenunciables si se pretende aplicarlos a problemas concretos.
Estos dos aspectos en los que los proponentes poseen ya experiencia tienen interés en sí mismos y son confluyentes en las aplicaciones. La elaboración de esta propuesta ha sido diseñada para asegurar su viabilidad tanto en los aspectos teóricos como en los prácticos, acordes éstos con la fisonomía del Parque Tecnológico de Andalucía en Málaga.