Un modelo abstracto de ejecución para animar modelos conceptuales
Ver/
Compartir
Métricas
Estadísticas
Ver Estadísticas de usoMetadatos
Mostrar el registro completo del ítemÁrea de conocimiento
Lenguajes y Sistemas InformáticosPatrocinadores
Estetrabajo ha sido financiado por el proyecto MENHIR de la Comisión Interministerial de Ciencia y Tecnología, con referencia TIC97-0593-C05-01Fecha de publicación
2009-09-29Cita bibliográfica
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-9Palabras clave
Modelo conceptualEspecificaciones ejecutables
Modelos de ejecución
OASIS
Resumen
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 ...
Colecciones
El ítem tiene asociados los siguientes ficheros de licencia:
Redes sociales