untitled

Fork algebras como herramienta de razonamiento entre especificaciones heterogéneas


Fork algebras as a tool for reasoning across heterogeneous specifications

López Pombo, Carlos Gustavo

Director(a):
Frias, Marcelo Fabián
 
Institución otorgante:
Facultad de Ciencias Exactas y Naturales. Universidad de Buenos Aires
Fecha:
2007
Tipo de documento: 
Tesis Doctoral
 
Formato:
text; pdf
Idioma:
Inglés
Temas:
Computación / Ingeniería del Software - INSTITUCIONES - ESPECIFICACIONES HETEROGENEAS - ALGEBRAS DE FORK - METODOS RELACIONALES EN CIENCIAS DE LA COMPUTACION
Descripción:
Las lógicas han sido usadas como sistemas formales para especificar sistemas de software. Más aun, las especificaciones lógicas, por ser formales, contribuyen en la aplicación de métodos técnicas correctas de verificación. Diversos formalismos han sido desarrollados para lidiar con estos aspectos y muchos de ellos son eficientes en describir ciertas características de los sistemas de software. Por ejemplo, la lógica temporal, proposicional y de primer order, consigue describir la forma en la que los sistemas de software evolucionan en el tiempo. La lógica dinámica también permite la especificación de sistemas pero lo hace describiendo cómo los programas transforman el estado del sistema. Estos son sólo algunos ejemplos de cómo una lógica particular permite la especificación de determinados comportamientos de un sistema. La pregunta interesante acerca de este hecho es: Existe un lenguaje ideal para especificar el comportamiento de un sistema? A pesar de que no vamos a concentrarnos en responder esta pregunta, creemos que ese lenguaje debe tener una sintaxis clara y una semántica fácil de entender, con el propósito de facilitar la comprensión de especificaciones y la aplicación de métodos formales. Entre las propuestas que recopilamos, las instituciones se imponen como un formalismo para razonar entre lógicas, y una institución universal, que permita razonar entre las lógicas interesantes sería la respuesta a nuestra pregunta. En esta tesis mostraremos que una definición adecuada de la institución de las fork algebras es útil para razonar entre diversas lógicas proposicionales y de primer orden que aparecen frecuentemente en la especificación de software.
Identificador:
http://digital.bl.fcen.uba.ar/gsdl-282/cgi-bin/library.cgi?a=d&c=tesis&d=Tesis_4113_LopezPombo
Identificador único:
http://repositoriouba.sisbi.uba.ar/h/3016
Derechos:
info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-nc-nd/2.5/ar/
Licencia de uso:
Licencia Creative Commons


Cita bibliográfica:

López Pombo, Carlos Gustavo  (2007).     Fork algebras como herramienta de razonamiento entre especificaciones heterogéneas.  (Tesis Doctoral).    Facultad de Ciencias Exactas y Naturales. Universidad de Buenos Aires.    [consultado:  ] Disponible en el Repositorio Digital Institucional de la Universidad de Buenos Aires:  <http://digital.bl.fcen.uba.ar/gsdl-282/cgi-bin/library.cgi?a=d&c=tesis&d=Tesis_4113_LopezPombo>