Registro:
| Documento: | Tesis de Grado |
| Título: | Razonando entre la lógica dinámica y la lógica lineal temporal usando álgebras de fork |
| Autor: | Galeotti, Juan Pablo; Roman, Mario |
| Editor: | Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales |
| Publicación en la web: | 2024-08-30 |
| Fecha de defensa: | 2004-07-16 |
| Fecha en portada: | 2004 |
| Grado Obtenido: | Grado |
| Título Obtenido: | Licenciado en Ciencias de la Computación |
| Departamento Docente: | Departamento de Computación |
| Director: | Frias, Marcelo Fabián; López Pombo, Carlos Gustavo |
| Jurado: | Baum, Gabriel; Rossi, Gustavo |
| Idioma: | Español |
| Formato: | PDF |
| Handle: |
http://hdl.handle.net/20.500.12110/seminario_nCOM000509_GaleottiRoman |
| PDF: | https://bibliotecadigital.exactas.uba.ar/download/seminario/seminario_nCOM000509_GaleottiRoman.pdf |
| Registro: | https://bibliotecadigital.exactas.uba.ar/collection/seminario/document/seminario_nCOM000509_GaleottiRoman |
| Ubicación: | Dep.COM 000509 |
| Derechos de Acceso: | Esta obra puede ser leída, grabada y utilizada con fines de estudio, investigación y docencia. Es necesario el reconocimiento de autoría mediante la cita correspondiente. Galeotti, Juan Pablo; Roman, Mario. (2004). Razonando entre la lógica dinámica y la lógica lineal temporal usando álgebras de fork. (Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.). Recuperado de http://hdl.handle.net/20.500.12110/seminario_nCOM000509_GaleottiRoman |
Resumen:
La descripción de sistemas mediante distintas vistas es una práctica aceptada en la ingeniería de software moderna. En este trabajo, mostramos como es posible razonar en un marco relacional a través de especificaciones que capturan el comportamiento de un sistema. Para esto consideramos distintas vistas usando lógica lineal temporal, lógica dinámica o lógica dinámica lineal temporal. El principal resultado es que vistas generadas por separado pueden ser uniformazadas dentro de un marco relacional común al que pueden aplicarse distintas técnicas de análisis. Asimismo presentamos un problema del mundo real en el que probamos una propiedad no trivial de un sistema partiendo de las especificaciones de su comportamiento en lógica dinámica y en lógica lineal temporal.
Abstract:
Describing systems through the specification of different views is a well accepted practice in modern software engineering. In this work we show how to reason across behavioral specifications within a relational framework. We consider views specifying behavioral information using linear temporal logic, dynamic logic or dynamic linear temporal logic. The main result is that independently generated specifications can be amalgamated within a common relational framework to which different analysis techniques can be applied. We also present a realistic problem for which behavioral specifications in dyamic logic and linear temporal logic are jointly employed in the proof of a non trivial property.
Citación:
---------- APA ----------
Galeotti, Juan Pablo; Roman, Mario. (2004). Razonando entre la lógica dinámica y la lógica lineal temporal usando álgebras de fork. (Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.). Recuperado de https://hdl.handle.net/20.500.12110/seminario_nCOM000509_GaleottiRoman
---------- CHICAGO ----------
Galeotti, Juan Pablo; Roman, Mario. "Razonando entre la lógica dinámica y la lógica lineal temporal usando álgebras de fork". Tesis de Grado, Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales, 2004.https://hdl.handle.net/20.500.12110/seminario_nCOM000509_GaleottiRoman
Estadísticas:
Descargas mensuales
Total de descargas desde :
https://bibliotecadigital.exactas.uba.ar/download/seminario/seminario_nCOM000509_GaleottiRoman.pdf
Distrubución geográfica
