Verificación formal y refinamientos en P/PML

En el contexto de las aplicaciones industriales, existen distintos métodos formales propuestos que permiten el modelado de los elementos de este tipo de sistemas. La lógica P/PML (Product/Process Modeling Logic) es un método formal desarrollado para la especificación y construcción de sistemas indus...

Descripción completa

Detalles Bibliográficos
Autor principal: Díaz, Javier Roberto
Otros Autores: Baum, Gabriel Alfredo
Formato: Tesis Tesis de grado
Lenguaje:Español
Publicado: 2001
Materias:
Ciencias Informáticas
verificación formal
Verification
lógica de programacion
Software
derivación de programas
métodos formales
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/66376
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-66376
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Ciencias Informáticas
verificación formal
Verification
lógica de programacion
Software
derivación de programas
métodos formales
spellingShingle Ciencias Informáticas
verificación formal
Verification
lógica de programacion
Software
derivación de programas
métodos formales
Díaz, Javier Roberto
Verificación formal y refinamientos en P/PML
topic_facet Ciencias Informáticas
verificación formal
Verification
lógica de programacion
Software
derivación de programas
métodos formales
description En el contexto de las aplicaciones industriales, existen distintos métodos formales propuestos que permiten el modelado de los elementos de este tipo de sistemas. La lógica P/PML (Product/Process Modeling Logic) es un método formal desarrollado para la especificación y construcción de sistemas industriales de tiempo real. Esta lógica es una extensión de la lógica dinámica de primer orden agregando (a) acciones atómicas arbitrarias en lugar de solo asignación, (b) variables sobre procesos que permiten especificar sistemas parcialmente, (c) un operador de paralelismo y (d) restricciones de tiempo sobre los procesos. En este trabajo se estudian los aspectos de verificación y derivación formal de procesos en la lógica P/PML. En la primer parte se define el formalismo P/PML, su sintaxis y semántica, y se dan algunos ejemplos de procesos en esta lógica. En la segunda parte de este trabajo se explora el concepto de verificación formal de procesos en P/PML, tratándose el aspecto de corrección parcial. Como resultado, se desarrolla un sistema formal de prueba que permite verificar la corrección parcial de procesos con respecto a especificaciones lógicas. En la tercer parte de este trabajo se explora el segundo concepto mencionado antes, el de derivación formal de procesos en la lógica P/PML, desarrollándose como resultado un calculo de refinamientos que permite derivar procesos a partir de especificaciones lógicas. Por ultimo, se presentan las conclusiones acerca de este trabajo y se citan algunas posibles extensiones a desarrollar en el futuro.
author2 Baum, Gabriel Alfredo
author_facet Baum, Gabriel Alfredo
Díaz, Javier Roberto
format Tesis
Tesis de grado
author Díaz, Javier Roberto
author_sort Díaz, Javier Roberto
title Verificación formal y refinamientos en P/PML
title_short Verificación formal y refinamientos en P/PML
title_full Verificación formal y refinamientos en P/PML
title_fullStr Verificación formal y refinamientos en P/PML
title_full_unstemmed Verificación formal y refinamientos en P/PML
title_sort verificación formal y refinamientos en p/pml
publishDate 2001
url http://sedici.unlp.edu.ar/handle/10915/66376
work_keys_str_mv AT diazjavierroberto verificacionformalyrefinamientosenppml
bdutipo_str Repositorios
_version_ 1764820481293156356

Ejemplares similares