Especificando sistemas basados en eventos con una lógica temporal con fluentes contadores

En este trabajo introducimos la lógica temporal con fluentes contadores, una extensión de la lógica temporal con fluentes que complementa la noción de fluente proposicional con el concepto de fluente contador. A diferencia de los anteriores, los fluentes contadores son variables numéricas que enum...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Regis, Germán, Degiovanni, Renzo, D’Ippolito, Nicolás, Aguirre, Nazareno Matías
Formato: Objeto de conferencia Resumen
Lenguaje:Español
Publicado: 2016
Materias:
Ciencias Informáticas
lógica temporal
fluentes contadores
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/57260
http://45jaiio.sadio.org.ar/sites/default/files/asse-21.pdf
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-57260
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
lógica temporal
fluentes contadores
spellingShingle Ciencias Informáticas
lógica temporal
fluentes contadores
Regis, Germán
Degiovanni, Renzo
D’Ippolito, Nicolás
Aguirre, Nazareno Matías
Especificando sistemas basados en eventos con una lógica temporal con fluentes contadores
topic_facet Ciencias Informáticas
lógica temporal
fluentes contadores
description En este trabajo introducimos la lógica temporal con fluentes contadores, una extensión de la lógica temporal con fluentes que complementa la noción de fluente proposicional con el concepto de fluente contador. A diferencia de los anteriores, los fluentes contadores son variables numéricas que enumeran ocurrencias de eventos, permitiendo caracterizar de una manera más natural e intuitiva propiedades en las cuales el número de veces que ocurren ciertos eventos del sistema es relevante. Si bien esta extensión es indecidible y estrictamente más expresiva que la lógica temporal lineal con fluentes, desarrollamos una técnica correcta pero incompleta para verificar propiedades de modelos de sistemas reactivos. Esta técnica, que reduce la verificación a la verificación que implementa LTSA, permite verificar automáticamente propiedades con presencia de estos fluentes contadores bajo ciertas cotas impuestas a los mismos. Destacamos las ventajas de contar con esta lógica para especificar propiedades de sistemas basados en eventos, entre ellas, la de contar con fórmulas mas concisas y fáciles de manipular y modificar. Para ello abordamos varios ejemplos relevantes de la literatura, comparando las especificaciones de propiedades con ambas lógicas.
format Objeto de conferencia
Resumen
author Regis, Germán
Degiovanni, Renzo
D’Ippolito, Nicolás
Aguirre, Nazareno Matías
author_facet Regis, Germán
Degiovanni, Renzo
D’Ippolito, Nicolás
Aguirre, Nazareno Matías
author_sort Regis, Germán
title Especificando sistemas basados en eventos con una lógica temporal con fluentes contadores
title_short Especificando sistemas basados en eventos con una lógica temporal con fluentes contadores
title_full Especificando sistemas basados en eventos con una lógica temporal con fluentes contadores
title_fullStr Especificando sistemas basados en eventos con una lógica temporal con fluentes contadores
title_full_unstemmed Especificando sistemas basados en eventos con una lógica temporal con fluentes contadores
title_sort especificando sistemas basados en eventos con una lógica temporal con fluentes contadores
publishDate 2016
url http://sedici.unlp.edu.ar/handle/10915/57260
http://45jaiio.sadio.org.ar/sites/default/files/asse-21.pdf
work_keys_str_mv AT regisgerman especificandosistemasbasadoseneventosconunalogicatemporalconfluentescontadores
AT degiovannirenzo especificandosistemasbasadoseneventosconunalogicatemporalconfluentescontadores
AT dippolitonicolas especificandosistemasbasadoseneventosconunalogicatemporalconfluentescontadores
AT aguirrenazarenomatias especificandosistemasbasadoseneventosconunalogicatemporalconfluentescontadores
bdutipo_str Repositorios
_version_ 1764820478067736581

Ejemplares similares