Un modelo abstracto de ejecución para animar modelos conceptuales

Abstract

El modelo conceptual establece los requisitos funcionales del software- La prototipación es una de las técnicas usadas frecuentemente en la validación del modelo conceptual. Sin embargo, los resultados del proceso de validación , con o sin prototipación, distan de ser totalmente satisfactorios. La animación automática de modelos conceptuales emerge como un enfoque de prototipación que puede ayudar en la validación del modelo conceptual. Para realizar animación automática el principal obstáculo lo constituye la posibilidad de conseguir la ejecutabilidad de una especificación. En este sentido los métodos formales proveen ventajas significativas. Además del rigor y precisión provisto por un método formal para la especificación y verificación del modelo conceptual, respecto de su validación, pueden definirse en mejores condiciones un proceso de animación automática que respete la semántica del modelo conceptual. OASIS es un enfoque formal para el modelado conceptual orientado a objeto. En este trabajo se presenta cómo se ha abordado la animación de especificaciones OASIS y en particular el modelo de ejecución utilizado. Dicho modelo es fiel a la semántica de OASIS, por lo que constituye una base sólida para trabajos en validación de especificaciones OASIS mediante animación.