Un modelo abstracto de ejecución para animar modelos conceptuales
Knowledge Area
Lenguajes y Sistemas InformáticosSponsors
Estetrabajo ha sido financiado por el proyecto MENHIR de la Comisión Interministerial de Ciencia y Tecnología, con referencia TIC97-0593-C05-01Publication date
2009-09-29Bibliographic Citation
LETELIER TORRES,Patricio; SÁNCHEZ PALMA, Pedro y RAMOS SALAVERT, Isidro. Un modelo abstracto de ejecución para animar modelos conceptuales. En: Congreso Internacional de Investigación en Ciencias Computacionales (6º: 1999: Cancún, Mexico): Memorias del VI Congreso Internacional de Investigación en Ciencias Computacionales. (CIICC´99), del 22-24 de Septiembre, 1999. Pp. 80-91. ISBN 970-18-7409-9Keywords
Modelo conceptualEspecificaciones ejecutables
Modelos de ejecución
OASIS
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 ...
Collections
The following license files are associated with this item:
Social media