Análisis de refinamientos entre sistemas de transiciones modales basado en SAT

Authors
Dania, Carolina Inés
Publication Year
2009
Language
Spanish
Format
bachelor thesis
Status
Versión aceptada para publicación
Director/a de tesis
Aguirre, Nazareno
Description
Tesis (Lic. en Computación).--Universidad Nacional de Córdoba, 2009.
Desde tiempos previos a la llamada crisis del software se ha reconocido que la complejidad y el tamaño de los sistemas de software demanda metodologías sistemáticas de desarrollo. El objetivo de éstas es permitir crear, diseñar y mantener (éxitosamente) software de calidad y de gran escala (y en los tiempos estipulados). En busca de proveer garantías del correcto funcionamiento del software, surgieron una variedad de técnicas y metodologías de desarrollo con sólidas bases matemáticas y lógicas. Los sistemas de transición de estados (LTS), y la amplia mayoría de sus variantes constituyen un formalismo adecuado para la caracterización del comportamiento operacional de sistemas, incluyendo sistemas reactivos, concurrentes y distribuidos. En particular, los sistemas de transiciones modales (MTS) permiten descripciones parciales de sistemas, las cuales son útiles en etapas tempranas del desarrollo de software. Las relaciones de refinamiento entre MTS son centrales a esta idea. Éstas permiten identificar las especificaciones que más se acercan a la implementación del sistema. El objetivo de este trabajo es equipar a los MTS con herramientas de análisis automático o semi-automático para poder estudiar a éstos objetos y a las relaciones de refinamiento entre ellos.
Carolina Inés Dania
Subject
Software/Program Verification
Semantics of Programming Languages
Bisimulaciones
LTS
Implementaciones
SAT solver
Alloy
MTS
Access level
Open access
License
Repository
Repositorio Digital Universitario (UNC)
Institution
Universidad Nacional de Córdoba
OAI Identifier
oai:rdu.unc.edu.ar:11086/17