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...
Guardado en:
| 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: | |
| 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: |
Ejemplares similares
-
Specifying event-based systems with a counting fluent temporal logic
por: Regis, G., et al. -
Especificación y verificación de propiedades sobre workflows con lógica de fluentes
por: Ricci, Nicolás, et al.
Publicado: (2012) -
Specifying event-based systems with a counting fluent temporal logic
Publicado: (2015) -
Especificación formal y verificación de propiedades temporales de procesos de negocios
por: Regis, Germán Enrique
Publicado: (2014) -
Especificación formal y verificación de propiedades temporales de procesos de negocios
por: Regis, Germán Enrique
Publicado: (2014)