Documento de conferencia
Acceso Abierto

Una formalización para documentación y evolución de componentes reusables

|
Resumen

Los principales problemas que surgen en la construcción de software son, por un lado, la naturaleza cambiante de las aplicaciones actuales que obliga a desarrollar componentes flexibles y adaptables y por otro, la falta de documentación adecuada para lograr esa adaptación. Por lo tanto es necesario un mejor soporte para documentar cómo rehusar componentes y cómo controlar cambios en la evolución. En [Giandini 98a] presentamos un mecanismo de especificación: contratos de reuso con semántica de comportamiento, que permite documentación estructurada de componentes reusables, tanto a nivel sintáctico como semántico y ayuda al desarrollador de software a entender cómo una componente puede ser reusada y cómo manejar su evolución.\nEn este trabajo, presentamos un modelo matemático para estudiar estos contratos y sus operadores de reuso sintáctico y semántico. Basándonos en este modelo expresamos propiedades de aplicabilidad para la combinación de operadores en la etapa de evolución. Desarrollamos también, un caso de estudio sobre el que instanciamos el modelo y que muestra cómo los contratos de reuso con semántica de comportamiento pueden ser útiles en el proceso de desarrollo de software.

Palabras clave
Reusable Software
propiedades de aplicabilidad
modelo matemático
http://creativecommons.org/licenses/by/4.0/

Esta obra se publica con la licencia Creative Commons Attribution 4.0 International (BY 4.0)

item.page.license
Imagen en miniatura